Profesor:

Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Curso: IV Medio Electivo

Gua de ejercicios N1, Primer Semestre

Tema: El conjunto de los Nmeros Reales

Debes saber que:

Para el desarrollo de esta unidad es necesario identificar el conjunto de los nmeros reales y sus
propiedades. Esta gua presentar, de manera muy sucinta las propiedades de los nmeros reales
que constituyen la base sobre la cual se construye el clculo diferencial e integral. Las propiedades
aritmticas de estos nmeros han formado parte de tu enseanza bsica y media. Es probable que
algo hayas visto del orden y nada de su propiedad ms trascendente - su continuidad - la que est
reflejada en el axioma del supremo.
La actual presentacin de los nmeros reales como conjunto de nmeros fue formalizada durante
el siglo 19, dos siglos ms tarde de la creacin del clculo.
En clases se te ha sealado que se establecer los fundamentos de la teora de los nmeros reales
admitiendo varios hechos elementales como axiomas, de los que deduciremos ciertas
consecuencias, las que se presentarn como teoremas, pero que aceptaremos, en su mayora, sin
demostracin. Estos axiomas presentan al conjunto de los nmeros reales como un cuerpo
ordenado completo. Es posible que cuando trabajaste con los nmeros reales, no lo hayan definido
de esta manera; aunque eso no quiere decir que desconozcas totalmente de lo que hablamos.
Posiblemente lo sepas pero sin haber usado exactamente las mismas palabras. Algebraicamente
hablar de cuerpo es hablar de las propiedades abstractas de la suma, la resta la multiplicacin y la
divisin. Hablar de ordenado es hablar de las relaciones de orden, de positivos y negativos.
Finalmente la completitud nos garantizar que tenemos todos los nmeros que esperaramos o
desearamos que fueran nmeros reales.

Los Nmeros Reales

En clases ya viste los axiomas de cuerpo y de orden, no obstante, se retoman estos axiomas para que
esta gua tenga una continuidad. Adems se incorporan datos que no se presentaron y que te sern de
utilidad para que desarrolles tus ejercicios.

La aritmtica de los nmeros reales: axiomas de cuerpo

Aceptaremos la existencia de un conjunto no vaco, que denotaremos por
y que llamaremos
conjunto de los nmeros reales. Sobre l se ha definido una relacin de igualdad y dos operaciones
algebraicas.
La relacin de igualdad " " satisface las propiedades de:
1. Reflexividad: a a
2. Simetra: si a b , entonces b a
3. Transitividad: si a b y b c , entonces a c .

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Las dos operaciones definidas sobre

Curso: IV Medio Electivo

son la suma y la multiplicacin

Estas operaciones satisfacen las reglas siguientes, llamadas:

1.

Ley asociativa para la suma: a b c a b c .

2.
3.
4.
5.

Existencia de un elemento identidad (neutro) para la suma: a 0 0 a a

Existencia de inversos para la suma: a a a a 0 .
Ley conmutativa para la suma: a b b a
Ley asociativa para la multiplicacin: a b c a b c

6.
7.
8.
9.

Existencia de un elemento identidad para la multiplicacin: a 1 1 a a

Existencia de inversos para la multiplicacin: a a 1 a 1 a 1 ; para a 0
Ley conmutativa para la multiplicacin: a b b a
Ley distributiva: a b c a b a c

Estas operaciones son compatibles con la relacin de igualdad, es decir, si a b entonces a

a c b c y ac bc
A partir de estos axiomas y las reglas de la lgica formal se pueden obtener todas las otras propiedades
de la aritmtica usual que has aprendido durante la enseanza bsica y media. Los siguientes teoremas,
sern enunciados con el propsito de recordar las propiedades ms importantes que se derivan de los
axiomas de cuerpo.
Teorema 1: Dado a

se cumple: a 0 0 a 0

Nota: La demostracin de esta propiedad es dejada de tarea.

Teorema 2: Dados a, b

, se tienen las siguientes propiedades:

i) a a .
ii) a b a b ab
iii) a b ab .
Teorema 3: Dados a, b
i) a

1 1

, a 0 ; b 0 , se tienen las siguientes propiedades:

a.

ii) a 1 b a b 1 .
1

iii) a b 1 a 1 b .
1

1
1
iv) a b a b .
1

Teorema 4: Leyes de cancelacin. Dados a, b, c

i) a b a c b c .
ii) ab ac, a 0 b c .

se cumple:

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Teorema 5: Dados a, b

Curso: IV Medio Electivo

se cumple: ab 0 a 0 b 0 .

Definicin:
Dados a, b

, escribiremos a b para simbolizar el nmero a b ; a tal nmero lo

