22/10/2019, 09:22:22 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a aladan
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Demostración densidad de los racionales: Rudin.  (Leído 1028 veces)
0 Usuarios y 1 Visitante están viendo este tema.
zimbawe
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 398


Ver Perfil
« : 29/05/2018, 12:46:00 pm »

Hola, estoy tratando de seguir la demostración de la densidad de los racionales propuesta en el libro de Rudin, pero me quedo en una parte.
Si [texx]x \in{\mathbb{R}}[/texx] y [texx]y\in{\mathbb{R}}[/texx], además [texx]x<y[/texx] entonces hay racional   [texx]p[/texx] tal que [texx]x<p<y[/texx]
Demostración:
Debido a que [texx]x<y[/texx] se tiene que aplicando la propiedad arquimediana, que existe un entero positivo tal que:
[texx]n(y-x)>1[/texx]
Aplicando la propiedad arquimediana se pueden encontrar enteros positivos, [texx]m_1, m_2[/texx] tales que:
[texx]m_1>nx[/texx]
[texx]m_2>-nx\longrightarrow{-m_2<nx}[/texx]
Ahora es donde viene mi duda:
El afirma que hay un entero [texx]m[/texx] con
[texx]-m_2\leq{m}\leq{m_1}[/texx]
tal que:
[texx]m-1\leq{nx}\leq{m}[/texx]
¿Qué me garantiza la existencia de ese m? y ¿Por qué [texx]m-1\leq{nx}[/texx]
Ya el resto que hace lo entiendo, pero es consecuencia de encontrar este m, me pueden explicar qué garantiza la existencia de este m, muchas gracias.
En línea
Juan Pablo Sancho
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 4.654


Ver Perfil
« Respuesta #1 : 29/05/2018, 05:25:56 pm »

Te pongo este documento.

* 30QDensoenR.pdf (37.61 KB - descargado 47 veces.)
En línea
Masacroso
Pleno*
*****

Karma: +2/-0
Desconectado Desconectado

España España

Mensajes: 1.611


Ver Perfil
« Respuesta #2 : 29/05/2018, 06:18:42 pm »

Supongamos sin pérdida de generalidad que [texx]x\ge 0[/texx]. Define el conjunto [texx]A_x:=\{n\in\Bbb N: n>x\}[/texx]. Como [texx]A_x\subset\Bbb N[/texx] y [texx]\Bbb N[/texx] es un conjunto bien ordenado, entonces [texx]m:=\min A_x[/texx] existe, y entonces de ahí obtenemos directamente que [texx]m-1\le x< m[/texx].

Es decir: [texx]m-1\le x[/texx] ya que [texx]m[/texx] es mínimo y por tanto es imposible que [texx]m-1>x[/texx]. Espero te sirva.
En línea
zimbawe
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 398


Ver Perfil
« Respuesta #3 : 30/05/2018, 09:37:25 am »

Muchas gracias a ambos. Son muy amables.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!