Clase I: Introduccin a la teora de conjuntos.

Una rama interesante de las Matemticas es la Teora de Conjuntos, cuya

manifestacin ms primitiva y intuitiva puede remontarse a la necesidad
humana de reunir y clasificar desde pocas muy remotas. Resulta
necesario formalizar esas nociones previamente para comprender los
nmeros reales de una manera ms sistemtica.
Elemento Objeto concreto o abstracto. (Ej: Telfono, nmero, felicidad,
voltaje)
Conjunto Frmula con o sin Elementos agrupados de acuerdo a un
criterio por lo menos. Tambin denominado Clase y se denota con letra
mayscula.
(Ej: Una lista de compras para visitar un supermercado, denotada por la letra
A, un inventario solemne de bienes, denotada por la letra B, una lista de
placas vehiculares en circulacin en la ciudad de Barranquilla, denotada por
la letra C)
Nota: Una Clase sin elementos agrupados es denominada Clase nula o
vaca. Esta Clase se simboliza como .
Pertenencia Correspondencia de un Elemento a una Clase.
(Ej: La alcachofa pertenece a la clase de la lista de compras para visitar un
supermercado por ser una verdura y se denota por la letra a)
Se escribe de la siguiente manera tomando en cuenta el ejemplo anterior:
a A, y se lee el elemento a pertenece a la clase A.
Adicionalmente, se presenta un caso de negacin de Pertenencia.
(Ej: El televisor no pertenece a la clase de la lista de compras para visitar un
supermercado pues este solo vende alimentos y se denota por la letra z)
Se escribe de la siguiente manera tomando en cuenta el ejemplo anterior:
z A, y se lee el elemento z no pertenece a la clase A.
Igualdad de Conjuntos - Dos Clases se consideran iguales si y solo si
tienen los mismos Elementos.
Una consecuencia importante de esta definicin es la aparicin de tres
casos de desigualdad:
a) Dos Clases con distinta cantidad de Elementos, pero la Clase con
menor cantidad tiene los mismos Elementos de la otra Clase.

b) Dos Clases con igual cantidad de Elementos parcialmente distintos

entre s.

c) Dos Clases con igual o distinta cantidad de Elementos totalmente

distintos entre s.

Los tres casos permiten el esbozo de las nociones de Inclusin y

Operaciones Bsicas entre Clases.
Inclusin Ocurre en el primer caso de desigualdad. En otras palabras,
una Clase es una subclase de la otra, o viceversa, la otra es una superclase
de la Clase.
(Ej: La seccin de verduras es una subclase del supermercado, denotados V y
A, respectivamente)
Se escribe de la siguiente manera tomando en cuenta el ejemplo anterior:
V A y se lee la clase V es una subclase de la clase A o la clase V est
contenida en la clase A.
Adicionalmente, se presenta un ejemplo de negacin de una Inclusin.
(Ej: La seccin de electrodomsticos no es una subclase del supermercado,
denotados H y A, respectivamente)
Se escribe de la siguiente manera tomando en cuenta el ejemplo anterior:
H A y se lee la clase H no es una subclase de la clase A o la clase H no
est contenida en la clase A.
Nota: Dos Clases son iguales cuando ambas se contienen. Es decir: X Y y Y
X. Una Clase universal es aquella que no puede ser contenida por
cualquiera de las dems Clases, al ser estas sus subclases.
Operaciones Bsicas
Existen tres operaciones entre Clases: Unin, Interseccin y Diferencia.
Sean A, B y C Clases, si:
a) Existe una Unin entre las Clases A y B, entonces ambas estn
contenidas en la Clase C. Esto es, C = A B.

b) Existe una Interseccin entre las Clases A y B, entonces se

constituye una Clase C con los Elementos comunes de ambas
Clases. Esto es, C = A B.

c) Existe una Diferencia entre las Clases A y B, entonces se constituye

una Clase C con los Elementos de la Clase A excluyendo a los
elementos comunes de la Clase B. Esto es, C = A B.
 Clase II: Introduccin al Conjunto de los Nmeros Reales.
Luego de la presentacin de las nociones bsicas de la Teora de Conjuntos,
es posible abordar el Conjunto de los Nmeros Reales, denotado por R, sus
Operaciones y Propiedades de Cuerpo. Inicialmente, se presenta la
definicin de Campo.
Cuerpo Conjunto no vaco que es cerrado y tiene definidas dos
operaciones binarias: adicin y multiplicacin. Se conoce tambin
como Campo.
Aplicando esta definicin al Conjunto de R, este posee las dos
operaciones binarias para x, y R, representadas por los smbolos + y
y que x + y lo mismo que x y existen en R.
A continuacin, se presenta las Propiedades de Igualdad y de Cuerpo
que satisface R.
Propiedades de Igualdad:
a) Reflexividad Para todo x R, se encuentra que x = x.

b) Simetra Para todo x, y R, si x = y entonces y = x.

c) Transitividad Para todo x, y, z R, si x = y, as como y = z, entonces

x = z.

d) Monotona Para todo x, y, z R, si x = y, entonces x + z = y + z y x

