Схема преобразования

Схемой преобразования [множеств] (Axiom schema of replacement) называется следующее высказывание теории множеств:

• $~ \forall x \exist^{\{1\}} y \ (\phi[x,y]) \to \forall a \exist d \forall c \ (c \in d \leftrightarrow \exist b \ (b \in a \ \land \ \phi[b,c]) \ )$, где $~ \forall x \exists^{\{1\}}y \ (\phi[x,y]) \Leftrightarrow \forall x \exist ! y \ (\phi[x,y]) \Leftrightarrow \forall x \exist y \forall y' (\phi[x,y] \leftrightarrow y = y')$

Схему преобразования можно сформулировать по-русски, а именно: "Любое множество можно преобразовать в [то же самое или другое] множество $~ d$, высказав функциональное суждение $~ \phi$ обо всех элементах $~ b$ данного множества $~ a$."

Пример

В следующем примере функциональное суждение $~ y = x$ преобразует каждое множество $~ a$ в самого себя.

$\phi[x,y] \leftrightarrow y = x \quad \Rightarrow \quad \forall a \exist d \forall c \ (c \in d \leftrightarrow \exist b \ (b \in a \ \land \ c = b)) \quad \Leftrightarrow \quad \forall a \exist d \forall c \ (c \in d \leftrightarrow c \in a)$

Другие формулировки схемы преобразования

Схему преобразования записывают также в следующем виде:

• $~ \forall a \ ( \ \forall b \ (b \in a \to \exist^{\{1\}}y \ (\phi[b,y]) \ ) \quad \to \quad \exist d \forall c \ (c \in d \leftrightarrow \exist b \ (b \in a \ \land \ \phi[b,c]) \ ))$

Примеры

1. В следующем примере функциональное суждение $~ y = 2b'$ преобразует множество натуральных чисел $~ \mathbb{N}$ в множество чётных чисел $~ \{0,2,4,...\}$.

$\begin{align} a = \mathbb{N} \ \land \ (\phi[b',y] \leftrightarrow y = 2b') \quad \Rightarrow \quad \exist d \forall c \ (c \in d \leftrightarrow \exist b \ (b \in \mathbb{N} \ \land \ c = 2b)) \\ \ \Leftrightarrow \exist d \forall c \ (c \in d \leftrightarrow c \in \{0,2,4,...\}) \end{align}$

2. В следующем примере функциональное суждение $~ (b' = 0 \to y = a_1) \ \land \ (b' \ne 0 \to y = a_2)$ преобразует множество вещественных чисел $~ \mathbb{R}$ в [неупорядоченную] пару $~ \{a_1, \ a_2\}$.

$\begin{align} a = \mathbb{R} \quad \land \quad (\phi[b',y] \leftrightarrow (b' = 0 \to y = a_1) \ \land \ (b' \ne 0 \to y = a_2)) \quad \Rightarrow \\ \ \exist d \forall c \ (c \in d \leftrightarrow \exist b \ (b \in \mathbb{R} \ \land \ (b = 0 \to c = a_1) \land (b \ne 0 \to c = a_2) \ )) \\ \ \Leftrightarrow \exist d \forall c \ (c \in d \leftrightarrow c = a_1 \ \lor \ c = a_2) \end{align}$

3. В следующем примере функциональное суждение $~ (0 \le b' \le 1 \to y = b') \ \land \ (\neg (0 \le b' \le 1) \to y = 1)$ преобразует множество целых чисел $~ \mathbb{Z}$ в подмножество натуральных чисел $~ \{n: \ n \in \mathbb{N} \ \land \ n < 2\}$.

$\begin{align} a = \mathbb{Z} \quad \land \quad (\phi[b',y] \leftrightarrow (0 \le b' \le 1 \to y = b') \land (\neg(0 \le b' \le 1) \to y = 1)) \quad \Rightarrow \\ \ \exist d \forall c \ (c \in d \leftrightarrow \exist b \ (b \in \mathbb{Z} \land (0 \le b \le 1 \to c = b) \land (b < 0 \lor b > 1 \to c = 1))) \\ \ \Leftrightarrow \exist d \forall c \ (c \in d \leftrightarrow c \in \{n: \ n \in \mathbb{N} \ \land \ n < 2\} \ ) \end{align}$

Схему преобразования записывают также в следующем виде:

• $~ \forall a \ ( \ \forall b \ (b \in a \to \exists^{\{0,1\}}y \ (\phi[b,y])) \quad \to \quad \exist d \forall c \ (c \in d \leftrightarrow \exist b \ (b \in a \ \land \ \phi[b,c])\ ))$, где $~ \exist^{\{0,1\}} y \ (\phi[b,y]) \Leftrightarrow \forall y \forall y' \ (\phi[b,y] \ \land \ \phi[b,y'] \to y = y')$

Примечания

1. Связь между схемой преобразования и аксиомой пары выражается следующим высказыванием:

• $\begin{align} \forall a_1 \forall a_2 \ (a = \mathcal{P}(\mathcal{P}(\varnothing)) \quad \land \quad (\phi[b',y] \ \leftrightarrow \ (b' = \varnothing \to y = a_1) \land (b' \ne \varnothing \to y = a_2) \ ) \\ \ \rightarrow \quad (\exist d \forall c \ (c \in d \ \leftrightarrow \ \exist b \ (b \in a \land \phi[b,c])) \ \rightarrow \ \exist c \forall b \ (b \in c \leftrightarrow b = a_1 \lor b = a_2) \ )), \end{align}$

где $~ \mathcal{P}(\mathcal{P}(\varnothing))$ - булеан булеана пустого множества.

2. Связь между схемой преобразования и схемой выделения выражается следующим высказыванием:

• $\begin{align} \forall a \ (\ x \in \{b: b \in a \land \Phi[b]\} \quad \land \quad (\phi[b',y] \ \leftrightarrow \ (\Phi[b'] \to y = b') \land (\neg \Phi[b'] \to y = x)\ ) \\ \ \to \quad (\exist d \forall c \ (c \in d \leftrightarrow \exist b \ (b \in a \land \phi[b,c])) \ \leftrightarrow \ \exist c \forall b \ (b \in c \leftrightarrow b \in a \land \Phi[b])) \ ) \end{align}$

Историческая справка

Схема преобразования не вошла в совокупность аксиом теории множеств, сформулированных немецким математиком Эрнстом Цермело в 1908 году.

Схема преобразования предложена Адольфом Френкелем в 1922 году, чуть позднее и независимо от него схема была предложена норвежским математиком Туральфом Скулемом.

См. также

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