ir para o conteúdo

Topologia e conjuntos em exercícios

Mantido pelo grupo "Topologia do Interior"

Ferramentas do usuário

Entrar

Ferramentas do site

Alterações recentes
Gerenciador de mídias
Índice

Visitou:

solucao:leqpreordem

Note que, dado $f \in \omega^\omega$, temos que $\{n \in \omega: f(n) > f(n)\} = \emptyset$ e, portanto, finito. Assim, $f \leq^* f$.

Dados $f, g, h \in \omega^\omega$ temos $f \leq^* g$ e $g \leq^* h$. Perceba que $A = \{n \in \omega: f(n) > g(n)\}$ e $B = \{n \in \omega: g(n) > h(n)\}$ são ambos finitos, mas perceba que $C = \{n \in \omega: f(n) > h(n)\} \subset (A\cup B)$, como a união finita de conjuntos finitos é finita, temos que $C$ também é finito, ou seja, $f \leq^* h$.

Concluímos então que $\leq^*$ é uma pré ordem.

solucao/leqpreordem.txt · Última modificação: 2020/11/06 16:05 (edição externa)

Ferramentas da página

Mostrar página
Revisões anteriores
Links reversos
Voltar ao topo

Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International

CC Attribution-Share Alike 4.0 International