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

%

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

log_a b, lg, ln

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

x_n

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

n!

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

∞

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

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

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

На символику теории множеств большое влияние оказала тесно связанная с ней и уже хорошо разработанная к концу XIX века символика математической логики. Теоретико-множественные символы «содержится» и «содержит» появились в 1890 году у немецкого логика Эрнста Шрёдера. Вначале отношения «содержится» и «является элементом» не различали, но ещё до появления парадоксов теории множеств отдельный символ принадлежности: стал использовать Джузеппе Пеано (1895, от греч. εστι, быть). Он же является автором символов пересечения и объединения множеств (1888).

Дата добавления: 2015-08-21