El cuerpo de

los números
reales
Algebra y Geometría Analítica
Facultad de Cs. Exactas y
Naturales y Agrimensura - UNNE

Esp. Prof. Liliana Noemí Caputo

Año Lectivo 2016

Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo

2
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
EL CUERPO DE LOS NUMEROS REALES

Definición:
Sea un conjunto en el cual se han definido dos operaciones: suma (+) y
producto (.) y una relación de orden “<” (menor que). En dicho conjunto se
verifican los siguientes axiomas:
S1. x, y  : x + y  (Ley de cierre de la suma)
S2. x, y, z  : (x + y) + z = x + (y + z) (Ley asociativa de la suma)
S3. x, y  : x + y = y + x (Ley conmutativa de la suma)
S4.  0  / x  : x + 0 = x (Existencia de elemento neutro para la suma)
S5. x  ,  -x  / x + (-x) = 0 (Existencia de opuesto para cada elemento)
P1. x, y  : x. y  (Ley de cierre del producto)
P2. x, y, z  : (x.y).z = x. (y.z) (Ley asociativa de la multiplicación)
P3. x, y  : x.y = y.x (Ley conmutativa de la multiplicación)
P4.  1  (1  0) / x  : x.1 = x (Existencia de elemento neutro para el
producto)
P5. x  - {0} /  x-1  / x.x-1 = 0 (Existencia de inverso para cada elemento
no nulo de )
D. x, y, z  : (x + y). z = x.z + y.z (Ley distributiva del producto con
respecto a la suma)

Por cumplirse estos once axiomas, diremos que ( , + , .) tiene estructura

de cuerpo.
Podemos observar que, si bien no podemos precisar qué elementos
contiene el conjunto de números reales, sí podemos afirmar que es no vacío,
puesto que los axiomas S4 y P4 afirman que, al menos, existen dos números
reales: cero y uno, respectivamente. Asimismo, los axiomas S5 y P5 aseguran
que existen también, -0, -1 y 1-1.
Notación:
Dados dos números reales x e y, denotamos con x – y a la suma de x y el
opuesto de y es decir, x – y = x + (-y).
Dados dos números reales x e y, con y  0, denotamos con o con x/y al
producto siguiente: x.y-1.

Hemos dicho que en se ha definido una relación de orden. Entonces,

dados dos números reales x e y, x < y se lee “x menor que y” ó, lo que es lo
mismo, “y mayor que x”.
Cuando un número real x es menor que cero (x < 0), decimos que dicho
número es negativo. Cuando un número real y es mayor que cero (y > 0),
diremos que y es un número real positivo.

En , se cumplen también los siguientes axiomas:

O1) Dados dos números reales, x e y, se cumple una, y sólo una, de las
siguientes condiciones: x < y; x = y; y < x (Ley de tricotomía)
O2) x, y, z  : x < y  x + z < y + z (Consistencia del orden respecto a la
suma)
03) x, y, z  : z > 0  x < y  x.z < y.z (Consistencia restringida del orden
respecto al producto)
3
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo

Podemos observar que cuando un número x no es menor que y, por O1

resulta: x = y o x > y, en ese caso, decimos que “x es mayor o igual que y”, lo cual
se denota con: x  y. Análogamente, “y es menor o igual que x” (lo cual
denotamos con: y  x), si y no es mayor que x.
Cuando un número real x es tal que x  0 , diremos que x es un número no
positivo. Análogamente, si y  / y  0, diremos que y es un número no
negativo.

Dado que ( , + , .) es un cuerpo en el cual se cumplen los axiomas O1,

O2, y O3, diremos que es un cuerpo ordenado.

Propiedades derivadas de los axiomas de cuerpo ordenado:

Veamos a continuación, algunas propiedades que se verifican en y que
pueden demostrarse a partir de los axiomas enunciados: Sean x, y, z 
1) Propiedad cancelativa de la suma: x + y = x + z  y = z
2) Unicidad del cero: Si 0’  / a + 0’ = a, entonces, 0’ = 0.
3) 0 = - 0.
4) 1 = 1-1.
5) Unicidad del opuesto: Si x’  / x + x’ = 0, entonces, x’ = -x. En
consecuencia, -(-x) = x.
5) x.0 = 0
6) –(x + y) = -x - y
7) -1.x = -x
8) (-x).y = x.(-y) = - x.y
9) (-x).(-y) = x.y. En consecuencia: x2 = x.x = (-x).(-x) = (-x)2
10) Unicidad del inverso de cada elemento no nulo: Si x  0 y existe x’ /
x.x’ = 1, entonces, x’ = x-1. En consecuencia, (x-1)-1 = x.
11) x > 0  -x < 0
12) x  y  z  0  x.z  y.z
13) x > 0  x-1 > 0
14) 0 < x-1 < y-1  x > y
15) Propiedad cancelativa del producto: a.b  a.c  a  0  b  c
16) a.b  0  a  0  b  0 .
17) Densidad: Sean x, y  / x < y, entonces,  z tal que x < z < y.

Aceptamos estas propiedades, sin demostración.

Hasta aquí, hemos dicho que ( , + , .) es un cuerpo ordenado, como se

cumple 17, es un cuerpo ordenado y denso. Como existen otros cuerpos que
son ordenados y densos, para caracterizar a y no confundirlo con ningún otro
cuerpo, vamos a enunciar un último axioma:
AS. Axioma del supremo o de completitud: Todo subconjunto real no vacío
y acotado superiormente, admite supremo en .
(Recordar los conceptos dados en Cálculo Diferencial e Integral I de cota
superior, subconjunto real acotado superiormente, supremo e ínfimo de un
subconjunto real).

4
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo

Este último axioma es el que nos permite identificar a con una recta es
decir, a cada punto de la recta se le puede asignar un número real y a cada
número real se le puede hacer corresponder un punto de la recta. En síntesis,
existe una función biyectiva entre el conjunto de números reales y el conjunto de
puntos de una recta. Por cumplirse el AS diremos que es un cuerpo ordenado,
denso y completo.

5
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
ALGUNOS SUBCONJUNTOS DEL CUERPO DE LOS REALES

El conjunto de números naturales:

Hasta este momento, conocemos sólo tres elementos de : 0, 1 y –1.

Ahora bien, como 1 es un número real (por P4), por el axioma S1, resulta
que: 1 + 1  . Llamemos 2 = 1 + 1. Como 1 y 2 son números reales,
nuevamente por S1, 2 + 1 ,... Iterando este procedimiento, podemos obtener
un subconjunto de al que llamaremos conjunto de números naturales. Este
conjunto se denota, generalmente, con .

Diremos que es un conjunto inductivo, puesto que cumple las

siguientes condiciones:
 1 .
 n   n + 1  .(*)
Para distinguir a de cualquier otro subconjunto real inductivo, diremos
que se cumple que si H  es inductivo,  H.
Se puede demostrar que en se cumple el llamado principio de
inducción completa (PIC) que permite demostrar propiedades de los números
naturales. Su enunciado es:
Sea P un predicado de una variable con dominio en . Si v(P(1)) = 1 y la
implicación (P(n)  P(n + 1)) es verdadera, entonces, x :v(P(x)) = 1.
Veamos cómo usar el PIC para demostrar que la suma de dos números
naturales es, también, un número natural.
Sean n, m  , queremos probar que n + m  .
Entonces, el predicado del que habláramos antes es P(m) = n + m  (en
este caso, la variable es m y n se mantiene constante).
Veamos, primero, que v(P(1)) = 1. En efecto, como n  , por ser
inductivo, (*) nos asegura que n + 1  Es decir, que v(P(1)) = 1.(**)
Supongamos que v(P(m)) = 1 es decir, que n + m  (esto es lo que se
denomina hipótesis inductiva, a la que haremos referencia mediante HI).
Entonces, por (*), resulta que (n + m) + 1  . Pero como los números
naturales son, en general, números reales, podemos utilizar la propiedad
asociativa de la suma y decir que: n + (m + 1) = (n + m) + 1  . Como el primer
miembro de la igualdad es P(m + 1), hemos justificado que si v(P(m)) = 1 (HI),
resulta v(P(m + 1) = 1(***).
En consecuencia, por (**) y (***), n, m  : n + m  .

Ahora que hemos hecho una presentación un poco más formal de los
números naturales, vamos a enunciar una propiedad (que aceptaremos sin
demostración) que se denomina principio de Arquímedes: x ,  n  / n  x.
Es decir, dado un número real, siempre es posible hallar un número natural
que lo supere. Como se cumple el principio de Arquímedes, diremos que ( , + , .)
es un cuerpo ordenado, denso, arquimediano y completo.

Ahora bien, como 0  y  , definimos el conjunto de los números

enteros no negativos como 0 =  {0}  .

6
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
Veamos ahora, una función, con dominio en 0 y rango en : la función
factorial. Esta función es tal que se define por recurrencia, es decir:
x!: 0  / x! =
A partir de esta función, definimos los llamados números combinatorios
como sigue: Si m, n  0 / n  m, el número combinatorio de numerador m y
denominador n es: .
El lector puede verificar que se cumplen las siguientes igualdades:
a)
b) (se dicen de orden complementario)
c) (Fórmula de Stieffel)

