En matemáticas, el símbolo de lápida , halmos , fin de prueba o QED "∎" (o "□") es un símbolo que se usa para denotar el final de una prueba , en lugar de la abreviatura tradicional "QED" del latín frase " quod erat demostrandum ", que significa "que se iba a demostrar". [1] En las revistas, es uno de los varios símbolos que se utilizan para indicar el final de un artículo. [2]
En Unicode , se representa como carácter U + 220E ∎ FIN DE PRUEBA (HTML ∎
). Su forma gráfica varía, ya que puede ser un rectángulo o cuadrado hueco o relleno.
En AMS-LaTeX , el símbolo se añade automáticamente al final de un entorno de prueba \begin{proof}
... \end{proof}
. También se puede obtener de los comandos \qedsymbol
, \qedhere
o \qed
(este último hace que el símbolo esté alineado a la derecha). [3]
A veces se le llama un "símbolo de finalidad de Halmos" o "halmos" en honor al matemático Paul Halmos , quien lo usó por primera vez en un contexto matemático en 1950. [4] Tuvo la idea de usarlo al ver que se estaba usando para indicar el fin de artículos en revistas . En sus memorias Quiero ser matemático , escribió lo siguiente: [5]
El símbolo definitivamente no es mi invención: apareció en revistas populares (no matemáticas) antes de que lo adoptara, pero, una vez más, parece que lo he introducido en las matemáticas. Es el símbolo que a veces se parece a ▯ y se usa para indicar un final, generalmente el final de una prueba. Se le llama con mayor frecuencia la 'lápida sepulcral', pero al menos un autor generoso se refirió a ella como los 'halmos'.
Ver también
Notas
- ^ "El glosario definitivo de jerga matemática superior - QED" Math Vault . 2019-08-01 . Consultado el 4 de noviembre de 2019 .
- ^ Foster, AJ "Tombstones in Typography | AJ Foster" . aj-foster.com . Consultado el 5 de noviembre de 2019 .
- ^ "LaTeX / Teoremas - Wikilibros, libros abiertos para un mundo abierto" . en.wikibooks.org . Consultado el 5 de noviembre de 2019 .
- ^ Halmos, Paul R. (Paul Richard), 1916-2006. (1950). Teoría de la medida . Nueva York: Van Nostrand. pp. 6 . ISBN 0387900888. OCLC 529634 .CS1 maint: varios nombres: lista de autores ( enlace )
- ^ Paul R. Halmos, Quiero ser matemático: una automatización , 1985, p. 403.
Referencias
- Miller, Jeff (29 de septiembre de 2007), Early Uses of Symbols of Set Theory and Logic , consultado el 26 de junio de 2010