Упорядоченная пара - Ordered pair

В математике , упорядоченная пара ( , б ) представляет собой пару объектов. Порядок, в котором объекты появляются в паре, имеет значение: упорядоченная пара ( a , b ) отличается от упорядоченной пары ( b , a ), если a = b . (Напротив, неупорядоченная пара { a , b } равна неупорядоченной паре { b , a }.)

Упорядоченные пары также называются 2-кортежами или последовательностями (иногда списками в контексте информатики) длины 2. Упорядоченные пары скаляров иногда называют двумерными векторами . (Технически это является злоупотреблением терминологией, поскольку упорядоченная пара не обязательно должна быть элементом векторного пространства .) Записи упорядоченной пары могут быть другими упорядоченными парами, что позволяет рекурсивно определять упорядоченные n -элементы (упорядоченные списки n объекты). Например, упорядоченная тройка ( a , b , c ) может быть определена как ( a , ( b , c )), то есть как одна пара, вложенная в другую.

В упорядоченной паре ( a , b ) объект a называется первой записью , а объект b - второй записью пары. В качестве альтернативы объекты называются первым и вторым компонентами , первой и второй координатами или левой и правой проекциями упорядоченной пары.

Декартовы произведения и бинарные отношения (и, следовательно, функции ) определяются в терминах упорядоченных пар.

Общие

Позвольте и быть упорядоченными парами. Тогда характеристическое (или определяющее ) свойство упорядоченной пары:

Множество всех упорядоченных пар, первый элемент которого в некотором множестве А и чей второй элемент находится в некотором множестве B называется декартово произведение из A и B , и записывается A × B . Бинарное отношение между множествами A и B является подмножеством из A × B .

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

Левая и правая проекции пары p обычно обозначают π 1 ( p ) и π 2 ( p ) или π ( p ) и π r ( p ) соответственно. В контекстах, где рассматриваются произвольные n -наборы, πн
я
( t ) - общее обозначение i -й компоненты n -набора t .

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

В некоторых вводных учебниках математики дается неформальное (или интуитивно понятное) определение упорядоченной пары, например

Для любых двух объектов a и b упорядоченная пара ( a , b ) является обозначением, определяющим два объекта a и b в указанном порядке.

Обычно за этим следует сравнение с набором из двух элементов; указывая, что в наборе a и b должны быть разными, но в упорядоченной паре они могут быть равными и что хотя порядок перечисления элементов набора не имеет значения, в упорядоченной паре изменяется порядок отдельных записей. заказанная пара.

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

Более удовлетворительный подход состоит в том, чтобы заметить, что приведенное выше характерное свойство упорядоченных пар - это все, что требуется для понимания роли упорядоченных пар в математике. Следовательно, упорядоченную пару можно рассматривать как примитивное понятие , связанная аксиома которого является характеристическим свойством. Это был подход, использованный группой Н. Бурбаки в своей Теории множеств , опубликованной в 1954 году. Однако этот подход также имеет свои недостатки, поскольку необходимо аксиоматически допустить как существование упорядоченных пар, так и их характерное свойство.

Другой способ строго разобраться с упорядоченными парами - это определить их формально в контексте теории множеств. Это можно сделать несколькими способами, и то преимущество, что существование и характеристическое свойство может быть доказано с помощью аксиом, определяющих теорию множеств. Одна из наиболее цитируемых версий этого определения принадлежит Куратовски (см. Ниже), и его определение было использовано во втором издании Теории множеств Бурбаки , опубликованной в 1970 году. Даже те математические учебники, которые дают неформальное определение упорядоченных пар, часто упомяните формальное определение Куратовского в упражнении.

Определение упорядоченной пары с помощью теории множеств

Если кто-то согласен с тем, что теория множеств является привлекательной основой математики , тогда все математические объекты должны быть определены как некоторого рода множества . Следовательно, если упорядоченная пара не считается примитивной, она должна быть определена как набор. Ниже приводится несколько теоретико-множественных определений упорядоченной пары (см. Также).

Определение Винера

Норберт Винер предложил первое теоретико-множественное определение упорядоченной пары в 1914 году:

Он отметил , что это определение позволило определить типы из Principia Mathematica в виде наборов. Principia Mathematica считала типы и, следовательно, отношения всех арностей примитивными .

Винер использовал {{ b }} вместо { b }, чтобы сделать определение совместимым с теорией типов, где все элементы в классе должны быть одного "типа". Если b вложен в дополнительный набор, его тип равен 's.

Определение Хаусдорфа

Примерно в то же время, что и Винер (1914), Феликс Хаусдорф предложил свое определение:

«где 1 и 2 - два разных объекта, отличных от a и b».

Определение Куратовского

В 1921 году Казимеж Куратовский предложил ныне принятое определение упорядоченной пары ( a , b ):

Обратите внимание, что это определение используется, даже если первая и вторая координаты идентичны:

Для некоторой упорядоченной пары p свойство « x является первой координатой p » можно сформулировать как:

Свойство « x - вторая координата p » можно сформулировать как:

В случае, когда левая и правая координаты идентичны, правый конъюнкт тривиально верен, поскольку Y 1Y 2 никогда не бывает.

Вот как мы можем извлечь первую координату пары (используя обозначение для произвольного пересечения и произвольного объединения ):

Вот как можно извлечь вторую координату:

Варианты

Приведенное выше определение Куратовского упорядоченной пары «адекватно» в том смысле, что оно удовлетворяет характеристическому свойству, которому должна удовлетворять упорядоченная пара, а именно этому . В частности, он адекватно выражает «порядок», поскольку является ложным, если . Существуют и другие определения аналогичной или меньшей сложности, которые в равной степени адекватны:

Обратное определение является лишь тривиальным вариантом определения Куратовского, и как таковой не представляет самостоятельного интереса. Определение short называется так, потому что для него требуется две, а не три пары скобок . Доказательство того, что short удовлетворяет характеристическому свойству, требует аксиомы регулярности теории множеств Цермело – Френкеля . Более того, если использовать теоретико-множественную конструкцию натуральных чисел фон Неймана , то 2 определяется как множество {0, 1} = {0, {0}}, которое неотличимо от пары (0, 0) short . Еще одним недостатком короткой пары является тот факт, что даже если a и b одного типа, элементы короткой пары - нет. (Однако, если a  =  b, то краткая версия сохраняет мощность 2, чего можно ожидать от любой «пары», включая любую «упорядоченную пару». Также обратите внимание, что краткая версия используется в теории множеств Тарского – Гротендика , на котором основана система Мицар .)

Доказательство того, что определения удовлетворяют характеристическому свойству

Докажите: ( a , b ) = ( c , d ) тогда и только тогда, когда a = c и b = d .

Куратовский :
Если . Если a = c и b = d , то {{ a }, { a, b }} = {{ c }, { c, d }}. Таким образом , ( а, б ) К = ( в, г ) К .

Только если . Два случая: a = b и ab .

Если a = b :

( a, b ) K = {{ a }, { a, b }} = {{ a }, { a, a }} = {{ a }}.
( c, d ) K = {{ c }, { c, d }} = {{ a }}.
Таким образом, { c } = { c, d } = { a }, откуда a = c и a = d . По условию a = b . Следовательно, b = d .

Если ab , то ( a, b ) K = ( c, d ) K влечет {{ a }, { a, b }} = {{ c }, { c, d }}.

Предположим, что { c, d } = { a }. Тогда c = d = a , и поэтому {{ c }, { c, d }} = {{ a }, { a, a }} = {{ a }, { a }} = {{ a }}. Но тогда {{ a }, { a, b }} также будут равны {{ a }}, так что b = a, что противоречит ab .
Предположим, что { c } = { a, b }. Тогда a = b = c , что также противоречит ab .
Следовательно, { c } = { a }, так что c = a и { c, d } = { a, b }.
Если d = a истинно, то { c, d } = { a, a } = { a } ≠ { a, b }; противоречие. Таким образом, d = b , так что a = c и b = d .

Реверс :
( а, б ) обратные = {{ Ь }, { а, Ь }} = {{ Ь }, { Ь, а }} = ( Ь, а ) К .

Если . Если ( а, б ) обратный = ( с, d ) обратный , ( Ь, а ) К = ( D, C ) K . Следовательно, b = d и a = c .

Только если . Если a = c и b = d , то {{ b }, { a, b }} = {{ d }, { c, d }}. Таким образом, ( a, b ) reverse = ( c, d ) reverse .

Короткий:

Если : Если a = c и b = d , то { a , { a, b }} = { c , { c, d }}. Таким образом, ( a, b ) short = ( c, d ) short .

Только если : Предположим, что { a , { a, b }} = { c , { c, d }}. Тогда a находится в левой части и, следовательно, в правой части. Поскольку равные множества имеют равные элементы, должно быть одно из значений a = c или a = { c, d }.

