Кто первым определил символ «равная дельта» или «дельта над равным» (≜≜\triangleq)?

Символ иногда используется в математике (и физике) для определения. Например, он создается в символе Юникода «DELTA EQUAL TO» (U+225C) . Обозначение т м (обычно) означает: " т определяется как м " или " т по определению равен м (часто при определенных условиях).

В аналогичном смысле некоторые используют "=" или "=" (см., например, Символы, основанные на равенстве ). Тем не менее, этот вариант Дельты для меня более важен.

Эти. Пост по математике Что означает знак дельта-эквивалента? предлагает небольшое различие (не кристально ясное для меня) между вышеупомянутыми подобными чувствами:

Иногда он используется в немного другом значении слова «равный по определению», чтобы подчеркнуть разницу по отношению к « "=" ", что является самим определением. т.е.

а "=" 3 ; 5 + а 5 + 3 "=" 8

Я всегда считал само собой разумеющимся, что Δ обозначал букву "Д", т.е. начальную букву " определения ". Действительно, иногда можно найти "=" г е ф слишком. В немецком языке, по-видимому, также используется ( Entspricht-Zeichen , с Unicode U+2259).

Основываясь на этих предыдущих намеках, мои вопросы заключаются в следующем:

  • Кто первым ввел в науку этот двойной символ и где (какой источник)?
  • Что побудило грека Δ обозначение? Аббревиатура какого-то слова, символ (почему не латинское обозначение)?
  • Почему бы не объединить нижнюю полосу дельты с верхней полосой знака равенства, чтобы сэкономить немного чернил и создать более светлый символ?

Ссылки: сам символ уже обсуждался в StackExchange:

Это обозначение кажется очень странным, так как предполагает симметрию между определяющими и определяющими. Я больше привык к := или =: с двоеточием сбоку от определения.
Mathsym jeff560.tripod.com/mathsym.html имеет только "=" Д е ф (с 1894 г.), но не версия Delta.
@MargaretFriedland Асимметрия определяется тем, что находится перед символом и тем, что находится после символа. Таким образом А Б всегда означает « A определяется как B ».
@MargaretFriedland, я сочувствую вашему возражению и, на самом деле, зашел бы так далеко, что несколько возразил бы против "=" использования, так как он так легко поддается опечаткам. Скорее, я бы предпочел, чтобы контекст разъяснял любую асимметрию (такую ​​как определение или аббревиатура) в математическом равенстве. (Кажется, математики вряд ли воспримут эти асимметрии так же серьезно, как программисты, поэтому я не обязательно им доверяю!)
Симметричный способ понять это - прочитать это как «это равенство выполняется по определению». С этой точки зрения не существует «definiens» или «definiendum».
Возможно, «остаточная асимметрия» заключается в соглашении писать «дефиниендум» (спасибо за слова) слева.

Ответы (1)

Это действительно комментарий, а не полный ответ.

Энциклопедический том Флориана Каджори «История математических обозначений», похоже, не обсуждает этот символ конкретно; ближе всего следующее замечание в § 269:

Л. Гюстав дю Паскье ( Comptes Rendus du Congrès International des Mathématicians (Strasbourg, 22–30 сентября 1920 г.), стр. 164) при обсуждении общих комплексных чисел использует знак двойного равенства. "=" "=" означать «равный по определению».

Я проверил MathSciNet, и в обзоре статьи 1953 года «Zwei Klassen von Flächen, deren Bestimmung von einem Integral der Telegraphengleichung abhängt» Ганса Йонаса (MR0058259) используется обозначение "=" деф (но обратите внимание, что в самой статье Йонаса это обозначение не используется). Это, по-видимому, самое раннее появление "=" деф или "=" деф в MathSciNet. Но у меня нет доступа к печатной версии, чтобы убедиться, что обозначения действительно использовались еще в издании Mathematical Reviews 1953 года.

Я ждал долгое время, позвольте мне подтвердить ваше, пока...
После того, как я опубликовал это, я заметил комментарий Джеральда Эдгара , который указывает на использование 1894 года "=" Д е ф означать равные по определению .