Список математического жаргона

редактировать
Список статей в Википедии

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

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

Содержание

  • 1 Философия математики
  • 2 Неформальные описания
  • 3 Терминология доказательства
  • 4 Методы доказательства
  • 5 См. Также
  • 6 Примечания
  • 7 Ссылки

Философия математика

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

[Статья Эйленберга и Мак Лейна (1942)] ввела очень абстрактную идею «категории» - предмета затем названный «общей абстрактной чепухой»!

— Сондерс Мак Лейн (1997)

[Grothendieck] поднял алгебраическую геометрию на новый уровень абстракции... если некоторые математики смогут утешить себя на время надеждой, что все эти сложные структуры были «абстрактной чепухой»... более поздние работы Гротендика и других показали, что классические задачи... которые сопротивлялись усилиям нескольких поколений талантливых математиков, могут быть решены в терминах... сложных концепций.

— Михаил Монастырский (2001)
канонический
Ссылка на стандартное или свободное от выбора представление некоторого математического объекта (например, каноническая карта, каноническая форма). Этот же термин может также использоваться более неформально для относится к чему-то "стандартному" или "классическому". Например, один можно сказать, что доказательство Евклида является «каноническим доказательством» бесконечности простых чисел.

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

  • - Доказательство того, что простых чисел бесконечно много.
  • - Доказательство иррациональности квадратного корня из двух.
— Freek Wiedijk (2006, p.2)
глубокий
Результат называется «глубоким», если для его доказательства требуются концепции и методы, выходящие за рамки концепций, необходимых для формулировки результата. Например, теорема о простых числах, первоначально доказанная с использованием методов комплексного анализа, когда-то считалась глубоким результатом, пока не были найдены элементарные доказательства. С другой стороны, тот факт, что π иррационально, обычно известен как глубокий результат, потому что он требует значительного развития реального анализа, прежде чем можно будет установить доказательство - даже если само утверждение может быть сформулировано в терминах простой теории чисел и геометрии.
элегантный
Эстетический термин, относящийся к способности идеи дать представление о математике, будь то объединение разрозненных полей, введение нового взгляда на одного поля, или с помощью метода доказательства, который либо особенно прост, либо улавливает интуицию или воображение относительно того, почему доказываемый результат является истинным. В некоторых случаях термин «красивый» также может использоваться для того же эффекта, хотя Джан-Карло Рота проводил различие между элегантностью изложения и красотой концепции, говоря, что, например, некоторые темы могут быть написаны о элегантно, хотя математическое содержание некрасиво, а некоторые теоремы или доказательства прекрасны, но могут быть написаны неэлегантно.

Красота математической теории не зависит от эстетических качеств... строгих изложений теории. Некоторым красивым теориям может никогда не представиться в соответствии с их красотой... Можно также найти примеры посредственных теорий сомнительной красоты, которым даются блестящие, захватывающие изложения.... [Теория категорий] богата красивыми и проницательными определениями и бедные изящными доказательствами.... [Теоремы] остаются неуклюжими и скучными.... [Изложения проективной геометрии ] соперничали друг с другом в элегантности изложения и в ловкости доказательства... Оглядываясь назад, можно задаться вопросом, о чем была вся суета... Математики могут сказать, что теорема прекрасна, когда они действительно хотят сказать, что она поучительна. Мы признаем красоту теоремы, когда видим, как теорема «вписывается» в свое место... Мы говорим, что доказательство красиво, когда такое доказательство наконец раскрывает секрет теоремы...

— Джан-Карло Рота (1977, pp.173–174, pp.181–182)
elementary
Доказательство или результат называется «элементарным», если оно включает только базовые концепции и методы в данной области., и его следует противопоставлять глубоким результатам, которые требуют дальнейшего развития в данной области или за ее пределами. : Понятие «элементарное доказательство» используется специально в теории чисел, где оно обычно относится к доказательству, которое не использует методы из комплексного анализа.
фольклора
Результатом является называется «фольклор», если он неочевиден, не опубликован, но каким-то образом известен специалистам в данной области. Во многих сценариях неясно, кто первым получил результат, хотя, если результат значительный, он может в конечном итоге попасть в учебники, после чего перестает быть фольклором.

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

— Russell Impagliazzo (1995)
естественный
Подобно «каноническому», но более конкретное, и которое делает ссылку на описание (почти исключительно в контексте преобразований ), которое сохраняется независимо от любого выбора. Хотя этот термин давно используется неформально, этот термин нашел формальное определение в теории категорий.
патологический
Объект ведет себя патологически (или, в более широком смысле, дегенеративно), если он либо не соответствует общему поведению таких объектов, не удовлетворяет определенным контекстно-зависимые свойства регулярности, или просто не подчиняются математической интуиции. Во многих случаях это могут быть и часто являются противоречащими требованиями, в то время как в других случаях этот термин более сознательно используется для обозначения объекта, искусственно созданного в качестве контрпримера к этим свойствам.

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

— Анри Пуанкаре (1913)

[Функция Дирихле ] приобрела огромное значение... как побуждение к созданию новых типов функций, свойства которых полностью отклоняются от того, что интуитивно казалось допустимым. Знаменитый пример такой так называемой «патологической» функции... приведен Вейерштрассом.... Эта функция непрерывна, но не дифференцируема.

— J. Соуза Пинто (2004)
Обратите внимание на последнюю цитату, что, поскольку дифференцируемые функции скудны в пространстве непрерывных функций, как обнаружил Банах в 1931 году, дифференцируемые функции, в просторечии, являются редким исключением. среди непрерывных. Таким образом, вряд ли можно больше оправдать называть недифференцируемые непрерывные функции патологическими.
строгость (строгость)
Акт установления математического результата с использованием неоспоримой логики, а не неформальных описательных аргументов. Строгость является краеугольным камнем математики и может сыграть важную роль в предотвращении превращения математики в заблуждения.
хорошее поведение
Объект ведет себя хорошо (в отличие от патологического) если он удовлетворяет определенным преобладающим свойствам регулярности, или если он соответствует математической интуиции (хотя интуиция также может часто предлагать противоположное поведение). В некоторых случаях (например, при анализе) термин «сглаженный » также может использоваться для того же эффекта.

Неформальные описания

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

почти все
Сокращенное обозначение для «всех, кроме набора из нулевой меры », когда есть мера, о которой следует говорить. Например, «почти все действительные числа являются трансцендентными », потому что алгебраические действительные числа образуют счетное подмножество действительных чисел с мерой нуль. Также можно говорить о «почти всех» целых, имеющих свойство означать «все, кроме конечного множества», несмотря на то, что целые числа не допускают меры, для которой это согласуется с предыдущим использованием. Например, «почти все простые числа нечетные». У целых чисел есть и более сложное значение, которое обсуждается в основной статье. Наконец, этот термин иногда используется как синоним «общего», ниже.
произвольно большие
Понятия, которые возникают в основном в контексте ограничений, относящихся к повторению явления по мере приближения к пределу. Утверждение, подобное тому, что предикату P удовлетворяют сколь угодно большие значения, можно выразить в более формальной записи как ∀x: ∃y ≥ x: P (y). Смотрите также часто. Утверждение, что величина f (x), зависящая от x, «может быть сделана» произвольно большой, соответствует ∀y: ∃x: f (x) ≥ y.
произвольно
Сокращение для универсального квантора . Произвольный выбор - это выбор, который делается неограниченно, или, альтернативно, утверждение выполняется для произвольного элемента набора, если оно выполняется для любого элемента этого набора. Также часто используется общий язык среди математиков: «Конечно, эта проблема может быть сколь угодно сложной».
в конечном итоге
В контексте ограничений это сокращенное значение для достаточно больших аргументов; соответствующие аргументы неявны в контексте. Например, функция log (log (x)) в конечном итоге становится больше 100 "; в этом контексте" в конечном итоге "означает" для достаточно большого x ".
множитель до
A термин в теории категорий, относящийся к композиции морфизмов. Если у нас есть три объекта A, B и C и карта f: A → C {\ displaystyle f \ двоеточие A \ to C}f\colon A\to Cкоторый записан как композиция f = h ∘ g {\ displaystyle f = h \ circ g}f=h\circ gс g: A → B {\ displaystyle g \ двоеточие A \ to B}g\colon A\to Bи h: B → C {\ displaystyle h \ двоеточие B \ to C}h\colon B\to C, тогда говорят, что f факторизуется через любые (и все) из B {\ displaystyle B}B, g {\ displaystyle g}gи h {\ displaystyle h}h.
finite
«Не бесконечно». Например, если дисперсия случайной величины называется конечной, это означает, что это неотрицательное действительное число.
часто
В контексте пределов, это сокращение для произвольно больших аргументов и его родственников; как и в конечном итоге, t предполагаемый вариант неявен. Например, последовательность (- 1) n {\ displaystyle (-1) ^ {n}}(-1)^{n}часто находится в интервале (1/2, 3/2), потому что есть произвольно большое n, для которого значение последовательности находится в интервале.
общий
Этот термин имеет те же значения, что и почти все, но используется, в частности, для понятий, выходящих за рамки теории меры. Свойство сохраняется «в общем» на множестве, если набор удовлетворяет некоторому (контекстно-зависимому) понятию плотности или, возможно, если его дополнение удовлетворяет некоторому (зависящему от контекста) понятию малости. Например, свойство, которое сохраняется на плотном Gδ(пересечении счетного числа открытых множеств), как говорят, выполняется в общем. В алгебраической геометрии говорится, что свойство точек на алгебраическом многообразии, которое выполняется на плотном открытом множестве Зарисского, истинно в общем случае; однако обычно не говорится, что свойство, которое имеет место только на плотном множестве (которое не является открытым по Зарисскому), является общим в этой ситуации.
в целом
В описательном контексте это фраза вводит простую характеристику широкого класса объектов с целью выявления объединяющего принципа. Этот термин вводит "элегантное" описание, которое справедливо для "произвольных " объектов. Исключения из этого описания могут быть упомянуты явно как «патологические » случаи.

