Математические обозначения


Математические обозначения («язык математики») — графическая система обозначений, служащая для изложения абстрактных математических идей и суждений в человеко-читаемой форме. Составляет (по своей сложности и разнообразию) значительную долю неречевых знаковых систем, применяемых человечеством. В данной статье описывается общепринятая международная система обозначений, хотя различные культуры прошлого имели свои собственные, и некоторые из них даже имеют ограниченное применение до сих пор.

Отметим, что математические обозначения, как правило, применяются совместно с письменной формой какого-то из естественных языков.

Помимо фундаментальной и прикладной математики, математические обозначения имеют широкое применение в физике, а также (в неполном своём объёме) в инженерии, информатике, экономике, да и вообще во всех областях человеческой деятельности, где применяются математические модели. Различия между собственно математическим и прикладным стилем обозначений будут оговорены по ходу текста.

Система складывалась, наподобие естественных языков, исторически (см. история математических обозначений), и организована наподобие письменности естественных языков, заимствуя оттуда также многие символы (прежде всего, из латинского и греческого алфавитов). Символы, также как и в обычной письменности, изображаются контрастными линиями на равномерном фоне (чёрные на белой бумаге, светлые на тёмной доске, контрастные на мониторе и т. д.), и значение их определяется в первую очередь формой и взаимным расположением. Цвет во внимание не принимается и обычно не используется, но, при использовании букв, такие их характеристики как начертание и даже гарнитура, не влияющие на смысл в обычной письменности, в математических обозначениях могут играть смыслоразличающую роль.

Обыкновенные математические обозначения (в частности, так называемые математические формулы) пишутся в общем в строку слева направо, однако не обязательно составляют последовательную строку символов. Отдельные блоки символов могут располагаться в верхней или нижней половине строки, даже в случае, когда символы не перекрываются вертикалями. Также, некоторые части располагаются целиком выше или ниже строки. С грамматической же стороны почти любую «формулу» можно считать иерархически организованной структурой типа дерева.

Математические обозначения представляют систему в смысле взаимосвязи своих компонент, но, в целом, не составляют формальную систему (в понимании самой математики). Они, в сколь-нибудь сложном случае, не могут быть даже разобраны программно. Как и любой естественный язык, «язык математики» полон несогласованных обозначений, омографов, различных (в среде своих носителей) трактовок того, что́ считать правильным и т. п. Нет даже сколь-нибудь обозримого алфавита математических символов, и в частности оттого, что не всегда однозначно решается вопрос, считать ли два обозначения разными символами или же разными написаниями одного символа.