Объекты и операции

Объекты и операции

Десятичная запятая, отделяющая дробную часть числа от целой, введена итальянским астрономом Маджини (1592) и Непером (1617). Ранее вместо запятой ставили иные символы: вертикальную черту: 3|62 или нуль в скобках: 3 (0) 62; некоторые авторы, следуя ал-Каши, употребляли чернила разного цвета. В Англии вместо запятой предпочли использовать точку, которую ставили посередине строки; эту традицию переняли в США, однако сдвинули точку вниз, чтобы не путать её со знаком умножения.

Привычная нам «двухэтажная» запись обыкновенной дроби использовалась ещё древнегреческими математиками, хотя знаменатель у них записывался над числителем, а черты дроби не было. Индийские математики переместили числитель наверх; через арабов этот формат переняли в Европе. Дробную черту впервые в Европе ввёл Леонардо Пизанский (1202), но в обиход она вошла только при поддержке Иоганна Видмана (1489).

Леонардо Пизанский в 1202 году ввел слово «дробь» и первым стал использовать современную запись дробей.  Названия «числитель» и «знаменатель» ввел в XIII веке Максим Плануд греческий монах, ученый математик.  Иордан Неморарий (XIII ст.) выполняет деление дробей с помощью деления числителя на числитель и знаменателя на знаменатель, уподобляя деление умножению.  В Европе десятичные дроби ввёл в 1585 году голландский математик и инженер Симон Стевин.  Роберт Джагер - в 1651 г ввел изображение обыкновенных дробей 14/763 . 

Первое появление знаков «плюс» и «минус». Страница из книги Иоганна Видмана

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

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

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

Знак плюс-минус появился у Жирара (1626) и Отреда. Правда, Жирар между плюсом и минусом писал ещё словами «или».

Возведение в степень. Современная запись показателя степени введена Декартом в его «Геометрии» (1637), правда, только для натуральных степеней, больших 2. Позднее Ньютон распространил эту форму записи на отрицательные и дробные показа, трактовку которых к этому времени уже предложили Стевин, Валлис и Жирар.

Средневековые математики (например, Кардано) обозначали квадратный корень символом Rx (от лат. Radix, корень)[3]. Современное обозначение впервые употребил немецкий математик Кристоф Рудольф {Ch. Rudolff), из школы коссистов, в 1525 году[4]. Происходит этот символ от стилизованной первой буквы того же слова radix. Черта над подкоренным выражением вначале отсутствовала; её позже ввёл Декарт (1637) для иной цели (вместо скобок), и эта черта вскоре слилась со знаком корня.

Кубический корень в XVI веке обозначался следующим образом: Rx. u.cu (от лат. Radix universalis cubica)[3]. Привычное нам обозначение корня произвольной степени начал использовать Альбер Жирар (1629).[5] Закрепился этот формат благодаря Ньютону и Лейбницу.

Круглые скобки появились у Тартальи (1556) (для подкоренного выражения) и позднее у Жирара[4]. Одновременно Бомбелли использовал в качестве начальной скобки уголок в виде буквы L, а в качестве конечной — его же в перевёрнутом виде (1550); такая запись стала прародителем квадратных скобок. Фигурные скобки предложил Виет (1593)[4]. Всё же большинство математиков тогда предпочитали вместо скобок надчёркивать выделяемое выражение. В общее употребление скобки ввели Лейбниц и Эйлер.

Знак суммы ввёл Эйлер в 1755 году.

Знак произведения ввёл Гаусс в 1812 году.

Букву i как код мнимой единицы: предложил Эйлер (1777), взявший для этого первую букву слова imaginarius (мнимый).

Обозначение абсолютной величины и модуля комплексного числа появились у Вейерштрасса в 1841 году. В 1903 году Лоренц использовал эту же символику для длины вектора.

Символ функции «целая часть» ввёл Гаусс в 1808 году. Некоторые математики предпочитают использовать вместо него обозначение E(x), предложенное в 1798 году Лежандром.

Первое печатное появление знака равенства (записано уравнение 14x + 15 = 71)

Знак равенства предложил Роберт Рекорд в 1557 году; начертание символа было намного длиннее нынешнего. Автор пояснил, что нет в мире ничего более равного, чем два параллельных отрезка одинаковой длины. Некоторое время распространению символа Рекорда мешало то обстоятельство, что с античных времён такой же символ использовался для обозначения параллельности прямых; в конце концов было решено символ параллельности сделать вертикальным. В континентальной Европе знак равенства был введён Лейбницем.

Знак «приблизительно равно» придумал немецкий математик С. Гюнтер в 1882 году.

Знак «не равно» впервые встречается у Эйлера.

Автор знака «тождественно равно» — Бернгард Риман (1857). Этот же символ, по предложению Гаусса, используется в теории чисел как знак сравнения по модулю, а в логике — как знак операции эквивалентности.

Знаки сравнения ввёл Томас Хэрриот в своём сочинении, изданном посмертно в 1631 году. До него писали словами: больше, меньше.

Символы нестрогого сравнения предложил Валлис в 1670 году. Первоначально черта была выше знака сравнения, а не под ним, как сейчас. Общее распространение эти символы получили после поддержки французского математика Пьера Бугера (1734), у которого они приобрели современный вид.

Эти обозначения были введены Анри Пуанкаре и Эмилем Борелем (1901) и использовались для указания, что один ряд мажорируется другим. Иногда они используются в этом узком смысле и сейчас, но чаще означают «много меньше» и «много больше».

Геометрия и тригонометрия

Символы «угол» и «перпендикулярно» придумал в 1634 году французский математик Пьер Эригон. Символ угла у Эригона напоминал значок < , современную форму ему придал Уильям Отред (1657).

