You are on page 1of 34

Los nmeros reales y sus propiedades

CAPITULO

1.1. Definiciones y smbolos de la teora de conjuntos

El concepto de conjunto es bsico en matemticas. Un conjunto es una coleccin de cosas u objetos. 'Tales objetos se llaman elementos o miembros del conjunto y se dice que pertenecen al conjunto o que estn contenidos en l. Por ejemplo, viernes es un elemento del conjunto de los das de la semana; diciembre es un miembro del conjunto de meses del ao civil. Un conjunto se denota en tal forma que no exista duda en cuanto a qu elementos le pertenecen. Una forma de hacerlo es enumerar sus elementos. Si se considera el conjunto de los tres primeros meses del ao civil y para denotarlo se usa el smbolo {enero, febrero, marzo} entonces el smbolo {enero, febrero, marzo} se interpreta como "el conjunto cuyos elementos son enero, febrero, marzo", Cuando el smbolo anterior se usa para denotar conjuntos, los elementos se encierran en llaves { }, y se separan con comas. Generalmente se usan letras maysculas para nombrar a los conjuntos. Por ejemplo,

A = {enero, febrero, marzo}.


Si se dan explcitamente todos los elementos de un conjunto, como en el conjunto A anterior, se dice que se han enumerado sus elementos. Si el conjunto contiene una gran cantidad de elementos, entonces abreviamos la enumeracin de sus elementos; por ejemplo
B

= {a, b,c,d, ... ,x,y,z}

el conjunto de las letras del alfabeto, los tres puntos indican que las letras de la e a la w tambin son elementos de B, aunque no se enumeran.
11

12

Los nmeros reales y sus propiedades

El conjunto de los nmeros que se utilizan para contar se llama conjunto de los nmeros naturales, a saber,
N= {1,2,3,4,5, ...}

El conjunto de los nmeros naturales es un conjunto interminable. Ntese, que al denotar dicho conjunto se usan tres puntos que, en este caso, significan: "y as se contina indefinidamente". Otra forma de designar un conjunto consiste en especificar una caracterstica que debe poseer cada elemento del conjunto. As, al considerar el conjunto de los nmeros naturales menores que 6, entonces un objeto ser miembro de este conjunto si es un nmero natural y adems, es menor que 6. Denotamos este conjunto as

= {x I x es un nmero natural y x es menor que 6}

Este smbolo se lee: "El conjunto de todos los elementos x tales que x es un nmero natural y x es menor que 6". Esta forma de denotar conjuntos se llama notacin estructural de conjuntos. La barra que aparece en esta notacin se lee "tal que". La letra que se usa en la notacin estructural como la x en el conjunto e, se llama variable; en tal conjunto la variable x puede substituirse por cualquiera de los nmeros naturales 1, 2, 3, 4 5. El conjunto cuyos elementos pueden reemplazar a x, (en este caso, el conjunto de los nmeros naturales menores que 6) se llama conjunto de substitucin, dominio de la variable o simplemente dominio. Cuando dos conjuntos tienen exactamente los mismos elementos, como por ejemplo P = {1, 2, 3, 4} y Q = {x I x es un nmero natural menor que 5), se dice que son iguales y escribimos P =

Q.

DEFINICION 1.1 Dos conjuntos, A y B, son iguales. si y slo si tienen exactamente los mismos elementos; esto se denota A = B.

La frase "si y slo si" que se usa en' la definicin 1.1 es una forma de decir dos afirmaciones a la vez. As la definicin 1.1 es equivalente a la siguiente oracin compuesta: Si los conjuntos A y B son iguales, entonces exactamente los mismos elementos y, recprocamente si los conjuntos A y B tienen los mismos elementos, entonces son iguales. El smbolo E significa "es un elemento de" o "pertenece a", al referirse a un elemento de un conjunto. Por lo tanto, si

C = {l, 2, 3, 4 }
vemos que 2 es un elemento de

e y se escribe
2EC

...L

ueIlnlClones

SlmOUIU.!i

UI l':UCla

'-'"...Ju .....,,13

r
I

El smbolo rt. se usa con el significado "no es un elemento de" o "no pertenece a". As, ya que 7 no es un elemento de e, se escribe

7rt.C
Hay algunos conjuntos que no tienen elementos. Por ejemplo, el conjunto de meses un ao de exactamente 52 das no contiene elementos. Un conjunto que no tiene elementos se llama conjunto vacio. Para denotarlo se usa el sm bolo 0. Un conjunto puede contener muchos elementos. Por ejemplo,

a l s y

R = {x I x es un nmero natural menor que 1.000,001 }


contiene milln de elementos, si se duda esto, se deben descr-ibir todos los elementos y contarlos. Un conjunto en el que los elementos se pueden ordenar y contar en forma sistemtica, incluyendo hasta el ltimo elemento, se dice que es un conjunto finito. Ntese que un conjunto puede tener un nmero fantsticamente grande de elementos y, an as, ser un conjunto finito. Por ejemplo, el conjunto de granos de arena de todas las playas de Texas en un momento dado, tiene un gran nmero de elementos y no obstante, es un conjunto finito. Ejemplos de conjuntos finitos son: El conjunto de los nmeros naturales menores que 7.000,000. El conjunto de los meses del ao. El conjunto de las personas residentes en Estados Unidos en este momento. Un conjunto que no es finito se llama conjunto infinito. Por ejemplo, un conjunto infinito es el de los nmeros naturales, pues no existe un nmero natural que sea el mayor o itimo. Algunos ejemplos de conjuntos infinitos son: El conjunto de los nmeros naturales impares. El conjunto de los cuadrados de los nmeros naturales. El conjunto de los nmeros naturales mayores de 1.000,000. Si cada miembro del conjunto B tambin es miembro del conjunto A, entonces B se llama subconjunto de A. Por ejemplo,

n e a

o r s s e

e a s -

B={2,4}
es un subconjunto de

= {1, 2, 3, 4, 5}
se usa para

ya que cada miembro de B es un miembro de A. El smbolo representar que "es un subconjunto de" es decir

...L..

14

LOS

numeros reales y sus propiedades

DEF'INICION 1.2 Si cada elemento del conjunto B es tambin un elemento del conjunto A, entonces B es un subconjunto de A.

En base a la definicin 1.2 podemos decir que el conjunto A es un subconjunto de s mismo? Ciertamente, pues cada elemento del conjunto A es un elemento de A mismo y, por consiguiente, se satisface.la definicin 1.2. Es decir, A es un subconjunto de s mismo. Cada conjunto es un subconjunto de s mmo. El conjunto vaco es subconjunto de cualquier conjunto. Cada elemento de 0 es un elemento del conjunto A, pues 0 no tiene elementos. En este sentido 0 est "contenido" en cualquier conjunto.
E:JEMPJ:.O 1. Enliste entre llaves los elementos del conjunto de los nmeros naturales menores que 10. SOLUCION

{l, 2, 3, 4, 5, 6,7,8, 9}

EJEMPLO 2. Usando la notacin estructural escriba el conjunto de los nmeros naturales menores que 10. SOLUClON

{X I x

es un nmero natural y

x es menor que lO}

El conjunto de elementos implicados en cualquier problema particular se llama conjunto universal o, simplemente universo, y se denota con la letra mayscula U. Por ejemplo, las ciudades del mundo generalmente se clasifican en conjuntos tales como: el conjunto de las ciudades europeas, el conjunto de las ciudades americanas, el conjunto de las ciudades africanas, etc. . Cada uno de estos conjuntos es un subconjunto de un conjunto universal que, en este casQ, es el conjunto compuesto por todas las ciudades del mundo. El universo cambia de acuerdo al problema. Luego, si se considera a los Cardenales de San Luis, los Bravos de Adanta, los Mets de Nueva York y los Gigantes de San Francisco cuyos miembros son todos jugadores profesionales de bisbol', el universo en este problema particular es el conjunto de los jugadores profesionales de bisbol.
EJERCICIOS 1.1
Enlistar entre l. 2. 3. 4. 5. El El El El llaves los siguientes conjuntos (ejercicios del 1 al 10).

conjunto de los das de la semana. conjunto de los nmeros naturales entre 1 y 15. conjunto de los nmeros naturales menores que 30 que son divisibles entre 3. conjunto de los nmeros naturales mayores que 11. {x I X es un mes del ao}.

Operaciones con conjuntos


61 {X I X es 7. {X I X es 8. {X I X es 9. {X I X es 10. {X I X es

una estacin del ao}. un nmero natural menor que 12}. un nmero natural y x es mayor que 10 pero menor que 20}. un estado de la Repblica Mexicana y x est en la costa del Pacfico}. un nmero natural par}.

Denotar los siguientes conjuntos con la notacin estructural (ejercicios del 11 al 20).

11. 12. 13. 14. 15. 16. 17. 18. 19. 20.

{a,b,c,d}.
{enero, junio, julio}.

{1, 2, 3,4, 5}. {l, 2, 3, 4, }.


{2, 4, 6, 8, }.
{martes, jueves}.

{11, 12, 13, 14, 15, 16}. {5, 10, 15,20, }. {l5, 16, 17, }. {2, 3, 4, 5, 6, 7, 8}.
a) El conjunto de los nmeros naturales b) El conjunto de los cuadrados de cinco lados c) El conjunto de los estados de la Repblica Mxicana cuyos nombres comienzan con con la letra A. 3 = 7 y x es un nmero natural}. d) {X X es la solucin de la ecuacin X e) {X X es la solucin a la ecuacin x2 1 = O y x es un nmero natural }.

21. De los siguientes conjuntos, cules son vacos?

I I

+ +

22. Escribir todos los subconjuntos de A 23. Escribir todos los subconjuntos de A 24. Dado el conjunto elementos.

= {l, 2, 3}.

= {1, 2, 3, 4, 5} que tienen tres elementos. A = {2, 4,6, 8,l0} escribir todos los subconjuntos que tengan dos

25. De las siguientes expresiones, cules son verdaderas?

a) A b) 0

A
A

c) U d) 0

A
U

1.2

Operaciones con conjuntos

Ahora definiremos las operaciones de unin e interseccin, as como el complemento de un conjunto. Iniciaremos nuestro estudio con la definicin de la unin de dos conjuntos A y B:
DEFINICION 1.3. La unin de dos conjuntos A y B, que se denota por A U B y se lee como "A unin B", es el conjunto de todos los elementos que pertenecen a A o que pertenecen a B Con la notacin estructural la unin de A y B se denota de la siguiente forma:

A U B = {x I x

EA

O X

E B}

En la definicin de unin la "o" es un ejemplo del uso "inclusivo" de la palabra "o" y significa uno u otro, o bien ambos. En el lenguaje comn, se usa frecuentemente la palabra "o" en sentido exclusivo, que significa uno u otro pero no ambos; as, cuando decimos "Hoyes martes o jueves" la palabra "o" se usa en sentido exclusivo pues se afirma que hoyes martes o que es jueves, pero no ambos. En esta obra siempre usamos la "o" en sentido inclusivo.

EJEMPLO I.Dados A SOLUCION

= el, 2. 3.4.5. 6}

y B

= {l, 3,5,7, 9}, encontrar A

U B.

A U B = {l,2,3,4,5,6, 7,9}

Ntese que si bien algunos elementos pertenecen a ambos conjuntos, A y R, stos se enumeran slo una vez en A U B. As pues, al formar A U B, lo nico que se necesita es reunir los elementos de A con aquellos de R que no han sido ya nombrados en A . EJEMPLO 2. Dados P SOLUCION

= {a, b, e, d}

Q = {r, s, t},

encontrar P U

Q.

P U Q = {a, b, e, d, r, s, t}

Ahora se define la interseccin de' dos conjuntos A y B.


DEFINIeION lA. La interseccin de dos conjuntos A yR que se denota por A n B y se lee como "A interseccin B," es el conjunto de todos los elementos que pertenecen a los dos conjuntos, A Y B.

Con notacin estructural la interseccin de A y B se denota as:

A
EJEMPLO 3. Dados A = encontrar A n B. SOLUCION EJEMPLO 4. Dados C SOLUCION: ta que

= {x I x E A
y

E B}

el, 2, 3, 4, 5, 6}
A

Ji =

{2, 4, 6,8, lO},

B = {2,4,6}

= {a, b, e, d, e}.y

D = {p, i, g}, encontrar C


elementos en comn,

D.

ey

D no tienen

su interseccin es el

conjunto vaco 0:

Cn D= 0 Dos conjuntos que no tienen elementos en comn se llaman conjuntos

Operaciones con conjuntos

17

's. Es' decir, la interseccin de dos conjunos ajenos es el conjunto


o,

0.

Ahora se definir el complemento de un conjunto A que es subconjunto "if' l:'1Q' un universo U.


DEFINICION 1.5 El complemento de un conjunto A. j\ <: U, que se por A y se lee "el complemento de A", es el conjunto de todos los elementos de U tales que no son elementos de A.

,En notacin estructural, se escribe

A' = {x 1 x E U
EJEMPLO 5. Si U SOLUCION

fl A}
y

= {1,'2, 3, 4, 5, 6,7,8,9, lO}

= {2, 4, 6}, encontrar

P' = {l, 3, 5,7,8,9, lO}

EJERCICIOS 1.2

1. Sea A = (1,2,3,4,5,6, 7, 8}, B= {l, 3, 5,7, 9},


Enumerar los elementos de

C= {2, 4, 6, 8,10, l2}.

(a) A U B (b) A U C (e) A n B


2. Dado
A

(d) A n e (e) B U e (f) en B

e = tx I x

= {x I x

= {x I x

es un nmero natural}, y los siguientes subconjuntos de U: es un nmero par }, B {x x es ud nmero menor que lO}, Y es un mltiplo de 3}, encontrar:

= I

(a) A U B (b) A n C (e) B n C

(d) A' (e) B' (f) C'

Enumerar los elementos de los conjuntos que se piden en los ejercicios del 3 al 12, usando los conjuntos siguientes: los conjuntos A. B Y e son subconjuntos de U.

U = {1,2,3,4,5,6, 7,8,9, lO}


A = {2,4,6,8,lO}

B= {3,6,9} C = {l, 2, 3, 4,5}


3. A U B

4. 5. 6. 7.

A' Bn B U B'

8. A U B' 9. C' n B 10. (B n Cl' ll. A' U C' 12. (C' U BY

18
13. 14. 15. 16

Los nmeros reales y sus propiedades


Si se supone que A U B 0 ,qu conclusin se obtiene acerca de A y B? Si A U B B,qu conclusin se obtiene acerca de A y B? Si A n B A, qu conclusin se obtiene acerca de A y B? De las siguientes afirmaciones, cules son verdaderas?

(a) (b) (e) (d)

A U U A n U A n 0 A U 0

=U
= =

=U
0 0

(e) A

=BnA

(f) AUB=BUA (g) A' = A (h) (A')' = A

Completar los siguientes ejercicios (del 20 al 24).

17. 18. 19. 20.

A U A = ? 0 n A ? U n U =? A U A' = ?

21. A n A = ? 22. A U 0 ? 23. A' n A ? 24. U U 0 ?

= =

25. Explicar por qu A U B

B U A. 26. Explicar por qu A n B B n A. 27. De las. siguientes expresiones cules son verdaderas?

= =

(a) (b) (e) (d) (e)


1.3
<>

<;;:; B. (A nA') <;;:; A. (A n B') <;;:; B. (A' n B') <;;:; A'.

(A (A

n B) n B)

<;;:; A.

Conjuntos de nmeros.

A travs de todo el texto consideraremos conjuntos de nmeros que, en la mayora de los casos, son ya conocidos por el estudiante. En seguida definiremos estos conjuntos.
DEFINICION 1.6. El conjunto de los nmeros naturales que se conjunto de los 'nmeros que usamos para denota por N y es el

Se escribe:

= {1, 2, 3, 4, 5, ... }
se denota por W y

DEFlNICION 1.7. El conjunto de los nmeros no consiste de los nmeros naturales y el cero.

Se escribe:

W= {0,1,2,3,4, ...}

"-'uJu

'"'

DEFlNICION 1.8. El conjunto de los nmeros enteros se denota por z y consiste del conjunto de los naturales, de sus negativos y del cero.

