Аксиома пары

Аксиомой [существования неупорядоченной] пары называется следующее высказывание теории множеств:

<math>\forall a_1 \forall a_2 \exist c \forall b \ (b \in c \ \leftrightarrow \ b = a_1 \ \lor \ b = a_2)</math>

Аксиому пары можно сформулировать по-русски, а именно: «Из любых двух [одинаковых или разных] множеств можно образовать [по меньшей мере одну] „неупорядоченную пару“, то есть такое множество <math>c</math>, каждый элемент <math>b</math> которого идентичен данному множеству <math>a_1</math> или данному множеству <math>a_2</math>.»

Другие формулировки аксиомы пары

<math>\forall a_1 \forall a_2 \exist c \ (c = \{b: \ b = a_1 \ \lor \ b = a_2\} \ )</math>

<math>\forall a_1 \forall a_2 \exist c \forall b \ (b \notin c \ \leftrightarrow \ b \ne a_1 \ \land \ b \ne a_2)</math>

<math>\forall a_1 \forall a_2 \exist c \ (a_1 \in c \ \land \ a_2 \in c \quad \land \quad \forall b \ (b \ne a_1 \ \land \ b \ne a_2 \to b \notin c) \ )</math>

Примечания

1. Аксиому пары можно вывести из схемы преобразования

• <math>\forall a \exist d \forall c \ (c \in d \ \leftrightarrow \ \exist b \ (b \in a \ \land \ c = \mathrm{f}(b) \ ))</math>, если положить <math>a = \mathcal{P}(\mathcal{P}(\varnothing))</math> и выбрать функцию <math>\mathrm{f}</math> такой, что <math>c = \mathrm{f}(b) \ \Leftrightarrow \ (b = \varnothing \to c = a_1) \land (b \ne \varnothing \to c = a_2)</math>.

2. Руководствуясь аксиомой объёмности можно доказать единственность [неупорядоченной] пары. Иначе говоря, можно доказать, что аксиома пары равносильна высказыванию

<math>\forall a_1 \forall a_2 \exists ! c \forall b \ (b \in c \leftrightarrow b = a_1 \lor b = a_2)</math>, что есть <math>\forall a_1 \forall a_2 \exist c \forall c' \ (\forall b \ (b \in c' \leftrightarrow b = a_1 \lor b = a_2) \ \leftrightarrow c = c') </math>

Последнее высказывание позволяет утверждать следующее: «Из любых двух [одинаковых или разных] множеств можно образовать только одну „неупорядоченную пару“, то есть такое множество <math>c</math>, каждый элемент <math>b</math> которого идентичен данному множеству <math>a_1</math> или данному множеству <math>a_2</math>.»

3. Из аксиомы пары можно вывести теорему о существовании одноэлементного множества:

<math>\forall a \exist c \forall b \ (b \in c \leftrightarrow b = a)</math>

См. также

• Аксиоматика теории множеств

Отрывок, характеризующий Аксиома пары

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

Но чистая, полная печаль так же невозможна, как чистая и полная радость. Княжна Марья, по своему положению одной независимой хозяйки своей судьбы, опекунши и воспитательницы племянника, первая была вызвана жизнью из того мира печали, в котором она жила первые две недели. Она получила письма от родных, на которые надо было отвечать; комната, в которую поместили Николеньку, была сыра, и он стал кашлять. Алпатыч приехал в Ярославль с отчетами о делах и с предложениями и советами переехать в Москву в Вздвиженский дом, который остался цел и требовал только небольших починок. Жизнь не останавливалась, и надо было жить. Как ни тяжело было княжне Марье выйти из того мира уединенного созерцания, в котором она жила до сих пор, как ни жалко и как будто совестно было покинуть Наташу одну, – заботы жизни требовали ее участия, и она невольно отдалась им. Она поверяла счеты с Алпатычем, советовалась с Десалем о племяннике и делала распоряжения и приготовления для своего переезда в Москву.
Наташа оставалась одна и с тех пор, как княжна Марья стала заниматься приготовлениями к отъезду, избегала и ее.
Княжна Марья предложила графине отпустить с собой Наташу в Москву, и мать и отец радостно согласились на это предложение, с каждым днем замечая упадок физических сил дочери и полагая для нее полезным и перемену места, и помощь московских врачей.