Teoria de conjuntos de Zermelo

Em matemática, a Teoria de conjuntos de Zermelo, abreviada Z, é a apresentação axiomática da Teoria de conjuntos publicada pela primeira vez por Ernst Zermelo em 1908 no seu artigo Pesquisas sobre os fundamentos da teoria de conjuntos. I e que formou a base da Teoria de conjuntos de Zermelo-Fraenkel, ZF, a teoria axiomática de conjuntos mais utilizada hoje, que resulta de acrescentar à Teoria de Zermelo os axiomas de substituição e fundação.

Axiomas da teoria de Zermelo

Axioma de extensão

Dois conjuntos são iguais (são o mesmo conjunto) se eles têm os mesmos elementos. Na linguagem da lógica atual:

∀ x ∀ y . {\displaystyle \forall x\forall y.}

\forall x\forall y.

Axioma do conjunto vazio

Existe um conjunto, o conjunto vazio ∅, que não contém nenhum elemento:

∃ x ∀ y ( y ∉ x ) {\displaystyle \exists x\forall y\;(y\not \in x)}

\exists x\forall y\;(y\not \in x)

Axioma do conjunto unitário e do par

Para cada conjunto x {\displaystyle x} $x$ existe o conjunto unitário { x } {\displaystyle \{x\}} $\{x\}$ . Para cada conjunto x {\displaystyle x} $x$ e para cada conjunto y {\displaystyle y} $y$ existe o par (não ordenado) { x , y } {\displaystyle \{x,y\}} $\{x,y\}$ .

∀ x ∃ z ( z = { x } ) {\displaystyle \forall x\exists z(z=\{x\})}

\forall x\exists z(z=\{x\})

∀ x ∀ y ∃ z ( z = { x , y } ) {\displaystyle \forall x\forall y\exists z(z=\{x,y\})}

\forall x\forall y\exists z(z=\{x,y\})

Na sua publicação de 1908, Zermelo enuncia o Axioma II com o nome "Axioma dos conjuntos elementares". Esse axioma tem três partes, que correspondem ao conjunto vazio, conjunto unitário e conjunto de pares. Se interpretamos "dois objetos" do enunciado original de Zermelo do axioma de pares, como dois objetos diferentes, ficaria:

∀ x ∀ y ( x ≠ y ⇒ ∃ z ( z = { x , y } ) ) {\displaystyle \forall x\forall y\left(x\neq y\Rightarrow \exists z\left(z=\{x,y\}\right)\right)}

\forall x\forall y\left(x\neq y\Rightarrow \exists z\left(z=\{x,y\}\right)\right)

Apesar desse último não ser logicamente equivalente (em primeira ordem) à forma usual anterior, os outros axiomas permitem afirmar a existência de { x } {\displaystyle \{x\}} $\{x\}$ e de { y } {\displaystyle \{y\}} $\{y\}$ usando { x , y } {\displaystyle \{x,y\}} $\{x,y\}$ .

Axioma da separação

Se a propriedade P ( z ) {\displaystyle P(z)} $P(z)$ está definida para todos os elementos de um conjunto x {\displaystyle x} $x$ , então existe um subconjunto y {\displaystyle y} $y$ de x {\displaystyle x} $x$ que contém os elementos de x {\displaystyle x} $x$ que satisfazem a propriedade P {\displaystyle P} $P$ . Em termos atuais, dada uma fórmula ϕ ( s 0 , … , s n , z ) {\displaystyle \phi (s_{0},\dots ,s_{n},z)} $\phi (s_{0},\dots ,s_{n},z)$ de primeira ordem da linguagem de ZF com a variável livre z {\displaystyle z} $z$ e os parâmetros s 0 , … , s n {\displaystyle s_{0},\dots ,s_{n}} $s_{0},\dots ,s_{n}$ :

∀ x ∃ y ∀ z ( z ∈ y ⇔ z ∈ x ∧ ϕ ( s 0 , … , s n , z ) ) {\displaystyle \forall x\exists y\forall z\;(z\in y\Leftrightarrow z\in x\wedge \phi (s_{0},\dots ,s_{n},z))}

\forall x\exists y\forall z\;(z\in y\Leftrightarrow z\in x\wedge \phi (s_{0},\dots ,s_{n},z))

Axioma do conjunto potência

Para todo conjunto x {\displaystyle x} $x$ existe um conjunto y {\displaystyle y} $y$ que tem como elementos todos os subconjuntos de x {\displaystyle x} $x$ .

∀ x ∃ y ∀ z ( z ⊆ x → z ∈ y ) {\displaystyle \forall x\exists y\forall z(z\subseteq x\rightarrow z\in y)}

\forall x\exists y\forall z(z\subseteq x\rightarrow z\in y)

Um tal y {\displaystyle y} $y$ é denominado "conjunto potência de x {\displaystyle x} $x$ " ou "conjunto das partes de x {\displaystyle x} $x$ ", usualmente denotado:

y = P ( x ) {\displaystyle y={\mathcal {P}}(x)}

y={\mathcal {P}}(x)

Axioma da união

Para todo conjunto x {\displaystyle x} $x$ existe um conjunto y {\displaystyle y} $y$ tal que todo elemento z {\displaystyle z} $z$ que pertence a um elemento de x {\displaystyle x} $x$ é um elemento de y {\displaystyle y} $y$ .

∀ x ∃ y ∀ z ∀ h ( h ∈ x ∧ z ∈ h ⇒ z ∈ y ) {\displaystyle \forall x\,\exists y\,\forall z\,\forall h(h\in x\land z\in h\Rightarrow z\in y)}

\forall x\,\exists y\,\forall z\,\forall h(h\in x\land z\in h\Rightarrow z\in y)

Esse y {\displaystyle y} $y$ cuja existência é afirmada pelo axioma é denominado "união de x {\displaystyle x} $x$ ":

y = ⋃ ( x ) {\displaystyle y=\bigcup (x)}

y=\bigcup (x)

Ou "união dos elementos de x {\displaystyle x} $x$ ":

y = ⋃ h ∈ x ( h ) {\displaystyle y=\bigcup _{h\in x}(h)}

y=\bigcup _{h\in x}(h)

Axioma do infinito

Existe um conjunto y {\displaystyle y} $y$ que contém o conjunto vazio ∅ {\displaystyle \varnothing } $\varnothing$ , e para cada x ∈ y {\displaystyle x\in y} $x\in y$ , o conjunto { x } {\displaystyle \{x\}} $\{x\}$ também pertence a y {\displaystyle y} $y$ . Note que Zermelo usa { x } {\displaystyle \{x\}} $\{x\}$ como o sucessor de x {\displaystyle x} $x$ na sequência numérica (Zahlenreihe):

0 , { 0 } , { { 0 } } , { { { 0 } } } , … {\displaystyle 0,\{0\},\{\{0\}\},\{\{\{0\}\}\},\dots }

0,\{0\},\{\{0\}\},\{\{\{0\}\}\},\dots

A definição habitual, que provém de von Neumann, estabelece sucessor de maneira diferente como x ∪ { x } {\displaystyle x\cup \{x\}} $x\cup \{x\}$ .

O axioma do infinito tal como ele é enunciado por Zermelo, poderia ser interpretado modernamente como:

∃ y ( ( ∅ ∈ y ) ∧ ∀ x ( x ∈ y ⇒ { x } ∈ y ) ) {\displaystyle \exists y\left((\varnothing \in y)\wedge \forall x(x\in y\Rightarrow \{x\}\in y)\right)}

\exists y\left((\varnothing \in y)\wedge \forall x(x\in y\Rightarrow \{x\}\in y)\right)

Axioma da escolha

Se x {\displaystyle x} $x$ é um conjunto de conjuntos não vazios e disjuntos dois a dois, então existe um conjunto de escolha e {\displaystyle e} $e$ contido na união de x {\displaystyle x} $x$ , tal que para cada elemento y {\displaystyle y} $y$ de x {\displaystyle x} $x$ , e {\displaystyle e} $e$ tem um único elemento em comum com y {\displaystyle y} $y$ . A ideia intuitiva é que o conjunto e {\displaystyle e} $e$ "escolhe" um elemento de cada y {\displaystyle y} $y$ em x {\displaystyle x} $x$ :

∀ x ( ∀ y 0 , y 1 ∈ x ( y 0 ∩ y 1 = ∅ ) ⇒ ∃ e ∀ y ∈ x ∃ z ( e ∩ y = { z } ) ) {\displaystyle \forall x\left(\forall y_{0},y_{1}\in x(y_{0}\cap y_{1}=\varnothing )\Rightarrow \exists e\forall y\in x\;\exists z\left(e\cap y=\{z\}\right)\right)}

\forall x\left(\forall y_{0},y_{1}\in x(y_{0}\cap y_{1}=\varnothing )\Rightarrow \exists e\forall y\in x\;\exists z\left(e\cap y=\{z\}\right)\right)

Contribuição de Zermelo

Axioma de extensão. Foi idealizado por Bolzano, mas como esse trabalho só foi publicado em 1975, possivelmente era desconhecido por Zermelo. Entretanto, Zermelo possivelmente conhecia o trabalho de Dedekind publicado em 1888, que contém um enunciado desse axioma.

Axioma da separação. É original de Zermelo. Skolem propõe, por volta de 1920, que no lugar da "propriedade definida" que aparece na formulação de Zermelo, seja usada uma fórmula da linguagem (de primeira ordem).

Axioma do conjunto vazio. Zermelo utiliza a palavra "impróprio" (uneigentliche) para se referir ao conjunto vazio, pois não está claro se se ajusta à definição de Cantor de conjunto. Não usado por Cantor nem por Dedekind, possivelmente seja uma definição original de Zermelo.

Axiomas do conjunto unitário, do par, da união e da potência. Cantor usa esses procedimentos de maneira não formalizada.

Axioma do infinito. Cantor não dá uma definição formal dos números naturais, mas assume a existência do conjunto deles. Dessa maneira assume a existência de conjuntos infinitos. Além disso, Cantor afirma:

Que as multiplicidades "enumeráveis" são conjuntos acabados, parece-me um enunciado axiomático seguro. Na apresentação de Dedekind de 1888 do Princípio de indução matemática , ele concebe o conjunto dos números naturais como contendo e o sucessor de cada elemento desse conjunto. Entretanto, Dedekind define "infinito" de uma maneira diferente, hoje conhecida como infinito de Dedekind .

Axioma da escolha. Introduzido pelo próprio Zermelo em 1904 para demonstrar que todo conjunto pode ser bem ordenado.

Independência e consistência relativa dos axiomas

O Axioma do conjunto vazio pode ser demonstrado a partir dos outros axiomas, basta usar o Axioma de separação com a fórmula z {\displaystyle z} $z$ ≠ z {\displaystyle z} $z$ que não é satisfeita por nenhum elemento.

Se o Axioma dos pares não pedir explicitamente que a {\displaystyle a} $a$ ≠ b {\displaystyle b} $b$ para a existência do par { a , b } {\displaystyle \{a,b\}} $\{a,b\}$ , então a existência do conjunto unitário segue-se da existência de { a , a } = { a } {\displaystyle \{a,a\}=\{a\}} $\{a,a\}=\{a\}$ . A independência do Axioma de pares (se os outros axiomas são consistentes) foi demonstrada por Boffa, resultado interessante, pois esse axioma não é independente em Zermelo-Frankel.

Fraenkel introduziu o método dos modelos de permutação para demonstrar a independência relativa do Axioma da Escolha.

A independência do Axioma de infinito é demonstrada de maneira similar a ZF, V ω {\displaystyle V_{\omega }} $V_{\omega }$ é um modelo da teoria de Zermelo sem o Axioma de infinito.

Os axiomas de união e partes são independentes, igual que em ZF. Diferentemente de ZF o axioma da união e consistente relativo aos demais axiomas, se eles foram consistentes. Assim, o axioma da união é uma extensão forte em ZF, mas uma extensão fraca na teoria de Zermelo. O Axioma de pares também é consistente relativo.

Referências

↑ Zermelo 1908
↑ (Axiom der Elementarmengen, Zermelo 2010, p. 192.
↑ Bolzano 1975
↑ Dedekind 1932, p. 345
↑ a b Ver o comentário de Felgner em Zermelo 2010, p. 176.
↑ Ver o comentário de Felgner em Zermelo 2010, pp. 179−181.
↑ Ver van Heijenoort 1967, p. 285.
↑ "Daß die 'abzählbaren' Vielheiten fertige Mengen sind, scheint mir ein axiomatisch sicherer Satz zu sein.", Zermelo 2010, p. 175. Felgner considera esse enunciado um axioma de infinito (Ibid.).
↑ Dedekind 1932, p. 361
↑ Dedekind 1932, p. 356
↑ Zermelo 1904
↑ Boffa 1872
↑ Ver van Heijenoort 1967, pp. 284−289.
↑ Ver González 1991 para esses resultados.

Bibliografia

Maurice Boffa (1972). «L'axiome de la paire dans le système de Zermelo». Archive for Mathematical Logic (em francês). 15 (3−4): 97−98

Bernard Bolzano (1975). Einleitung zur Größenlehre und erste Begriﬀe der allgemeinen Größenlehre (em alemão). II A 7. Stuttgart: Frommann-Holzboog

Richard Dedekind (1932). «Was sind und was sollen die Zahlen?». Gesammelte mathematische Werke (em alemão). III. Braunschweig: Friedr. Vieweg & Sohn. p. 335−391

Carlos Gustavo González (1991). Modelos da Teoria de Conjuntos de Zermelo. Campinas: Dissertação de mestrado

Jean van Heijenoort (1967). From Frege to Gödel: a source book in mathematical logic, 1879−1931 (em inglês). Cambridge, Massachusetts: Harvard University Press

Ernst Zermelo (1904). «Beweisß, da jede Menge wohlgeordnet werden kann». Mathematische Annalen (em alemão). 59 (4): 514−516 Reimpresso com tradução ao inglês em Zermelo 2010, pp. 114−119, e tradução ao inglês em van Heijenoort 1967, pp. 139−141.

Ernst Zermelo (1908). «Untersuchungen über die Grundlagen der Mengenlehre. I». Mathematische Annalen (em alemão). 65 (2): 261−281 Reimpresso com tradução ao inglês em Zermelo 2010, pp. 188−229, e tradução ao inglês em van Heijenoort 1967, pp. 199−215.

Ernst Zermelo (2010). Collected Works — Gesammelte Werke (em alemão e inglês). I. Heidelberg: Springer. ISBN 978-3-540-79383-0 !CS1 manut: Língua não reconhecida (link)

v d e Teoria dos conjuntos
Axiomas	Axioma da escolha Axioma da escolha numerável Princípio da Escolha Dependente Axioma da extensão Axioma do infinito Axioma do par Axioma da potência Axioma da regularidade Axioma da união Axioma da substituição Axioma da separação Hipótese do continuum Axioma de Martin Propriedade de grande cardinal
Operações	Produto cartesiano Teoremas de De Morgan Interseção Conjunto de partes Complementar Diferença simétrica União
Conceitos	Cardinalidade Número cardinal Classe Universo construível Elemento Família Função bijectiva Número ordinal Indução transfinita Diagrama de Venn
Conjuntos	Argumento de diagonalização de Cantor Conjunto contável Conjunto vazio Conjunto finito Conjunto difuso Conjunto hereditariamente finito Conjunto infinito Conjunto recursivo Subconjunto Conjunto transitivo Conjunto não enumerável Conjunto universo
Teorias	Teoria axiomática dos conjuntos Teorema de Cantor Forçamento Teoria de conjuntos de Morse–Kelley Teoria ingênua dos conjuntos New Foundations Paradoxos Principia mathematica Paradoxo de Russell Problema de Suslin NBG Teoria de conjuntos de Zermelo ZFC Teorias de conjuntos alternativas
Pessoas	Abraham Fraenkel Bertrand Russell Ernst Zermelo Georg Cantor John von Neumann Kurt Gödel Lotfali Askar-Zadeh Paul Bernays Paul Cohen Richard Dedekind Thomas Jech Willard Quine

v d e Tópicos sobre fundamentos da matemática
Lógica matemática	Axiomas de Peano Indução matemática Sistema axiomático Prova matemática Teoria dos modelos Construtivismo Lógica modal Lista de tópicos da lógica matemática
Teoria dos conjuntos	Conjunto Teoria ingênua dos conjuntos Teoria axiomática dos conjuntos Teoria de conjuntos de Zermelo Axiomas de Zermelo-Fraenkel Teoria descritiva de conjuntos Determinância Paradoxo de Russell Lista de tópicos sobre teoria dos conjuntos
Teoria das categorias	Categoria Teoria dos tipos Topos Glossário de teoria das categorias