Fórum de Matemática
DÚVIDAS? Nós respondemos!

Um Fórum em Português dedicado à Matemática
Data/Hora: 27 abr 2024, 09:06

Os Horários são TMG [ DST ]




Fazer Nova Pergunta Responder a este Tópico  [ 3 mensagens ] 
Autor Mensagem
MensagemEnviado: 02 mar 2015, 20:17 
Offline

Registado: 02 fev 2015, 14:27
Mensagens: 32
Agradeceu: 14 vezes
Foi agradecido: 0 vez(es)
5. Um número real \(r\) se chama algébrico quando
existe um polinômio \(f(x)= {a_{0}}^{}+a_{1}x+...+a_{n}x^{n}\)
, não identicamente nulo, com coeficientes inteiros, tal que \(f(r)=0\) .
a) Prove que o conjunto dos polinômios com coeficientes inteiros é enumerável.
b) Dada uma enumeração de\(\left \{ \ f_1,f_{2},...f_{n}, ... \}\) esses polinômios não identicamente nulos, seja, para cada \(n\in \mathbb{N}\) , \(A_{n}\) o conjunto das raízes de \(f_{n}\) . Mostre que o conjunto \(A\) dos números algébricos se escreve como \(A=\bigcup _{n\in \mathbb{N}}A_{n}\) . Conclua que \(A\) é enumerável.
c) Mostre que \(A\) é denso em \(\mathbb{R}\).


Topo
 Perfil  
 
MensagemEnviado: 02 mar 2015, 23:49 
Offline

Registado: 29 dez 2012, 14:26
Mensagens: 219
Localização: Florianópolis,SC
Agradeceu: 3 vezes
Foi agradecido: 83 vezes
Para cada \(n\) natural fixado , considere \(\Sigma_n\) o conjuntos dos polinômios de coeficientes inteiros com grau máximo \(n\) . Qualquer polinômio \(p \mathbb{R} \to \mathbb{R}\) em \(\Sigma_n\) é escrito como combinação linear dos (n+1) monomios \(1, x, ... , x^n\) , \(p(x) =\sum_{k=0}^n a_k x^k , \a_i \in \mathbb{Z}\) .Isto nos leva a definir a seguinte bijeção natural : \(\zeta: \mathbb{Z}^{n+1} \to \Sigma_n\) pondo \(\zeta (a_0 , ... , a_n) = p\) , onde \(p \mathbb{R} \to \mathbb{R}\) é o polinômio definido por \(p(x):= \sum_{k=0}^n a_k x^k\) . Uma vez que \(\mathbb{Z}\) é enumerável o produto cartesiano \(\mathbb{Z}^{n+1}\) também o é .( produto cartesiano de um número finito de enumeráveis é enumerável ) dai resulta \(\Sigma_n\) é enumerável .

O item (a) segue-se então do fato que reunião enumerável de enumeráveis é enumerável .

(c)DIca :\(\mathbb{Q} \subset A\) e \(\mathbb{Q}\) é denso em \(\mathbb{R}\) .


Topo
 Perfil  
 
MensagemEnviado: 03 mar 2015, 00:34 
Offline

Registado: 02 fev 2015, 14:27
Mensagens: 32
Agradeceu: 14 vezes
Foi agradecido: 0 vez(es)
santhiago Escreveu:
Para cada \(n\) natural fixado , considere \(\Sigma_n\) o conjuntos dos polinômios de coeficientes inteiros com grau máximo \(n\) . Qualquer polinômio \(p \mathbb{R} \to \mathbb{R}\) em \(\Sigma_n\) é escrito como combinação linear dos (n+1) monomios \(1, x, ... , x^n\) , \(p(x) =\sum_{k=0}^n a_k x^k , \a_i \in \mathbb{Z}\) .Isto nos leva a definir a seguinte bijeção natural : \(\zeta: \mathbb{Z}^{n+1} \to \Sigma_n\) pondo \(\zeta (a_0 , ... , a_n) = p\) , onde \(p \mathbb{R} \to \mathbb{R}\) é o polinômio definido por \(p(x):= \sum_{k=0}^n a_k x^k\) . Uma vez que \(\mathbb{Z}\) é enumerável o produto cartesiano \(\mathbb{Z}^{n+1}\) também o é .( produto cartesiano de um número finito de enumeráveis é enumerável ) dai resulta \(\Sigma_n\) é enumerável .

O item (a) segue-se então do fato que reunião enumerável de enumeráveis é enumerável .

(c)DIca :\(\mathbb{Q} \subset A\) e \(\mathbb{Q}\) é denso em \(\mathbb{R}\) .

Tudo isso é a prova do item a? ou a e b juntos?????


Topo
 Perfil  
 
Mostrar mensagens anteriores:  Ordenar por  
Fazer Nova Pergunta Responder a este Tópico  [ 3 mensagens ] 

Os Horários são TMG [ DST ]


Quem está ligado:

Utilizadores a ver este Fórum: Nenhum utilizador registado e 184 visitantes


Criar perguntas: Proibído
Responder a perguntas: Proibído
Editar Mensagens: Proibído
Apagar Mensagens: Proibído
Enviar anexos: Proibído

Pesquisar por:
Ir para: