Teoria dos conjuntos/Axioma da potência: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
m cat |
O sucessor de um elemento de um ordinal é seu elemento ou igual a ele |
||
Linha 151:
Finalmente, seja ''S'' um subconjunto de ''s(α)'' que inclua o elemento ''α''. Então, se ''S'' possui qualquer outro elemento, tomamos ''i'' como sendo o mínimo de <math>S - \{ \alpha \}\,</math>, caso contrário ''i = α'' - e isto conclui a demonstração.
=== O sucessor de um elemento de um ordinal é seu elemento ou igual a ele ===
Ou seja, sejam ''α'' e ''β'' ordinais com <math>\alpha \in \beta\,</math>. Então <math>s(\alpha) \in \beta\,</math> ou <math>s(\alpha) = \beta\,</math>.
Suponhamos então que <math>s(\alpha) \ne \beta\,</math>. Já vimos que <math>s(\alpha) \subseteq \beta\,</math>, portanto temos que <math>s(\alpha) \subset \beta\,</math>. Mas já vimos que, se um ordinal é subconjunto próprio de outro, então é seu elemento, o que completa a prova <math>s(\alpha) \in \beta\,</math>
== Ver também ==
|