z = y z.
Propiedades de Campo:
a) Asociatividad - Para todo x, y, z R, (x + y) + z = x + (y + z), as como
(x y) z = x (y z).

b) Conmutatividad - Para todo x, y R, x + y = y + x, as como x y = y

x.

c) Existencia de mdulos Existe un neutro aditivo (0) y un neutro

multiplicativo (1) tal que para todo x R se halla que x + 0 = x y x 1
= x.
 d) Existencia de inversos Para todo x R existe y R tal que x + y =
0. Se denotar este y con - x. Adems, para todo 0 x R existe z R
tal que x z = 1. La notacin usual para este z es x-1 o 1/x.

e) Distributividad Para todo x, y, z R, x (y + z) = x y + x z.

Existen dos propiedades adicionales que pueden demostrarse a partir de
los postulados anteriores, denominadas Propiedades de Unicidad.
a) Sea x, y R, si x + y = x + z, entonces y = z.

b) Sea x, y R, si x y = x z y x 0, entonces y = z.
El mtodo de demostracin a emplearse es el Razonamiento Directo,
donde cada paso es sustentado por Postulados y Teoremas.
Demostracin de la Propiedad de Unicidad para la Adicin:
1) x + y = x + z Inicio.
2) (x + y) + (-x) = (x + z) + (-x) Monotona.
3) (y + x) + (-x) = (z + x) + (-x) Conmutatividad.
4) y + [x + (-x)] = z + [x + (-x)] Asociatividad.
5) y + 0 = z + 0 Existencia de Inversos.
6) y = z Modulatividad. Resultado.
Demostracin de la Propiedad de Unicidad para la Multiplicacin:
1) x 0 Dado.
2) x y = x z Inicio.
3) (x y) x-1 = (x z) x-1 Monotona.
4) (y x) x-1 = (z x) x-1 Conmutatividad.
5) y (x x-1) = z (x x-1) Asociatividad.
6) y 1 = z 1 Existencia de Inversos.
7) y = z Modulatividad. Resultado.
Una consecuencia importante de estos dos teoremas es la Unicidad de
mdulos y de inversos en R. Esto es, la existencia de un nico mdulo
respectivo a la adicin y la multiplicacin, as como nico inverso
respectivo para esas operaciones binarias. La demostracin queda como
ejercicio.
Otra consecuencia es la demostracin de dos operaciones binarias
derivadas, llamadas sustraccin y divisin.
Sustraccin y divisin.
a) Existe un nico nmero real tal que a + x = b. Este nmero x se denota
usualmente como b a.

b) Si a 0, entonces existe un nico nmero real y tal que a y = b. Este

nmero y lo notaremos con b/a.
Lo anteriormente descrito es un caso tpico de demostracin de la
Existencia y la Unicidad de un Elemento, en este caso, perteneciente a R.
Cada inciso representa un Corolario, un Teorema dependiente de
Teoremas anteriores, uno para la Existencia y otro para la Unicidad en
esta ocasin.
Demostracin de la Existencia de la Sustraccin:
1) a + x = b Inicio.
2) (a + x) + (-a) = b + (-a) Monotona.
3) (x + a) + (-a) = b + (-a) Conmutatividad.
4) x + [a + (-a)] = b + (-a) Asociatividad.
5) x + 0 = b + (-a) Existencia de Inversos.
6) x = b + (-a) Modulatividad.
7) x = b a Notacin. Resultado.
Demostracin de la Unicidad de la Sustraccin:
De acuerdo con la Propiedad de Unicidad para la Adicin, a = a. Por
tanto, se garantiza que x es nico.
Demostracin de la Existencia de la Divisin:
1) a 0 Dato.
2) a y = b Inicio.
3) (a y) a-1 = b a-1 Monotona.
4) (y a) a-1 = b a-1 Conmutatividad.
5) y (a a-1) = b a-1 Asociatividad.
6) y 1 = b a-1 Existencia de Inversos.
7) y = b a-1 Modulatividad.
 8) y = b/a Notacin. Resultado.
Demostracin de la Unicidad de la Divisin:
De acuerdo con la Propiedad de Unicidad para la Multiplicacin, y = y.
Por tanto, se garantiza que y es nico.
Una caracterstica importante de los Elementos de R es la Propiedad de
Cancelatividad de la Multiplicacin.
Sea x, y R. Entonces:
a) x 0 = 0 x = 0