Норберт А’Кампо из Университета Базеля однажды спросил Гротендика о чем-то, связанном с Платоновыми телами. Гротендик посоветовал соблюдать осторожность. Платоновы тела настолько прекрасны и настолько исключительны, сказал он, что нельзя предположить, что такая исключительная красота будет сохраняться в более общих ситуациях.

— Аллин Джексон (2004, с.1197)
left- сторона, правая часть (LHS, RHS)
Чаще всего они относятся просто к левой или правой части уравнения; например, x = y + 1 {\ displaystyle x = y + 1}x=y+1имеет x на левой стороне и y + 1 на правой стороне. Иногда они используются в смысле lvalue и rvalue: RHS является примитивным, а LHS - производным.
nice
Математический объект в просторечии называется хорошим или достаточно хороший, если он удовлетворяет гипотезам или свойствам, иногда неопределенным или даже неизвестным, которые особенно желательны в данном контексте. Это неофициальный антоним словосочетанию патологический. Например, можно предположить, что дифференциальный оператор должен удовлетворять определенному условию ограниченности «для хороших тестовых функций», или можно утверждать, что некоторый интересный топологический инвариант должен быть вычислим «для хороших пространств X».
на
Функция (которая в математике обычно определяется как отображение элементов одного набора A на элементы другого B) называется «A на B» (вместо «A на B»), только если она сюръективный ; можно даже сказать, что «f находится на» (т. е. сюръективно). Не переводится (без оговариваний) на некоторые языки, кроме английского.
собственно
Если для некоторого понятия субструктуры объекты являются субструктурами самих себя (то есть отношение рефлексивно), тогда собственно квалификация требует, чтобы объекты были разными. Например, правильное подмножество набора S - это подмножество набора S, которое отличается от S, а правильный делитель числа n является делителем числа n, отличного от n. Это перегруженное слово также не является жаргоном для правильного морфизма.
регулярного
Функция называется регулярной, если она удовлетворяет удовлетворительным свойствам непрерывности и дифференцируемости, которые часто зависят от контекста. зависимый. Эти свойства могут включать в себя наличие определенного числа производных, при этом функция и ее производные демонстрируют некоторые приятные свойства (см. Nice выше), такие как непрерывность Гёльдера. Неофициально этот термин иногда используется как синоним сглаживания, ниже. Такое неточное употребление слова «регулярный» не следует путать с понятием регулярного топологического пространства, которое строго определено.
или
(соответственно) A соглашение сократить параллельные экспозиции. «A (соотв. B) [имеет некоторую связь с] X (соотв. Y)» означает, что A [имеет некоторое отношение к] X, а также что B [имеет (такое же) отношение к] Y. Например, квадраты ( соответственно треугольники) имеют 4 стороны (соответственно 3 стороны); или компактные (соответственно Линделёфа) пространства - это пространства, в которых каждое открытое покрытие имеет конечное (соответственно счетное) открытое подпокрытие.
Sharp
Часто математическая теорема устанавливает ограничения на поведение какой-то объект; например, будет показано, что функция имеет верхнюю или нижнюю границу. Ограничение является резким (иногда оптимальным), если его нельзя сделать более строгим без сбоя в некоторых случаях. Например, для произвольных неотрицательных действительных чисел x экспоненциальная функция e, где e = 2,7182818..., дает верхнюю границу значений квадратичной функции x. Это не резко; разрыв между функциями везде не меньше 1. Среди экспоненциальных функций вида α установка α = e = 2,0870652... приводит к точной верхней границе; чуть меньший выбор α = 2 не дает верхней границы, поскольку тогда α = 8 < 3. In applied fields the word "tight" is often used with the same meaning.
smooth
Гладкость - это концепция, которую математика наделила многими значениями, от простой дифференцируемости до бесконечной дифференцируемости до аналитичности и т. д. которые более сложные. Каждое такое использование пытается вызвать физически интуитивное понятие гладкости.
сильный, более сильный
Теорема считается сильной, если она выводит ограничительные результаты из общих гипотез. Одним из знаменитых примеров является теорема Дональдсона, которая налагает жесткие ограничения на то, что иначе могло бы показаться большим классом многообразий. Это (неформальное) использование отражает мнение математического сообщества: такая теорема должна быть не только сильной в описательном смысле (ниже), но и окончательной в своей области. Теорема, результат или условие далее называются более сильными, чем другие, если доказательство второго может быть легко получено из первого, но не наоборот. Примером может служить последовательность теорем: малая теорема Ферма, теорема Эйлера, теорема Лагранжа, каждая из которых сильнее предыдущей; во-вторых, точная верхняя граница (см. точную выше) является более сильным результатом, чем нечеткая. Наконец, к математическому понятию можно добавить прилагательное «сильный» или наречие «сильно», чтобы указать на родственное более сильное понятие; например, сильная антицепь - это антицепь, удовлетворяющая определенным дополнительным условиям, и аналогично сильно регулярный граф - это регулярный граф, удовлетворяющий более сильным условия. При таком использовании более сильное понятие (например, «сильная антицепь») представляет собой технический термин с точно определенным значением; характер дополнительных условий не может быть выведен из определения более слабого понятия (такого как "антицепь").
достаточно большой, достаточно маленький, достаточно близкий
В контексте ограничений, эти термины относятся к некоторой (неопределенной, даже неизвестной) точке, в которой явление преобладает по мере приближения к пределу. Такое утверждение, как то, что предикат P выполняется для достаточно больших значений, может быть выражено в более формальной записи как ∃x: ∀y ≥ x: P (y). См. Также в конце.
наверху, внизу
Описательный термин, относящийся к обозначению, в котором два объекта написаны один над другим; верхний - наверху, нижний - внизу. Например, в пучке волокон общее пространство часто называется наверху, а базовое пространство - внизу. В дроби числитель иногда упоминается как наверху, а знаменатель внизу, как в «приведении члена наверх».
до, по модулю, по модулю out by
Расширение математического дискурса понятий модульной арифметики. Утверждение является истинным до определенного условия, если установление этого условия является единственным препятствием для истинности утверждения. Также используется при работе с членами классов эквивалентности, особенно. в теории категорий, где отношение эквивалентности является (категоричным) изоморфизмом; например, «Тензорное произведение в слабой моноидальной категории ассоциативно и унитарно с точностью до естественного изоморфизма.»
исчезают
Чтобы принять значение 0. Например, «Функция sin ( x) обращается в нуль для тех значений x, которые являются целыми кратными π ». Это также может относиться к пределам: см. Исчезновение на бесконечности.
слабое, более слабое
Обратное сильное.
хорошо определенное
Точно и точно описано или указано. Например, иногда определение опирается на выбор некоторого объекта; результат определения не должен зависеть от этого выбора.