llamaremos la diferencia de a y b .
Teorema 6: Dados a, b

se tienen las siguientes propiedades:

i) a b a b
ii) a b 0 a b
iii) a b a a b a .
Demostracin de (i)

Por definicin, tenemos

a b a b
ab

Definicin:
a
1
o a b para simbolizar el nmero a b
b
a
b
llamaremos el cuociente entre y , o, a dividido por b .

Dados a, b

; b 0 , escribiremos

y lo

Comparacin de los nmeros reales: axiomas de orden

Siguiendo la presentacin axiomtica, aceptaremos la existencia de un subconjunto de , llamado
conjunto de los nmeros reales positivos, denotado por , que satisface las propiedades siguientes:
1.

2.

es cerrado para la suma, es decir, si a, b pertenecen a

, entonces a b pertenecen a

es cerrado para la multiplicacin, es decir, si a, b pertenecen a

pertenece a .
3. Para todo nmero real a se cumple una y slo una de las afirmaciones:
a. a 0
b. a pertenece al conjunto
c. a pertenece al conjunto .

, entonces a b

Observacin:
El axioma 3 se llama propiedad de tricotoma de los nmeros reales

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Curso: IV Medio Electivo

Definicin:
i)
ii)

a b si y slo si b a
a b si y slo si a b

Teorema 7: Dados los nmeros reales a, b se cumple una y slo una de las siguientes afirmaciones:
i) a b
ii) a b
iii) a b
Teorema 8: Dado un nmero real a se cumple una y slo una de las siguientes afirmaciones:
i) a 0
ii) a 0
iii) a 0
Teorema 9: La relacin " " tiene las propiedades siguientes:
i) No es reflexiva. Para todo a , no es verdad que a a
ii) Es asimtrica. Si a b , entonces no puede tenerse b a
iii) Es transitiva. Si a < b y b < c, entonces a < c.
Demostracin de (i)
Si para algn a , a a , entonces a a
propiedad de tricotoma.

, lo cual implicar que 0

, que contradice la

Definicin:

Llamaremos conjunto de los nmeros reales negativos al conjunto

x ; x

Observa que 0 , lo que pone de manifiesto que el cero no es ni positivo ni negativo. Adems

, pero por tricotoma todo nmero real pertenece a uno y slo a uno de los conjuntos

0 .
: , , 0 . As los nmeros reales quedan particionados como

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Curso: IV Medio Electivo

Para la relacin se tiene:

Definicin:

i)
ii)

a b si y slo si a b a b
a b si y slo si a b a b

Teorema 10 : a b si y slo si a c b c
Teorema 11:
i) Si a b y c es un nmero positivo, entonces a c b c
ii) Si a b y c es un nmero negativo, entonces a c b c .
Teorema 12: a b 0 si y slo si a 0 y b 0 o

a 0

y b 0 .

Teorema 13: a b 0 si y slo si a 0 y b 0 o a 0 y b 0 .

Teorema 14: El cuadrado de un nmero real no nulo es positivo: Si a
.
Teorema 15: 1

; a 0 , entonces a 2

Teorema 16: Sean a, b

: Si a b , entonces a

ab
b
2

Observacin

El teorema anterior puede leerse diciendo que entre dos nmeros reales a, b distintos, siempre
existe un tercer nmero c . Como a, c son distintos, puede aplicarse la conclusin a ellos y obtener
un cuarto nmero real d , y as sucesivamente. Como este proceso puede extenderse
indefinidamente, lo que obtenemos es que entre dos nmeros reales distintos existen infinitos
nmeros reales. Esta importante propiedad se llama densidad de los nmeros reales.

Definicin:

Decimos que un conjunto A de nmeros reales es denso si y slo si entre dos elementos distintos
x, y de A existe un elemento z A tal que x z y .

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Una distancia en

Curso: IV Medio Electivo

: el valor absoluto

Los axiomas de orden nos permiten comparar nmeros reales y gracias a la densidad de
sabemos
que si a < b, entre ellos podemos insertar una infinidad de nmeros reales distintos. Esto puede hacer
perder la perspectiva de cun lejos o cercanos estn estos nmeros. Aun cuando el estar cerca o lejos
es una cuestin relativa al problema concreto en que estamos involucrados, es til tener un mtodo
para poder discernir en cada caso.
Para ello se define una distancia en
eligiendo como punto de referencia, en principio, el cero. Esta
idea la realiza el llamado valor absoluto de un nmero.

Definicin:
Llamaremos valor absoluto del nmero x
x

x 0
x

, denotado por x al nmero:

si x 0
si x 0
si x 0

La definicin de valor absoluto nos dice en particular que 0 0 , 4 4 , 4 4 . En general,