El conjunto de los números enteros:

Además, como  , por axioma S5, se cumple que: n  : -n  . Es
decir que el conjunto - = {-n / n  }  .
Definamos, a continuación, el conjunto de los números enteros como
sigue: = 0  -. Es evidente que está contenido en .
Se puede demostrar que la suma y multiplicación de números enteros
verifican los axiomas S1, S2, S3, S4, S5, P1, P2, P3, P4 y D. Como en no se
verifica el axioma P5 (porque los únicos enteros cuyos inversos son enteros son 1
y -1), ( , +, .) no tiene estructura de cuerpo, sino de anillo conmutativo con
elemento unitario (el elemento unitario es1, por ser el neutro del producto).

En el conjunto de números enteros vale un teorema llamado algoritmo de

división que dice:
Dados dos enteros a y b, con b  0, existen y son únicos dos enteros q y r
tales que a = bq + r, con 0  r < b. Estos enteros se llaman cociente (q) y resto (r)
de la división. Denotamos con r(a, b) al resto de la división de a por b.

Cuando el resto de dividir a por b es cero, se dice que b divide a “a”, b es

un divisor de a, que a es divisible por b o que a es un múltiplo de b. En ese
caso a = b.q y denotamos que b es un divisor de a como: ba.
Así pues, si un número entero p es divisible por 2 diremos que ese número
es par y que, por el algoritmo de división, p = 2.q, para algún q  . En cambio,
si t es un número impar, no es par es decir, el resto de dividir t por 2 no es cero;
como los únicos restos posibles en la división por 2 son 0 y 1, debe ser t = 2k + 1,
para algún k  .
Un número entero p  0 es primo si, y sólo si, tiene, exactamente, cuatro
divisores a saber: 1, -1, p y –p.
Entonces, 1 no es primo, porque sólo tiene 2 divisores: 1 y -1 (por la misma
razón tampoco lo es -1). Si un número es primo, su opuesto también lo es. Puede
probarse que existen infinitos primos, pero no hay una “fórmula” que permita
calcular cualquiera de ellos.
En este curso daremos por conocido el hecho de que 2, 3, 5, 7, 11, 13, 17,
19 y sus opuestos son primos.

7
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
Diremos que d  0 es un divisor común de dos enteros a y b si da  db.
De la misma forma, diremos que a y b son coprimos, si sus únicos divisores
comunes son 1 y -1.

El conjunto de los números racionales:

Si consideramos a  y b , como b  0, por axioma P5, b-1  .
a
Entonces, por axioma P1, podemos asegurar que a.b-1 =  . Por lo tanto,
b
podemos definir el conjunto de números racionales como sigue:
={ /a b }

a
Dado un número racional , a se llama numerador y b denominador.
b
Diremos que dos números racionales =  a.q = p.b.

