1

at

at

Matem aticas I

meros Reales Clase 6: Nu

Axioma 1 (Algebraico).

UP

UP

La importancia de los n umeros reales se debe a su uso ubicuo en las ciencias. Junto con la l ogica y la teor a de conjuntos, los n umeros reales forman parte de los cimientos de las matem aticas modernas. Es imposible dar una lista denitiva de las razones por las cuales es importante el estudio de los n umeros reales, pero podemos se nalar dos aspectos relevantes. Desde el punto de vista geom etrico, los n umeros reales forman una recta continua. En t erminos te oricos esto se traduce en la 1 0 1 2 completitud de los n umeros reales. No es dif cil imaginar los n umeros Z enteros como entes aislados. De hecho los n umeros racionales tambi en lo son en cierto sentido. La gura muestra la representaci on gr aca Q muchas veces usada. Desde el punto de vista algebraico, los n umerosp reales proveen de R soluciones a ciertas ecuaciones. Mostraremos que 2 es un n umero real no-racional que soluciona la ecuaci on x2 = 2. De la misma forma en que un conjunto puede ser denido por extensi on o por compresi on, los n umeros reales se pueden denir construyendo expl citamente sus elementos o enunciando las propiedades (axiomas) que satisfacen. Ya que la construcci on de los n umeros reales requiere de un formalismo que va m as all a de los objetivos de este curso, deniremos este conjunto axiomaticamente. Denotamos por R el conjunto de n umeros reales el cual pensamos como una extensi on de los racionales Q y por lo tanto N Z Q R. La suma de dos n umeros reales a, b 2 R se denota por a + b y el producto por a b.

UP

UP

M
2013-2

at

at

at

8a 2 R, 9b 2 R, [a + b = 0]

8a 6= 0 2 R, 9b 2 R, [a b = 1] El axioma anterior no dene completamente los n umeros reales pero si nos permiten mostrar que para solucionar ecuaciones los n umeros racionales no son sucientes. p Teorema 2. 2 no es racional.

8 a 2 R , [ a + 0 = a ^ a 1 = a]

UP

c 2013 Todos los derechos reservados. Prohibida su reproducci on parcial o total.

UP

M M at e

8a, b, c 2 R, [a (b + c) = a b + a c]

at

at

at

at

8a, b 2 R, [a + b = b + a ^ a b = b a]

8a, b, c 2 R, [a + (b + c) = (a + b) + c ^ a (b c) = (a b) c]

at

at

at

El axioma anterior nos permite denir la relaci on de orden de los n umeros reales. Denici on 5. Si a 2 P decimos que a es positivo.

0 62 P

UP

Escribimos a < b o b > a cuando (b Si a < 0 decimos que a es negativo. Decimos que a b o b

a) 2 P .

at

at

Exactamente s olo una de las siguientes condiciones siempre es verdadera:

1 > 0.

a < b, b < a, o a = b.

a < b y b < c implican a < c.

Si a < b entonces

b<

a < b y c < d implica a + c < b + d. a < b y 0 < c implica a c < b c.

Si a b > 0 entonces ambos son positivos o ambos son negativos.

Demostraci on. Cada uno de los enunciados se siguen de la denici on y el axioma de orden de los n umeros reales.

UP

UP

Si a 6= 0 entonces a2 > 0.

0 < a < b implica 0 <

1 1 < b a

M
a.

a < b y c < 0 implica b c < a c

at

at

at

at

Teorema 6. Si a, b, c, d 2 R entonces

a cuando a < b o a = b.

UP

8a, b 2 R

{0}, [(a 2 P ) Y ( a 2 P )]

at

at

8a, b 2 P, [(a + b 2 P ) ^ (a b 2 P )]

Axioma 4 (de Orden). Existe un subconjunto P R con las siguientes caracter sticas.

el cual es v alido.

UP

UP

