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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

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

Общие сведения[править | править вики-текст]

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

Структура[править | править вики-текст]

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

Стандартизация[править | править вики-текст]

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

Некоторая часть математических обозначений (в основном, связанная с измерениями) стандартизована в ISO 31-11, однако в целом стандартизация обозначений скорее отсутствует.

Элементы математических обозначений[править | править вики-текст]

Числа[править | править вики-текст]

Для записи целых чисел как правило применяется десятичная система счисления с арабскими цифрами. Подряд записанная строка цифр интерпретируется как число; возможные исключения оговорены ниже.

При необходимости применить систему счисления с основанием, меньшим десяти, основание записывается в нижний индекс: 200038. Системы счисления с основаниями, бо́льшими десяти, в общепринятой математической записи не применяются (хотя, разумеется, изучаются самой наукой), поскольку для них не хватает цифр. В связи с развитием информатики, стала актуальной шестнадцатеричная система счисления, в которой цифры от 10 до 15 обозначаются первыми шестью латинскими буквами от A до F. Для обозначения таких чисел в информатике используется несколько разных подходов, но в математику они не перенесены.

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

В приложениях очень большие или очень малые (по абсолютной величине) часто записываются в экспоненциальной записи: 1{,}6 \cdot 10^3. Иногда (особенно вычислители) вместо «умножить на десять в степени» пишут букву «E»,, то есть 1{,}6 \cdot 10^3 = 1{,}6E3, но в большинстве областей (включая чистую математику) такая запись не употребляется.

Математика же стремится более к точности чем к лёгкости обозначений, и поэтому нужное число по мере возможности будет записано в виде выражения, нежели приближённо.

Атомарные символы[править | править вики-текст]

Из буквенных символов употребляются, в основном, латинские и греческие буквы. Регистр важен. Латинские буквы I (прописное «ай») и l (строчное «эл») в прямом начертании пишутся с засечками, дабы не путались с вертикальной палкой и друг с другом, и вообще стремятся использовать начертания, как можно меньше похожие на другие используемые символы. Готические буквы считаются отдельными буквами. В принципе, никаких ограничений на используемые алфавиты нет.

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

Не стоит использовать символы вроде «Ȉ» (английское «ай» с точками), так как подобные символы могут быть легко перепутаны с производными (см.ниже).

Надстрочные и подстрочные знаки[править | править вики-текст]

Скобки, подобные им символы и разделители[править | править вики-текст]

Круглые скобки () используются как для группировки (указания последовательности операций) (см. Математическая формула#Приоритет операций для подробного объяснения), так и в синтаксисе функций. У них есть и другие назначения.

Квадратные скобки [ ] нередко применяются в значении группировки, когда приходится использовать много пар скобок. В таком случае они ставятся снаружи и (при аккуратной типографике) имеют бо́льшую высоту, чем скобки, стоя́щие внутри.

Квадратные и круглые скобки используются при обозначении закрытых и открытых промежутков соответственно.

Фигурные скобки { } используются, как правило, для определения множеств, хотя в отношении них справедлива та же оговорка что и для квадратных скобок. См. также #«И» и «или» при записи уравнений для значения непарных левой фигурной «{» и левой квадратной «[» скобок.

Символы угловых скобок \langle\; \rangle при аккуратной типографике должны иметь тупые углы и тем отличаться от схожих символов неравенства, имеющих прямой или острый угол. На практике же на это не следует надеяться (особенно, при ручной записи формул) и различать их приходится при помощи интуиции.

Часто используются пары симметричных (относительно вертикальной оси) символов, в том числе и отличных от перечисленных, для выделения куска формулы. См. раздел #Конструкции с использованием зеркальных (парных) символов для объяснения значения разнообразных скобок, отличного от группировки.

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

Двоякую роль играет символ вертикальной черты — в зависимости от контекста, он может являться как скобкообразным пароообразующим (абсолютная величина |x|), так и разделителем в различных конструкциях или же обозначением начала/конца матрицы.

Индексы[править | править вики-текст]

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

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

Взаимное расположение[править | править вики-текст]

Итак, основные модели расположения символов:

  • В строку
  • В несколько связанных строк (см. например это)
  • Внутри скобок (возможны случаи расположения как в один ряд, так и в несколько)
  • Строка символов сверху или снизу от расположенного в строке символа (обычно, увеличенного размера)
  • Строка символов меньшей высоты (кегля) пишется справа вверху или справа внизу от символа большей высоты (см. #Индексы)
  • Две подстроки друг над другом, разделённые горизонтальным прямым отрезком — значение см. в (Математическая формула#Деление)

Синтаксис[править | править вики-текст]

Константы[править | править вики-текст]

Константы — величины, фиксированные уже на момент записи формулы, в частности числовые. О записи целых чисел было сказано выше, однако если оно содержит слишком много цифр, то может быть представлено в виде арифметического выражения, например 2^{127} - 1.

Если записываемое число заведомо является рациональным, то в математике в подавляющем большинстве случаев оно будет записано точно, то есть, как правило, в виде простой дроби (если число нецело).

Алгебраическое число, при возможности, будет записано через корни. Аналогично, любое другое число может быть записано в виде выражения, дающее его точное значение.

Комплексное число может быть записано как a + ib, где a и b — вещественные константы, но может быть применена запись через аргумент и модуль комплексного числа.

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

Ряд математических констант имеют буквенные именные обозначения — см. число Пи (\pi), число Эйлера (e) и ряд других. В науках, использующих математический аппарат, существует множество своих именованных и обозначаемых буквами констант. Например, см. Фундаментальные физические постоянные.


Переменные[править | править вики-текст]

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

Переменная X считается заданной, если указано множество принимаемых ею значений {x}. Постоянную же величину удобно рассматривать как переменную, у которой соответствующее множество {x} состоит из одного элемента. [1]

Функции и операторы[править | править вики-текст]

В математике не усматривается существенного различия между оператором (унарным), отображением и функцией.[2]

Однако, подразумеваются, что если для записи значения отображения от заданных аргументов необходимо указывать круглые скобки, то символ оного отображения обозначает функцию, в иных случаях скорее говорят об операторе. Символы некоторых функций одного аргумента употребляются и со скобками и без. Многие элементарные функции, например \sin x или \sin(x), но элементарные функции всегда называются функциями.

Операторы и отношения (унарные и бинарные)[править | править вики-текст]

Бинарные операторы и отношения записываются в инфиксной форме, если для них не применяется синтаксис функций. Унарные операторы записываются как попало; в алгебре же обычно знак оператора ставится слева от аргумента (префиксная запись). Оператор дифференцирования записывается штрихом f' (обычно, подразумевается дифференцирование по переменной x или просто по единственному аргументу функции) или точкой наверху \dot f (обычно, подразумевается дифференцирование по переменной t — времени).

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


Функции[править | править вики-текст]

Функция может упоминаться в двух смыслах: как выражение её значения при заданных аргументах (пишется f(x),\ f(x,y) и т. п.) или собственно как функция. В последнем случае ставится только символ функции, без скобок (хотя зачастую пишут как попало).

Имеется много обозначений общепринятых функций, используемых в математических работах без дополнительных пояснений. В противном случае функцию надо как-то описывать и в фундаментальной математике она принципиально не отличается от переменной и точно также обозначается произвольной буквой. Для обозначения функций-переменных наиболее популярна буква f, также часто применяются g и большинство греческих.

Предопределённые (зарезервированные) обозначения[править | править вики-текст]

Однако, однобуквенным обозначениям может быть, при желании, придан другой смысл. Например, буква i часто используется как обозначение индекса в контексте, где комплексные числа не применяются, а буква π может быть использована как переменная в какой-нибудь комбинаторике. Также, символы теории множеств (такие как \subset и \supset) и исчисления высказываний (такие как \wedge и \vee) могут быть использованы в другом смысле, обычно как отношение порядка и бинарные операции соответственно.

Индексирование[править | править вики-текст]

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

Собственно номера[править | править вики-текст]

Можно иметь несколько разных переменных, обозначая их одной буквой, аналогично использованию надстрочных знаков. Например: x_1,\ x_2,\ x_3\ldots. Обычно они связаны какой-то общностью, но вообще это не обязательно.

Более того, в качестве «индексов» можно использовать не только числа, но и любые символы. Однако, когда в виде индекса пишется другая переменная и выражение, данная запись интерпретируется «как переменная с номером, определяемым значением индексного выражения».

В тензорном анализе[править | править вики-текст]

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

В записи произведения тензорных величин интерпретация зависит от совпадения используемых индексных переменных. Если они все различны, то подразумевается тензорное произведение. Если одна переменная встречается дважды (например: A^k_l B^l_m), то по ней проводится свёртка. Возможна также запись типа A^k_k — след матрицы. Данное обозначение традиционно называют «суммированием по повторяющимся индексам», поскольку в фиксированном базисе именно так и выглядит.

Параметры[править | править вики-текст]

Конструкции с использованием зеркальных (парных) символов[править | править вики-текст]

Значения скобкообразных конструкций, отличные от указания последовательности операций. Если аргументов более одного, то символом разделителя является запятая, если иное не оговорено.

Круглые скобки ():

Квадратные скобки [ ]:

При отсутствии специальных символов \lfloor\ \rfloor могут использоваться для обозначения целой части числа.

Фигурные скобки { }:

Угловые скобки 〈 〉:

  • Бра и кет (2 или 3 аргумента, разделитель — вертикальная палка), эрмитова форма (2 аргумента)
  • Кортеж (в математической логике и т. п.; аргументов сколько угодно, хоть 0)

Палки | | и двойные палки ||\ ||:


Множества[править | править вики-текст]

Множество может быть обозначено, как и другие объекты, в виде предопределённого обозначения, переменной (атомарным символом), в виде результата операции над множествами и т. п. Когда требуется построить множество, используется конструкция \{\text{выражение}\mid\text{условие}\}, обозначающее множество всех значений выражения, для которых условие истинно. Переменные, используемые внутри данного выражения, могут быть локальными.

Допустима также запись \{x\in M\mid\text{условие}\}, где x — локальная переменная (значения которой формируют искомое множество), а M — некоторое заранее определённое множество, которое переменная x пробегает.

Множество можно записать и как перечисление: {элемент}, {элемент, элемент}, {элемент, элемент, элемент} и т. д.

По поводу записи операций над множествами см. операции над множествами.


Конструкции математической логики[править | править вики-текст]

Логические связки[править | править вики-текст]

Для записи логических выражений, составляемых из значений предикатов, бинарных отношений и т. п., используются логические связки. Бинарные связки записываются в инфиксной форме. Общеприняты:

  • Конъюнкция & (также \wedge, особенно в булевой логике)
  • Дизъюнкция \vee (символ "|", в отличие от программирования, не употребляется в данном значении)
  • Импликация: \Rightarrow (как содержательное утверждение), → (суждение формальной теории); в случае когда против обыкновения посылка стои́т справа а следствие слева, направление стрелки обращается: \Leftarrow,\ \leftarrow
  • Отрицание ¬ (унарная связка, употребляемая в префиксной форме; многие символы бинарных отношений, особенно равенства и порядка, имеют разновидность со встроенным отрицанием, получаемым обычно перечёркиванием символа)

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

«И» и «или» при записи уравнений[править | править вики-текст]

Та же самая конъюнкция при записи т. н. системы уравнений обычно обозначается непарной открывающейся фигурной скобкой { .

Аналогично, дизъюнкция может обозначаться непарной открывающейся квадратной скобкой [ . Также существует конструкция, аналогичная тернарной условной операции в некоторых языках программирования:

\vartheta(x) =  \begin{cases} 0,        & x < 0 \\ 1,        & x \geqslant 0 \end{cases}

Кванторы[править | править вики-текст]

Вывод[править | править вики-текст]

Неформульные обозначения[править | править вики-текст]

Перевод в неграфическую форму[править | править вики-текст]

Устное прочтение[править | править вики-текст]

Электронное кодирование[править | править вики-текст]

Наиболее распространённой системой оного является TeX и его расширения.[3]

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  1. Фихтенгольц Г.М. Глава первая: теория пределов. // Курс дифференциального и интегрального исчисления. — 7-е изд.. — «Наука», 1969. — Т. 1. — С. 43. — 608 с. — 100 000 экз.
  2. Математический энциклопедический словарь / Гл. ред. Ю.В. Прохоров. — «Советская энциклопедия», 1988. — С. 431. — 847 с. — 150 000 экз.
  3. В Википедии для математической записи применяется LaTeX, использование которого документировано на странице Википедия:Формулы.