b) x y = 0 si y solo si x = 0 o y = 0
Demostracin de la Primera Propiedad de Cancelatividad de la
Multiplicacin.
1) x 0 Inicio.
2) x 0 + 0 Modulatividad.
3) x 0 +[ x + (-x)] Existencia de Inversos.
4) (x 0 + x) + (-x) Asociatividad.
5) (x 0 + x 1) + (-x) Modulatividad.
6) x (0 + 1) + (-x) Distributividad.
7) x (1 + 0) + (-x) Conmutatividad.
8) x 1 + (-x) Modulatividad.
9) x + (-x) Modulatividad.
10) 0 Existencia de Inversos. Resultado.
Se puede demostrar en forma similar que 0 x = 0. La demostracin
respectiva se deja como ejercicio.
Demostracin de la Segunda Propiedad de Cancelatividad de la
Multiplicacin.
La condicin si y solo si indica que debe demostrarse en dos sentidos
asumiendo que un extremo de la proposicin es verdadero. Ms
precisamente, va a demostrarse que x = 0 o y = 0 considerando que x y =
0 (ida), luego que x y = 0 considerando que x = 0 o y = 0 (vuelta).
Demostracin de Ida.
1) x y = 0 Inicio.
2) x y + x = 0 + x Monotona.
3) x (y + 1) = 0 + x Distributividad.
4) x (y + 1) = x 0 + x Cancelatividad.
5) x (y + 1) = x (0 + 1) Distributividad.
6) y + 1 = 0 + 1 Monotona.
7) (y + 1) + (-1) = (0 + 1) + (-1) Monotona.
8) y + [1 + (-1)] = 0 + [1 + (-1)] Asociatividad.
9) y + 0 = 0 + 0 Existencia de Inversos.
10) y=0 Modulatividad. Resultado.
Se puede demostrar de igual modo que x puede ser igual a cero.
Demostracin de Vuelta.
1) x = 0 Inicio.
2) x y = 0 y Monotona.
3) x y = 0 Cancelatividad. Resultado.
De igual modo, se puede comprobar asumiendo que y = 0.
Finalmente, est demostrada la Segunda Propiedad de Cancelatividad,
un resultado importante que resulta muy til para la Resolucin de
Polinomios en el Algebra de los Nmeros Reales.
Rescatando los resultados de los Teoremas de Propiedad de Unicidad
para la adicin y la multiplicacin, surgen los siguientes corolarios.
Teoremas Suplementarios Asociados al Inverso Aditivo.
Sean x, y, z R. Entonces:
a) (- x) = x

b) (- x) y = -(xy) = x (- y)

c) (- x) (- y) = x y

d) (- 1) x = - x
 e) x (y z) = x y x z
Demostracin del Primer Teorema.
1) (-x) Inicio.
2) (-x) + 0 Modulatividad.
3) (-x) + [x + (-x)] Existencia de Inversos.
4) (-x) + [(-x) + x] Conmutatividad.
5) [- (-x) + (-x)] + x Asociatividad.
6) [(-x) +(- (-x))] + x Notacin de Sustraccin. Conmutatividad.
7) 0 + x Existencia de Inversos.
8) x + 0 Conmutatividad.
9) x Modulatividad. Resultado.
Demostracin del Segundo Teorema.
1) (- x) y Inicio.
2) (- x) y + 0 Modulatividad.
3) (- x) y + [x y +(-(x y))] Existencia de Inversos.
4) [(- x) y + x y] + (- (x y)) Asociatividad.
5) [(- x) + x] y + (- (x y)) Distributividad.
6) [x + (-x)] y + (-(x y)) Conmutatividad.
7) 0 y + (-(x y)) Existencia de Inversos.
8) 0 + (-(x y)) Cancelatividad.
9) (x y) Modulatividad. Resultado.
Se obtiene el mismo resultado partiendo de x (-y)
Demostracin del Tercer Teorema.
1) (- x) (- y) Inicio.
2) (- x) (- y) + 0 Modulatividad.
3) (- x) (- y) + [ x y + (-(x y))] Existencia de Inversos.
4) (- x) (- y) + [ (-(x y)) + x y ] Conmutatividad.
5) (- x) (- y) + [ x (- y) + x y] Resultado del Segundo Teorema.
6) [(- x) (- y) + x (- y)] + x y Asociatividad.
7) [(- x) + x] (- y) + x y Distributividad.
8) [x + (-x)] (- y) + x y Conmutatividad.
9) 0 (- y) + x y Existencia de Inversos.
10) 0+xy Cancelatividad.
 11) xy Modulatividad. Resultado.
Demostracin del Cuarto Teorema.
1) (- 1) x Inicio.
2) (- 1) x + 0 Modulatividad.
3) (- 1) x + [x + (- x)] Existencia de Inversos.
4) [(- 1) x + x] + (- x) Asociatividad.
5) [(- 1) x + 1 x] + (- x) Modulatividad.
6) [(- 1) + 1] x + (- x) Distributividad.
7) 0 x + (- x) Existencia de Inversos.
8) 0 + (- x) Cancelatividad.
9) x Modulatividad. Resultado.
Demostracin del Quinto Teorema.
1) x (y z) Inicio.
2) x [y + (- z)] Notacin de Sustraccin.
3) x y + x (- z) Distributividad.
4) x y + (- (x z)) Resultado del Segundo Teorema.
5) x y x z Notacin de Sustraccin. Resultado.
Teoremas Suplementarios Asociados al Inverso Multiplicativo.
Sea x, y, z R. Entonces:
a) Si x 0, entonces (x-1)-1 = x

b) Si x, y 0, entonces (x y)-1 = x-1 y-1

c) (- x)-1 = - (x-1)
Demostracin del Primer Teorema.
1) x 0 Dado.
2) (x-1)-1 Inicio.
3) (x-1)-1 1 Modulatividad.
4) (x-1)-1 (x x-1) Existencia de Inversos.
5) (x-1)-1 (x-1 x) Conmutatividad.
6) [(x-1)-1 x-1] x Asociatividad.
7) [x-1 (x-1)-1] x Conmutatividad.
 8) 1 x Existencia de Inversos.
9) x Modulatividad.
Demostracin del Segundo Teorema.
1) x, y 0 Dado.
2) (x y)- 1 Inicio.
3) (x y)- 1 1 Modulatividad.
4) (x y)- 1 (y y-1) Existencia de Inversos.
5) (x y)-1 [(y y-1) 1] Modulatividad.
6) (x y)-1 [(y y-1) (x x-1)] Existencia de Inversos.
7) (x y)-1 [(x y) (x-1 y-1)] Conmutatividad. Asociatividad.
8) [(x y)-1 (x y)] (x-1 y-1) Asociatividad.
9) 1 (x-1 y-1) Existencia de Inversos.
10) x-1 y-1 Modulatividad. Resultado.
Demostracin del Tercer Teorema.
1) (- x)-1 Inicio.
2) [(- 1) x] -1 4 T. Suplementario. Inverso Aditivo.
3) (- 1)-1 x-1 Teorema Anterior.
4) [(- 1)-1 1] x-1 Modulatividad.
5) {(- 1) [(- 1) (- 1)]} x
-1 -1 -1 Existencia de Inversos.
6) {[(- 1)-1 (- 1)-1] (- 1)} x-1 Asociatividad.
7) {[(- 1) (- 1)] (- 1)} x
-1 -1 Teorema Anterior.
8) [(1 1)-1 (- 1)] x-1 3 T. Suplementario. Inverso Aditivo.
9) [1 (-1)] x
-1 -1 Modulatividad.
10) [(-1) 1-1] x-1 Conmutatividad.
11) (1-1) x-1 4 T. Suplementario. Inverso Aditivo.
12) (1 x )
-1 -1 Asociatividad.
13) (1 x)-1 Teorema Anterior.
14) (x )-1 Modulatividad. Resultado.
 Clase III: Orden en los Nmeros Reales.
Seguramente ha visto, ledo y hasta vivido experiencias donde se comparan
dos Nmeros Reales. Por ejemplo, cuando usted se encuentra en el
aeropuerto para hacer el check-in y el funcionario de la aerolnea le dice
que usted tiene que pagar una multa porque la masa del equipaje excede
25 kilogramos o cuando su hijo de 10 aos no puede entrar a la montaa
rusa de un parque de diversiones por no superar la estatura mnima
permitida. Ah est implcita la nocin de Orden en los Nmeros Reales.
Existen tres postulados de Orden:
Pentacotoma Para todo par de x, y R se halla una y solo una de las
siguientes relaciones: x < y, x = y, x > y, x y o x y.
Transitividad Si x < y as como y < z, entonces x < z. Del mismo modo, si
x > y as como y > z, entonces x > z.
Monotona Si x < y, entonces x + z < y + z para todo z R y x z < y z
para todo z > 0. Del mismo modo, si x > y, entonces x + z > y + z para todo z
R y x z > y z para todo z > 0.
A partir del Postulado de Pentacotoma se deduce que si x R, entonces
x < 0, x = 0, x > 0, x 0 o x 0. A cuyo se denomina:
a) Si x < 0, entonces x es un Elemento Negativo de R. Se lee x es menor
que 0.

b) Si x = 0, entonces x es el Elemento Nulo de R. Se lee x es igual que

0.

c) Si x > 0, entonces x es un Elemento Positivo de R. Se lee x es mayor

que 0.

d) Si x 0, entonces x es un Elemento No Positivo de R. Se lee x es

menor o igual que 0.

e) Si x 0, entonces x es un Elemento No Negativo de R. Se lee x es

mayor o igual que 0.
Teoremas de Orden Asociados a Inversos Aditivos.
Sean x, y R. Entonces:
a) x < 0 si y solo si x > 0

b) x > 0 si y solo si x < 0

c) x < y si y solo si y < - x

