До - Википедия - Up to

В шестиугольник набор вершин 20 перегородки которые имеют одно трехэлементное подмножество и три одноэлементных подмножества (неокрашенных) (верхний рисунок). Из них есть четыре раздела до поворота и три раздела до поворота и отражения.

В математика, фраза вплоть до используется для передачи идеи о том, что некоторые объекты одного и того же класса - хотя и разные - могут считаться эквивалентными при определенных условиях или трансформация.^[1] Он часто появляется в обсуждениях об элементах набора и условиях, при которых некоторые из этих элементов могут считаться эквивалентными. Более конкретно, учитывая два элемента ${ displaystyle a, b in S}$ , " ${ displaystyle a}$ и ${ displaystyle b}$ эквивалентны до ${ displaystyle X}$ " Значит это ${ displaystyle a}$ и ${ displaystyle b}$ эквивалентны, если критерий ${ displaystyle X}$ , Такие как вращение или же перестановка, Считается. В этом случае элементы ${ displaystyle S}$ могут быть организованы в подмножества, известные как "классы эквивалентности ", множества, элементы которых эквивалентны друг другу с точностью до ${ displaystyle X}$ . В некоторых случаях это может означать, что ${ displaystyle a}$ и ${ displaystyle b}$ могут быть преобразованы друг в друга - если преобразование, соответствующее ${ displaystyle X}$ (например, вращение, перестановка).

Если ${ displaystyle X}$ какое-то свойство или процесс, то фраза «до ${ displaystyle X}$ "можно понимать" без учета возможной разницы в ${ displaystyle X}$ ". Например, утверждение" факторизация целого числа на простые множители уникальна. до заказа"означает, что факторизация на простые множители уникальна, когда мы не принимаем во внимание порядок факторов.^[2] Можно также сказать "решение проблемы неопределенный интеграл является ${ displaystyle f (x)}$ , до сложения постоянным ", что означает, что основное внимание уделяется решению ${ displaystyle f (x)}$ а не добавляемая константа, и что добавление константы следует рассматривать как справочную информацию. Дополнительные примеры включают «с точностью до изоморфизма", "с точностью до перестановок", и "до оборотов", которые описаны в Раздел примеров.

В неформальном контексте математики часто используют слово по модулю (или просто «мод») для тех же целей, что и «по модулю изоморфизма».

Примеры

Тетрис

Фишки тетриса I, J, L, O, S, T, Z

Простой пример: «семь отражающих тетромино, вплоть до вращений », который ссылается на семь возможных смежных расположений тетромино (коллекции из четырех единичные квадраты расположены для соединения, по крайней мере, с одной стороны) и которые часто рассматриваются как семь Тетрис части (O, I, L, J, T, S, Z). Это также можно было бы записать как «есть пять тетромино с точностью до отражений и вращений», что тогда учитывало бы перспективу, в которой L и J (а также S и Z) могут считаться одним и тем же элементом при отражении. Игра Тетрис не допускает отражений, поэтому прежние обозначения могут показаться более естественными.

Чтобы добавить к исчерпывающему подсчету, нет формального обозначения количества штук тетромино. Однако часто пишут, что «отражающих тетромино семь (= 19 всего^[3]) до вращений ». Здесь Тетрис является отличным примером, так как можно просто посчитать 7 частей × 4 вращения как 28, где некоторые части (например, 2 × 2 O), очевидно, имеют менее четырех состояний вращения.

Восемь королев

Решение проблемы восьми ферзей

в пазл восемь королев, если восемь ферзей считаются различными, то имеется 3709440 различных решений. Однако обычно ферзи считаются идентичными, и обычно говорят: «Их 92 ( ${ displaystyle = { tfrac {3709440} {8!}}}$ ) уникальные решения вплоть до перестановки королев ", или что" есть 92 решения мод имена ферзей », означающее, что два различных расположения ферзей считаются эквивалентными, если ферзи были переставлены, но одинаковые квадраты на шахматная доска заняты ими.

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

Полигоны

В обычный п-угольник, для данного п, уникален до сходство. Другими словами, если все похоже п-гоны считаются экземплярами одного и того же п-gon, значит есть только один штатный п-гон.

Теория групп

В теория групп, можно иметь группа грамм игра актеров на съемочной площадке Икс, и в этом случае можно сказать, что два элемента Икс эквивалентны «с точностью до действия группы» - если они лежат в одном орбита.

Другой типичный пример - утверждение, что «есть два разных группы порядка 4 вплоть до изоморфизм ",^[1] или же "по модулю изоморфизма, есть две группы порядка 4 ". Это означает, что существует два класса эквивалентности групп порядка 4 - предполагая, что каждый считает группы эквивалентными, если они изоморфный.

Нестандартный анализ

А гиперреальный Икс и это стандартная часть ул (Икс) равны с точностью до бесконечно малый разница.

Информатика

В информатике термин современные методы - это точно определенное понятие, относящееся к определенным методы доказательства за (слабый) бисимуляция, и связать процессы, которые ведут себя одинаково только до ненаблюдаемых шагов.^[4]

Смотрите также

дальнейшее чтение

Современные методы слабой симуляции

[:0-1] а ^б "Окончательный глоссарий высшего математического жаргона - до". Математическое хранилище. 2019-08-01. Получено 2019-11-21.

[2] Нековарж, янв (2011). «Математический английский (краткое содержание)» (PDF). Institut de mathématiques de Jussieu - Paris Rive Gauche. Получено 2019-11-21.

[3] Вайсштейн, Эрик В. «Тетромино». mathworld.wolfram.com. Получено 2019-11-21.

[Pous-4] Дэмиен Поус, Современные техники для слабой бисимуляции, Proc. 32-й ИКАЛП, Конспект лекций по информатике, т. 3580, Springer Verlag (2005), стр. 730–741

[1]

[2]

[3]

[4]