p m 2 fuese racional entonces podr amos escribir 2 = donde m y n no n p tienen factores comunes. Luego m = 2n o m2 = 2n2 . Esto nos dice que m2 es par y por lo 2 tanto m es par. Ahora, m = 2k y m = (2k )2 = 4k 2 lo cual implica que 4k 2 = 2n2 y entonces n2 = 2k 2 . Hemos demostrado as que n2 es par, y por consiguiente n tambi en lo es. Esta es una contradicci on porque asumimos que m y n no ten an factor com un. Por lo tanto la premisa es p falsa, es decir, 2 no es racional. m Observaci on 3. Si declaramos P (x) = x es racional y Q(x)=x puede escribirse como n donde m y n no tienen factor com un entonces el argumento que estamos usando es p p 8x 2 R, [P (x) ! Q(x)], Q( 2) ` P ( 2)

at

at

Demostraci on. Si

at

at

at

Denici on 7. Un subconjunto A R es acotado superiormente si

A dicha constante M se le denomina una cota superior.

Denici on 8. El supremo de un conjunto A acotado superiormente es la menor de las cotas superiores. Denotaremos el supremo por sup A.

Axioma 9 (de Completitud o del Supremo). Todo subconjunto no vac o de R y acotado superiormente tiene supremo.
2 El conjunto p A = {x 2 Q : x < 2} es acotado superiormente. Al supremo de este conjunto se le llama 2, el cual hemos demostrado que no es un n umero racional. Los axiomas algebraicos, de orden, y de completitud denen completamente a los n umero reales. De hecho se puede demostrar que cualquier conjunto con estas mismas propiedades debe ser necesariamente el conjunto de los n umeros reales. En ocasiones es necesario extraer la parte entera de un n umero real. Esto lo hacemos mediante la siguiente denici on.

UP

UP

Denotemos por m ax A el m aximo elemento de un subconjunto A de los n umeros reales. El conjunto A = [0, 1] tiene un elemento m aximo pero el conjunto B =]0, 1[ no lo tiene. En ambos casos el n umero 1 es una cota superior. De hecho el 1 es la menor de todas las cotas superiores de B . De esta manera llegamos a la siguiente denici on.

9M 2 R, 8x 2 A, [x M ]

M M M M at e at e at e

at

UP

at

at

UP

UP M at e
3

at

Denici on 10. La parte entera de un n umero real x se dene como JxK = n 2 Z donde n satisface n x < n + 1 si x 0 y n 1 < x n si x < 0. p p Ejemplos 11. Algunos ejemplos son J 2K = 1, JeK = 2, J K = 3. Adem as J 2K = 1, J eK = 2, J K = 3. De hecho, x es un n umero entero si y s olo si JxK = x.

at

UP

at

at

at

Ejercicios Adicionales

2. Si w > 0 es variable y m > n > 0 son constantes, determine el conjunto de valores posibles para w+m t= w+n

UP

Soluci on.

at

4. Demuestre que

2+

3 es un n umero irracional.

at

6. Si a, b, c, d 2 R entonces demuestre cada una de las siguientes propiedades usando las deniciones y propiedades b asicas del conjunto P . Exactamente s olo una de las siguientes condiciones siempre es verdadera: a < b, b < a, o a = b. a < b y b < c implican a < c. a < b y c < d implica a + c < b + d. a < b y 0 < c implica a c < b c. Si a 6= 0 entonces a2 > 0. 1 > 0.

5. Demuestre que existen dos n umeros irracionales a y b tales que ab es racional (considere p p 2 la expresi on 2 ).

UP

UP
{x 2 R : x {x 2 R : x =

a < b y c < 0 implica b c < a c Si a < b entonces b< a. Si a b > 0 entonces ambos son positivos o ambos son negativos. 1 1 0 < a < b implica 0 < < b a

at

7. Demuestre que

3/2 es negativo usando las deniciones.

at

{x 2 R : x < 30} R Q {x 2 Q : 3 x 3 < 1 }

8. Determine si los siguientes subconjuntos de R tienen un m aximo y calcule el supremo en caso sea acotado superiormente. 4}

9. Muestre que el supremo de un conjunto acotado es u nico.

UP

UP

{x 2 R : x = ( 1)n /n, n 2 N}

1/n, n 2 N}

at

at

at

at

at

Supongamos por contradicci on que 6= 0. Como 0 esto nos deja > 0. Tomando c = > 0 por hip otesis tenemos que < c = 2 , cancelando a ambos lados de la desigualdad 2 1 tenemos que 1 < 2 lo cual representa una contradicci on. Por lo tanto concluimos que = 0.

UP

3. Demuestre que si

0 y para todo c > 0 se verica que < c, entonces = 0.

1. Sean a, b, c, x 2 R {0}. Si x es el inverso multiplicativo de (a + c) 6= 0 y c el inverso aditivo de (a + b); calcule el valor de bx + 1.

at