Символ «параллельности» известен с античных времён, его использовали Герон и Папп Александрийский. Сначала символ был похож на нынешний знак равенства, но с появлением последнего, во избежание путаницы, символ был повёрнут вертикально (Отред (1677), Керси (John Kersey) и др. математики XVII века)[6].

Современные обозначения угловых единиц (градусы, минуты, секунды) встречаются ещё в «Альмагесте» Птолемея, однако в средневековой Европе вместо них писали словами: gradus, minutes, secundae. Вновь эти символы использовал в 1568 году французский математик и поэт Жак Пелетье (Jacques Peletier du Mans, 1517-1582), после чего они быстро вошли в общее употребление (в частности, у Тихо Браге, Ретика и Кеплера).

Общепринятое обозначение числа 3.14159… впервые образовал Уильям Джонс в 1706 году, взяв первую букву греческих слов ресйцЭсейб — окружность и ресЯмефспт — периметр, то есть длина окружности. Это сокращение понравилось Эйлеру, труды которого закрепили обозначение окончательно.

Сокращённые обозначения для синуса и косинуса ввёл Уильям Отред в середине XVII века.
Сокращённые обозначения тангенса и котангенса: введены Иоганном Бернулли в XVIII веке, они получили распространение в Германии и России. В других странах употребляются названия этих функций tan, cot, предложенные Альбером Жираром ещё ранее, в начале XVII века.

Манера обозначать обратные тригонометрических функции с помощью приставки arc (от лат. arcus, дуга) появилась у австрийского математика Карла Шерфера (Karl Scherffer, 1716—1783) и закрепилась благодаря Лагранжу. Имелось в виду, что, например, обычный синус позволяет по дуге окружности найти стягивающую её хорду, а обратная функция решает противоположную задачу. Английская и немецкая математические школы до конца XIX века предлагали иные обозначения:, но они не прижились.

Долгое время математики задавали аргументы без скобок: fx, скобки использовались только в случае многих аргументов, а также если аргумент представлял собой сложное выражение[7]. Отголоском тех времён являются употребительные и сейчас записи sin x, lg x и др. Но постепенно использование скобок стало общим правилом.

Символы бесконечно малых использовал шотландский математик Джеймс Грегори. У него эти обозначения перенял Ньютон.

Обозначение интеграла Лейбниц произвёл от первой буквы слова «Сумма» (Summa). Ньютон в своих работах не предложил альтернативной символики интеграла, хотя пробовал различные варианты: вертикальную черту над функцией или символ квадрата, который стоит перед функцией или окаймляет её. Сам термин интеграл придумал Якоб Бернулли (1690).

Обозначение приращения буквой Д впервые употребил Иоганн Бернулли.

Обозначение дифференциала, производной и значительная часть других общеупотребительных символов анализа принадлежит Лейбницу.

Манера обозначать производную по времени точкой над буквой идёт от Ньютона (1691).

Краткое обозначение производной штрихом восходит к Лагранжу

Оформление определённого интеграла в привычном нам виде придумал Фурье.

Стандартное обозначение числа Эйлера e = 2.71828… предложено, естественно, Эйлером (1728, опубликовано в 1736 году).

Символ частной производной сделали общеупотребительным сначала Карл Якоби (1837), а затем Вейерштрасс, хотя это обозначение уже встречалось ранее в одной работе Лежандра (1786).

Символ предела появился в 1787 году у Симона Люилье, хотя предельное значение аргумента сначала указывался отдельно, после символа lim. Близкое к современному обозначение ввёл Вейерштрасс, однако вместо привычной нам стрелки он использовал знак равенства[8]. Стрелка появилась в начале XX века сразу у нескольких математиков — например, у Харди (1908).

Символ этого дифференциального оператора придумал Уильям Роуэн Гамильтон (1853), а название «набла» предложил Хевисайд (1892).

Другие обозначения

Символ процента появляется в середине XVII века сразу в нескольких источниках, его происхождение неясно. Есть гипотеза, что он возник от ошибки наборщика, который сокращение cto (cento, сотая доля) набрал как 0/0. Более вероятно, что это скорописный коммерческий значок, возникший лет на 100 раньше.

До конца XIX века общепринятого обозначения логарифма не было, основание a указывалось то левее и выше символа log, то над ним. В конечном счёте математики пришли к выводу, что наиболее удобное место для основания — ниже строки, после символа log. Краткие обозначения наиболее употребительных видов логарифма — десятичного и натурального — появились намного раньше сразу у нескольких авторов и закрепились окончательно также к концу XIX века[9].

Индексацию для нумерации однородных переменных в современном виде ввёл Ньютон (1717). Первое время, из-за типографских ограничений, индексы печатались не ниже строки, а на том же уровне. Двойные индексы (для элементов матриц) ввёл в общее пользование Якоби (1835).

Символ факториала предложил Кристиан Крамп (1808).

Символ бесконечности придумал Валлис, опубликован в 1655 году[4].

Символы логических операций предложил Джордж Буль (1854). Альтернативой являются символ амперсанда & для конъюнкции и вертикальной черты: | для дизъюнкции.

Первые символы для кванторов появились в 1879 году, в книге Фреге «Исчисление понятий». Обозначения Фреге имели вид громоздких графических конструкций и не были приняты. Впоследствии было предложено множество более удачных символов, но общепринятыми стали обозначения для квантора существования, предложенное Чарльзом Пирсом в 1885 году, и для квантора общности, образованное Герхардом Генценом в 1935 году по аналогии с символом квантора существования (перевёрнутые первые буквы английских слов exists (существует) и all (все)).