Demostracin de Ida del Primer Teorema.
1) x < 0 Inicio.
2) x + (- x) < 0 + (- x) Monotona.
3) 0 < -x Existencia de Inversos. Modulatividad.
4) x > 0 Pentacotoma. Resultado.
Demostracin de Vuelta del Primer Teorema.
1) x > 0 Inicio.
2) (- x) + x < 0 + x Monotona.
3) 0 < x Existencia de Inversos. Modulatividad.
4) x > 0 Pentacotoma. Resultado.
Demostracin de Ida del Segundo Teorema.
Se deja como ejercicio.
Demostracin de Vuelta del Segundo Teorema.
Se deja como ejercicio.
Demostracin de Ida del Tercer Teorema.
Se deja como ejercicio.
Demostracin de Vuelta del Tercer Teorema.
Se deja como ejercicio.
Teorema de Compatibilidad entre la Adicin y la Relacin de Orden.
Sea x, y, z, w R. Si x < y as como z < w entonces x + z < y + w.
Demostracin.
1) x < y, z < w Dados.
2) x + (- y) < y + (- y) Monotona.
3) x + (- y) < 0 Existencia de Inversos.
4) z + (- z) < w + (- z) Monotona.
5) 0 < w + (- z) Existencia de Inversos.
6) x + (- y) < w + (- z) Transitividad.
7) [x + (- y)] + y < [w + (- z)] + y Monotona.
8) x + [(-y) + y] < (y + w) + (- z) Asociatividad. Conmutatividad.
9) x + 0 < (y + w) + (- z) Existencia de Inversos.
10) x < (y + w) + (- z) Modulatividad.
11) x + z < (y + w) + [z + (-z)] Asociatividad. Conmutatividad.
12) x + z < (y + w) + 0 Existencia de Inversos.
13) x+z<y+w Modulatividad. Resultado.
Teoremas de Orden para la Multiplicacin.
a) Sea x, y R, x y > 0 si y solo si x, y > 0 o x, y < 0.

b) Sea x, y R, x y < 0 si y solo si x > 0 as como y < 0 o x < 0 as como y

> 0.
Demostracin de Ida del Primer Teorema.
1) x y > 0 Dado.
2) x y > 0 y Cancelatividad.
3) x > 0 Monotona.
4) x y > 0 x Cancelatividad.
5) y > 0 Monotona. Resultado.
Se puede obtener el otro resultado considerando el teorema anterior x y
= (- x) (- y) y siguiendo el mismo procedimiento culminando con la
aplicacin del Primer Teorema de Orden Asociado al Inverso Aditivo.
Los detalles se dejan como ejercicio.
Demostracin de Vuelta del Primer Teorema.
1) x, y > 0 Dado.
2) x > 0 Inicio.
3) x y > 0 y Monotona.
 4) x y > 0 Cancelatividad. Resultado.
Ahora se asume el otro caso.
1) x, y < 0 Dado.
2) x > 0 1 Teorema de Orden Asociado al Inverso Aditivo.
3) y > 0 1 Teorema de Orden Asociado al Inverso Aditivo.
4) (- x) (- y) > 0 Monotona.
5) x y > 0 3 T. Suplementario a la Unicidad del Inv. Aditivo.
Demostracin de Ida del Segundo Teorema.
1) x y < 0 Dado.
2) (x y) > 0 1 Teorema de Orden Asociado al Inverso Aditivo.
3) (- x) y > 0 2 T. Suplementario a la Unicidad del Inv. Aditivo.
4) (-x) y > 0 y Cancelatividad.
5) x > 0 Monotona.
6) x < 0 1 Teorema de Orden Asociado al Inverso Aditivo.
7) y > 0 Monotona. Resultado.
Se obtiene el otro resultado siguiendo el mismo procedimiento.
Demostracin de Vuelta del Segundo Teorema.
1) x > 0, y < 0 Dado.
2) x > 0 Inicio.
3) y > 0 1 Teorema de Orden Asociado al Inverso Aditivo.
4) x (- y) > 0 Monotona. Cancelatividad.
5) (x y) > 0 2 T. Suplementario a la Unicidad del Inv. Aditivo.
6) x y < 0 1 Teorema de Orden Asociado al Inverso Aditivo. Resultado.
Partiendo de x < 0 as como y > 0 se logra el mismo resultado siguiendo el
mismo procedimiento.
Teoremas Adicionales de Orden.
a) Si x 0, entonces x x > 0. En particular, 1 > 0.

b) Si x < y as como z < 0, entonces x z > y z.

c) Si 0 < x < y, entonces 0 < y-1 < x-1.

 d) Si 0 < x < y as como 0 < z < w, entonces 0 < x z < y w.