Терминология доказательства

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

aliter
Устаревший термин, используемый для объявления читателю альтернативного метода или доказательства результата. Таким образом, в доказательстве он отмечает аргумент, который является лишним с логической точки зрения, но имеет другой интерес.
в качестве противоречия (BWOC), или «если нет, то.... "
Риторическая прелюдия к доказательству противоречием, предшествующая отрицанию утверждения, которое нужно доказать.
тогда и только тогда, когда (iff)
Сокращение для логической эквивалентности утверждений.
в целом
В контексте доказательств эта фраза часто встречается в индукции аргументы при переходе от базового случая к «шагу индукции» и аналогично, в определении последовательностей, первые несколько членов которых представлены в качестве примеров формулы, дающей каждый член последовательности.
необходимо и достаточный
Незначительный вариант на тему «если и только если»; «A необходимо (достаточно) для B» означает «A, если (только если) B». Например, «Для того чтобы поле K было алгебраически замкнутым, необходимо и достаточно, чтобы оно не имело конечных расширений поля » означает «K алгебраически замкнуто, если и только если он не имеет конечных расширений ». Часто используется в списках, например, «Следующие условия необходимы и достаточны для того, чтобы поле было алгебраически замкнутым...».
нужно показать (NTS), требуется доказать (RTP), хотите показать, хочу показать (WTS)
Доказательства иногда начинаются с перечисления нескольких условий, выполнение которых вместе влечет желаемую теорему; таким образом, нужно показать только эти утверждения.
один и только один
Утверждение об уникальности объекта; объект существует, и, более того, другого такого объекта не существует.
QED
(Quod erat демонстрационный): латинское сокращение, означающее «который должен был быть продемонстрирован», исторически помещается в конце доказательств, но встречается реже в настоящее время, будучи вытесненным знаком Halmos с окончанием проверки, квадратный знак ∎.
достаточно хороший
Условие для объектов, рассматриваемых в контексте, что будет уточнено позже, это будет гарантировать, что для них сохраняется определенное указанное свойство. Когда разрабатывает теорему, использование этого выражения в формулировке теоремы указывает на то, что задействованные условия могут быть еще не известны говорящему, и что цель состоит в том, чтобы собрать условия, которые будут найдены
следующие эквивалентны (TFAE)
Часто несколько эквивалентных условий (особенно для определения, такого как нормальный), необходимы для проведения доказательства теоремы. подгруппа ) одинаково полезны на практике; вводится теорема, устанавливающая эквивалентность более двух операторов с TFAE.
транспорт структуры
Часто бывает так, что два объекта каким-то образом показаны эквивалентными, и что один из них наделен дополнительными состав. Используя эквивалентность, мы можем определить такую ​​структуру и на втором объекте посредством переноса структуры. Например, любые два векторных пространства одной размерности изоморфны; если одному из них задано внутреннее произведение и если мы зафиксируем конкретный изоморфизм, то мы можем определить внутреннее произведение в другом пространстве путем факторизации через изоморфизм.