Se escribe:

z= {... , -3, -2, -1,0,1,2,3, ... }


DEFINICION 1.9. El conjunto de los nmeros racionales se denota por Q y es el conjunto de los nmeros que se representan como el cociente de dos enteros, es decir,

b,:

a -;- b, en donde b =1= o.

Usando la notacin estructural, escribimos:

I a E z: b E z,
t, -t, t,
y

y b

* O}

Algunos elementos de Q son:

-l

Entonces los nmeros racionales se representan como fracciones. Ntese que todos los nmeros racionales se pueden representar como fracciones, pero no todas las fracciones representan nmeros racionales. Por ejemplo, los quebrados
'11

V2

4'11

no representan nmer@s racionales, pues

V2

no son nmeros enteros.

Se recordar que los nmeros racionales tambin se representan por medio de terminaciones decimales o de decimales peridicas. As,

t =

0.5 = 0.25

t=

= 0.333 . 0.1666 .

Podemos observar que t y t se representan por medio de terminaciones decimales, mientras que t y se representan mediante decimales repetidos o peridicos. En este caso, los tres puntos en 0.333 ... , significan que el tres se repite indefinidamente.

Algunos nmeros, como se pueden aproximar por un decimal, pero sin que aparezca repetido un nmero en particular. Por ejemplo,

V2,

yI2 . 1.41
. 1.414 . 1.4142 . 1.41421, etctera
(el smbolo . significa "aproximadamente"). A tales nmeros se les llama nmeros irracionales. El conjunto de los nmeros irracionales se define

..nl"', -

........ "'" .....A .."'"

J "' ...

.... _ U

.....

como el conjunto de los nmeros que pueden aproxim,arse por termina ciones decimales no repetidas, interminables, pero que no se pueden representar como el cociente de dos enteros. Recordemos tambin que los nmeros se pueden representar como longitudes de segmento de lnea. Por ejemplo, en el tringulo recto de la figura 1.1 cada cateto representa 1 y la hipotenusa representa Entonces los nmeros irracionales se pueden definir como aquellos que pueden representarse como longitudes de segmento de lnea, o sus negativos, pero que no pueden representarse como el cociente de dos enteros.

V2.

J
figura 1.1
DEFINICION 1.10. El conjunto de los nmeros irracionales, el cual denotamos por S es el eonjunto de los nmeros que pueden representarse como longitudes de segmentos de lnea o sus negativos, pero que no pueden representarse como el cociente de dos enteros.

Entre los elementos de s tenemos:

V2, 'TT,

V5.

DEFINICION 1.11. El conjunto ,de los nmeros reales se denota por R y consiste del conjunto de todos los nmeros racionales y de todos los nmeros irracionales.

Podemos escribir:

R=QUS
DEFINICION 1.12. El conjunto de los nmeros complejos, se denota por e, y es el conjunto de todos los nmeros que se pueden representar en la forma a bi, en dnde a y b son nmeros reales y, adems i 2 -1.

Usando la notacin estructural se escribe:

e=

{z I z = a

+ bi, a E R, b E R,

e i2

-l}

Conjunto de nmeros

21

Los ejemplos siguientes ilustran el uso de la notacin de conjuntos, as como \'arios conjuntos de nmeros,
EJEMPLO] . Enumerar los elementos de {x I x es un entero y x es divisible entre

o a

5} .

e s s

SOLUCION. Puesto que cada elemento del conjunto dado es un entero y un mltiplo de 5 (esto es, cada elemento es divisible entre 5), cada elemento es de la forma 5k, en donde k es un entero. Por lo tanto el conjunto es

{... , -15, -10, - 5, 0, 5, 10, 15, .. ,}


EJEMPLO 2. Usando la notacin estructural, denotar el conjunto de los nmeros reales mayores que yI2. SOLUCION