Demostracin del Primer Teorema.
Caso general. x > 0
1) x 0 Dado.
2) x > 0 Inicio.
3) x x > 0 x Monotona.
4) x x > 0 Cancelatividad. Resultado.
Caso general. x < 0
1) x 0 Dado.
2) x < 0 Inicio.
3) x > 0 1 Teorema de Orden Asociado al Inverso Aditivo.
4) (- x) (- x) > 0 (- x) Monotona.
5) (- x) (- x) > 0 Cancelatividad.
6) x x > 0 3 T. Suplementario a la Unicidad del Inv. Aditivo. Resultado.
Caso particular. 1 > 0
Se aplica un mtodo alternativo de demostracin conocido como
Reduccin al Absurdo (Reductio ad Absurdum), consistente en suponer
la Negacin de la afirmacin original para luego emplear el Mtodo
Directo hasta llegar a una Contradiccin, implicado que la afirmacin
original es verdadera.
1) 1 < 0 Dado.
2) -1 > 0 1 Teorema de Orden Asociado al Inverso Aditivo.
3) (- 1) (- 1) > 0 (- 1) Monotona.
4) (- 1) (- 1) > 0 Cancelatividad.
5) 1 > 0 CRASH!
Por ende, 1 > 0 por el Postulado de Pentacotoma.
Demostracin del Segundo Teorema.
1) x < y, z < 0 Dado.
2) x + (- y) < y + (- y) Monotona.
3) x + (- y) < 0 Existencia de Inversos.
4) [x + (- y)] > 0 1 Teorema de Orden Asociado al Inverso Aditivo.
5) z > 0 1 Teorema de Orden Asociado al Inverso Aditivo.
6) {- [x + (- y)]} (- z) > 0 (- z) Monotona.
7) {- [x + (- y)]} (- z) > 0 Cancelatividad.
8) [x + (- y)] z > 0 3 T. Suplementario a la Unicidad del Inv. Aditivo.
9) x z + (- y) z > 0 Distributividad.
10) x z + [- (y z)] > 0 2 T. Suplementario a la Unicidad del Inv.
Aditivo.
11) {x z +[- (y z)]} + y z > 0 + y z Monotona.
12) x z + {y z + [- (y z)]} > y z Asociatividad. Modulatividad.
13) xz+0>yz Existencia de Inversos.
14) xz>yz Modulatividad. Resultado.
Demostracin del Tercer Teorema.
1) 0 < x < y Dado.
2) x < y Inicio.
3) x y-1 < y y-1 Monotona.
4) x y-1 < 1 Existencia de Inversos.
5) y-1 x < 1 Conmutatividad.
6) (y-1 x) x-1 < 1 x-1 Monotona.
7) y-1 (x x-1) < x-1 Asociatividad. Modulatividad.
8) y-1 1 < x-1 Existencia de Inversos.
9) y-1 < x-1 Modulatividad. Resultado.
Demostracin del Cuarto Teorema.
1) 0 < x < y, 0 < z < w Dado.
2) x < y, z < w Inicio.
3) x + (- x) < y + (- x) Monotona.
4) 0 < y + (- x) Existencia de Inversos.
5) y + (- x) > 0 Pentacotoma.
6) y z + (- x) z > 0 z Monotona.
7) y z + (- x) z > 0 Cancelatividad
8) z + (- z) < w + (- z) Monotona.
9) 0 < w + (- z) Existencia de Inversos.
10) w + (- z) > 0 Pentacotoma.
11) w y + (- z) y > 0 Monotona.
12) [y z + (- x) z] + [w y + (- z) y] > 0 T. Compatibilidad.
13) [y z + y (- z)] + [w y + (- x) z] > 0 Conmutatividad.
Asociatividad.
14) y [z + (- z)] + [w y + (- x) z] > 0 Distributividad.
15) y 0 + [w y + (- x) z] > 0 Existencia de Inversos.
16) 0 + [w y + (- x) z] > 0 Cancelatividad.
17) w y + (- x) z > 0 Modulatividad.
18) w y + [- (x z)] > 0 2 T. Suplementario a la Unicidad del Inv.
Aditivo.
19) {w y + [- (x z)]} + x z > 0 + x z Monotona.
20) w y + {x z + [- (x z)]} > x z Conmutatividad. Asociatividad.
21) wy+0>xz Existencia de Inversos.
22) wy>xz Resultado.
Clase IV - Construccin del Conjunto de los Nmeros Reales.
Nmeros Naturales.
Intuitivamente hablando, se tiene constancia de los Nmeros Naturales a
causa de su naturaleza finita y resulta claro que es un subconjunto
(subclase) de los Nmeros Reales. Una construccin formal de este
subconjunto se deriva del Principio del Buen Orden, resumido en cinco
postulados:
1) 1 es un Nmero Natural. Es decir, el Conjunto de los Nmeros
Naturales es no vaco.

2) Si n es un Nmero Natural, entonces n + 1 tambin es un Nmero

Natural. El nmero n + 1 es denominado el Sucesor de n.

3) 1 no es Sucesor de algn Nmero Natural. Esto es, 1 es el primer

elemento del Conjunto.

4) Si hay dos Nmeros Naturales m y n tales que sus Sucesores son

diferentes, entonces m y n son Nmeros Naturales diferentes.

Asimismo, el Principio de Induccin Matemtica, herramienta til para

el tratamiento de Proposiciones relacionadas con el subconjunto de los
Nmeros Naturales. Su uso ms comn reside en la validacin de
sucesiones, puede extenderse a la comprobacin de que este subconjunto
es Inductivo.
El procedimiento del Principio de Induccin Matemtica se resume de
esta manera:
1) Se demuestra que la Proposicin P1 es verdadera.

2) Se demuestra que para toda Proposicin Pk verdadera, entonces la

