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:leqequivalencia

**Afirmações:**
  - $f \leq^* g$ se $\{n \in \omega: f(n) > g(n)\}$ é finito.
  - $\exists n_0$ tal que $\forall n \geq n_0, f(n) \leq g(n)$.

----

  * $(1 \rightarrow 2)$
$A = \{n \in \omega: f(n) > g(n)\}$ é finito, ou seja, $A$ é limitado superiormente. Chamando de $n_0$ a menor das cotas superiores de $A$, teremos que $\forall n \geq n_0$, $f(n) \leq g(n)$.

  * $(2 \rightarrow 1)$
$\exists n_0$ tal que $\forall n\geq n_0, f(n)\leq g(n)$. Isso significa que se existir $m<n_0$ tal que $f(m) < g(m)$ o conjunto $B = \{m \in \omega: f(m) < g(m)\}$ é limitado superiormente por $n_0$, isto é, $B$ é finito. Caso tal $m$ não exista, $B$ é vazio e portanto também é finito.

solucao/leqequivalencia.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