Будучи студентом-физиком, я часто обнаруживаю, что при решении задач на доске лектор изо всех сил пытается найти хорошее имя переменной для переменной, например: «О, я не могу использовать B для этой матрицы, это магнитное поле».
Даже не обращая внимания на множество букв, используемых для общих физических понятий, кажется, что большинство обычных греческих и латинских букв уже имеют коннотации, которые могут сделать их использование для других целей потенциально запутанным, например, можно было бы связать и с целочисленными аргументами, с индексами или кватернианами, и с небольшими значениями, с комплексными числами и и с матрицами и так далее.
Тогда мне кажется странным, что не было предпринято никаких попыток ввести в математику дополнительные алфавиты, два очевидных, для их наглядности, были бы скандинавские руны или японская катакана.
Единственный пример, который я могу навскидку придумать для негреческого или латинского символа, который широко принят в математике, — это еврейский символ алеф ( ), хотя, возможно, их больше.
Тогда мой вопрос: были ли предприняты какие-либо серьезные усилия со стороны мейнстрима, возможно, путем их использования в книгах или прямой пропаганды их в лекциях или статьях, чтобы ввести символы из других алфавитов в математику? Если они были, то почему они потерпели неудачу, а если их не было, почему они обычно считаются ненужными?
Спасибо, и извините, если это не подходящий вопрос для math.stackexchange.com, чтение часто задаваемых вопросов показало, что вопросы этого типа находятся на грани приемлемости.
Чтобы добавить к некоторым из букв и алфавитов, упомянутых в теории множеств, еврейские буквы и используются.
Как вы упомянули, обычно используются буквы конкретных переменных для определенных целей. Более неясные иностранные буквы, вероятно, редко используются просто потому, что их не нужно вводить. У математиков уже есть два алфавита для выбора переменных!
Однако для вещей, которые имеют определенные цели, таких как константы или специальные функции, нельзя присвоить одну и ту же букву переменной, не вызывая путаницы.
В 1960-х сотрудник IBM по имени Кеннет Айверсон создал новую математическую нотацию, которая изначально называлась «Лучшая математика Айверсона».
Он опубликовал ее в книге под названием «Язык программирования» , и, поскольку IBM не слишком увлеклась внутренним прозвищем, сама нотация стала известна как APL. (Айверсон не имел в виду язык программирования в смысле компьютерного программирования, хотя на самом деле вскоре был реализован интерпретатор, и теперь вы можете выполнять APL на компьютере.)
Вы можете увидеть набор символов, используемый в этом онлайн-интерпретаторе APL , и вы заметите, что в нем не так уж много греческих или латинских символов. ( йота генерирует вектор последовательных целых чисел, ро изменяет форму строк и столбцов n-мерной матрицы, альфа и омега используются для определения функций одной или двух переменных).
APL сильно зависит от композиции функций, и часто имена переменных вообще не нужны. Число, которое мы называем пи , представлено кружком (который также может использоваться для всех тригономических функций), и один из этих символов выполняет работу e и log
.
Он также использует явный знак умножения, что означает, что любое слово может использоваться для представления переменной всякий раз, когда она вам действительно нужна.
Если вам интересно, книга Айверсона размещена по адресу http://www.jsoftware.com/papers/APL.htm . Есть также более короткая статья под названием « Нотация как инструмент мысли» , которая, как мне кажется, была его лекцией на премию Тьюринга.
Это была серьезная попытка реформировать математическую нотацию, и в то время она была весьма популярна. Вы могли даже получить пишущую машинку с символами APL (на самом деле набор символов был частично выбран на основе того, что вы печатаете на пишущей машинке IBM). Но у издателей коммерческих книг того времени были проблемы со всеми этими новыми персонажами, и, конечно, у них довольно крутая кривая обучения.
Люди до сих пор используют APL, особенно на финансовых рынках, наряду с современными вариациями, такими как J и K, которые придерживаются символов ascii, оставаясь при этом столь же загадочными.
Я не уверен, что это общепринятое признание, но вот :)
В продвинутой теории чисел арифметики ввели русскую букву Ш, произносимую как «шах».
Но это очень локально.
Помимо греческого алфавита, единственным известным мне другим алфавитом, используемым в латинской среде, является Fraktur , широко известный как готский.
Он широко используется в алгебре для идеалов в кольцах.
На самом деле, практически все стандартные справочники по коммутативной алгебре и алгебраической геометрии используют Fraktur: Атья-Макдональд, EGA Дьедонне-Гротендика, Герц-Ведхорн, Хартсхорн, Якобсон, Мацумура, Цин Лю, Шафаревич, Зариски-Самюэль, ...
Изменить _ команда для Fraktur . Например:
Позволять быть главным идеалом, первичный идеал и произвольные идеалы кольца , затем...
Согласно Википедии, буква eth ( ð ), присутствующая в древнеанглийском, исландском, фарерском и эльфдальском алфавитах, «иногда используется в учебниках по математике и технике как символ взвешенной по спину частной производной», т.е. вариация обычного символа частной производной ∂ .
(Что заставляет меня задуматься , использовал ли когда-нибудь Кип Торн букву «шип» ( þ )… если нет, то кто-нибудь должен убедить его!)
В том же ключе я также только что узнал, что ħ , который в квантовой физике представляет редуцированную постоянную Планка (т. е. постоянную Планка h , деленную на 2π), «используется на мальтийском языке для глухого глоточного фрикативного согласного» . (Стыдно признаться, что я даже не знал, что мальтийский — это язык!)
Письмо на самом деле это датско-норвежское письмо .
В дополнение к и о которых упоминал Аргон, есть также (Гимель, третья буква на иврите), а Кантор использовал Тав (последнюю букву), но эта буква не прижилась.
Я должен добавить, что в математике стало принято называть переменные определенным типом букв. Конечно, это быть свободной переменной может быть чем угодно, но это предупреждает читателя, что переменная является положительным целым числом; сходным образом это очень маленькое количество.
Подумайте об этом на мгновение, что если не условность к аддитивному нейтральному элементу? Вы можете видеть, что это идет дальше и используются как нейтральные элементы в кольцах и группах, которые имеют мало общего с действительными числами. Почему? Потому что это предупреждает читателя, что это особый элемент.
Точно так же шрифты могут обозначать вещи, в курсе теории меры профессор сказал нам, что «строчные буквы для элементов, заглавные для наборов и курсив для наборов наборов». Вы часто видите, как люди используют для фильтра, даже если раньше не использовался, потому что это шрифт для фильтров.
Из-за этих соглашений часто трудно найти буквы, когда вы уже использовали основные (иногда в разных шрифтах).
(Я действительно слышал историю об одном из профессоров, который использовал и через несколько минут просто написал огромный символ, потому что у него закончились буквы.)
Кириллица Л, аналогичная L, является первой буквой имени Лобачевского и используется в гиперболической геометрии для функции Лобачевского.
1) глава 7 книги Тёрстона "Геометрия и топология 3-многообразий" (написана Милнором),
2) приложение к «Гиперболической геометрии Милнора: первые 150 лет» в бюллетене AMS за 1982 г.,
3) «Гиперболические многообразия и специальные значения дзета-функций Дедекинда» Загира в Invent. Мат. 83 (1986), 285--301.
4) «Основы гиперболических многообразий» Рэтклиффа (раздел 10.4).
Милнор использовал строчную букву Л, а Загир и Рэтклифф использовали заглавную Л.
Часто эта функция пишется греческой буквой , возможно, потому, что без особых усилий изготовить Л не так-то просто.
Были ли предприняты какие-либо серьезные усилия со стороны мейнстрима, возможно, путем их использования в книгах или прямой поддержки их в лекциях или статьях, чтобы ввести символы из других алфавитов в математику?
Мне было весело представить некоторые из них в моей кандидатской диссертации :
Это не имеет ничего общего с нотацией, но заставило меня перекрасить несколько не латинских, не греческих алфавитов. Я стремился получить все цитаты на языке оригинала (даже если их рендеринг был бы довольно сложным); на данный момент считаю: английский, итальянский, французский, испанский, японский, древнееврейский, немецкий, русский. Некоторых до сих пор не хватает, но в какой-то момент я добавлю египетский (плюс, японская анонимная цитата, а также цитата из сочинений Уэсибы О-сенсея, все еще сообщается на английском языке). Я работаю над этим.
В предложении 4.2.7 «башня
«Символ — это \rook
команда, символ, обозначающий ладью в игре в шахматы.
Кроме того, но идея не моя, вложение Ёнеда появляется здесь как буква «йо» в алфавите хирагана.
У меня есть список желаемых алфавитов или обозначений, которые я хотел бы включить: если мне удастся заниматься математикой в течение достаточно долгого времени, я постараюсь включить их все осмысленным образом.
Руны были бы исключительно плохим выбором: слишком многие из них уже выглядят как что-то другое. руна , руна , руна , руна , и и руны R и B. руна выглядит как фигурка , руну легко спутать с рукописным строчным , одна из двух версий руна представляет собой слегка перекошенную N, руна очень похожа на небрежно написанную F, а и руны похожи на плюсики с горизонтальной чертой, наклоненной то в одну, то в другую сторону. См. НОРВЕЖСКИЕ РУНЫ ПОСЛЕ ОК. 600 г. н.э. и НОРВЕЖСКО-ДАТСКИЕ РУНЫ 800-Х ГОДОВ здесь .
Позволять — фактор ограниченной симметричной области по арифметической группе. Существует ошеломляющее количество различных естественных компактификаций : Компактификации Сатаке, целое семейство тороидальных компактификаций, Бореля-Серра, ... статьи, в которых требуется несколько из них, часто используют оба , , , и т. д.
Намикава пытался популяризировать нотацию для компактификации Сатаке. サ — это катакана, первый инициал имени Сатаке. Он не прилип.
слишком длинно для комментария:
Греческие буквы опасно перегружены. Есть и эта Дирихле и эта функция Дедекинда . " "иногда может означать перестановку или простое число в поле характеристики а также отношение длины окружности к диаметру круга и функция счета простых чисел " " используется как для угла, так и для тета-функций Якоби. Учитывая отношение полупериода, используя обозначать это не очень хорошая идея. (Кроме того, есть определенные проблемы, с которыми сталкивается каждый, кто доказывает тождество тэта-функций, когда имеет дело с множеством смежных , , , и просто из-за сходства их формы).
Математики, как правило, не типографы, и исторически сложилось так, что установка нестандартных шрифтов в / была очень сложная процедура. Кроме нескольких восхитительных экзотических символов здесь и там (упомянутых в других ответах, группы Тейта-Шафаревича, функции Лобачевского и чисел Бета), я не думаю, что были какие-либо движения за реформу двухмерного символического языка в масштабе Бурбаки. которые должным образом решают проблемы пользовательского интерфейса, которые вызывают чрезмерная зависимость от ограниченного репертуара символического алфавита: является натуральным или целым числом, находится на комплексной плоскости, , за исключением таких случаев, как непрерывная дробь Роджерса-Рамануджана, это группа, но много разных вещей в зависимости от контекста, но не разумно. И иногда неловко с -гипергеометрические тождества, потому что является параметром. (Например, глава 4 «Основных гипергеометрических рядов» Гаспера, уравнение 4.1.3) (в сторону: я действительно хочу использовать майяские глифы для определенных функторов, и у меня есть инфраструктура для этого) Очень подчеркнуто: ограниченный набор символов приводит к перегруженным символам со сбивающими с толку и непоследовательными значениями, а процесс устранения неоднозначности требует измеримых затрат с точки зрения времени от воздействия до понимания. Поиск эффективных долгосрочных решений находится под прямым углом к сфере деятельности m.se, поэтому я не буду здесь больше ничего говорить.
Я видел русскую букву шах и в книгах по топологии. Шах-пространство.
пользователь20266
Сигур
оставленный вокруг
дтлдарек
Мартин
Генри
Дэвид З.
Томаш