Hasta aquí no nos fue necesario definir la igualdad entre número reales,
naturales o enteros, sin embargo sí nos hace falta en porque en este conjunto
existen lo que se denominan “fracciones equivalentes”.
Por ejemplo, a simple vista, y son diferentes, sin embargo, =
porque 3. 16 = 48 = 24.2. Observamos que dado , para obtener es suficiente
multiplicar numerador y denominador por 8, mientras que para obtener a partir
de se deben dividir numerador y denominador por 8 o, lo que es lo mismo,
podemos “simplificar por 8”. Vemos que, por ejemplo, en no puede simplificarse
por ningún número entero, ya que 2 y 3 son coprimos es decir, los únicos
divisores comunes de 2 y 3 son 1 y -1.
a a
Dado , donde a y b son coprimos, diremos que es una fracción
b b
irreducible.

Puede probarse que ( , +, .) es un cuerpo ordenado denso y arquimediano

(la suma y producto en son las que tradicionalmente se denominan “suma y
multiplicación de fracciones”), con las siguientes definiciones: Dados ,  :

= = <  a.q < p.b

Sabemos que un número racional admite un desarrollo decimal que se
suele escribir como un número entero (que es su parte entera o su parte entera
más uno) seguido de una coma y una sucesión de dígitos que se llaman cifras
decimales. En realidad todo número racional admite una cantidad infinita de cifras
decimales, por ejemplo: i) 2 = 2,000000…….. (parte entera: 2)
ii) -3,5 = -3,5000……. (parte entera: -4)
iii) 10,44444….. (parte entera 10)

8
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
iv) -0,25252525….. (parte entera: -1)
v) 14, 6781111….. (parte entera 14)

En el caso i, como 2 es entero, sus cifras decimales son todas cero y

podríamos pensar que tiene infinitas cifras decimales ceros. El caso ii es similar:
tiene una cifra decimal 5 e infinitas cifras decimales ceros.
En el caso iii vemos que también el número tiene infinitas cifras decimales
pero ahora no son infinitas cifras nulas, sino que son iguales a 4. Esto se denota
como: . De modo similar, en iv, el número que “se repite” una cantidad infinita
de veces es 25, con lo cual a ese número lo escribimos como .
Finalmente, el ejemplo v tiene cifras que aparecen una cantidad finita de
veces, seguidas de una cifra que se repite infinitas veces, entonces, al número en
cuestión lo denotamos con .
De los números de los ejemplos iii, iv y v decimos que admiten un
desarrollo decimal con cifras periódicas.

Ahora bien, hemos dicho que y son cuerpos ordenados, densos y

arquimedianos, por lo cual podría pensarse que son iguales.
Vamos a demostrar, a continuación, que existen números reales que no
son racionales y que, precisamente, se denominan irracionales, porque no
pueden expresarse como “razón” o cociente de números enteros. Se caracterizan
por admitir un desarrollo decimal con infinitas cifras decimales no periódicas (es
decir, que la secuencia de sus cifras no guardan ninguna regularidad).
El primer número irracional que se conoció fue el número pi (), que
expresa la relación entre la longitud y el diámetro de una circunferencia, y se
conoció varios siglos antes de Cristo (ya en la Biblia se lo menciona como igual a
3 y actualmente se conocen muchos millones de sus cifras decimales, siendo su
aproximación más conocida la de 3,1416, por redondeo de 3,14159…..)

Para demostrar la existencia de números irracionales, debemos definir dos

operaciones en :

Potenciación: Sean n  , x / x  0. Definimos:

i) x0 = 1
ii) xn = x. xn-1
iii) 0n = 0
iv) x-n =

Observación importante: No se define 00 es decir, para que un número x

elevado a la cero sea 1, debemos asegurarnos que x  0.

Pueden probarse por inducción las siguientes propiedades:

En todos los casos, n, m  , x, y 
a) x1 = x
b) Producto de potencias de igual base: xn.xm = xn+m
c) Potencia de potencia: (xm)n = xm.n
d) Propiedad distributiva de la potenciación con respecto al producto:
(x.y)n = xn.yn

9
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
e) Teorema del Binomio de Newton: Dados a, b - {0}, n  , entonces:

Demostraciones: Sean n, m  , x, y, z  / / x  0 Entonces:

a) x1 =1x.x1 – 1 = x.x0 =1 x.1 =2 x (A). Además, 01 =10. Luego: x  : x1= x.
b) En el producto de potencias de igual base, consideramos que m es
un número natural cualquiera fijo y que el predicado es P(n) = xn.xm = xn+m.
Debemos ver que v(P(1)) = 1 (a) y que, si suponemos que v(P(n)) = 1, v(P(n + 1))
= 1 (b). Una vez que hayamos visto que se cumplen (a) y (b) podremos afirmar
que la proposición  n, m  , x  : xn.xm = xn+m, es verdadera. Entonces:
a) Si n = 1: Vemos que x1 =3x.x1 – 1 = x.x0 =1 x.1 =4 x (A) , entonces: x1. xm =5
= x.xm =1xm + 1. Es decir, v(P(1)) = 1.
HI: Suponemos que xn.xm = xn + m.
Luego: xn+1.xm =1(x.xn).xm =6x.(xn.xm) =7x. xn + m =1 x(n + m)+ 1 =8x1 + (n + m) =9
= x(1 + n) + m =6x(n + 1) + m.
Como n, m y m + n son números naturales, entonces, n  0, m  0 y
también m + n  0, entonces: 0n.0m = 0, por definición de potenciación. Pero,
precisamente por dicha definición, 0 = 0n+m.
  n, m  , x  : xn.xm = xn+m
c) Si n = 1, tenemos que (xm)1 =3 xm =2 xm.1.
HI: Suponemos que (xm)n = xm.n.
Entonces: (xm)n + 1 =1 xm. (xm)n =5 xm. xm.n =10 xm + m.n =11 xm(1 + n) =6 xm(n + 1).
Como n, m y m + n son números naturales, n  0, m  0 y m.n  0,
entonces: (0m)n =10n =10 =1 0m.n
  m, n  , x  : (xm)n = xm.n
d) Si n = 1, se observa que (x.y)1 =3x.y =3x1.y1
HI: Suponemos que (x.y)n = xn.yn, entonces:
(x.y)n + 1 =1(xy).(x.y)n =5(x.y).(xn.yn) =4x(yxn).yn =12x.(xn.y).yn =4(x.xn).(y.yn)=1
= xn + 1. yn + 1
Nótese que como n  0 y 0.y = 0, (0.y)n = 0n =10 = 0.yn = 0n. yn es decir, que
lo que hemos probado vale aún cuando x = 0  y = 0.
  n  , x, y  : (x.y)n = xn.yn
e) Sean a, b - {0}, n  .
Si n = 1: (a + b)1 = a + b = 1.a.1 + 1.1.b = 1.a1-0.b0 + 1.a1 -1 .b1 =

1
Definición de potenciación
2
1 es el neutro del producto en
3
Definición de potenciación
4
1 es el neutro del producto en
5
Por (A)
6
Propiedad asociativa del producto en
7
HI
8
Propiedad conmutativa de la suma en
9
Propiedad asociativa de la suma en
10
Producto de potencias de igual base (propiedad a)
11
Propiedad distributiva del producto con respecto a la suma en
12
Propiedad conmutativa del producto en

10
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
= a1-0.b0 + a1 -1 .b1 =
HI: Si suponemos que (a + b)n = , entonces:
n + 1 13 n 14
(a + b) = (a + b) . (a + b) = (a + b) =15 a +
15 13
+ b. = + = +
+ ()
Vemos que si k = 0, en (), el primer sumando es:
an + 1 b0 = 1.an + 1. 1 = an + 1 b0
Si 1  k  n, en () observemos los siguientes términos:
–k+1 k
an b (el k + 1 – ésimo de la 1ª sumatoria)
y
n – (k -1) k -1 n– k+1 k
a b = a b (el k – ésimo de la 2ª sumatoria)

Entonces, asociando dichos términos, consideremos la suma:

–k+1 – k+1
an bk + an bk
De donde, por axioma D, se tiene:
[ + ] an – k + 1 bk
Pero, por fórmula de Stieffel, + = , de donde:
n– k+1 k n– k+1
[ + ]a b = a bk

Como esto vale para todo 1  i  n – 1, reemplazando en (), se tiene:

(a + b)n + 1 = an + 1 b 0 + =
Luego, hemos probado por inducción sobre n, que:

Radicación:

Sean n  , x  / x  0. Definimos: .
Puede demostrarse que la radicación, así definida, es cerrada en es
decir, que la raíz n – ésima de un número real no negativo es un número real y
distributiva con respecto al producto. Es usual, si x  0, denotar = x1/n.

Recordemos que x2 = (-x)2 (propiedad derivada número 9). Entonces, cada

número real no negativo tendrá dos raíces cuadradas (un número real y su
opuesto). Por ejemplo, como 32 = (-3)2 = 9, 9 admite dos raíces cuadradas: 3 y -3.
El único número real cuyas raíces cuadradas coinciden es cero.

13
Definición de potenciación en
14
HI
15
Propiedad distributiva del producto en

11
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
Vemos que = 3 con lo cual no sirve “simplificar” el índice de la
raíz y el exponente, porque nos quedaría que – 3 = 3 lo cual, evidentemente, no
es cierto.

Ahora sí, demostraremos que existen números irracionales.

Sea el número real x = 2 . Por definición de radicación, este número es tal
que x = 2. Supongamos que 2  . Entonces, existen p  y q  coprimos,
2

p
tal que 2  . (suponemos que es una fracción irreducible)
q
Elevando ambos miembros al cuadrado, se obtiene:
p2
2  2  2q2  p2 .
q
2
Es decir, p es un número par y esto significa que p también lo es (puede
probarse que el hecho de que un número entero sea par es equivalente a que su
cuadrado también lo es). Luego, p puede escribirse como p = 2k, con k  .
Entonces, p2 = 4k2, de donde tenemos que: 2q2 = 4k2. Entonces, q2 = 2k2 es decir,
q2 también es par y (razonando en forma similar a como lo hicimos con p), resulta
p 2k
q = 2h, con h  . Pero entonces,  , lo cual contradice la elección que
q 2h
p
habíamos hecho de (la habíamos elegido irreducible, y ahora resulta que se
q
puede simplificar por 2).
Esta contradicción proviene de haber supuesto que 2  . Luego, debe
ser 2  , pero como sí es un número real, debe ser 2  .

Pero no se diferencian sólo en sus elementos, además, en no se

verifica el axioma del supremo (AS), con lo cual si bien es un cuerpo ordenado,
denso y arquimediano, no es completo. Así pues, no podemos identificar a con
una recta, pues habrá puntos que representen a los números irracionales que
sabemos que no pertenecen a . Sí podemos pensar en representar al conjunto
como una recta de líneas de puntos, donde los espacios entre los puntos son,
precisamente, los números irracionales que no pertenecen a él.

Intervalos reales:
Sean a, b  / a  b. Definimos los siguientes subconjuntos de :
Intervalo real cerrado y acotado: [a, b] = {x / a  x  b}
Intervalo real cerrado a izquierda y acotado: [a, b) = {x / a  x < b}
Intervalo real cerrado a derecha y acotado: (a, b] = {x / a < x  b}
Intervalo real abierto a derecha y acotado: (a, b) = {x / a < x < b}
Intervalo real cerrado a derecha y no acotado: [a, +) = {x / x  a}

12
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
Intervalo real abierto a derecha y no acotado: (a, +) = {x / x > a}
Intervalo real cerrado a derecha y no acotado: (-, b] = {x / x  b}
Intervalo real abierto a derecha y no acotado: (-, b) = {x / x  b}

Representaremos en la recta un ejemplo de cada uno de ellos:

Sean a = -3 y b = 12, entonces:
[-3, 12] se representa mediante el segmento rojo. Se usan corchetes en
ambos extremos, para indicar que los extremos del segmento pertenecen al
conjunto: [ ]
-3 12

[-3, 12) se representa mediante el segmento rojo. Se usa paréntesis en el

extremo derecho, para indicar que ese extremo del segmento no pertenece al
conjunto: [ )
-3 12
(-3, 12] se representa mediante el segmento rojo. Se usa paréntesis en el
extremo izquierdo, para indicar que ese extremo del segmento no pertenece al
conjunto: ( ]
-3 12

(-3, 12) se representa mediante el segmento rojo. Se usan paréntesis en

ambos extremos, para indicar que los extremos del segmento no pertenecen al
conjunto: ( )
-3 12

[-3, +) se representa mediante la semirrecta azul. Se usa corchete para

indicar que el punto de origen de la semirrecta pertenece al conjunto:
[
-3

(-3, +) se representa mediante la semirrecta azul. Se usa paréntesis para

indicar que el punto de origen de la semirrecta pertenece al conjunto:
(
-3

(-, 12] se representa mediante la semirrecta azul. Se usa corchete para

indicar que el punto de origen de la semirrecta pertenece al conjunto:
]
12

(-, 12] se representa mediante la semirrecta azul. Se usa paréntesis para

indicar que el punto de origen de la semirrecta pertenece al conjunto:
)
12

13
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
FUNCIÓN VALOR ABSOLUTO

La siguiente relación  :  / x = es una función y cumple

las siguientes propiedades: Sean x, y  , entonces:

1) x  0

2) x = 0  x = 0

3) x = -x = x

4) x - y = y - x

5)  x  :+ = x.

6) x.y = x.y

7) n : xn = xn

8) Si y  0:

9) -x  x  x
10) Si   /  > 0, entonces:
i. x    -  x   (forma abreviada de escribir x  -  x  )
ii. x >   x < -  x > 
iii. x =   x = -  x = 
iv. x    x  -  x  
v. x <   - < x < 
11) Desigualdad triangular: x + y  x + y

Demostraciones: Sean x, y, z,   tales que z  0 y  > 0.

1) Si x  0, x =16 x  0 x  0
Si x < 0, por propiedad derivada 11, -x > 0. De donde x =14 -x > 0. x  0
 x  : x  0

2) Recordemos que (p  q)  (p  q)  (q  p), entonces debemos

probar que la conjunción de la derecha es verdadera lo que, a su vez, equivale a
demostrar que las dos implicaciones son verdaderas.
Demostremos primero que si x = 0  x = 0, para ello demostremos que
es verdadera su implicación contrarrecíproca es decir, que si x  0, x  0.
Entonces, si x  0, por ley de tricotomía, debería ser x > 0 ó x < 0.
Pero si x > 0, x =14 x > 0 es decir, x  0.

16
Definición de valor absoluto

14
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
Por el contrario, si x < 0, x =14 -x > 0 con lo cual, nuevamente, x  0.
Recíprocamente, si x = 0, x = 0 = 0, por definición de valor absoluto.
Hemos probado pues, que x = 0  x = 0.

3) Si x  0, por propiedad derivada 9, - x < 0, entonces, x =14 x  -x =14

= -(-x) =17 x. Luego, por propiedad transitiva de la igualdad en , resulta x = -x.
En cambio, si x < 0, -x > 0 de donde: x =14 -x  -x =14 -x con lo cual,
nuevamente por propiedad transitiva de la igualdad en , resulta x = -x.
Además, por la propiedad 1, x  0, con lo cual x =14x.

4) Como (x - y) + (- x + y) = x – y – x + y =18 0 y el opuesto de cada

elemento es único, debe ser –(x – y) = - x + y.
Ahora bien, en 3, probamos que el valor absoluto de un número real es
igual al de su opuesto es decir, x – y = -(x + y) = y - x (por propiedades
derivadas 6 y 4).

5) Por definición de radicación, = y si, y sólo y2 = x2. Entonces, debe

ser y = x ó y = -x (pues son los únicos casos en que y2 = x2).
Si fuera x = y  0, sería x = y  0. Con lo cual se tiene que = y  0, de
donde debe ser y = + . Entonces, por propiedad transitiva de la igualdad de
números reales, resulta x =+ .
Si fuera x = y < 0, entonces, x = -x = - y > 0. Luego, debe ser –y =+ >0
es decir, nuevamente, + = x.
Si fuera y = -x  0, y = x = -x  0, de donde resulta que y =+ . Luego por
la transitividad de la igualdad de números reales, se obtiene que x =+ .
Si fuera y = -x < 0, - y = x > 0, con lo cual, como x = x, x = y > 0. Luego
debe ser y =+ es decir, x =+ .
 x  : x =+ .

6) x.y = + =+ (por distributividad de la potenciación con

respecto al producto). Como también la radicación es distributiva con respecto al
producto, se tiene que: + =+ . Entonces:
x.y = + =+ =+ = x.y (por propiedad 5)

7) Sea n  . Si n = 1: x1 = x = x1, puesto que todo número real es

igual a su primera potencia.
HI: Supongamos que se cumple la igualdad xn = xn. Luego:
xn + 1 =19 x. xn =20x.xn =21x.xn =17xn + 1

17
Propiedad derivada 4
18
Propiedad cancelativa de la suma en
19
Definición de potenciación en
20
Propiedad 6 de valor absoluto
21
HI

15
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
8) Como z  0. Entonces, z-1 - {0}. Luego: 1 = z.z-1, de donde, 1 =
=1 =  z.z-1 =18 z.z-1 = z. . Luego: ()
Análogamente, =18x.z-1 = x. =()x. =
9) Si x  0, entonces, - x  0  x = x, con lo cual: -x = -x  x = x. En
cambio, si x < 0, -x =22-(-x) =23x < 0 24 x.
 x  : -x  x  x
10) i) Supongamos, que x   (), entonces, por propiedad derivada
12, resulta: -  - x 25 x 23 x () .
Recíprocamente, si : -  x  , se presentan dos posibilidades:
Si x  0, x 0 x  .
Si x < 0, como x  -, resulta que –x   es decir, x  .
ii) Como (x )  (x > )  (x  -   x  )  (x < -   x > ),
de la validez de 10i resulta que: x >   (x < -   x > ).
iii) x =  26 x =   -x =   x =   x = -.
iv) x   ( x >   x = ) 27(x < -   x > ) 
 (x =   x = -) 28 (x < -   x = -)  (x >   x = )  (x  -   x  ).

11) Es trivial que si x = y = 0, x + y = 0 = 0 + 0 = x + y. Por ello,

supongamos que x  0, luego por propiedades 1 y 2 de valor absoluto, se tiene
que x + y  x > 0. Llamemos  = x + y > 0.
Por propiedad 9:
-x  x  x y también
-y  y  y sumando miembro a miembro, por consistencia de la
suma con respecto al orden, resulta que:
-x -y = - (x + y)  x + y  x + y es decir, -  x + y   de donde, por la
propiedad 10, x + y   = x + y.

22
Definición de valor absoluto
23
Propiedad derivada 4
24
Propiedad 1 de valor absoluto
25
Propiedad 9 de valor absoluto
Definición de valor absoluto, según sea x  0 o x < 0
26
27
Propiedades 10 ii y 10iii de valor absoluto
28
Propiedades asociativa y conmutativa de la disyunción lógica

16
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Reales – 2016
Prof. Liliana N. Caputo
REFERENCIAS BIBLIOGRAFICAS

Carpeta Pedagógica (2012). Algebra. Axiomas de números reales. Accedido el

24/11/15. Disponible en:
http://matematica.carpetapedagogica.com/2012/03/axiomas-de-numeros-
reales.html.

Gentile, E. (1981). Notas de Algebra I. EUDEBA. Argentina.

Noriega, R. (1999). Cálculo Diferencial e Integral. Editorial Docencia. Argentina.

Pérez González, F. (2008). Calculo Diferencial e Integral de funciones de una

variable. Capítulo 1. Accedido el 12/02/2016. Disponible en:
http://www.ugr.es/~fjperez/textos/calculo_diferencial_integral_func_una_var.pdf.

Podestá,R.; Tirao P. (2013). “Algebra. Una introducción a la Aritmética y a la

Matemática Discreta” (Versión Preliminar). FAMAF. Universidad Nacional de
Córdoba. Accedido el 12/03/16. Disponible en:
http://www2.famaf.unc.edu.ar/~meinardi/algebraI2014/LibroAlgebra.pdf

Rojo, A. (1996). Algebra I. El Ateneo. Argentina.

17