Символы математики

Бесконечность. Дж.Валлис (1655).

Впервые встречается в трактате английского математика Джон Валиса "О конических сечениях".

Сложение, вычитание. Я.Видман (1489).

Знаки плюса и минуса придумали, по-видимому, в немецкой математической школе «коссистов» (то есть алгебраистов). Они используются в учебнике Яна (Йоханнеса) Видмана «Быстрый и приятный счёт для всех торговцев», изданном в 1489 году. До этого сложение обозначалось буквой p (от латинского plus «больше») или латинским словом et (союз «и»), а вычитание – буквой m (от латинского minus «менее, меньше»). У Видмана символ плюса заменяет не только сложение, но и союз «и». Происхождение этих символов неясно, но, скорее всего, они ранее использовались в торговом деле как признаки прибыли и убытка. Оба символа вскоре получили общее распространение в Европе — за исключением Италии, которая ещё около века использовала старые обозначения.

Деление. И.Ран (1659), Г.Лейбниц (1684).

Уильям Оутред в качестве знака деления использовал косую черту /. Двоеточием деление стал обозначать Готфрид Лейбниц. До них часто использовали также букву D. Начиная с Фибоначчи, используется также горизонтальная черта дроби, употреблявшаяся ещё у Герона, Диофанта и в арабских сочинениях. В Англии и США распространение получил символ ÷ (обелюс), который предложил Иоганн Ран (возможно, при участии Джона Пелла) в 1659 году. Попытка Американского национального комитета по математическим стандартам (National Committee on Mathematical Requirements) вывести обелюс из практики (1923) оказалась безрезультатной.

Факториал. К.Крамп (1808).

Факториал числа n (обозначается n!, произносится "эн факториал") – произведение всех натуральных чисел до n включительно: n! = 1·2·3·...·n. Например, 5! = 1·2·3·4·5 = 120. По определению полагают 0! = 1. Факториал определён только для целых неотрицательных чисел. Факториал числа n равен числу перестановок из n элементов. Например, 3! = 6, действительно,

♣ ♥ ♦

♣ ♦ ♥

♥ ♣ ♦

♥ ♦ ♣

♦ ♣ ♥

♦ ♥ ♣

– все шесть и только шесть вариантов перестановок из трёх элементов.

Термин "факториал" ввёл французский математик и политический деятель Луи Франсуа Антуан Арбогаст (1800), обозначение n! – французский математик Кристиан Крамп (1808).

Равенство. Р.Рекорд (1557).

Знак равенства предложил уэльский врач и математик Роберт Рекорд в 1557 году; начертание символа было намного длиннее нынешнего, так как имитировало изображение двух параллельных отрезков. Автор пояснил, что нет в мире ничего более равного, чем два параллельных отрезка одинаковой длины. До этого в античной и средневековой математике равенство обозначалось словесно (например est egale). Рене Декарт в XVII веке при записи стал использовать æ (от лат. aequalis), а современный знак равенства он использовал чтобы указать, что коэффициент может быть отрицательным. Франсуа Виет знаком равенства обозначал вычитание. Символ Рекорда получил распространение далеко не сразу. Распространению символа Рекорда мешало то обстоятельство, что с античных времён такой же символ использовался для обозначения параллельности прямых; в конце концов было решено символ параллельности сделать вертикальным. В континентальной Европе знак "=" был введён Готфридом Лейбницем только на рубеже XVII–XVIII веков, то есть более чем через 100 лет, после смерти впервые использовавшего его для этого Роберта Рекорда.

Перпендикулярность. П.Эригон (1634).

Перпендикулярность – взаимное расположение двух прямых, плоскостей или прямой и плоскости, при котором указанные фигуры составляют прямой угол. Знак ⊥ для обозначения перпендикулярности ввёл в 1634 году французский математик и астроном Пьер Эригон. Понятие перпендикулярности имеет ряд обобщений, но всем им, как правило, сопутствует знак ⊥.

Пересечение, объединение. Дж.Пеано (1888).

Пересечение множеств – это множество, которому принадлежат те и только те элементы, которые одновременно принадлежат всем данным множествам. Объединение множеств – множество, содержащее в себе все элементы исходных множеств. Пересечением и объединением называются и операции над множествами, ставящие в соответствие некоторым множествам новые по указанным выше правилам. Обозначаются ∩ и ∪, соответственно. Например, если

