Аксиоматика теории множеств (стр. 8 из 9)

Определения

X Irr Y означает

y (y Y X) & Rel (X).

(X есть иррефлексивное отношение на Y.)

X Tr Y означает Rel (X) &

u v w (u Y & v Y & w Y &

&

X & X & X X).

(X есть транзитивное отношение на Y.)

X Part Y означает (X Irr Y) & (X Tr Y).

(X частично упорядочивает Y.)

X Con Y означает Rel(X) &

u v (u Y & v Y & u ≠ v

X X).

X Tot Y означает (X Irr Y) & (X Tr Y) & (X Con Y).

(X упорядочивает Y.)

X We Y служит обозначением для Rel(X) & (X Irr Y) &

Z (Z Y &

& Z ≠ 0

y (y Z & v (v Z & v ≠ y X &

&

X))).

(X вполне упорядочивает Y, т. е. отношение Х иррефлексивно на Y, и всякий непустой подкласс класса Y имеет наименьший в смысле отношения Х элемент.)

§2. Аксиома выбора. Лемма Цорна.

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

Следующие формулы эквивалентны:

А к с и о м а в ы б о р а (АС): Для любого множества х существует функция f такая, что для всякого непустого подмножества у множества х f‘ y

y (такая функция называется в ы б и р а ю щ е й ф у н к ц и е й для х).

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

u (u x u ≠ 0 & v (v x & v ≠ u v ∩ u = 0))

y u (u x 1w (w u ∩ y)).

П р и н ц и п в п о л н е у п о р я д о ч е н и я (W. O.): Всякое множество может быть вполне упорядочено.

x y (y We x).

Т р и х о т о м и я (Trich):

x y (x y y x).

Л е м м а Ц о р н а (Zorn): Если в частично упорядоченном множестве х всякая цепь (т. е. всякое упорядоченное подмножество) имеет верхнюю грань, то в х существует максимальный элемент.

x y ((y Part x) & u (u x & y Tot u v (v x & w (w u w =