podemos apreciar que el nmero a y su inverso aditivo a estn a igual distancia del cero. Usando
algunas consecuencias del orden de , sabemos que todo nmero negativo es menor que uno positivo.
As, podemos hacer el siguiente grfico:

Teorema 17:
i) a 0 .
ii) a a .
iii) a a a .
iv) a 0 a 0 .
v) a b a b
vi) Si b 0 ; a b b a b .
vii) Si b 0 ; a b a b o a b .
viii) a b a b (desigualdad triangular).

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Curso: IV Medio Electivo

Ejemplo

Analice en qu casos la desigualdad triangular se transforma en una igualdad.

Solucin:
i) Si a y b son nmeros positivos, a b es positivo, entonces tenemos:

ab ab a b
ii) Si a y b son nmeros negativos, a b es negativo, entonces tenemos:

a b a b a b a b
iii) Si a y b tienen signos diferentes, la desigualdad es una desigualdad estricta. Por ejemplo, si
a 4 y b 2 , entonces a b 4 2 2 2 , en cambio, a b 4 2 6

Ejercicios

1. Demuestra el teorema 1
2. Demuestra el teorema 2 i
3. Demuestra el teorema 2 iii
4. Presenta tres ejemplos para cada caso del teorema 4
5. Si se tiene x , tal que 2 x 2 3x , por qu no se puede cancelar x , es decir, aplicar el teorema
4 ii).
6. Aplica el teorema 5 en la solucin de
a. x 2 2 x 1
b. 6 x4 2 x3 0
7. Da tres ejemplos para cada caso del teorema 11
8. Demuestra el teorema 16
9. Encuentra tres valores entre los nmeros e y
7

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Curso: IV Medio Electivo

10. Presenta grficamente el teorema 17 vi)

11. Sean a, b. p

, tales que b 0 , a b y p

p 1

a 2 b2
. Muestre que siempre se tiene que
a 2 2ab b 2

12. Calcula los siguientes valores absolutos:

a.

60 3

d. 5 6 2 2 5

b.

42 5 60

e. 3 9 10 6 21 5

c.

20 3 5 12 5

f. 4 13 15 58 3 7 15 24

13. Resuelve las siguientes ecuaciones con valor absoluto.

a.

x4 3

b. 3 5 4 x 9
c.

x 5 16

d.

x 1 2x 1

e.

2 x 5 10 0

f.

x2 5 4

g.

2 x 2 2 12

14. Resuelva cada una de las siguientes situaciones que se plantean:

a. Si 2 x y . Calcule el valor de y si : x y x 2 3
(R. y 1 ).
b. Si y x ; x 2 y 2 27 ; x y 3 Cul es el valor de x y ?.
(R. x y 9 ).
c. Si x 1 Cul es el valor de x en la ecuacin :
x 2 2 x 1 1 x 1 x 10

(R. { 3 })

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Curso: IV Medio Electivo

Comparacin de los nmeros reales: axiomas de orden

Con el Axioma del Supremo se completa el conjunto de axiomas que caracterizan totalmente a , es
decir, es el nico conjunto que verifica los axiomas de Cuerpo, de Orden y el Axioma del Supremo.
Para tener una idea intuitiva de lo anterior, podemos pensar
como un continuo geomtrico: la recta
numrica, lo que se obtiene una vez que al conjunto de los nmeros racionales se le agregan los
nmeros irracionales que pueden ser concebidos como supremos de ciertos conjuntos de nmeros
racionales.
Pero para llegar a la definicin el concepto de supremo, comenzaremos presentando los siguientes
conceptos previos.
Definicin:

Si A es un conjunto de nmeros reales, entonces y es una cota superior de A si y solo si y es un

nmero real y para cada x A , se tiene x y .

Ejemplo
1. El conjunto S 1, 2,3, 4, 7,8,9 es acotado superiormente por cualquier nmero mayor o igual
a 9.
2. El conjunto P x ; x 5 es acotado superiormente por cualquier nmero mayor o igual
a 5.

Observacin:

De la definicin de cota superior, observa que esta puede o no pertenecer al conjunto. En el ejemplo
1, la primera cota del conjunto, 10, pertenece al conjunto, mientras que en el ejemplo 2 la cota
superior 5 no pertenece al conjunto.

Una observacin importante es que si un conjunto tiene una cota superior entonces existen infinitas
cotas superiores del conjunto. Por lo tanto, tiene sentido la siguiente definicin.
Definicin:

Si A es un conjunto de nmeros reales, el nmero y es el supremo de A si y solo si y es una cota

superior de A y para cada z que es cota superior de A se tiene y z . Es decir el supremo es la
menor de las cotas superiores.

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Curso: IV Medio Electivo

Observacin:

La definicin de supremo, salvo en casos elementales, no es fcil de usar, para fines ms prcticos
suele usarse la siguiente caracterizacin del supremo.

Caracterizacin del supremo:

Si A es un conjunto de nmeros reales entonces y es el supremo de A si y solo si y es una cota

superior de A y para cada nmero real positivo existe un x en A tal que y x .
Geomtricamente tenemos

Axioma del Supremo: Si un conjunto no vaco de nmeros reales tiene una cota superior, entonces
tiene supremo en .
Observacin:

Cada una de las definiciones y conclusiones relativas a cotas superiores y supremos tiene un paralelo
en la definicin de cota inferior e nfimo.

Definicin:

Si A es un conjunto de nmeros reales, entonces y es una cota inferior de A si y solo si y es un

nmero real y para cada x en A , x y .

Definicin:

Si A es un conjunto de nmeros reales, entonces y es el nfimo de A si solo si y es una cota

inferior de A y para cada z que es una cota inferior de A , y z . Es decir, el nfimo es la mayor
de las cotas inferiores.

10

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Curso: IV Medio Electivo

Caracterizacin del nfimo:

Si A es un conjunto de nmeros reales, entonces y es el nfimo de A si y solo si y es una cota

inferior de A y para cada nmero real positivo existe un x x en A tal que x y .
Geomtricamente tenemos

Ejercicios

1. Dados los siguientes conjuntos indique dos cotas superiores, dos cotas inferiores, el supremo,
el nfimo. Indique adems si el nfimo y supremo pertenecen o no al conjunto. En el caso que
corresponda, identifique los elementos del conjunto.
a.

A 1, 4, 7,10,13,16

b. B 100, 91, 82, 71, 62, 51, 42

c. C n ;5n 1 20

d. D n ; n 2 4 37
e. E a ; a 2 4 46

f. F x ; 3 x 6
2. Analice los siguientes conjuntos e indique si tienen nfimo y/o supremo

a.
b.
c. P a ; a 2k ; k

d. A n ;
n

e. B a ; ; a 0
a

1
n

f. S n ; 1
n

11

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Curso: IV Medio Electivo

Con lo anteriormente expuesto, podemos presentar los siguientes conjuntos de nmeros reales.
Definicin:
Llamaremos intervalos acotados a cualquiera de los siguientes conjuntos:
Intervalo Abierto

; a x b a, b

Intervalo semiabierto por la izquierda

; a x b a, b

Intervalo semiabierto por la derecha

; a x b a, b

; a x b a, b

Intervalo cerrado

donde a, b

son nmeros fijos tales que a b .

Definicin:

Llamaremos intervalos no acotados a cualquiera de los siguientes conjuntos:

Intervalo abierto por la izquierda y no acotado por la derecha

; a x a,

Intervalo cerrado por la izquierda y no acotado por la derecha

; a x a,

Intervalo abierto por la derecha y no acotado por la izquierda

; b , b

Intervalo cerrado por la derecha y no acotado por la izquierda

x
donde a, b

; x b , b

son nmeros fijos.

12

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Curso: IV Medio Electivo

Es decir, dado un conjunto de nmeros reales, es posible identificarlo como conjunto o bien como
intervalo y adems darle una representacin grfica.
Ejemplo
2

1. Dado el conjunto D x ; x 4 , represente el intervalo que corresponde y

3

represntelo grficamente.

Solucin.
Este conjunto representa un intervalo cerrado. Luego

2
D , 4 y su representacin grfica es
3

2. Se tiene el intervalo 1,3 . Escriba el conjunto respectivo y represntelo grficamente.

Solucin.
Sea R 1,3 . Este intervalo corresponde al conjunto R x ; 1 x 3
y su representacin grfica es

1
3. Dado , 2
3

10
0, 3 . Determine el conjunto resultante y escrbalo en lenguaje de conjunto

Solucin.
La representacin geomtrica de la unin de estos
intervalos es

Luego, la representacin del intervalo resultante es

Es decir el intervalo resultante es un intervalo semiabierto y el conjunto respectivo es

1
10

F x ; x
3
3

13

Profesor:
Erwin Coronado C.
Sector:
Matemtica
Puerto Montt

Curso: IV Medio Electivo

Ejercicios

1. Exprese como intervalo y represente de manera grfica los siguientes conjuntos.

a. A x / 3 x

b. B x / x 1,33
5

c. C x / x 3

d. D x / 12 x 5,8
2. Determine el conjunto resultante

7 5
4 , 3
b. ,2
a.

c. ,
2

0,

12, 0,20
5,1

3. Completa la siguiente tabla:

Conjunto
x / 0 x 5

Notacin

Grfico

2,
x

/ x 3

14