{x

IX E R

> V21

EJEMPLO 3. Usando la notacin estructural, denotar los nmeros reales mayores que - 6 pero menores que 6, SOLUCION

{x I xER y -6<x<6)

= {x I xER

x> -6) n {x I xER y x<6)

r e l

EJERCICIOS 1.3
Enumerar los elementos de los siguientes conjuntos (ejercicios del I al 10)

1. 2, 3 4. 5.

6. 7. 8.
9. lO.

el n

es un nmero natural mayor que 6 y menor que es un entero entre --4 y 5J. {x x es un nmero Jlatural y x es mayor que 6}. {x X es un entero no negativo} . {x x es un entero negativo). {x x es un nmero natural entre 3 y 7}. {x x es un nmero natural divisible por 3). {x X es un entero y x es divisible por 3). {x x es un nmero natural par}. {x I x es un entero impar),

{x x {x X

18).

Usando la notacin estructural, denotar los siguientes conjuntos (ejercicios del II al 18).

11. El ]2. El 13 . El 14, El

conjunto conjunto . conjunto conjunto

de los nmeros naturales mayores que 5, d e los enteros pOSItIVOS. .. de los nmeros naturales impares.

de los nmeros enteros entre -4 y 4.

22
15. 16. 17. 18. 19.

Los nmeros reales y sus propiedades

El conjunto de los nmeros reales entre -2 y 2. El conjunto de los nmeros reales mayores que -5 y menores que 10. El conjunto de los enteros pares. El conjunto de los nmeros reales mayores que 1.86. Cules de las siguientes proposiciones son verdaderas? (a) Todos los nmeros reales son nmeros racionales. (b) Todos los nmeros irracionales son nmeros reales. (e) Todos los enteros son positivos o son negativos. a (el) Todos los nmeros irracionales se presentan en la forma donde a y b Son enteros y b =1= O. 20. Cules de las siguientes proposiciones son verdaderas? (a) {x X es un nmero racional} <: {X X es un nmero real} (b) {X X es un nmero real} n {x X es un nmero racional} {X X es un nmero irracional} . (e) {x X es un entero} <: {x X es un nmero natural}.

I I

1.4

Axioma para los nmeros reales

Las afirmaciones matemticas que se suponen ciertas sin necesidad de justificacin, se llaman axiomas o postulados. Primero enunciaremos los axiomas de igualdad. Se usa el smbolo =, se lee: "igual", para denotar la relacin usual de igualdad. Al escribir a = b, se indica que a y b son nombres para la misma cosa.

AXIOMAS DE IGUALDAD

En los siguientes axiomas, a, b y c representan nmeros reales. E-l (Propiedad re./lexzva) Para toda a, a = a E-2 (Propiedad sz'mtrz'ca) Para toda a y b si a = b entonces b ;=: a E-S (Propiedad transz"tz'va) Para toda a, b y c, si a = b y b = c, entonces a = c E-4 (Propz'edad de substz"tucz"n) Dada una expresin matemtica, una cantidad cualquiera puede substituirse por otra igual sin que por ello se altere la veracidad o la falsedad de la expresin. E-5 (Propz"edad adz"tz'va) Si a = b entonces a+c = b+ c y c+a = c+b E-6 (Propz'edad multzplz"catz'va) Si a = b entonces ac = bc y ca = cb Ahora enunciaremos los axiomas para el sistema de los nmeros reales con las operaciones binarias de suma y multiplicacin. En los elementos de un conjunto S una operacin binaria es una regla que asocia un elementO nico de S a cada par de elementos a y b de S, tomados en este orden. por

Axiomas para los numeros reales

,;)

ejemplo, la operacin binaria de suma, asocia el nmero real nico 14 a la pareja de nmeros reales 6 y 8 (en este orden). La operacin binaria de multiplicacin asocia el nmero real nico 48 a la pareja de nmeros reales 6 y 8 (en este orden).
DEF1NICION 1.13. Una operacin binaria sobre un conjunto S, es una regla que asocia un nico elemento de S, a cada par de elementos a y b de S, tomados en este orden.

Son

mero

d de los para ue a

La operacin binaria de suma se denota por el smbolo +. El nmero real nico que la operacin de suma le asocia al par de nmeros reales a y b, se llama la suma de a y b y se denota por a + b. Luego, la suma de 6 y S es 6 + S. La operacin binaria de multiplicacin se denota por el smbolo X, un punto intermedio o colocando los factores adyacentes uno al otro. El nmero real nico que la operacin binaria de multiplicacin le asocia al par de nmeros reales a y b, se llaman el producto de a y b y se denota por a X b, a . b, abo Luego, el producto de 6 y 8 se denota como 6 X S, 6' S, (6)(S).

AXIOMAS PARA LOS NUMEROS REALES


R-l R-2 R-S R-4 (Propiedad de cerradura de la suma). Para todo a y b su suma, que se denota por a + b, es un elemento nIco de R. ' (Propiedad conmutativa de la suma). Para todo a y b, a + b = b + a. (Propiedad asocz"atz'va de la suma). Para todo a, b, y c, (a + b) + e a + (b + e). (Elemento idntz'co para la adicin). Existe un elemento O en R llamado elemento idntico para la suma o idntico aditivo; con la propiedad de que para todo a, a + O = O + a = a. (Propiedad del inverso adz"tzvo). Para cada nmero real a, existe un nmero real nico - a, llamado inverso o inverso aditivo de a, tal que a + (-a) = (-a) + a = O. (Propz'edad de cerradura de la multzplz"cacz"n). Para todo a y b, su producto, que se denota por ab, es un elemento nico de R. (Propiedad conmutatz'va de la multzplzcacz"n). Para todo a y b, ab = bao (Propz'edad asocz"atz'va de la multzplz"cacz"n). Para todo a, b y c, (ab)c = a(bc)

nces

una o se

R-5

+b b

R-6 R-7 R-S

ales s de ntO por

.J

... _ ....

r'U'....."-...

(Elemento idntico para la multiplicacin). Existe un elemento 1 en R llamado elemento idntico para la multiplicacin o idntico multiplicativo, tal que para todo a, a . 1 = 1 . a = a. R-lO (Propiedad del inverso multiplicativo). A cada nmero real a distinto de cero, (a =1= O), le corresponde un nmero real nico, que se denota
R-9 por
0

1.,
a

y que se llama recproco o inverso multiplicativo de a tal que

.1=1. 0
a a

=1.
c:=

R-ll (Propiedad distributiva). Para todo a, by c, a(b+c) (b + c) a = ba + ca.

ab+ac y

En los axiomas R-l y R-6, las propiedades de cerradura establecen que la suma y el producto de los nmeros reales es siempre un nmero real, y que cada suma y producto se determina unvocamente. Dado que la suma de dos nmeros reales es un nmero real, se dice que el conjunto de los nmeros reales es cerrado bajo la operacin de suma o, simplemente, cerrado con respecto a la suma. De la misma manera, el conjunto de los nmeros reales es cerrado con respecto a la multiplicacin. Cuando el resultado de una operacin binaria en los elementos de un conjunto, es un elemento del mismo conjunto, se dice que el conjunto es cerrado bajo esa operacin. Por ejemplo, el conjunto de los enteros con la operacin de suma y de multiplicacin, es cerrado, porque la suma y el producto de dos enteros cualesquiera es de nuevo un entero. El conjunto de los enteros impares es cerrado bajo la operacin de multiplicacin, pero no lo es bajo la operacin de suma, ya que el producto de dos enteros impares cualesquiera es un entero impar, pero la suma de dos impares cualesquiera es un entero par, no un entero impar. Los axiomas R-2 y R-? son l(is propiedades conmutativas. Estos axiomas establecen que el orden en el que se suman o se multiplican dos nmeros reales cualesquiera no afecta la suma o el producto. Por ejemplo,

3+6=6+3

36

63

Las operaciones de substraccin y divisin que se definirn ms tarde, no tienen esta propiedad. Las propiedades asociativas R-3 y R-8, establecen que tres nmeros en una suma o producto se pueden agrupar en dos formas, sin que por ello cambie el resultado. Esta propiedad asociativa se generaliza al aplicar la suma y el producto a cuatro nmeros o ms. Los axiomas R-4 y R-9 expresan la existencia de ciertos nmeros reales especiales, as corno de sus propiedades. Los axiomas R5 y R-IO dicen '1I1J() ciertas parejas de nmeros reales se relacionan con los nmeros (,s!lf'cia!es O y l.

1.-

AXiomas para- .U1;

.. U ......,CU1;

e...,......,"

s..,

xioma 11 combina las operaciones de suma y de multiplicacin en la ada propiedad distributiva. . propiedad distributiva se puede generalizar para la' suma de tres o ms sumandos, de la siguiente forma

a(b

a(b e

+ +

e d

+ d) = + e) =

ab ab

+ +

ae ae

+ +

ad ad

ae,

as sucesivam'ente

Si en un conjunto dado F, se definen un par de operaciones sobre los elementos de F, que satisfacen los axiomas R-l hasta R-ll, entonces decimos que F es un campo bajo tales operaciones. El conjunto de los nmeros reales con las operaciones de suma y multiplicacin se llama el campo de los nmeros reales. El conjunto de los nmeros racionales con las operaciones usuales de suma y de multiplicacin es tambin un campo, el campo de los nmeros racionales.
EJEMPLO 1. Qu axioma de los nmeros reales nos asegura que

(-3)
SOLUCION

[-(-3))

= O?

El axioma del inverso aditivo.

EJEMPLO 2. Qu axioma de los nmeros reales permite asegurar que para todo nmero real y

=i= O,
1 y.-

=1

SOLUCION

El axioma del inverso multiplicativo.

Ahora definiremos las operaciones de substraccin y de divisin de nmeros reales.


DEFlNICION 1.14. Si a y h son nmeros reales, su diferencia. qu<: se denota pOI

a - b, se define corno a

+ (-b):

a - b

= a + (-b)
reales y

La operacin de encontrar la diferencia se llama substra(:cin.


DEFINICION 1.15. denota corno Si

son nmeros

%o

a -;- b se define corno


1 -a = a 'b b

a(i ):

=i= O,

su cociente, que se

La operacin de encontrar el cociente se llama divisin

26

Los nmeros reales y sus propiedades


EJERCICIOS 1.4

Justificar cada una de las siguientes proposiciones citando el axioma de igualdad apropiado. En los ejercicios del' 1 al 10, cada variable denota un nmero real. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. Si Si Si Si Si Si Si Si Si Si

a 7

= 3, entonces a + 2 = 5. = x, entonces X = 7. X = 6 y Y = X - 4, entonces a = 9, entonces 2a = 18.


X -

=6 -

4.

7x = 21, entonces X = 3. 3 = 9, entonces X = 12. X + 2 = Y + 3 y Y + 3 = 12, entonces X Y = 3x y 3x = 7, entonces y = 7. 2 = Y + 7, entonces y + 7 = 2. a + b = 9 y b = 4, entonces a + 4 = 9.

+ 2 = 12.

Justificar cada una de las proposiciones siguientes con el axioma para los nmeros reales apropiado. En los ejercicios del 11 al 25, cada variable denota un nmero real.

11.

+y

es un nmero real.

12. 7 + 3 = 3 + 7. 13. (4 X 2) X 7 = 4 X (2 X 7). 14. 2(t) = 1. 15. (-3) + = -3. 16. (-6) + 6 = O. 17.3 + (-6) = (-6) + 3. ."

1 18. X-= 1,x=r!=O.


X

19. x(y + z) = xy + xZ. 20. (a + b) + e = (b + a) 21. 3(a + b) = 3a+ 3b.


1 22. - (y
X

+ C.
X

+ z)

= -. y
X

1 + -. z,
X

=r!= O.

23. (x

24.
25.

+ y) + [- (x + y)] = O. 1 - - . (x + y) = 1, x + y =r!= O. x+y xy + x(z + x) = xy + (xz - xw).

26. Cules de los siguientes conjuntos son cerrados bajo la suma?

(a) {l, 2, 3, 4, }. (b) {O, 2, 4, 6, }. (e) {l, 3, 4,7,11,18, ... }. (d) {O}.

.- ..

Propiedades de campo
27. Cules de los siguiel).tes conjuntos son cerrados bajo la multiplicacin?

27

dad

(a) ,(b) (e) (d)

{l,2,3,4,

}.

{O, 2, 4, 6,

}.

{l, 3, 5, 7,

}.

{O}.

28. Es cerrado el conjunto de los nmeros reales bajo la operacin de substraccin? Dar un ejemplo que sustente la respuesta. 29. El conjunto de los nmeros reales, exceptuando el cero, es cerrado bajo la operacin de divisin? Dar un ejemplo que sustente la respuesta. 30. Sea * una operacin tal que, para todo par de nmeros reales a y b, a * b =

(a

+ b)
(a) (b) (e) (d) (e)

- ab. Por ejemplo, 3 * 4

= 3 +4

(3 X 4)

=7

12

= -5.

ros

Encontrar 4 * 5. Encontrar 6 * 3. Encontrar 5 * 4. Encontrar 3 * 6. Es conmutativa la operacin *? Es decir, se cumple que a * b

= b*

a?

Propiedades de campo

Los axiomas de igualdad, los axiomas para los nmeros reales y las definiciones, describen las propiedades bsicas de los nmeros reales. El uso matemtico de una definicin es simplemente el de un acuerdo para establecer una expresin como equivalente de otra. As, en la definicin de divisin, el acuerdo es hacer que :

ya

sean equivalentes. De las

propiedades bsicas se derivan otras propiedades de los nmeros reales, tales como:
TEOREMA 1.1.Para cada nmero real

a, - (-a) = a.

DEMOSTRACION

a+(-a)=O [a + (-a)] + [-(-a)] = + [-(-a)] [a + (-a)] + [-(-a)] == -(-a) a + {(-a) + [-(-a)]} = -(-a) a + = -( -a) a = -( -a) -(-a) = a

axioma del inverso aditivo propiedad aditiva de igualdad axioma del idntico aditivo propiedad asociativa de la suma axioma del inverso aditivo axioma del idntico aditivo propiedad simtrica de la igualdad

28

Los nmeros reales y sus propiedades

Esta forma de ra.zonamiento lgico que va de la hiptesis a la conclusin, constituye una demostracin. Los teoremas son las afirmaciones que se demuestran en esta forma. Demostrar un teorema consiste en exhibir la conclusin como una consecuencia lgica de la hiptesis y de los aXIOmas. Los teoremas matemticos usualmente aparecen en la forma "si h entonces c", en donde h es la hiptesis y c es la conclusin. Si se supone que se sabe "si h entonces e/' en don1e el es una conclusin diferente de la c deseada y si se puede demostrar que "si el entonces C2, ", "si e2 entonces e3,'" y "si e3 entonces c," lo que se tiene ahora es una cadena de implicaciones: Si h entonces el. Si el entonces C2. Si e2 entonces e3. Si e3 entonces e. Usando la ley de la lgica conocida como regla de la cadena,se obtiene la conclusin deseada: "si h entonces e". En esta seccin se demostrarn algunos teoremas acerca de los nmeros reales con el propsito, no slo de recordar hechos conocidos y teoremas familiares, sino tambin de demostrar cmo esos hechos llegan a ser consecuencias lgicas de los axiomas.
TEOREJ\.'rA 1.2. (Ley d cancelacin pum la adicin). Para cualesquiera. nmeros reales a,

b,

y e, si

+e

= b

+ e,

entonces

= b.

DEMOSTRACION

(a a

+ e) + (-e) = (b + e) + (-e)
+ [e + (-e)]

a+e=b+e

hiptesis propiedad aditiva de igualdad propiedad asociativa de la suma axioma del inverso aditivo axioma del idntico aditivo

=b

+ (c+ (-e)]

a+O=b+O a=b

TEOREMA 1.3. (Ley de cancelacin pam la multijJii'acin). Para cualesquiera

a, b,
DEMOSTRACION

e, si

ab

= ac

0, entonces

= c.

ab

= ae

hiptesis hiptesis axioma del inverso multiplicativo

0*0
1 es un nmero real distinto a

.c.-U.....:;UdU-.;;;:,

M7

no es igual a cero"

-1 . (ab) = -1 . (ae)

propiedad multiplicativa de igualdad propiedad asociativa de la multiplicacin. axioma del inverso multiplicativo axioma del idntico multiplicativo

a)b

. a )c

lb=le
b=e

TEOREMA lA. (Propiedad de la multiplicacin por cero). Para cualquier nmero real a,

a'O = O.
DEMOSTRAClON

a(O + O) = a' O a'O+a'O=a-O [a'O + a'O] + [-(a'O)] = a . O+ a O + {a' O + [- (a . O)]} = a' 0+ a'O+O=O a'O = O
TEOREMA

0+0=0

axioma del idntico aditivo propiedad multiplicativa de igualdad propiedad distributiva

[- (a' O)]
[- (a' O)]

propiedad aditiva de igualdad propiedad asociativa de la suma axioma del inverso aditivo axioma del idntico aditivo

Si a y b son nmeros reales, entonces

a.( -b) = - (ab).

DEMOSTRAClON

+ (-b) = O arb + (-b)] = a' O a[b + (-b)] = O a[( -b) + b] = O a( -b) + ab = O


b
[al -b)

axioma del inverso aditivo propiedad multiplicativa de igualdad TEOREMA 1-4 propiedad conmutativa de la suma propiedad distributiva propiedad aditiva de igualdad propiedad asociativa de la suma axioma del inverso aditivo axioma del idntico aditivo

+ ab] + [-(ab)] = 0+ [-(ah)] + {ab + (-(ab)]} = O+ (-(ab)]


a(-b) + O = O + (-(ah)] a( -b) = -(ab)

Segn el axioma del inverso multiplicativo, si a es un nmero real distinto de cero, entonces

reales puede demostrarse que este inverso multiplicativo es distinto de cero. Aceptaremos este teorema sin demostracin.

le a

es su inverso multiplicativo. Usando los axiomas de campo para los nmeros

JV

.LJU';'

'II[;I.U.;, "'II[;A.'II[;';'

';'u';'

I'

UI'

_-_

o::JI

Una consecuencia del teorema 1.5 es que el producto de un nmero real positivo y un nmero real negativo, es un nmero real negativo.
TEOREMA 1.6. Si a y b son nmeros reales, entonces DEMOSTRACION

(-a)( -b) :;::: abo

b+(-b):;:::O (-a)[b + (-b)]:;::: (-a)'O (-a)[b + (-b)] (-a)b + (-a)(-b) ab + [(-a)b + (-a)(-b)] ab + [( -a)b + (-a)( -b)] [ah .j- (-a)b] + (-a)( -b) [ba b[a :;::: :;::: :;::: :;::: :;:::

axioma del inverso aditivo propiedad multiplicativa de igualdad feorema 1.4 propiedad distributiva

O O
ab ab ab

+O

propiedad aditiva de igualdad axioma del idntico aditivo propiedad asociativa de la suma propiedad conmutativa de la multiplicacin propiedad distributiva axioma del inverso aditivo Teorema 1.4 axioma del idntico aditivo

+ b( -a)] + (-a)( -b)

:;::: ab

+ (-a)] + (-a)(- b):;::: ab bO + (-a)(-b):;::: ab


0+ (-a)(-b):;::: ab
(-a)( -b) :;::: ab

Una consecuencia del teorema 1.6 es que el producto de dos nmeros negativos es un nmero positivo. Por ejemplo.

(-2)(-3) (-5)(-1)

= 23 = 6 = 51 = 5

TEOREMA 1.7. Para nmeros reales a y b, si ab:;::: O, entonces a:;::: O. b:;::: O. DEMOSTRACION Si a :;::: O, entonces la conclusin del teorema es cierta. Supngase a O, entonces, por el axioma del inverso multiplicativo, a tiene inverso multiplicativo, a saber, .!, que es distinto de cero. Por lo tanto, a

1 1 -(ab):;::: -,0
a a
por la propiedad multiplicativa de igualdad. Pero por la propiedad asociativa de la multiplicacin .! (ab) a

.a)b

rropleoaoes oe campo
y por el teorema 1.4,.! O :;::: O;

.11

luego, se tiene que

.a)' b :;::: O
lb:;::: O

