Fórum de Matemática | DÚVIDAS? Nós respondemos!
https://forumdematematica.org/

Prova Conjuntos em Análise Real
https://forumdematematica.org/viewtopic.php?f=15&t=5939
Página 1 de 1

Autor:  Evariste [ 03 mai 2014, 02:18 ]
Título da Pergunta:  Prova Conjuntos em Análise Real

Seja a um número real. Se um conjunto X é tal que a ∈ X e, além disso,
n ∈ X ⇒ n + 1 ∈ X, então X contém todos os números naturais maiores que a.

Olá pessoal, primeiramente eu demonstrei por indução considerando a apenas natural,
fiquei na dúvida quanto a como provar se a for racional ou irracional.

Autor:  santhiago [ 03 mai 2014, 15:04 ]
Título da Pergunta:  Re: Prova Conjuntos em Análise Real

Não é o suficiente mostrar que \(X\) contém \(\mathbb{N}\) ,isto é , \(X\cap \mathbb{N} = \mathbb{N}\) ?


O conjunto \(\mathbb{N}\) dos naturais possui as seguintes propriedades

i) Existe uma aplicação injetiva \(s : \mathbb{N} \mapsto \mathbb{N}\) que associa a cada \(n\) em \(\mathbb{N}\) um elemento \(s(n) := n+1\) em \(\mathbb{N}\) .

ii) \(\exists ! 1 \in \mathbb{N} : 1 \neq s(n) \forall n \in \mathbb{N}\)

iii) Se \(A \subset \mathbb{N}\) é tq 1 \(1 \in \mathbb{N}\) e \(s(A) \subset A\) então \(A = \mathbb{N}\) .

Página 1 de 1 Os Horários são TMG [ DST ]
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/