В математике надгробие , халмос , конец доказательства или символ QED «∎» (или «□») - это символ, используемый для обозначения конца доказательства вместо традиционного сокращения «QED» для латинского языка. фраза « quod erat manifestrandum », означающая «что должно было быть продемонстрировано». [1] В журналах это один из различных символов, используемых для обозначения конца статьи. [2]
В Юникоде он представлен как символ U + 220E ∎ КОНЕЦ ДОКАЗАТЕЛЬСТВА (HTML ∎). Его графическая форма может быть разной, это может быть полый или заполненный прямоугольник или квадрат.
В AMS-LaTeX символ автоматически добавляется в конец среды доказательства \ begin {proof} ... \ end {proof} . Она также может быть получена из команд \ qedsymbol , \qedhereили \ ч.т.д. (последние причины символ , который должен быть выровнен по правому краю). [3]
Это иногда называют «Халмош символ завершенности» или «Халмош» после того, как математика Халмош , который первым использовал его в математическом контексте в 1950 году [4] Он получил идею использовать его видеть , что в настоящее время используется , чтобы указать конец статей в журналах . В своих мемуарах « Я хочу быть математиком» он написал следующее: [5]
Этот символ определенно не мое изобретение - он появился в популярных журналах (не математических) до того, как я принял его, но, опять же, я, кажется, ввел его в математику. Это символ, который иногда выглядит как ▯ и используется для обозначения конца, обычно конца доказательства. Чаще всего его называют «надгробие», но по крайней мере один великодушный автор назвал его «халмосом».
См. Также [ править ]
Примечания [ править ]
- ^ "Окончательный словарь высшего математического жаргона - QED" Math Vault . 2019-08-01 . Проверено 4 ноября 2019 .
- ^ Фостер, AJ "Надгробия в типографии | AJ Foster" . aj-foster.com . Проверено 5 ноября 2019 .
- ^ "LaTeX / Теоремы - Викиучебники, открытые книги для открытого мира" . en.wikibooks.org . Проверено 5 ноября 2019 .
- ^ Халмос, Пол Р. (Пол Ричард), 1916-2006. (1950). Теория меры . Нью-Йорк: Ван Ностранд. С. 6 . ISBN 0387900888. OCLC 529634 .CS1 maint: несколько имен: список авторов ( ссылка )
- ↑ Пол Р. Халмос, Я хочу быть математиком: автоматография , 1985, стр. 403.
Ссылки [ править ]
- Миллер, Джефф (29 сентября 2007 г.), Самые ранние случаи использования символов теории множеств и логики , получено 26 июня 2010 г.
 | Эта статья про типографику незавершена . Вы можете помочь Википедии, расширив ее . |
