FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS

DEPARTAMENTO DE MATEMATICA
Av. Esteban Iturra s/n • Barrio Universitario • Concepción • Chile
Tel (56-41) 204768 • Fax (56-41) 203321 • http://www.cfm.udec.cl

Presentación Axiomática de los Reales

Axiomas de Cuerpo: Se postula la existencia de un conjunto denotado por \ , cuyos
elementos se llaman números reales, que está provisto de dos operaciones, una adición y
una multiplicación que satisfacen:
A1) a + ( b + c ) = ( a + b ) + c , ∀a, b, c ∈ \
A2) a + b = b + a , ∀ a, b ∈ \
A3) Existe 0 ∈ \ tal que a + 0 = a, ∀a ∈ \
A4) Para cada elemento a ∈ \ existe un elemento b ∈ \ tal que a + b = 0
M1) a ⋅( b ⋅c )=( a ⋅ b) ⋅ c , ∀ a , b, c ∈ \
M2) a ⋅ b = b ⋅ a , ∀ a, b ∈ \
M3) Existe 1∈ \ , 1 ≠ 0 , tal que a ⋅1 = a, ∀ a ∈ \

M4) Para cada elemento a ∈ \ , no nulo, existe un elemento c ∈ \ , tal que

a⋅c =1
D) a ⋅ ( b + c ) = a ⋅ b + a ⋅ c , ∀ a , b, c ∈ \

Definición: a − b = a + ( −b ) , ∀ a, b ∈ \

a
= a ⋅ b −1 , ∀ a, b ∈ \, b ≠ 0
b

Consecuencias de los axiomas de cuerpo de \

1.- Unicidad del 0 y del 1

2.- Unicidad de los opuestos e inversos.
3.- a+c =b+c ⇔ a =b
4.- c ≠ 0, a ⋅ c = b ⋅ c ⇔ a = b
5.- ( −1) ⋅ a = −a
6.- − ( −a ) = a
7.- ( − a ) ⋅ b = a ⋅ ( −b ) = − ( a ⋅ b ) ; ( − a ) ⋅ ( −b ) = a ⋅ b
8.- Si a ≠ 0, la ecuación a ⋅ x + b = c tiene solución única en \ .

9.- −(a + b ) = ( − a ) + ( −b ) = − a − b
10:- −(a + b ) = − a − b , − ( a − b ) = −a + b
11.- a ⋅b = 0 ⇔ a = 0 ∨ b = 0

(a )
−1
−1
12.- Si a ≠ 0 , entonces =a

(a ⋅ b)
−1
13.- Si a, b ≠ 0, entonces = a −1 ⋅ b −1

a c
14.- Si b, d ≠ 0 , = ⇔ a⋅d = b⋅c
b d
a a ⋅c
15.- Si b, c ≠ 0 , =
b b⋅c
a b a±b
16.- Si c ≠ 0, ± =
c c c
a c a ⋅c
17.- Si b, d ≠ 0, ⋅ =
b d b⋅d
a c a d
18.- Si b, c, d ≠ 0, ÷ = ⋅
b d b c
a c a ⋅d ± b⋅c
19.- Si b, d ≠ 0 , ± =
b d b⋅d

Axiomas de Orden

Postulamos la existencia de un subconjunto IP de \ , cuyos elementos llamaremos

números positivos, que verifica:

O1) ∀ a, b ∈ \, a, b ∈ IP ⇒ a + b ∈ IP

O2) ∀ a, b ∈ IR, a, b ∈ IP ⇒ a ⋅ b ∈ IP

O3) Dado a ∈ \ , se verifica una y sólo una de las alternativas:

 a ∈ IP, a = 0, −a ∈ IP

Definición.- Dados a, b ∈ \ , a < b ⇔ b − a ∈ IP

a≤b ⇔ a<b ∨ a=b
a>b ⇔ b<a
a≥b ⇔ b≤a

Consecuencias de los axiomas de orden:

1.- ∀ a∈\ , a > 0 ⇔ a ∈ IP
2.- ∀ a∈\ a < 0 ⇔ −a > 0
3.- Para cada a ≠ 0, a2 > 0 . En particular, 1 > 0 .
a<b
4.- Para a, b, c ∈ \ , ⇒ a<c
b<c
5.- Para a, b, c ∈ \ , a <b ⇔ a+c <b+c
a < b
6.- Para a, b, c, d ∈ \,  ⇒ a+c < b+d
c < d
7.- Para a, b, c ∈ \, c > 0, a < b ⇔ a ⋅c < b⋅c
8.- Para a, b, c ∈ \, c < 0, a < b ⇔ a ⋅c > b⋅c
9.- a > 0 ⇔ a −1 > 0 ; a < 0 ⇔ a −1 < 0