Proposicin Pk + 1 lo es tambin.
Inicialmente, se ratifica que el Conjunto de N es Inductivo, esto es, que
cumpla con el Principio de Induccin Matemtica basado en los
Postulados del Principio de Buen Orden.
Demostracin.
Proposicin P1
1 es un Nmero Natural segn el Primer Postulado del Principio de
Buen Orden. En consecuencia, 1 N, as la Proposicin P1 es verdadera.
Proposicin Pk + 1
Considrese que Proposicin Pk es verdadera, significando que k N.
Entonces, se valida si la Proposicin Pk + 1 tambin lo es. De acuerdo con el
Segundo Postulado del Principio de Buen Orden, k + 1 N. Por tanto, la
Proposicin Pk + 1 es verdadera.
As, se puede concluir que N es un Conjunto Inductivo.
Al principio de esta seccin se mencion que era intuitivamente claro que
N es un subconjunto de R. Sin embargo, es fundamental demostrarlo en una
forma rigurosa y explcita. Dicha forma es demostrar que N garantiza la
Cerradura con respecto a la Adicin y la Multiplicacin.
Si x, y N, entonces x + y N y x y N.
Demostracin.
Cerradura para la Adicin:
Considrese m N cualquiera y el siguiente Conjunto:
I := {n N| m + n N}
Ahora se demuestra que I es un Conjunto Inductivo a travs del Principio
de Induccin Matemtica:
1) Sabiendo que N es un Conjunto Inductivo as como m N, se tiene
que m + 1 N. Entonces, 1 I. (Proposicin P1)

2) Considrese que n I. Por ende, m + n N y sabiendo que N es un

Conjunto Inductivo, se encuentra que (m + n) + 1 = m + (n + 1) N.
En otra forma, n + 1 I. (Proposicin Pk+ 1)
El Conjunto I es Cerrado con Respecto a la Adicin.
Cerradura para la Multiplicacin:
Considrese m N cualquiera y el siguiente Conjunto:
I := {n N| m n N}
Ahora se demuestra que I es un Conjunto Inductivo a travs del Principio
de Induccin Matemtica:
1) Sabiendo que N es un Conjunto Inductivo as como m N, se tiene
que m 1 = m N. Entonces, 1 I. (Proposicin P1)

2) Considrese que n I. Por ende, m n N y sabiendo que N es un

Conjunto Inductivo, se encuentra que m (n + 1) = m n + (m 1) =
m n + m N. En otra forma, n + 1 I. (Proposicin Pk+ 1)
El Conjunto I es Cerrado con Respecto a la Multiplicacin.
Queda entonces comprobar que todo Nmero Natural es Elemento
Positivo, el Elemento Nulo no pertenece a N y el Inverso Aditivo de cada
Nmero Natural no es un Nmero Natural.
Demostracin.
Considrese el siguiente Conjunto:
I := {n N | n 1}
Ahora se demuestra que I es un Conjunto Inductivo a travs del Principio
de Induccin Matemtica:
1) Puesto que 1 N y 1 1, se tiene que 1 I.

2) Si n I, entonces n 1 y de acuerdo con el Teorema de

Compatibilidad entre la Adicin y la Relacin de Orden se tiene
que n + 1 1. Es decir, n + 1 I.
En conclusin, I = N. Seguidamente, se sabe que 1 > 0 por el Primer
Teorema Adicional de Orden, lo que induce a afirmar que todo Nmero
Natural es un Elemento Positivo y que el Elemento Nulo as como el
Inverso Aditivo de cada Nmero Natural no pertenece a N.
Nmeros Enteros.
Evidentemente existe un superconjunto (Superclase) de N, cuya
existencia es justificada por la Propiedad de Existencia de Inversos
Aditivos de un Cuerpo, de modo que es posible definir otro subconjunto
de R, los Nmeros Enteros, representado como Z. Su definicin es:
Z := N {0} {- n | n N} R
Nmeros Racionales.
Otro subconjunto importante de R, cuya existencia est justificada por la
Propiedad de Existencia de Inversos Multiplicativos de un Cuerpo,
simbolizado por Q y definido de la siguiente forma:
Q := {x y-1 | x, y Z, y 0} R
Una forma ms sinttica de manejar Nmeros Racionales es aplicando la
Notacin Fraccional, establecida como:

= 1

A este punto, resulta fcil ver las relaciones entre los Conjuntos abarcados.
N NO Z Q
Se puede demostrar que Q satisface todos los Postulados de Cuerpo y de
Orden, cuyo detalle se deja como ejercicio.
Ahora se enuncian los Teoremas Fundamentales de los Nmeros
Racionales.
Sean x, y, z, w R.

a) Si z 0, entonces =

b) Si y, w 0, entonces = .

c) Si y 0, entonces


=
.

d) Si y, w 0, entonces = .

e) Si y 0, entonces

=
=
.

1
f) Si x, y 0, entonces ( ) = .

( )

g) Si y, z, w 0, entonces = .
( )

Demostracin del Primer Teorema.

1) x y-1 Inicio.
2) (x y-1) 1 Modulatividad.
3) (x y ) (z z )
-1 -1 Existencia de Inversos.
4) (x z) (y-1 z-1) Conmutatividad. Asociatividad.
5) (x z) (y z) 2 T. Suplementario Asociado al Inv. Multiplicativo.
-1

Resultado.
Demostracin del Segundo Teorema.
1) x y-1 z w-1 Inicio.
2) (x y-1) 1 (z w-1) 1 Modulatividad.
3) (x y ) (w w ) (z w ) (y y ) Existencia de Inversos.
-1 -1 -1 -1

4) (x w) (y-1 w-1) (z y) (y-1 w-1) Conmutatividad.

