¿Quién definió por primera vez el símbolo "igual-delta" o "delta sobre igual" (≜≜\triangleq)?

El símbolo a veces se usa en matemáticas (y física) para una definición. Se instancia, por ejemplo, en el carácter Unicode 'DELTA EQUAL TO' (U+225C) . la notación t metro (generalmente) significa: " t se define como metro " o " t es igual por definición a metro (a menudo bajo ciertas condiciones).

En un sentido similar, algunos usan := o =: (ver por ejemplo Símbolos basados ​​en la igualdad ). Sin embargo, esta variante Delta es más importante para mí.

Estos. Publicación de matemáticas ¿Qué significa el signo equivalente delta? propone una ligera distinción (no muy clara para mí) entre los sentidos similares anteriores:

A veces se usa con el significado ligeramente diferente de "igual por definición", para subrayar la diferencia wrt " := " que es la definición misma. es decir

a := 3 ; 5 + a 5 + 3 = 8

Siempre di por sentado que el Δ representaba la letra "D", es decir, la inicial de " definición ". De hecho, a veces uno encuentra = d mi F también. En alemán aparentemente, también se usa ( Entspricht-Zeichen , con Unicode U+2259).

Basado en estos consejos anteriores, mis preguntas son las siguientes:

  • ¿Quién introdujo este símbolo dual por primera vez en la ciencia y dónde (de qué fuente)?
  • ¿Qué motivó a los griegos? Δ ¿notación? ¿La abreviatura de alguna palabra, un símbolo (por qué no una notación latina)?
  • ¿Por qué no fusionar la barra inferior del Delta con la barra superior del signo igual, para ahorrar tinta y crear un símbolo más claro?

Referencias: el símbolo en sí ya se discutió en StackExchange:

Esta notación parece muy extraña, ya que sugiere simetría entre el definiens y el definiendum. Estoy más acostumbrado a := o =:, con los dos puntos al lado del definiendum.
Mathsym jeff560.tripod.com/mathsym.html solo tiene = D mi F (desde 1894) pero no la versión Delta.
@MargaretFriedland La asimetría viene dada por lo que está antes del símbolo y lo que está después del símbolo. De este modo A B siempre significa " A se define como B ".
@MargaretFriedland, simpatizo con su objeción y, de hecho, iría tan lejos como para objetar un poco la := uso, ya que se presta a errores tipográficos tan fácilmente. Más bien, preferiría que el contexto aclare cualquier asimetría (como una definición o una abreviatura notacional) en una igualdad matemática. (Parece poco probable que los matemáticos tomen estas asimetrías tan en serio como los programadores, ¡así que no necesariamente confío en ellos!)
La forma simétrica de entenderlo es leerlo como "esta igualdad se cumple por definición". Desde esa perspectiva no hay "definiens" ni "definiendum".
Tal vez una "asimetría remanente" reside en la convención de escribir el "definiendum" (gracias por las palabras) en el lado izquierdo

Respuestas (1)

Esto es realmente un comentario en lugar de una respuesta completa.

El tomo enciclopédico de Florian Cajori A History of Mathematical Notations no parece discutir este símbolo específicamente; lo más parecido es el siguiente comentario en la Sección 269:

L. Gustave du Pasquier ( Comptes Rendus du Congrès International des Mathématicians (Estrasburgo, 22–30 de septiembre de 1920), p. 164) al discutir números complejos generales emplea el signo de doble igualdad = = para significar “igual por definición”.

Revisé MathSciNet, y la revisión del artículo de 1953 "Zwei Klassen von Flächen, deren Bestimmung von einem Integral der Telegraphengleichung abhängt" de Hans Jonas (MR0058259) usa la notación = definitivamente (pero tenga en cuenta que el artículo de Jonas en sí no usa esa notación). Esta parece ser la aparición más temprana de = definitivamente o = definitivamente en MathSciNet. Pero no tengo acceso a una versión impresa para verificar que la notación se usó realmente en la edición de 1953 de Mathematical Reviews.

He estado esperando mucho tiempo, déjame validar el tuyo, hasta que...
Después de publicar esto, noté el comentario de Gerald Edgar que apunta a un uso de 1894 de = D mi F para significar igual por definición .