UNIVERSIDAD DEL BO-BO

Facultad de Ciencias
Departamento de Matemtica II Semestre 2009

IR COMO CAMPO ORDENADO COMPLETO

Profesor :Ana Mara Tapia
Definimos en IR dos operaciones binarias internas:
+ : IR x IR IR tal que c = +((a,b)) = a + b (ADICIN)
i : IR x IR IR tal que c = i ((a,b)) = a i b (MULTIPLICACIN)
Estas operaciones tienen las siguientes propiedades:
Axiomas:
A.1 a + b = a + b = b + a a, b
A.2 ( a + b ) + c = a + ( b + c ) a, b, c
A.3
A.4
M.1

!0
a

tal que a + 0 = 0 + a = a a
!( a)

tal que a + ( a ) = 0

a b = b a a, b
M.2 ( a b ) c = a ( b c ) a, b, c
M.3 !1 tal que a 1 = 1 a = a a
1
M.4 a , a 0 !a

tal que a a 1 = a 1 a = 1

a ( b + c ) = a b + a c a, b, c
D.

(b + c ) a = b a + c a

a, b, c

Conmutatividad
Asociatividad
0 es neutro aditivo.
a es inverso aditivo de a .
Conmutatividad
Asociatividad
1 es neutro multiplicativo

a 1 es inverso multiplicativo
de

a.

Distributividad

Axioma de no trivialidad: 1 0
con estas operaciones y estos axiomas forma una estructura algebraica
llamada cuerpo conmutativo o campo ( , +, )
Definicin:
1-1 Sustraccin:
1-2 Divisin:

a b = a + (- a)
a : b = a b-1 ( b 0)

Observaciones: ( Para demostrar)

1.- 0 es nico
2.- 1 es nico
3.- El inverso aditivo es nico
4.- El inverso multiplicativo es nico.
5.- a 0 = 0
6.- a b = 0 a = 0 b = 0
7.- a a = a a = 0 a = 1
8.- - (- a) = a
9.- (- a) + (- b) = - (a + b)
10.- (- a) b = - (a b)
11.- (- a) (- b) = a b
12.- a b es la nica solucin de la ecuacin b + x = a
13.- a : b es la nica solucin de la ecuacin b x = a

ORDEN EN IR
Consideremos el subconjunto de IR IR+ IR, provisto de las siguientes
propiedades:
+
+
O1.- x, y ( x + y )
O2.- x, y
O3.- Si x

i) x

( x y)

entonces es vlida una y solo una de las siguientes afirmaciones:

+

; ii ) x = 0; iii ) x

Definicin:
Sean a, b IR, diremos que a es menor que b ( b es mayor que a) y lo
denotamos a < b si (b a ) IR+. Es decir:

a < b (b a )

Observaciones:
1.- 0 < a (a 0 ) = a IR+
Por lo tanto IR+ es el conjunto de todos los reales mayores que cero.
Llamaremos a IR+ conjunto de los reales positivos.
2.- De la propiedad O3 podemos deducir
Si x, y entonces es vlida una y solo una de las siguientes afirmaciones:

i ) x < y ii ) x = y iii ) y < x

Esta se llama ley de Tricotoma

Notacin: a < b b < c a < b < c

Propiedades:
1.- a < b b < c a < c
2.- a < b a + c < b + c
3.- a < b d < c a + d < b + c
4.- a < b c > 0 a c < b c
5.- a < b c < 0 a c > b c
6.- 0 < a < b 0 < c < d a c < b d

7.- x IR x2 > 0 x2 = 0
8.- a IR, a > 0 a-1> 0
9.- 0 < a < b a-1> b-1
Definicin:

a b a < ba = b

Intervalos:

[ a, b ] = { x
]a, b[ = { x
[ a, b[ = { x

/ a x b} Intervalo cerrado
/ a < x < b} Intervalo abierto
/ a x < b} Intervalo semicerrado.

Valor absoluto
Definicin: Sea x IR el valor absoluto de x se denota por I x I o por
est definido por:

x,
IxI =

x2 y

si x > 0

0, si x = 0
x, si x < 0

Propiedades del valor absoluto

1.- I x I = I x I 0, x
2.- - I a I a I a I , a
3.- I ab I = IaI IbI
4.-

a
a
=
b
b

5.- a > 0,
6.- a > 0,
7.-

x a x a x a
x a a x a

x+y x + y

(Desigualdad triangular)

COMPLETITUD EN IR
Definicin: Siendo A IR ; a , b IR.
Decimos que a es una cota superior de A ssi a x, x A .
Decimos que b es una cota inferior de A ssi b x, x A .
Todo conjunto que posee cota superior se dice acotado superiormente.
Todo conjunto que posee cota inferior se dice acotado inferiormente.
Si un conjunto es acotado superior e inferiormente se dice que es acotado.
nfimo: i IR Se dice nfimo de un conjunto A , si es la mayor de las cotas
inferiores del conjunto A.
A IR, i IR es nfimo ssi i x, x IR y i b , b cota inferior de A.
Supremo: s IR se dic supremo de un conjunto A, si es la menor de las cotas
superiores del conjunto A.
A IR, s IR es supremo ssi s x, x IR y s a , a cota
superior de A.
Observacin:
Cuando el supremo y el nfimo existen stos son nicos.
AXIOMA DEL SUPREMO
Todo subconjunto no vaco de IR acotado superiormente posee supremo.
Este ltimo axioma nos completa los reales por lo que podemos concluir que
IR provisto de las operaciones binarias internas + y y de la relacin de
orden es un campo ordenado completo.