5 votos

Problemas para entender una parte de la construcción de Rudin de los reales - el inverso aditivo de un real

Estaba estudiando el Principio del Análisis Matemático de Rudin. En su construcción de los reales hay una parte que me cuesta comprender. Se refiere a la inversa aditiva de los reales.

Entiendo que para un número real $\alpha$ que es un corte, la inversa aditiva viene dada por el corte $\beta$ - que es el conjunto de todos los números racionales $p$ con la propiedad de que , existe un racional $r > 0$ tal que $-p-r \notin \alpha $ .

Ahora tenemos que demostrar que $\alpha + \beta$ es realmente $0$ .

Para ello necesitamos demostrar que el corte dado por $\alpha + \beta$ es un subconjunto del corte dado por $0$ y el corte dado por $0$ es un subconjunto de $\alpha + \beta$ .

Tengo problemas para entender la prueba de la segunda parte, es decir, el corte dado por $0$ es un subconjunto de $\alpha + \beta$ .

Como es habitual denotemos el corte que representa el real $0$ como $0^*$ .

Así es como Ruding aborda la prueba :-

Elige una racional $v \in 0^*$ poner $w = -v/2$ . Entonces , $w>0$ y existe un número entero $n$ tal que $nw \in \alpha$ pero $(n+1)w \notin \alpha$ . Esta es la afirmación que me cuesta demostrar con rigor.

Rudin afirma que esto se deduce del hecho de que $\mathbb Q$ tiene la propiedad de Arquímedes. Ahora me doy cuenta de que $\mathbb Q$ tiene la propiedad arquimediana y que puede demostrarse sin recurrir a una propiedad de cota mínima superior que $\mathbb Q$ llamativamente carece.

Pero soy incapaz de probar la existencia de $n$ rigurosamente. Tengo problemas para hacerlo porque el conjunto de los racionales(corte) $\alpha$ no tiene un elemento mayor.

Así es como podría proceder :- Consideremos el conjunto de los números enteros(llamémoslo $I$ ), $m$ tal que $mw \in \alpha$ . Este conjunto no es vacío. Como sabemos $\alpha$ es no vacío y por lo tanto tiene al menos un dicho racional $q$ . Ahora bien $\mathbb Q$ tiene la propiedad arquimediana existe un número entero $m_1$ tal que $m_1 w < q $ . Por tanto, el conjunto de enteros $I$ es no vacío. Del mismo modo, podemos demostrar que el conjunto $I$ está acotada por encima. Porque $\alpha$ está acotada por encima. El mayor elemento de $I$ es el $n$ estamos buscando. Y $(n+1) w$ no estará en $\alpha$ .

¿Está bien mi prueba? Tengo dudas al respecto.

2voto

existe un número entero $n$ tal que $nw\in \alpha$ pero $(n+1)w \notin \alpha$ .

La demostración se basa en el axioma de inducción (también conocido como principio de inducción matemática), que es uno de los principios de la inducción matemática. Axiomas de Peano . Rudin no discute los axiomas de Peano porque da por sobreentendidos los números naturales.

El axioma de inducción puede enunciarse sucintamente como: todo subconjunto no vacío de $\mathbb N$ tiene el menor elemento. Usando las propiedades de la suma/resta, podemos generalizar esto a: $\mathbb Z$ tiene la propiedad de límite superior mínimo así como la propiedad del mayor límite inferior. Además, tanto l.u.b. como g.l.b de un conjunto (si existen) están contenidos en el conjunto. En efecto, si $n$ es un límite superior para $A\subset \mathbb Z$ y $n\notin A$ entonces $n-1$ también es un límite superior para $A$ Por lo tanto $n$ no es el límite superior mínimo.

Ahora volvamos a las pruebas. Desde $\alpha$ no es todo $\mathbb Q$ existe un número racional $y$ que no pertenece a $\alpha$ . Por la propiedad arquimediana existe un número entero positivo $b$ tal que $bw>y$ . Por lo tanto, $bw\notin \alpha$ . De forma similar podemos demostrar que existe un número entero $a$ tal que $aw\in \alpha$ .

Consideremos ahora el conjunto $A=\{m\in\mathbb Z: mw\in \alpha\}$ . Este conjunto no es vacío porque contiene $a$ . Tiene un límite superior $b$ . Por lo tanto, existe $n = \sup A$ . Por lo anterior, $n\in A$ . Tenemos $nw\in\alpha$ y $(n+1)w\notin \alpha$ según sea necesario. $\Box$

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