Если a = { c, d }, то по тем же рассуждениям, что и выше, { a, b } находится в правой части, поэтому { a, b } = c или { a, b } = { c, d }.
Если { a, b } = c, то c находится в { c, d } = a, а a находится в c , и эта комбинация противоречит аксиоме регулярности, поскольку { a, c } не имеет минимального элемента в отношении "element of . "
Если { a, b } = { c, d }, то a является элементом a из a = { c, d } = { a, b }, что снова противоречит регулярности.
Следовательно , должно выполняться a = c .

Снова мы видим, что { a, b } = c или { a, b } = { c, d }.

Вариант { a, b } = c и a = c означает, что c является элементом c , что противоречит регулярности.
Итак, у нас есть a = c и { a, b } = { c, d }, и поэтому: { b } = { a, b } \ { a } = { c, d } \ { c } = { d }, так что b = d .

Определение Куайна – Россера

Россер (1953) использовал определение упорядоченной пары, данное Куайном, которое требует предварительного определения натуральных чисел . Позвольте быть набор натуральных чисел и определить сначала

Функция увеличивает свой аргумент, если это натуральное число, и оставляет его как есть в противном случае; число 0 не является функциональным значением . Как и набор элементов, не входящих в

Это множество изображений из множества Under , иногда обозначается посредством а. Применение функции к набору x просто увеличивает каждое натуральное число в нем. В частности, никогда не содержит числа 0, так что для любых наборов x и y ,

Далее, определим

Таким образом, всегда содержит число 0.

Наконец, определим упорядоченную пару ( A , B ) как несвязное объединение

(который находится в альтернативных обозначениях).

Извлечение всех элементов пары , которые не содержат 0 и отвинтив выходов A . Точно так же B может быть восстановлен из элементов пары, которые действительно содержат 0.

Например, пара кодируется, как указано .

В теории типов и ее продуктах, таких как аксиоматическая теория множеств NF , пара Куайна – Россера имеет тот же тип, что и ее проекции, и поэтому называется упорядоченной парой «уровня типа». Следовательно, это определение имеет то преимущество, что позволяет функции , определенной как набор упорядоченных пар, иметь тип только на 1 выше, чем тип ее аргументов. Это определение работает, только если набор натуральных чисел бесконечен. Так обстоит дело с NF , но не с теорией типов или NFU . Дж. Баркли Россер показал, что существование такой упорядоченной пары на уровне типа (или даже упорядоченной пары «повышение типа на 1») влечет за собой аксиому бесконечности . Подробное обсуждение упорядоченной пары в контексте теории множеств Квиниана см. В Holmes (1998).

Определение Кантора – Фреге

В начале развития теории множеств, до того, как были обнаружены парадоксы, Кантор вслед за Фреге определил упорядоченную пару из двух множеств как класс всех отношений, которые выполняются между этими множествами, предполагая, что понятие отношения примитивно:

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

Определение Морзе

Теория множеств Морса – Келли свободно использует собственные классы . Морс определил упорядоченную пару так, чтобы ее проекции могли быть как собственными классами, так и множествами. (Определение Куратовского не допускает этого.) Он сначала определил упорядоченные пары, проекции которых являются множествами в манере Куратовского. Затем он переопределил пару

где компонентные декартовы произведения - это пары множеств Куратовского, а

Это отображает возможные пары, проекции которых являются собственными классами. Приведенное выше определение Куайна – Россера также допускает собственные классы в качестве проекций. Точно так же тройка определяется как тройка следующим образом:

Использование одноэлементного набора, в который вставлен пустой набор, позволяет кортежам иметь свойство уникальности: если a является n -набором, а b является m -набором и a = b, то n = m . Упорядоченные тройки, которые определены как упорядоченные пары, не обладают этим свойством по отношению к упорядоченным парам.

Аксиоматическое определение

Упорядоченные пары также могут быть введены в теории множеств Цермело – Френкеля (ZF) аксиоматически, просто добавив в ZF новый функциональный символ арности 2 (обычно он опускается) и определяющую аксиому для :

Это определение приемлемо, потому что это расширение ZF является консервативным расширением .

Определение помогает избежать так называемых случайных теорем типа (a, a) = {{a}}, {a} ∈ (a, b), если определение Куратовского (a, b) = {{a}, {a, b }} было использовано.

Теория категорий

Коммутативная диаграмма для заданного произведения X 1 × X 2 .

Категория теоретико- продукт × B в категории множеств представляет собой множество упорядоченных пар, с первым элементом , исходя из A , а второй исходя из B . В этом контексте характерное свойство выше , является следствием универсального свойства продукта , и тот факт , что элементы множества X могут быть идентифицированы с морфизмов из 1 (один набор элементов) в X . Хотя разные объекты могут обладать универсальным свойством, все они естественно изоморфны .

использованная литература