Пусть V - конечномерное векторное пространство над k.... Пусть (e i)1 ≤ i ≤ n является базисом для V.... Существует изоморфизм алгебры многочленов k [T ij]1 ≤ i, j ≤ n на алгебру Sym k (V ⊗ V).... Она продолжается до изоморфизма k [GLn] на локализованную алгебру Sym k ( V ⊗ V) D, где D = det (e i ⊗ e j).... Мы пишем k [GL (V)] для этой последней алгебры. Перенося структуру, мы получаем линейную алгебраическую группу GL (V), изоморфную GLn.

— Игорю Шафаревичу (1991, стр.12)
без (какой-либо) потери общности (WLOG, WOLOG, WALOG), мы можем предположить (WMA)
Иногда утверждение легче доказать с помощью дополнительных предположений относительно объектов, которых оно касается. Если сформулированное предложение следует из этого модифицированного предложения с простым и миниатюрным неправильное объяснение (например, если остальные частные случаи идентичны, но для обозначения), то модифицированные предположения вводятся с этой фразой, и измененное утверждение доказывается.

Методы доказательства

У математиков есть несколько фраз для Опишите доказательства или методы доказательства. Они часто используются как подсказки для заполнения утомительных деталей.

отслеживание угла
Используется для описания геометрического доказательства, которое включает в себя нахождение взаимосвязей между различными углами на диаграмме.
вычисление на заднем плане
Неформальное вычисление, пропускающее большую строгость без жертвуя правильностью. Часто это вычисление является «доказательством концепции» и рассматривает только доступный специальный случай.
грубая сила
Вместо того, чтобы искать основные принципы или шаблоны, это метод, в котором можно было бы оценить столько же случаев по мере необходимости, чтобы в достаточной мере доказать или предоставить убедительные доказательства того, что рассматриваемая вещь является правдой. Иногда это включает в себя оценку каждого возможного случая (где это также известно как доказательство исчерпанием ).
примером
Доказательство на примере - это аргумент, при котором утверждение не доказывается, а вместо этого иллюстрируется примером.Если все сделано правильно, конкретный пример можно легко обобщить до общего доказательства.
путем проверки
Риторический ярлык, сделанный авторами, предлагающими читателю проверить, с первого взгляда, правильность предлагаемое выражение или вывод. Если выражение можно оценить с помощью простого применения простых методов и без обращения к расширенным вычислениям или общей теории, то его можно оценить путем проверки. Оно также применяется для решения уравнений; например, для поиска корней квадратное уравнение при осмотре - это «замечать» их или мысленно проверять. «Путем осмотра» может играть своего рода роль гештальта : ответ или решение просто встают на место.
запугиванием
Стиль доказательства, при котором утверждения Легко проверяемые авторы помечаются как «очевидные» или «тривиальные», что часто приводит читателя в замешательство.
ясно, можно легко показать
Термин, сокращающий вычисления математик воспринимает это как утомительное или рутинное занятие, доступное любому члену аудитории, обладающему необходимыми знаниями в данной области; Лаплас использовал очевидное (французское : évident).
полная интуиция
обычно зарезервировано для шуток (каламбур на полной индукции ).
погоня за диаграммой
Учитывая коммутативную диаграмму объектов и морфизмов между ними, если кто-то желает доказать какое-либо свойство морфизмов (например, инъективность ), которое может быть сформулировано в терминах elements, тогда доказательство может продолжаться путем отслеживания пути элементов различных объектов вокруг диаграммы по мере того, как к ней применяются последовательные морфизмы. То есть, вы перемещаетесь по элементам по диаграмме или по диаграмме. 361>размахивание руками
Нетехника доказательства, в основном используемая на лекциях, где формальные аргументы не являются строго необходимыми. Она исходит из упущения деталей или даже существенных компонентов и является просто аргументом правдоподобия.
в общее
В контексте, не требующем строгости, эта фраза часто используется как средство экономии труда, когда технические детали полного аргумента перевешивают Подчеркните концептуальные преимущества. Автор дает доказательство в достаточно простом случае, когда вычисления являются разумными, а затем указывает, что «в целом» доказательство аналогично.
index battle
для доказательств, включающих объекты с несколькими индексами который можно решить, опустившись на дно (если кто-то захочет приложить усилия). Подобно поиску диаграмм.
trivial
Подобно ясно. Концепция тривиальна, если она выполняется по определению, является непосредственным следствием известного утверждения или является простым частным случаем более общей концепции.

См. Также

Примечания

  1. ^Голдфельд, Дориан. «Элементарное доказательство теоремы о простых числах: историческая перспектива» (PDF). Колумбийский университет.
  2. ^"Окончательный словарь высшего математического жаргона". Математическое хранилище. 2019-08-01. Проверено 17 октября 2019 г.
  3. ^Бойд, Стивен (2004). Выпуклая оптимизация. Издательство Кембриджского университета. ISBN 978-0521833783.
  4. ^Роу, Джон (1993), Элементарная геометрия, Оксфордские научные публикации, стр. 119, ISBN 978-0-19-853456-3
  5. ^Многочисленные примеры можно найти в (Mac Lane 1998), например, на стр. 100.

Ссылки

Последняя правка сделана 2021-05-28 10:24:27
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте