Ferramentas do usuário
Ordinais
É melhor você ter feito a lista de Boa Ordem antes.
1 Considere $(X, \leq)$ bem ordenado. Suponha que $Y \subset X$ é tal que, para todo $x \in X$, se $\{a \in X: a < x\} \subset Y$, então $x \in Y$. Mostre que $Y = X$. Esse é uma formulação do Teorema da indução. Solução
Dizemos que um conjunto $X$ é transitivo se , para todo $y \in X$, temos que $y \subset X$.
2 Mostre que $X$ é transitivo se, e somente se, para todos os conjuntos $a, b$ tais que $a \in b$ e $b \in X$, temos que $a \in X$. Solução
3 Mostre que se $X$ é transitivo e $\alpha \in X$, então $\alpha \cup \{\alpha\} \subset X$.Solução
Dizemos que um conjunto $X$ é um ordinal se $X$ é transitivo e bem ordenado por $\in$.
4 Mostre que $\emptyset$, $\{\emptyset\}$ e $\{\emptyset, \{\emptyset\}\}$ são ordinais.
5 Mostre que se $X$ é um ordinal, então $X \cup \{X\}$ também é um ordinal.Solução
6 Mostre que se $X$ é um ordinal e $\alpha \in X$, então $\alpha$ é um ordinal.Solução
7 Sejam $\alpha, \beta$ ordinais tais $\beta \in \alpha$. Suponha que exista $\gamma \in \alpha$ tal que $\gamma$ é o menor elemento (no sentido de $\in$) de $\alpha$ tal que $\beta \in \gamma$. Mostre que $\gamma = \beta \cup \{\beta\}$. DicaSolução
8 Seja $\alpha$ um ordinal. Então existe $\beta \in \alpha$ tal que $\alpha = \beta \cup \{\beta\}$ ou, para todo $\beta \in \alpha$, temos que $\beta \cup \{\beta\} \in \alpha$.
9 Sejam $\alpha, \beta, \gamma$ ordinais tais $\beta \subset \alpha$ e $\gamma \in \alpha \smallsetminus \beta$. Mostre que $\beta \subset \gamma$. Dica Solução
10 Sejam $\alpha, \beta$ ordinais tais que $\beta \subset \alpha$. Mostre que $\beta = \alpha$ ou $\beta \in \alpha$.
11 Seja $\varphi$ uma propriedade tal que, dado $\alpha$ ordinal, se $\varphi(\beta)$ vale para todo $\beta \in \alpha$, então vale $\varphi(\alpha)$. Mostre que vale $\varphi(\alpha)$ para todo ordinal $\alpha$. Esse resultado é conhecido como Indução para ordinais. Solução
12 Sejam $\alpha, \beta$ ordinais. Mostre que $\alpha \subset \beta$ ou $\beta \subset \alpha$.Dica
13 Seja $\varphi$ uma propriedade tal que exista pelo menos um ordinal $\beta$ tal que vale $\varphi(\beta)$. Mostre que existe um ordinal $\alpha$ tal que:Dica
- Vale $\varphi(\alpha)$
- Para todo $\gamma$ ordinal tal que vale $\varphi(\gamma)$, temos que $\alpha \subset \gamma$.
Os últimos resultados mostram que vale indução sobre a coleção de todos os ordinais e que eles se comportam como se fosse bem ordenados pelo $\subset$ (só não é de fato bem ordenado já que a coleção de todos os ordinais não forma um conjunto). Desta forma, muitas vezes usamos $\alpha < \beta$ em vez de $\alpha \in \beta$ para ordinais. Em especial, o último resultado nos dá que se uma propriedade vale para algum ordinal, existe o menor deles que a satisfaz.
14 Mostre que a coleção de todos os ordinais não é um conjunto.
Ferramentas da página