Asociatividad.
5) (x w + z y) (y-1 w-1) Distributividad. Resultado.
Demostracin del Tercer Teorema.
1) x y-1 z y-1 Inicio.
2) (x z) y-1 Distributividad. Resultado.
Demostracin del Cuarto Teorema.
1) (x y-1) (z w-1) Inicio.
2) (x z) (y-1 w-1) Conmutatividad. Asociatividad.
 3) (x z) (y w)-1 2 T. Suplementario Asociado al Inv. Multiplicativo.
Resultado.
Demostracin del Quinto Teorema.
Este Teorema se puede demostrar aplicando con el Segundo Teorema
Suplementario Asociado al Inverso Aditivo y el Tercer Teorema Asociado al
Inverso Multiplicativo. Los detalles se dejan como ejercicio.
Demostracin del Sexto Teorema.
1) (x y-1)-1 Inicio.
2) x-1 (y-1)-1 2 T. Suplementario Asociado al Inv. Multiplicativo.
3) x-1 y 1 T. Suplementario Asociado al Inv. Multiplicativo.
4) y x-1 Conmutatividad. Resultado.
Demostracin del Sptimo Teorema.
1) (x y-1) (z w-1)-1 Inicio.
2) (x y ) [z (w ) ] 2 T. Suplementario Asociado al Inv.
-1 -1 -1 -1

Multiplicativo.
3) (x y-1) (z-1 w) 1 T. Suplementario Asociado al Inv.
Multiplicativo.
4) (x w) (y-1 z-1) Conmutatividad. Asociatividad.
5) (x w) (y z) -1 1 T. Suplementario Asociado al Inv.
Multiplicativo. Resultado.
Teoremas de Orden para Nmeros Racionales.
Sea x, y, z R.

a) Sea y 0. Entonces > 0 si y solo si x, y > 0 o x, y < 0.

b) Si x < y as como z > 0, entonces < .

1 1
c) Si 0 < x < y as como z > 0, entonces < . En particular < .

+
d) Si x < y, entonces < < .
2
Demostracin de Ida del Primer Teorema.
1) x y-1 > 0 Inicio.
2) (x y-1) y > 0 y Monotona.
3) x (y y-1) > 0 Conmutatividad. Asociatividad. Cancelatividad.
4) x1>0 Existencia de Inversos.
5) x>0
De modo semejante se puede comprobar que y-1 puede ser positivo. El otro
caso puede derivarse del Lema que (- x) (- y) = x y. Los detalles se dejan
como ejercicio.
Demostracin de Vuelta del Primer Teorema.
Primer caso.
1) x, y > 0 Dado.
2) x>0 Inicio.
3) x y-1 > 0 y-1 Monotona.
4) x y-1 > 0 Cancelatividad. Resultado.
Segundo caso.
1) x, y < 0 Dado.
2) - x > 0, - y > 0 1 Teorema Orden Asociado al Inv. Aditivo.
3) x>0 Inicio.
4) (- x) (- y)-1 > 0 (- y)-1 Monotona.
5) (- x) (- y) > 0
-1 Cancelatividad.
6) (- x) (- y-1) > 0 3 T. Suplementario Asociado al Inv.
Multiplicativo.
7) x y-1 > 0 3 T. Suplementario Asociado al Inv.
Aditivo. Resultado.
Demostracin del Segundo Teorema.
Se deja como ejercicio.
Demostracin del Tercer Teorema.
Se deja como ejercicio.
Demostracin del Cuarto Teorema.
Se deja como ejercicio.
Nmeros Irracionales.
Si bien Q es el mayor subconjunto de R, existen elementos por fuera de esta
que representan al subconjunto de Nmeros Irracionales, el cual es el
Complemento de Q y se denota por el smbolo Q. Las races y los logaritmos
con exponentes no enteros son Elementos pertenecientes a Q.
Clase V Representacin de los Nmeros Reales en la Recta
Numrica.
La Recta Numrica es un mtodo grfico para posicionar y comparar
Nmeros Reales. Para ello se traza una serie de puntos a lo largo de una
Recta l, en la cual cada Elemento de R est asociado a un Punto.
Posteriormente, se elige un punto de referencia O sobre la misma que va
a denominarse Origen y se establece una Unidad de Longitud,
permitiendo una correspondencia entre Puntos en l hacia la derecha de O
y Elementos de N. Acto seguido, se extiende la Recta Numrica a la
izquierda de O para abarcar todo Z.

Fig. 1 Recta Numrica con N.

Fig. 2 Recta Numrica con Z.

Los elementos de Q se pueden representar dividiendo la Unidad de
Longitud en n partes iguales y partiendo de O hasta alcanzar su posicin
respectiva. Si m, n N, entonces esa correspondencia con elementos de la
forma m/n se realiza tomando en cuenta los casos m > n o m < n.

Fig. 3 Q en la Recta Numrica.

Finalmente, quedan ciertas lagunas en la Recta Numrica, asociadas a
los Nmeros Irracionales, es decir, Q. Se presenta el caso de la raz
cuadrada de 2 a manera de ejemplo.

Fig. 4 Ejemplo de un elemento de Q