Fórum de Matemática | DÚVIDAS? Nós respondemos! https://forumdematematica.org/ |
|
Análise Real : Completeza de R (Reais) https://forumdematematica.org/viewtopic.php?f=70&t=8127 |
Página 1 de 1 |
Autor: | jorgeluizsousavidal [ 02 mar 2015, 20:17 ] |
Título da Pergunta: | Análise Real : Completeza de R (Reais) |
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}\). |
Autor: | santhiago [ 02 mar 2015, 23:49 ] |
Título da Pergunta: | Re: Análise Real : Completeza de R (Reais) [resolvida] |
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}\) . |
Autor: | jorgeluizsousavidal [ 03 mar 2015, 00:34 ] |
Título da Pergunta: | Re: Análise Real : Completeza de R (Reais) |
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????? |
Página 1 de 1 | Os Horários são TMG [ DST ] |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |