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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Схемой преобразования [множеств] (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 году, чуть позднее и независимо от него схема была предложена норвежским математиком Туральфом Скулемом.

См. также[править | править исходный текст]

Литература[править | править исходный текст]