Pero .!. a :;::: a

1 por el axioma del inverso multiplicativo, as que


y

b:;:::O
por el axioma del idntico multiplicativo. Entonces vemos que si a necesariamente b:;::: O lo cual demuestra el teorema.

O,

Los teoremas que hemos demostrado hasta ahora, se establecieron en la forma de una implicacin. Una implicacin tiene la estructura de una sentencia si-entonces. Las siguientes expresiones son implicaciones: 1) Si un nmero real es divisible entre 6, entonces es divisible entre 2. 2) Si esta figura geomtrica es un cuadrado, entonces ella es un rectngulo. 3) Si el pr-oducto de dos nmeros reales es cero, entonces uno de los dos es cero. Una implicacin tiene dos componentes: el antecedente y la conclusin. En la implicacin (1), el antecedente es "un nmero real es divisible entre 6" y la conclusin es "el nmero real es divisible entre 2". Vemos, entonces, que una implicacin es de la forma "si h, entonces c" en donde h es el antecedente y c es la conclusin. Si se intercambia el antecedente y la conclusin en la implicacin "si h entonces c", la implicacin que se obtiene es "si c, entonces h" sta ser la recproca de la implicacin dada. Es necesario hacer notar que una implicacin cierta no implica necesariamente que la recproca sea verdadera. Por ejemplo, todas las implicaciones dadas anteriormente son verdaderas, pero slo la recproca de la implicacin de (3) es verdadera.

TEOREMA 1.8. Para nmeros reales

a, b, e,

d, con b

Oy d

O, tenemos que

a b :;: :

e d

SI

-1 . Y so o SI

a d :;::: bC.

DEMOSTRACION

En realidad, este teorema establece dos teoremas a la vez. La primera

y; :;: :

parte dice que si ad:;::: be, entonces !!:..:;:::.E... la segunda; establece que si a e b d d' entonces ad :;::: be. Ntese que lo. segunda parte del teorema es la

recproca de la primera parte. Se demostrar primero que si a e

ad :;::: be, entonces

y;:;::: d'

32

Los nmeros reales y sus propiedades


Puesto que b
y d

son distintos de cero, sus inversos multiplicativos

existen.

Ahora se tiene

ad = bc

hiptesis propiedad multiplicativa de igualdad propiedad conmutativa de la multiplicacin propiedad asociativa de la multiplicacin propiedad asociativa de la multiplicacin axioma del inverso multiplicativo axioma del idntico multiplicativo propiedad conmutativa de la multiplicacin definicin de divisin

U.

1 1) b'(j (b '(j (ud) = (1 1)(bc)


<

U.t

)(bc)

l[.lrcJn)] - d b - -!-[.l(bc)] bd'

"t [U .d)aJ =
1 b (1 . a)

. b)c]
1 d (1 . e)

1 1 -'a=-'c b d 1 1 a'b=c'(i

a e b=(j
Ahora se probar que si

entonces

ad

= be.

a e b=(j
=

hiptesis propiedad multiplicativa de la igualdad definicin de divisin propiedad co,nmutativa de la multiplicacin propiedad asociativa de la multiplicacin propiedad asociativa de la multiplicacin axioma del inverso multiplicativo axioma del idntico multiplicativo propiedad conmutativa de la multiplicacin

(bd)(a' (db)G

= (bd)(e'

a) = (bd)U . e)

d[bU .a)] =

d[ (b' ] = b[(d'
d(l . a) = b(l . e) cJn = be be ad

TEOREMA 1.9. Para cualesquiera nmeros reales entonces

a, b

e, si a = b

e = d,

a + e = b + d.

l..

Propiedades de campo
DEMOSTRACION

33

n.

a=b a+e=b+e e=d a+e=b+d

hiptesis propiedad aditiva de igualdad hiptesis propiedad de substitucin de la igualdad

La importancia del teorema 1.9 radica en que permite sumar miembro a miembro dos igualdades (ecuaciones). Luego, si x + y == 9 y x - y == 12, entonces

(x

+ y) + (x

- y) == 9 + 12 2x = 21
- (a

TEOREMA 1. lO . Si a

y b

son nmeros reales, entonces

b)

( -b).
DEMOSTRACION

(-a)

a + (-a) = O b+(-b)=O [a + (-a)] + [b + (-b)] = O + O [a + (-a)] + [b + (-b)] = O {[a + (-a)] + b} + (-b) = O {a + [(-a) + b]} + (-b) = O {a + [b + (-a)]} + (-b) = O [(a + b) + (-a)].+ (-b) = O (a + b) + [( -a) + (-b)] = O O = (a + b) + [-(a (a + b) + [(-a) + (-b)] = (a + b) + [-(a (-a) + (-b) = -(a + b)

+ b)] + b)]

En la demostracin del teorema 1.10 se han omitido las razones. El estudiante debe dar la justificacin a cada paso de la demostracin.

EJERCICIOS 1.5
En las demostraciones siguientes, dar la justificacin a cada paso (ejercicios del 1 al 11).

1. Demostrar: Si a es un nmero real, entonces


Demostracin:

(-l)a = -a.

(a) (-l)a = a( -1) (b) = -(a'l) (e) = -a


Para cualesquiera nmeros reales

2. Demostrar: entonces
l..

a, b

y c, si

c+ a

c + b,

a = b.

34

Los nmeros reales y sus propiedades


Demostracin:

(a)
(b)

(e) (d) (e)


a

+a= (-e) + (e + a) = [(-e) + e] + a =


e

O+

e +b (-e) + (e + b) [( -e) + e] + b a = O+ b a= b

3. Demostrar: Para cualesquiera nmeros reales

a, b

si

ba = ca, con

b = e. Demostracin: (a) ba = ca
entonces

=1= O,

(h)
(e) (d)

=1= O
es un nmero real distinto de cero

1..
a

(ba) 1.. == (ca) 1.. a a


= e(a.

(e) b(a.
(f) (g)

b 1 = e' 1
b

=e
y

4. Demostrar: Para cualesquiera nmeros reales a,


y a = -b. Demostracin: Primera parte, si

b, si a + b = O, entonces

b = -a

(a)

a + b = O, entonces b = -a. a + b = O (-a) (-a)

(h) (-a)
(e)

+ (a + b) = [(-a) + a] + b =
b

+O +O
+O

(d)

O + b = (-a)

(e)
Segunda parte: Si a

= -a

+ b O, entonces a b. (f) a + b = O (g) (a + b) + (-b) ='0 + '(-b) (h) a + [b + (-b)] = O + (- b) (i) a + [b + (-b)] = -b a + O = -b (k) a = -b 5. Demostrar: Si a es un nmero real y a -1- O entonces -.!. = a. . -- , 1

=-

Demostracin:

(a) _1_ .!. = 1


1
a a

(h)

1=

a1.
a

Propiedades de campo

35

(e)-'-=a'a

111 1 a a

(d)

1-. _1_ - -1 a _ '1 1 '


_ a a

(e)

1
1
a

=a

6. Demostrar: Para cualesquiera nmeros reales a, ( Ley distributiva por la derecha)

b y e, (b + e) a

= ba

+ ca.

Demostracin:

(a) (b
(h) (e)

+ e)a = a(b + e)
= ab

= ba

+ ca

+- ae
(e

7. Demostrar: Si a, b y e son nmeros reales, entonces

Demostracin:

(a) (a (h) (e)

+ b)

'+ b) + e = + e = a + (b + e) . = a + +.b) = (e + b) + a
(a

b)

+a

8. Demostrar: Para cualesquiera nmeros reales ces

a, b y e, si a + b = e, entonb = (-a) + e. Demostradon: (a) a + b = e (h) (-a)+(a+b)=(-a)+e (e) [( -a) + a] + b = (-a) + e (d) 0+ b,=, (-a) + e (e) b=(-a)+e ab = e, con b =1= O, en-

9. Demostrar: Para cualesquiera'nmeros reales a, by e si tonces a

= e( ).

Demostracin:

eG) (e) a[bG)] = eG) (d) 1 = eG) (e) = eG)


(h) (ab)G) =
a' a

(a)

ab = e

36

Los nmeros reales y sus propiedades


10. Demostrar: Para cualesquiera nmeros reales Demostracin:

a, b

y c,

a(b - c) = ab - ac.

(a) a(b - c) = a[b + (-c)] (b) = ab + a( -c) (e) = ab + (-ac) (d) = ab - ac


a y b, si a i= O y b i= O, entonces

11 .Demostrar: Para cualesquiera nmeros reales


o

= 1.

DemostraClOn:

"

(a) (ab)
(b) (e)
(d)

(1 -; = (ba) (1 b' a: 1) a 1)
o

= [(ba) = [bo(a - (b o

(e)

(f)

.'

1 01) 0b 1 - b o-b = 1
a i= O,

12. Demostrar: Para todo nmero real 14. Demostrar: Si 15. Demostrar:

13. Demostrar: Para cualesquiera nmeros reales

a, by c son nmeros reales Si a, byc son nmeros reales,

si ax = a, entonces X = l. a y b, si a =b, entonces -a = -b. (a + b) - c = a + (b - c). (a - b) + c = a - (b - c).

16. Demostrar: Para cualesquiera nmeros reales

a y b,

si

ab = 1, con b i= O, entonces

a=-;.
17. Demostrar: El inverso multiplicativo de un nmero real distinto de cero, es nico. (Sugerencia: Suponer que existen dos inversos y demostrar que son iguales).

1.6

Representacin geomtrica de ls nmeros reales

Los nmeros reales se pueden representar como puntos sobre una recta (como se muestra en la figura 1.2), en la forma siguiente. Se traza una recta y se marca sobre ella una sucesin de puntos igualmente,espaciados. En seguida, se escoge un punto y se marca con el O. El nmero cero se asocia con el punto marcado como O. A los puntos a la derecha del punto marcado como O, se asocian los enteros positivos 1, 2, 3, 4,... en este orden; los puntos a la izquierda del punto marcado como O, se asocian con los enteros negativos -1, -2, -::3, ... en este orden. Entre los puntos asociados con los enteros estn los nmeros reales que no son enteros. Aun cuando no corresponde a esta seccin, se puede demostrar que existe una correspondencia biunvoca entre los puntos sobre la recta y los

l"rOpleOaoes 'oeoroen oe "lOS numeros reales

.1 f

nmeros reales. Esto significa que a cada punto le corresp<;>nde exactam.ente un nmero real y, recprocamente a cada nmero real le corresponde exactamente un punto de .la recta. Los puntos que corresponden a los nmeros reales son las grficas de los nmeros. Los nmeros reales que corresponden a los puntos sobre la recta se les llama coordenadas de esos puntos. La recta sobre la que se graficanlos nmeros reales se llama recta numrica reaL
-4 -3 -2 -1
I

ces

O 1

2 3 4

Figura 1.2

1.7

<>

Propiedades de orden de los nmeros reales

Ahora" presentamos los axiomas que tratan con la relacin de orden "menor que". La relacin "menor que" se denota con el smbolo As como no intentamos formular una definicin de la relacin de igualdad, sino que, en su lugar, se establecieron los axiomas de igualdad que la determinaron completamente, con la relacin "menor que" no daremos una definicin formal. En lugar de ello, se establecern los axiomas de orden que determinan completamente las propiedades de esta relacin,

<.

AXIOMAS DE ORDEN

-b.

ces

ico.

cta una os. se nto este con tos

0.1 (Propiedad transitiva). Para todos los nmeros reales a, b y c, si a b y b e, entonces a e. ' 0.2 (Propiedad de tricotoma). Para cualesquiera nmeros reales a y b, se cumple exactamente una de las siguientes relaciones: a = b, a b, b a. 0.3 (Propiedad aditiva). Para cualesquiera nmeros reales a, b y c, si a b, entonces a + e b +e y e +a e + b. 0.4 (Propiedad multiplicatz"va para nmeros positivos). Para cualesquiera nmeros reales a, b y c, si a b y O e, entonces d.e be y ca eb. 0.5 (Propiedad multiplicativa para nmeros negativos). Para cualesquiera nmeros reales a, by c, si a b y e O, entonces be ae y r;b ea. 0.6 (Propiedad de substitucin). Para nmeros reales a, b, a', y b' , si a = a', b = b ' , y a b, entonces a' b' .

<

<

<

<

<

<

<

<

<

<

<

<

<

<

<

<

<

<

Si se acepta la relacin "menor que" como un concepto indefinido, se puede definir la relacin "mayor que" de la siguiente manera:

DEFlNICION 1.16. Si a y b son nmeros reales se dice que a es mayor que b, yescribimos

que los

> b, si y slo si b < a.

Cualquier campo que satisfaga los axiomas de orden se llama un -campO ordenado. Ahora definimos lo que se entiende al decir que un nmer0 real es "po_e sitivo" y lo que se entiende al decir que es "negativo".
DEFINICIUJIi 1.17. Un nmero real a es positivo si y slo si a O. Un nmero real a O. El nmero real O no es positivo ni negativo. negativo si y slo si a

<

>.

es

Usando los axiomas de orden ahora, demostraremos algunos teoremas para los nmeros reales.

TEOREMA 1.11. Para cualesquiera nmeros reales a y es positivo. DEMOSTRACION Ya que a para obtener que

b,

si a

< b,

entonces

b- a
a

< b, se usa la propiedad aditiva de orden y se suma axioma del inverso aditivo definicin de substraccin definicin de positivo

+ (-a)

b + (-a) 0< b + (-a) O<b-a

<

b - a es positivo a< b.
DEMOSTRACION Puesto que

TEOREMA 1.12. Para todos los nmeros reales a y

b si b - a es positivo, entonces

b - a es positivo,
definicin positivo

b---;a>O (b - a) + a O+ a (b - a) + a> a [b+(-a)]fa>a b + [( -a) + a] a " b+O>a b>a a<b

> >

ptopiedad aditiva ,del orden axioma del idntico aditivo definicin de substraccin propiedad asociativa de la suma aJ$ioma del inverso adi.tivo axioma del idntico aditivo definicin de "mayor que"

TEOREMA 1.13. LJ. suma de dos enteros positivos es positiva. DEMOSTRACION Sean a y b dos nmeros positivos, entonces

O<b a+O<a+b a<a+b

definicin de positivo propiedad aditiva del orden axioma del idntico a<ijtivo

...

UII;

UU It:::'L,,!:!Ii.

J;?

_e

O<a O<a+b a

definicin de positivo propiedad transitiva del orden

b es positivo

a a + b, por lo tanto, O definicin de positivo.

<

(O

< a + b)

<a

s TEOREMA 1.14. El producto de dos nmeros positivos es positivo. DEMOSTRACION Sean a y b dos nmeros positivos, entonces,

O<a (O)(b) ab 0< ab

<

definicin de positivo propiedad multiplicativa de los nmeros positivos Teorema 1.4 definicin de positivo entonces

ab es positivo
TEOREMA 1.15. Si a positivo DEMOSTRACION
JeT. caso.

=1= 0,

es un nmero positivo o el inverso de a es

Debido a la propiedad de tricotoma se prese(ltan dos casos:

a >O
a

caso.

<O

en tal caso ya que

-1

< O,

es positivo y el teorema es cierto. se tiene

a( -1)

> O( -1) >


es positivo.

propiedad .multiplicativa para nmeros negativos. teorema 1.4 ejercicios 1.5, problema 1: [( -1) definicin de positivo

a( -1) O -a>O

-a]

- a

EJERCICIOS 1.6
l. Justifique cada paso de la demostracin siguiente. Demostrar: Para cualesquiera nmeros reales a, b, tonces a + e b + d.

>

e y d, si a> b y e> d,

en-

Demostracin: (a) Ya que a> b, a - b es posiUVO.

(b) Ya que e d, entonces e - d es positivo. (e) (a - b) + (e - d) (d) (a - b) + (e - d) = [a + (-b)] + [e + (-d)] (e) [(-b) + a] + [e + (-d)] (f) {[(-b)+a]+e}+(-d) (g) = [( -b) + (a + e)] + (-d) (h) [(a + e) + (-b)] + (-d) (i) = (a + e) + [(-b) + (-d)j

>

= =

...'"

.I..IU;'

= (a + e) + [( -l)(b) + (-l)(d)] = (a + e) + [( -l)(b + d)] (1) = (a + b) + [-(b + d)] (m) = (a + e) - (b + d) (n) Por lo tanto, a+e>b+d.

(j)

(k)

Demostrar los teoremas siguientes. En cada caso las variables representan nmeros reales.

y e d, entonces a e b d. 3. El producto de un nmero negativo y un nmero positivo es un nmero negativo 4. El producto de dos nmeros negativos es un nmero positivo.

2. Si a < b
Si 1 Si a Si Si

<

<

5. Si a

10. 0< < 1, 0< < 11. SI a < b, entonces a < --2- < b.
1.8
e

6. 7. 8. 9.

e < b + e, entonces a < b. ae < be, e > 0, entonces a < b. ac > be, e < 0, entonces a < b. Si a entonces a2 a. . a+b
Valor absoluto

< b, < a,

entonces entonces

-a> -b. a < a2 .

A cada nmero real a se le asocia un nmero no negativo: el valor absoluto de a que se denota por lal. El valor absoluto de un nmero real se define como sigue:
DEFINICION 1.18. Si a es un nmero real, el valor absoluto' de a se denota corno si

lal', yes a

a es

no negativo, y es el inverso de a, si

a es

negativo.

Esto es:

lal. =

{a si a

no

- a SI a es negatIvo

De la definicin 1.18 observamos que er valor absoluto de un nmero real siempre es positivo o cero, pues 101 O; si a O, lal a que es positivo; si a O, lal -a el cual es positivo, ya que el inverso de un nmero negativo es un nmero positivo. Por siemplo:

<

>

121 = 2
1-81

= -(-8) = 8

1- 71 = - (- 7) = 7

1121

= 12

Geomtricamente, lal se puede interpretar como la distancia (no dirigida) entre el punto de coordenada a en la recta numrica real y el punto de coordenada O (figura 1.3).

.
y

.
O
Figura 1.3

EJEMPLO 1. Encontrar el valor de SOLUCION

7 1- 81 + 1 1.

1-81 + 171 = 8 + 7 = 15

-EJEMPLO 2. Encontrar el valor de

1-36 1
131 -

SOLUClON

1-361 --131

-(-36) - - - 1 2 36
3 3 -

EJEMPLO 3. Encontrar el valor de SOLUClON

121 + 1-31 + 101.

121 + 1-31 + Ol = 2 + [-(-3}] + =2+3+0=5

ay

EJEMPLO 4. Considerando las distintas posibilidades de valores positivos y negativos de

b, con b =1= 0, demostrar que

l;
SOLUCION CASO l. Considerar a

a 1_ lal

-lbf'

2:

b
1

> O.
a

Entonces

)
CASO 11. Considerar

; =;=lbf
y
1

lal

2:

< O.
a

Entonces

CASO In. Considerar

= -b =Tbf a :s; y b > O.. Entonces


;
a

lal

CASO IV. Considerar

<
1

1_ -a _ lal -b-W
y

< O.
=

Entonces

EJERCICIOS 1.7
l. Dar el valor absoluto de cada uno de los siguientes nmeros.

(a) -6 (b) 5 (c) -3

(d) 7 (e) 8 - 2 (f) -12 - 5

2. Encontrar los valores de x para los cuales 3. Encontrar los valores de x para los cuales 4. Encontrar los valores de x para los cuales

Ixl = 5. Ixl = 12. Ix + 51 =

7.

5. Considerando todas las posibilidades para valores positivos y negativos de a y b demostrar que labl = Ibj. 6. qonsiderando todas las posibilidades para valores positivos y negativos de a y b. demostrar que la bl ::;; !al Ibl.

lal "

7. Encontrar los valores de las siguientes expresiones.

(a) 181 + 1-31 (b) 1-41+1-51 (c) 1-61 - 181 (d) 131 .1- 41 (a)
(b)

(e) (f) (g) (h)

1-91 "131 1-41"1-51 1-81" 181 1-91"1-81

8. Encontrar el valor de cada una de las siguientes expresiones.

1- 81
1

41
6

1- 24 1
1 1

() 13601 c 1- 12 1
(d)

(e)

1_ I ' a

Itl * *
O, b

9. Demostrar que para cualesquiera nmeros reales 10. Qu conclusin se deduce si se sabe que 11. Qu conclusin se deduce si se sabe que 12. Si se sabe que 13. Si sabe que

Ix + yl = X con y O, qu se puede concluir? Ix + yl = Ix - yl, qu se puede concluir?

Ixl > x? Ix + yl =

a y b, la - b[
O?

= lb -

al.

REPASO DEL CAPITULO


1. Nombrar la propiedad de los nmeros reales y la operacin ilustrada para cada una de las siguientes expresiones.

(a) t 2 = 1. (b) 2 + (6 + 7)

= (2

+ 6) + 7.

(c) 7"t=t7. (d) 3(1.8 + 6.7) = (3)(1.8) + (3)(6.7).

ar

b.

(e) - V2 + O = - V2. (f) ! + (-t) = o. (g) 4.68 X 1 = 4.68. (h) 7" (3 "6) = (7" 3) 6. () t + t = ! + t. ) 3( - 7) es un nmero real.
2. Sea

Q = {x I x
1

es un nmero racional},

= {x I x

es un nmero irracional},

R = {x

X es un nmero real }. Cules de las siguientes afirmaciones son ciertas?

(a) Q U S =R (b) Q n S = R (c) Q e R (d) R e S (e) Q n R = Q

(f) (g) (h) ()

Qn R = 0

R U S= R R U Q= Q SnR = 0 ) S e R

3. Dar una razn para cada paso de la siguiente demostracin. Teorema: Si

O y b

*
=

O son nmeros reales, y ab = 1, entonces b = la

Demostracin:

(a) ab = 1.
(b) (c) (d)

existe

l (ab)
a

l. 1.
a
1.

"a)" b =
l" l.
a

(e) 1" b =
(f) b =
4. Dar una Teorema: Si

para cada paso de la demostracin siguiente.

<O
(a) a

< O,

entonces

a + b

< o.

Demostracin:

< o.

(b) a

+ b < O + b.

(e) a + b (d) b o. (e) a + b

<

< b, < o.
{X, X
es un emero y -4

5. Usando la notacin estructural, denotar el conjunto de los nmeros reales mayores que 7.8 peru menores que 12.7. 6. Enumere los elementos del conjunto

< x < 5}.

7. Nombrar la propiedad de igualdad ilustrada en cada una de las siguientes expresiones. (a) Si a 7, entonces a 3 10. (b) Si x (c) Si (d) Si

= + = + y = z + t, entonces Z + t = x + y. X + y = a y a = 3 - k, entonces X + y = 3 a + b = k y b = 3, entonces a + 3 - k.


5

- k.

(e) Si X -

= 11,

entonces X
('O"

= 16.

8. Cules de los siguientes

'untos son cerrados bajo la operacin de adicin?

(a) {... , -4, -2, , ",,4, ... }. (b) {O, 1,2, 3}. (e) {l,3,5,7, ...}. (d) {x I x es un nmero real }.
9. Encontrar el valor de cada una de las siguientes expresiones.

(a)
(b)

(e)

181+1-71. 131' 1-51. 161'1-91


13 1 .

(d)

1-9 + 31 - 1-6 - 81. () 1-6 - 12 e 16 + 31


1

10. El conjunto 'de los nmeros enteros con las operaciones de suma y muItipli'cacin, constituye un campo? Dar la justificacin a la respuesta. En cada una de las siguientes proposiciones, completar con una frase. palabra u smbolo que haga verdadera la expresin. (ejercicios del 11 al 20). 11. Los nmeros naturales, sus inversos y forman el conjunto de los

12. La suma de dos nmeros reales positivos, es un nmero real 13 El es llamado el 15. Si de del otro. es igual a ( - a)( -

es

-6.

14. Si el producto de dos nmeros reales es el idntico multiplicativo. entonces cada nmero

< O entonces lal


de X -

16. Si a y b son nmeros reales. entonces 17. Si a y b son nmeros reales 18. El inverso 19.

a - b b) =

se define como

Y
y

es

[7;' a E 1, bE 1,

b i= O}

es el conjunto de

20. Si a es un nmero real. entonces

a' O =

You might also like