10.-

a ⋅ b > 0 ⇔ ∨
(a > 0 ∧ b > 0)
 (a < 0 ∧ b < 0)

11.-

a ⋅b < 0 ⇔  ∨
(a > 0 ∧ b < 0)
 (a < 0 ∧ b > 0)

12.- Para a, b > 0 , a < b ⇔ a −1 > b −1

Definición de Intervalos.-
Si a, b ∈ \ , a < b, se definen los intervalos:
  a, b  = { x ∈ IR : a < x < b }

 a, b  = { x ∈ IR : a ≤ x ≤ b }

 a, b  = { x ∈ IR : a ≤ x < b }

 a, b  = { x ∈ IR : a < x ≤ b }

 a, +∞  = { x ∈ IR : x > a }

 a, +∞  = { x ∈ IR : x ≥ a }

 −∞, a  = { x ∈ IR : x < a }

 −∞, a  = { x ∈ IR : x ≤ a }

Consideramos la correspondencia entre el conjunto de los números reales y los puntos de

una recta, mediante la elección de un sistema coordenado en la recta.-

Valor Absoluto.-
Definición Geométrica.- Si a es un elemento de \ , su valor absoluto, a , se define

como la distancia del punto de coordenada a al origen del sistema.

Definición.- Si a ∈ \ , definimos:
 a , si a ≥ 0
a =
 −a, si a < 0

Propiedades del Valor Absoluto.-

1.- a ≥ 0 , ∀a∈\

2.- ∀a ∈ IR, a = 0 ⇔ a = 0

3.- ∀a ∈ IR, −a = a

4.- ∀ a , b ∈ \, a ⋅b = a ⋅ b
 a a
5.- ∀a, b ∈ \, b ≠ 0, =
b b

6.- ∀a, b ∈ \, a±b ≤ a + b

7.- ∀a, b ∈ \, a − b ≤ a±b

8.- ∀ a, b ∈ \, a = b ⇔ a = b ∨ a = −b

9.- Si c > 0 , entonces ∀ x ∈ \ : x = c ⇔ x = c ∨ x = −c

x < c ⇔ −c < x < c

x > c ⇔ x > c ∨ x < −c

Los Números Naturales.-

Definición.- Un subconjunto S ⊆ \ se dice inductivo si verifica las siguientes

condiciones:
i) 1∈ S
ii) ∀ x ∈ \, x ∈ S ⇒ x + 1 ∈ S .
Por axioma, se postula la existencia de un menor subconjunto inductivo de \ , que se
llama conjunto de los números naturales, ` .
De la definición de ` resulta el:
Principio de Inducción Matemática: Si S ⊆ ` es un subconjunto inductivo de ` , es
decir, si: i) 1∈ S
ii) ∀ x ∈ `, x ∈ S ⇒ x + 1 ∈ S ,
entonces S = ` .

Consecuencias:
1.- 1 es el menor elemento de `
2.- Dado n ∈ ` , no existe un natural k tal que n < k < n + 1 .
3.- Todo subconjunto no vacío, S de ` , tiene un menor elemento. (Principio del
Buen Orden de ` ).
Conjunto de los números enteros: ] = ` ∪ {0} ∪ {− n : n ∈ `}

Conjunto de los números racionales: _ = { p

q
: p , q ∈ ], q ≠ 0 }
Potencias de exponente entero.- Sea a ∈ \ .
1
Se define: a = a

Y si para n ∈ ` , a ∈ \ está definido, se define:

n
a n +1 = a n ⋅ a .
Si a ≠ 0 , se define: a0 = 1
1
a − n = ( a −1 ) =
n
, para cada n ∈ ` .
an

Propiedades.- Si a, b ∈ \ (no nulos si es necesario) y si p, q ∈ ] , se tiene:

ap
1.- a p ⋅ a q = a p+q 2.- q
= a p −q
a

( ap ) = apq
q
3.- 4.- ( a ⋅ b) p = a p ⋅ b p
p p −p p
a a a b
5.-   = p 6.-   = 
b b b a
a− p bq
7.- =
b− q ap
8.- Si a , b ∈ \ son positivos y n ∈ ` , se tiene

a < b ⇔ a n < bn

a < b ⇔ a−n > b−n

9.- Si a > 1 y si m , n ∈ ` , se tiene: m > n ⇒ am > an

Si 0 < a < 1 y si m , n ∈ ` , se tiene: m > n ⇒ am < an

Indicación: Para a > 1 se prueba que a n > 1, ∀n ∈ ` .
Conjuntos acotados. Supremo e ínfimo.-
Sea S ⊆ \ .
Definición.- Diremos que un número real b es una cota superior de S , si
b ≥ x , ∀x∈S .
Observaciones: Si b ∈ \ es una cota superior de S entonces cualquier número real
mayor que b también es cota superior de S.
Si existen cotas superiores para un conjunto S decimos que S tiene cotas superiores o
que S es acotado superiormente.
Definición.- La menor de todas las cotas superiores de un conjunto S (si existe) se llama
supremo de S: sup( S ).

Definición.- Un número real c es cota inferior de S si

c ≤ x , ∀x∈S
Si c ∈ \ es una cota inferior para un subconjunto S de \ , entonces todo número menor
que c también es cota inferior de S.
Si existen cotas inferiores para un conjunto S decimos que S tiene cotas inferiores o que
S es acotado inferiormente.
La mayor de todas las cotas inferiores de S, si existe, se llama ínfimo de S: ínf ( S ) .

Definición.- Si S es acotado superior e inferiormente decimos que es acotado.

Observaciones.-
Si S ⊆ \ tiene un mayor elemento, es decir si existe u ∈ S , tal que u ≥ x , ∀x ∈ S ,
entonces este mayor elemento es el supremo de S.
Si S ⊆ \ tiene un menor elemento, es decir si existe v ∈ S , tal que v ≤ x , ∀x ∈ S ,

entonces este menor elemento es el ínfimo de S.

Recíprocamente, si el supremo de un conjunto S pertenece al conjunto, entonces él es el
mayor elemento de S.
Análogamente si el ínfimo de S pertenece a S, él es el menor elemento de S.
El ínfimo o el supremo de un conjunto S, si existen, pueden no pertenecer al conjunto.
El conjunto vacío no tiene supremo ni ínfimo, pero es acotado.

Axioma del Supremo.-

Todo subconjunto acotado superiormente y no vacío, tiene supremo.

Consecuencias.-
1.- Todo subconjunto acotado inferiormente y no vacío tiene ínfimo.
Basta mostrar que ínf ( S ) = − sup ( − S ) .
2.- El conjunto IN de los naturales no es acotado superiormente.
Esta propiedad es la Propiedad Arquimedeana de \
Es equivalente a afirmar que:
1
Dado ε > 0 existe n ∈ ` tal que <ε
n
3.- Existencia de elementos en \ que no son racionales, es decir, existencia de
números irracionales.
4.- Existencia de raíces n-ésimas de números reales.
5.- Definición de potencias de exponentes racionales y bases positivas.
6.- Definición de potencias de exponentes reales (irracionales) y bases positivas.
7.- Densidad de los racionales y de los irracionales en \ .
8.- Identificación de los reales con los puntos de una recta. Completitud de \ .
El conjunto \ provisto de las operaciones algebraicas y el orden que verifican todos los
axiomas presentados en este capítulo, se dice que es un campo o cuerpo conmutativo,
ordenado, arquimedeano y completo, y por su identificación con los puntos de una recta
graduada, nos referimos a \ diciendo que es la recta real, y a los números reales como
puntos de la recta real.

Propiedades de las raíces.-

Sean a, b reales positivos y m, n ∈ ` . Se tienen las siguientes propiedades:
 a na
1) n
a ⋅b = n a n b 2) n =
b nb

3) m n
a = mn a 4) m
a ⋅ n a = mn a m + n
m
a mn n − m
5) n
= a 6) m
a n b = mn a n .b m
a

7) a<b⇒ n a < n b 8) (m > n y a > 1) ⇒ m a < n a

9) (m > n y a < 1) ⇒ m a > n a

p
Definición.- Si r ∈ _ es un racional, lo escribimos r = con p ∈ ], q ∈ ` , primos
q
entre sí y para a > 0 definimos:
p
 1q 
( a)
p
q
ar = = a 
 
 

Propiedades de las potencias de exponente racional.- Para r , s ∈ _, a, b > 0 , se tiene:

ar
1) a r ⋅ a s = a r +s 2.- s
= a r −s
a

( ar ) = ar s
s
3.- 4.- ( a ⋅ b )r = a r ⋅ b r
r r
a a
5.-   = r
b b
6) (r > 0 ∧ a < b ) ⇒ a r < br , (r < 0 ∧ a < b ) ⇒ a r > br

7) (a > 1 y r > s ) ⇒ ar > as

8) (a < 1 y r > s ) ⇒ ar < as .

Observación.- Con ayuda del axioma del supremo es posible extender la noción de
potencias de base positiva y exponentes racionales a exponentes irracionales y estas
potencias tienen todas las propiedades mencionadas para las de exponente racional.