Аксіома схеми виділення

У теорії множин та області логіки, математики та інформатики, які її використовують, аксіома схеми виділення, аксіома схеми поділу, аксіома схеми підмножин або аксіома схеми обмеженого розуміння, являють собою схему з аксіоми Цермело-Френкеля . Аксіома схеми виділення також називається аксіомою схеми розуміння, хоча цей термін також використовується для необмеженого розуміння. По суті, вона говорить, що будь-який визначений підклас множини є множина.

Твердження

Покажимо на прикладі вираз, який включає для кожної формули φ на мові теорії множин з вільними змінними між x, w₁, ..., w_n, A. Таким чином, множина B не є вільною у φ. У формальній мові теорії множин, аксіома схеми така:

$\forall w_1,\ldots,w_n \, \forall A \, \exist B \, \forall x \, ( x \in B \Leftrightarrow [ x \in A \and \phi(x, w_1, \ldots, w_n, A) ] )$

або в словах:

Для будь-якої множини A, існує множина В така, що для будь-якого набору х, х є членом B, тоді і тільки тоді, коли х є членом A та φ справедливо для х.

Зверніть увагу, що є одна аксіома для кожного такого предиката φ, таким чином, це аксіома схеми.

Щоб зрозуміти цю аксіому схеми, зауважимо, що множина B повинна бути підмножиною А. Таким чином, те, що аксіома схеми дійсно каже, це те, що, враховуючи множину А та предикат P, ми можемо знайти підмножину B множини А, які є самі членами А, що задовольняють P. За аксіомою об'ємності ця множина є унікальною. Зазвичай ми позначаємо цю множину використанням набору позначень як {C ∈ A : P(C)}. Тож головний зміст аксіоми:

Кожен підклас множини, яка визначається предикатом, є самою множиною.

Аксіома схеми виділення є характерною для системи аксіоматичної теорії множин, яка пов'язана зі звичайною теорією множин ZFC, але зазвичай не з'являється в радикально різних системах альтернативної теорії множин.

Література

• Paul Halmos, Наївна теорія множин. Princeton, NJ: D. Van Nostrand компанії, 1960. Друкується за Springer-Verlag, New York, 1974 ISBN 0-387-90092-6 (Springer-Verlag edition).
• Jech, Thomas, 2003. ' Теорія множин: The Third Millennium Edition, виправлене і доповнене. Springer. ISBN 3-540-44085-2.
• Kunen, Kenneth, 1980. Теорія множин: Введення в незалежності доказів. Elsevier. ISBN 0-444-86839-9.