А={♠ ♣ ♥} и В={♣ ♥ ♦},

то

А∩В={♣ ♥}

А∪В={♠ ♣ ♥ ♦}.

Автором знаков ∩ и ∪ является итальянский математик Джузеппе Пеано. Впервые они были использованы в 1888 году.

Квантор всеобщности, квантор существования. Г.Генцен (1935), Ч.Пирс (1885).

Квантор – общее название для логических операций, указывающих область истинности какого-либо предиката (математического высказывания). Философы давно обращали внимание на логические операции, ограничивающие область истинности предиката, однако не выделяли их в отдельный класс операций. Хотя кванторно-логические конструкции широко используются как в научной, так и в обыденной речи, их формализация произошла только в 1879 году, в книге немецкого логика, математика и философа Фридриха Людвига Готлоба Фреге «Исчисление понятий». Обозначения Фреге имели вид громоздких графических конструкций и не были приняты. Впоследствии было предложено множество более удачных символов, но общепринятыми стали обозначения ∃ для квантора существования (читается "существует", "найдётся"), предложенное американским философом, логиком и математиком Чарльзом Пирсом в 1885 году, и ∀ для квантора всеобщности (читается "любой", "каждый", "всякий"), образованное немецким математиком и логиком Герхардом Карлом Эрихом Генценом в 1935 году по аналогии с символом квантора существования (перевёрнутые первые буквы английских слов Existence (существование) и Any (любой)). Например, запись

(∀ε>0) (∃δ>0) (∀x≠x0, |x–x0|<δ) (|f(x)–A|<ε)

читается так: "для любого ε>0 существует δ>0 такое, что для всех х, не равных х0 и удовлетворяющих неравенству |x–x0|<δ, выполняется неравенство |f(x)–A|<ε".

Еще символы

Источник: http://math4school.ru/

Отношение длины окружности к диаметру. У.Джонс (1706), Л.Эйлер (1736).

Математическая константа, иррациональное число. Число "пи", старое название – лудольфово число. Как и всякое иррациональное число, π представляется бесконечной непереодической десятичной дробью:

π=3,141592653589793...

Впервые обозначением этого числа греческой буквой π воспользовался британский математик Уильям Джонс в книге «Новое введение в математику», а общепринятым оно стало после работ Леонарда Эйлера. Это обозначение происходит от начальной буквы греческих слов περιφερεια – окружность, периферия и περιμετρος – периметр. Иоганн Генрих Ламберт доказал иррациональность π в 1761 году, а Адриен Мари Лежандр в 1774 году доказал иррациональность π2. Лежандр, и Эйлер предполагали, чтоπ может быть трансцендентным, т.е. не может удовлетворять никакому алгебраическому уравнению с целыми коэффициентами, что было в конечном итоге доказано в 1882 году Фердинандом фон Линдеманом.

Умножение. У.Оутред (1631), Г.Лейбниц (1698).

Знак умножения в виде косого крестика ввёл в 1631 году англичанин Уильям Оутред. До него использовали чаще всего букву M, хотя предлагались и другие обозначения: символ прямоугольника (французский математик Эригон, 1634), звёздочка (швейцарский математик Иоганн Ран, 1659). Позднее Готфрид Вильгельм Лейбниц заменил крестик на точку (конец XVII века), чтобы не путать его с буквой x; до него такая символика встречалась у немецкого астронома и математика Региомонтана (XV век) и английского учёного Томаса Хэрриота (1560 –1621).

Процент. М. де ла Порт (1685).

Сотая доля целого, принимаемого за единицу. Само слово «процент» происходит от латинского "pro centum", что означает в переводе "на сто". В 1685 году в Париже была издана книга «Руководство по коммерческой арифметике» Матье де ла Порта. В одном месте речь шла о процентах, которые тогда обозначали «cto» (сокращённо от cento). Однако наборщик принял это «cto» за дробь и напечатал "%". Так из-за опечатки этот знак вошёл в обиход.

Модуль, абсолютная величина. К.Вейерштрасс (1841).

