6 votos

Cómo probar que todo número real es el límite de una secuencia convergente de números racionales?

Aquí está mi procedimiento: así que queremos demostrar a $\forall r\in \mathbb{R},$ existe una secuencia $q_n$ de los racionales tales que $\forall\epsilon\gt 0,$ existe un $N$ tal que $n\gt N\implies |q_n-r|\lt\epsilon$.

Creo que podemos aplicar Densidades de $\mathbb{Q}$, lo que indica que si $a,b\in \mathbb{R}$$a\lt b$, $\exists q\in\mathbb{Q}$ tal que $a\lt q \lt b$.

Por la densidad de teorema, podemos decir: vamos a $r\in\mathbb{R}$, ya que el $r-\epsilon\lt r+\epsilon$ para cualquier $\epsilon\gt 0$, $\exists q_n\in\mathbb{Q} $ (esto es para cualquier $n\in \mathbb{N}$) tal que $r-\epsilon\lt q_n\lt r+\epsilon$. A continuación, podemos elegir e ideal $N$ tal que $|q_n-r|\lt \epsilon$.

En primer lugar, no estoy muy seguro acerca de la prueba en cuanto sentí que me he saltado o perdido un montón de elementos. En segundo lugar, mi proceso no parecen seguir el "vamos a $r$..., vamos a $q_n$..., vamos a $\epsilon$..., ...". Podría alguien ayudarme a solucionar la prueba?

10voto

Adam Malter Puntos 96

Usted tiene el derecho idea general, pero que en realidad no ha definido una secuencia o se demostró que converge. Creo que usted está recibiendo estos dos pasos se confunden: el procedimiento que se utiliza para probar la secuencia converge es una útil guía de cómo usted quiere definir la secuencia, pero la definición de la secuencia y demostrar que converge son tareas independientes.

Para definir una secuencia $(q_n)$, lo que tienes que decir cómo encontrar $q_n$ si me dará $n$. Le he dicho a recoger $q_n$ tal que $r-\epsilon<q_n<r+\epsilon$, pero ¿qué es $\epsilon$? Deberá especificar cómo se $\epsilon$ se define en términos de $n$. Tenga en cuenta que nosotros no queremos hablar de un arbitrario $\epsilon$ en este momento, que sólo llegará cuando estamos demostrando que $(q_n)$ converge a $r$. Con el fin de definir $q_n$ en el primer lugar, tenemos que ser específico sobre exactamente qué propiedades que las definen, y por lo tanto deben especificar todos nuestros números.

Intuitivamente, queremos que la $q_n$ a acercarse más y más a $r$ $n$ se hace más grande. Esto sugiere queremos hacer sus "$\epsilon$" se hacen más pequeños y más pequeños como $n$ se hace más grande. Hay un montón de maneras de hacer esto; una forma sencilla es tomar el $\epsilon$$1/n$. Así que para ser más precisos, estamos definiendo $q_n$ a de ser algún número racional tal que $$r-\frac{1}{n}<q_n<r+\frac{1}{n}$$ for each $n$. We know such a $q_n$ exists by the density of $\mathbb{Q}$ in $\mathbb{R}$.

Ahora tenemos que demostrar que la secuencia de $(q_n)$ realmente converge a $r$. Aquí es donde la arbitraria $\epsilon$. Deje $\epsilon>0$. Queremos demostrar que no existe $N$ tal que para todo $n\geq N$, $r-\epsilon<q_n<r+\epsilon$.

Por lo tanto, necesitamos de alguna manera $N$ en términos de $\epsilon$. ¿Qué necesitamos saber acerca de $n$, para decir que $r-\epsilon<q_n<r+\epsilon$? Bien, sabemos que el $r-1/n<q_n<r+1/n$, así como el $1/n\leq \epsilon$, podemos concluir que $r-\epsilon<q_n<r+\epsilon$. Tan sólo tenemos que elegir a $N$ a ser tal que $1/n\leq\epsilon$ siempre $n\geq N$. Para ello, podemos optar $N$ a ser cualquier número entero tal que $N\geq 1/\epsilon$. Y que completa el argumento!

Os animo a probar a escribir el argumento anterior de manera más formal como una prueba. Oculto a continuación es cómo yo podría escribir:

Deje $r$ ser un número real. Para cada una de las $n\in\mathbb{N}$, vamos a $q_n$ ser un número racional tal que $$r-\frac{1}{n}<q_n<r+\frac{1}{n}.$$ Such a rational number exists because $\mathbb{Q}$ is dense in $\mathbb{R}$. These numbers form a sequence $(q_n)$ of rational numbers which I claim converges to $r$. $${}$$ To prove that $(q_n)$ converges to $r$, let $\epsilon>0$. Let $N$ be any integer such that $N\geq1/\epsilon$. Then for any $n\geq N$, $1/n\leq1/N\leq\epsilon$. We thus have $$r-\epsilon\leq r-\frac{1}{n} < q_n < r+\frac{1}{n}\leq r+\epsilon.$$ That is, for any $n\geq N$, $$|q_n-r|<\epsilon.$$ Since $\epsilon>0$ was arbitrary, this proves that $(q_n)$ converges to $r$.

5voto

billythekid Puntos 156

Usted no ha mencionado cómo los reales están definidas. Si ellos se definen como clases de equivalencia de Cauchy secuencias de racionales, entonces la prueba es casi inmediata.

3voto

marty cohen Puntos 33863

Esto funciona no sólo para los racionales, sino para cualquier conjunto de reales, que es infinito en ambas direcciones y tiene la propiedad de que existe un número real $0 < r \le 1/2$ de manera tal que entre dos elementos distintos del conjunto a y b hay un tercer elemento c, tales que $r \le |(c-a)/(b-a)| \le 1-r$,

La prueba consiste esencialmente en repetidas interseccion, con la condición que implica r asegurando que esta converge.

No sé si es suficiente que entre cualesquiera dos elementos hay un tercer elemento, sin la condición que implica r.

1voto

Paolo42 Puntos 11

Si recuerdo correctamente, no solemos demostrar que los números reales son los límites de secuencias convergentes de números racionales. Podemos DEFINIR los números reales de esa manera.

Sin embargo, supongo que se inicia con una definición diferente de los números reales, y ahora está tratando de demostrar que su definición implica la declaración en cuestión. Pero en caso de que nos falta la pieza clave de su definición. ¿Cuáles son exactamente tus números reales? Tiene que ser el conjunto de los números racionales y con algo de propiedad, por ejemplo Menos-de-límite superior de la propiedad.

Eric Wofsey ya nos mostró cómo deducir formalmente nuestra declaración de la densidad teorema. Ahora yo aconsejaría a dar un paso atrás y tratar de demostrar el teorema de densidad de nuevo. Por qué es esto cierto? No se podía demostrar que sin el no propiedad de los números reales. Esto puede ayudarle a comprender mejor lo que los números reales son.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X