Модуль, абсолютная величина действительного числа х – неотрицательное число, определяемое следующим образом: |х| = х при х ≥ 0, и |х| = –х при х ≤ 0. Например, |7| = 7, |– 0,23| = –(–0,23) = 0,23. Модуль комплексного числа z = a + ib – действительное число, равное √(a2 + b2).

Считают, что термин "модуль" предложил использовать английский математик и философ, ученик Ньютона, Роджер Котс. Готфрид Лейбниц тоже использовал эту функцию, которую называл "модулем" и обозначал: mol x. Общепринятое обозначение абсолютной величины введено в 1841 году немецким математиком Карлом Вейерштрассом. Для комплексных чисел это понятие ввели французские математики Огюстен Коши и Жан Робер Арган в начале XIX века. В 1903 году австрийский учёный Конрад Лоренц использовал эту же символику для длины вектора.

Примерно равно, приблизительно равно. А.Гюнтер (1882).

Знак "≈" ввёл в использование как символ отношения "примерно равно" немецкий математик и физик Адам Вильгельм Зигмунд Гюнтер в 1882 году.

Больше, меньше. Т.Гарриот (1631).

Эти два знака ввёл в использование английский астроном, математик, этнограф и переводчик Томас Гарриот в 1631 году, до этого использовали слова "больше" и "меньше".

Параллельность. У.Оутред (посмертное издание 1677 года).

Параллельность – отношение между некоторыми геометрическими фигурами; например, прямыми. Определяется по-разному в зависимости от различных геометрий; например, в геометрии Евклида и в геометрии Лобачевского. Знак параллельности известен с античных времён, его использовали Герон и Папп Александрийский. Сначала символ был похож на нынешний знак равенства (только более протяжённый), но с появлением последнего, во избежание путаницы, символ был повёрнут вертикально ||. В таком виде он появился впервые в посмертном издании работ английского математика Уильяма Оутреда в 1677 году.

Содержится, содержит. Э.Шрёдер (1890).

Если А и В – два множества и в А нет элементов, не принадлежащих В, то говорят что А содержится в В. Пишут А⊂В или В⊃А (В содержит А). Например,

{♠}⊂{♠ ♣}⊂{♠ ♣ ♥ ♦}

{♠ ♣ ♥ ♦}⊃{♥ ♦}⊃{♦}

Символы "содержится" и "содержит" появились в 1890 году у немецкого математика логика Эрнста Шрёдера.

Принадлежность. Дж.Пеано (1895).

Если а – элемент множества А, то пишут а∈А и читают "а принадлежит А". Если а не является элементом множества А, пишут а∉А и читают "а не принадлежит А". Вначале отношения "содержится" и "принадлежит" ("является элементом") не различали, но со временем эти понятия потребовали разграничения. Знак принадлежности ∈ впервые стал использовать итальянский математик Джузеппе Пеано в 1895 году. Символ ∈ происходит от первой буквы греческого слова εστι – быть.

Пустое множество. Н.Бурбаки (1939).

Множество, не содержащее ни одного элемента. Знак пустого множества был введён в книгах Николя Бурбаки в 1939 году. Бурбаки – коллективный псевдоним группы французских математиков, созданной в 1935 году. Одним из участников группы Бурбаки был Андре Вейль – автор символа Ø.

Что и требовалось доказать. Д.Кнут (1978).

В математике под доказательством понимается последовательность рассуждений, построеных на определённых правилах, показывающая, что верно некоторое утверждение. Со времён эпохи Возрождения окончание доказательства обозначалось математиками сокращением "Q.E.D.", от латинского выражения "Quod Erat Demonstrandum" – "Что и требовалось доказать". При создании системы компьютерной вёрстки ΤΕΧ в 1978 году американский профессор информатики Дональд Эдвин Кнут использовал символ: заполненный квадрат, так называемый "символ Халмоша", по имени американского математика венгерского происхождения Пола Ричарда Халмоша. Сегодня завершение доказательства как правило обозначают Символом Халмоша. В качестве альтернативы используют и другие знаки: пустой квадрат, правый треугольник, // (две косых черты), а также русскую аббревиатуру "ч.т.д.".

"Не бойся, что не знаешь - бойся, что не учишься"

Китайская мудрость

МАТЕМАТИКА

ПОРЯДОК В ХАОСЕ