UNIVERSIDAD DE CONCEPCION

Facultad de Ciencias Fsicas y Matematicas

a la Matematica

Introduccion
Universitaria.
520145
Captulo 2. Numeros

Reales

FCFM. UdeC.

1.

IMU. 520145

Numeros

Reales.
Existe un conjunto R cuyos elementos se llaman numeros

reales,
de igualdad y provisto de dos operaciones
dotado de una relacion
+ y la multiplicacion
, que satisfacen
binarias internas, la adicion
las siguientes propiedades o axiomas.

1. Propiedades de la suma
a)

x, y R : x + y = y + x;

b)

x, y, z R : x + (y + z) = (x + y) + z ; asociatividad

c)

0 R, x R : x + 0 = x;

d)

x R, x R : x + (x) = 0.

FCFM. UdeC.

2.

conmutatividad

neutro aditivo
inverso aditivo
IMU. 520145

Propiedades del producto

a)

x, y R : xy = yx;

b)

x, y, z R : x(yz) = (xy)z ;

c)

1 R, x R : x 1 = x;

d)

x R, x 6= 0 : x1 R : x x1 = 1; inverso multipl.

e)

x, y, z R : x(y + z) = xy + xz .

conmutatividad
asociatividad
neutro multipl.

distributividad del producto en la suma.

FCFM. UdeC.

3.

IMU. 520145

Observaciones:
a) Los elementos neutro aditivo 0, neutro multiplicativo 1, inverso
aditivo x e inverso multiplicativo x1 , x

6= 0, son unicos.

b)

x 0 = 0, x R.

c)

R con estas operaciones se dice que es un Cuerpo

se escribe x y = xy .
conmutativo, la multiplicacion

d) La igualdad tiene las siguientes propiedades:

i) es reflexiva, x

R, x = x.

ii) es simetrica,
x, y

R, x = y y = x.

iii) es transitiva, x, y, z
FCFM. UdeC.

R, x = y y = z x = z .
4.

IMU. 520145

Definiciones.
Utilizando los axiomas de cuerpo se deducen las reglas
algebraicas que rigen la operatoria con igualdades.
Operatoria algebraica:

x, y, z R

a)

x = y = x + z = y + z ;

b)

x = y = xz = yz, z 6= 0;

c)

xy = 0 x = 0 y = 0;

x, y R existe un unico

numero

real d tal que

x + d = y , se llama diferencia entre y y x, se escribe
existe un un unico
d = y x. Ademas

numero

real z tal que

xz = y , se llama cuociente de y y x, se escribe z = xy = yx1 .

Definicion.

FCFM. UdeC.

5.

IMU. 520145

 operatoria algebraica:
Continuacion
x, y R
a)

(x) = x;

b)

(x)y = xy ;

c)

(x)(y) = xy ;

d)

x 6= 0 y 6= 0 = (xy)1 = x1 y 1 ;

e)

(x + y) = (x) + (y) = x y ;

(x + y)(x y) = x2 y 2 ;
xu
xu
g)
=
;
yv
yv
vx + yu
x u
+ =
.
h)
y
v
yv
f)

FCFM. UdeC.

6.

IMU. 520145

Orden en R.
Para dotar a R de un orden compatible con las operaciones ya
definidas introducimos los llamados axiomas de orden.
O) Distinguiremos en R un subconjunto no vaco R+ , cuyos
elementos llamaremos numeros

reales positivos, tal que:

(O.1) Tricotoma.

una de las
x R se verifica una y solo

proposiciones:

x R+ x R+ x = 0.
(O.2)

x, y R+ , x + y R+ , R+ es cerrado para la suma

(O.3)

x, y R+ , xy R+ , R+ es cerrado para la

multiplicacion.

FCFM. UdeC.

7.

IMU. 520145

Definiciones.
menor que, simbolizada <
Definimos en R la relacion
Definicion.
como sigue

x, y R, x < y y x R+ .
se escribe y
Tambien

es claro que
> x. De la definicion
x R+ x > 0.

R = {x R : x R+ }. Luego,
x R x < 0.

Definicion.

menor o igual que,

Definimos en R la relacion
Definicion.
simbolizada como sigue

x, y R, x y y x R+ x = y.
FCFM. UdeC.

8.

IMU. 520145

 de Orden.
Relacion
de orden satisface las siguientes propiedades:
La relacion
a) Es reflexiva,x

R, x x

b) Es antisimetrica,
x, y
c) Es transitiva,x, y, z

R, x y y x = x = y.

R, x y y z = x z.

x, y
d) Criterio de comparacion,

R, x y o bien y x.

de orden se dice que es un

R con las operaciones y esta relacion
cuerpo conmutativo completamente ordenado

FCFM. UdeC.

9.

IMU. 520145

Reglas algebraicas para las desigualdades.

a)

x, y, z R, x y x + z y + z.

b)

x, y, a, b R, x < y a < b = x + a < y + b.

c)

x, y R. Si a > 0 y x < y entonces xa < ya.

Si a

< 0 y x < y , entonces xa > ya

d)

x, y, a, b R, x < y a b = xa < yb.

e)

xy > 0 (x > 0 y > 0) (x < 0 y < 0).

xy < 0 (x > 0 y < 0) (x < 0 y > 0).

Definir intervalos, hablar de inecuaciones y resolverlas.

FCFM. UdeC.

10 .

IMU. 520145

Valor absoluto .
Para x
Si x

R se define el valor absoluto como sigue:

0, entonces |x| = x y si x < 0, entonces |x| = x.

es claro que | 4|
De la definicion

= 4, |4| = 4, |a2 | = a2 y

|0| = 0. Se tienen las siguientes propiedades

a)

|x| 0, x R.

b)

| x| = |x|, x R.

c)

|x| x, x R.

d) | x
y|

FCFM. UdeC.

|x|
|y| , x, y

R, y 6= 0.
11 .

IMU. 520145


Valor absoluto: Continuacion.
x, y, z R.
e)

x < y < z x < y y < z ;

notacion

f) Para a

> 0, |x| < a a < x < a;

g) Para a

> 0, |x| = a x = a x = a;

h) Para a

> 0, |x| > a x < a x > a;

i)

|x + y| |x| + |y|;

j)

| |x| |y| | |x y|.

FCFM. UdeC.

desigualdad triangular

12 .

IMU. 520145

Subsistemas de R.
Se definen los subconjuntos de R.
i) El conjunto de Los numeros

Naturales N
ii) El conjunto de los numeros

enteros Z

= {1, 2, 3, ...}.

= N {0} N

iii) El conjunto de los numeros

Racionales

p
Q = {x R : x = , p, q Z, q 6= 0}.
q
iv) El conjunto de los numeros

Irracionales I

FCFM. UdeC.

13 .

= Qc = R Q.

IMU. 520145

 Potencias y races.
Definicion.
i) Exponente natural.

n N, a R, an = a a a a.

ii) Exponente entero. Si p

n N y ap = an =

Z, p < 0, entonces p = n,
1
an .

R+ , n N, entonces existe un unico

b R+ tal que

1
n
n
n

b = a. b es la raz n-esima
de a, se escribe b =
a=a .

iii) Si a

iv) Si a

R+ , p Z, q N, entonces la potencia racional de

a se define por:

1
q

p
q

a = (a )p .
Por ejemplo, si a

= 8 > 0, entonces

2
1
3
2
(8) 3 = ((8) 3 ) = ( 8)2 = (2)2 = 4.

FCFM. UdeC.

14 .

IMU. 520145

Leyes de potencias para exponente

racional.
a, b R+ , r, s Q.
a)

ar as = ar+s

b)

ar
as

c)

(ar )s = ars .

d)

ar br = (ab)r .

= ars .

e)

ar
br

f)

ar =

FCFM. UdeC.

= ( ab )r .
1
ar .

15 .

IMU. 520145

Axioma de Completitud.
Definiciones previas. Para S

R, S 6= , se definen:

a)

k es una cota inferior de S si k x, x S .

b)

m es una cota superior de S si x m, x S .

c)

S es acotado inferiormente si tiene cotas inferiores.

d)

S es acotado superiormente si tiene cotas superiores.

e)

S es acotado si es acotado superiormente e inferiormente.

FCFM. UdeC.

16 .

IMU. 520145

Axioma de Completitud.

Continuacion.
f) El supremo s de S , si existe, es la menor de las cotas
superiores. Se denota por s

= sup(S) y se verifica que

2) x s = s s .

x S, 1) x s,

g) El nfimo i de S , si existe, es la mayor de las cotas inferiores.

Se denota por i

x S,

FCFM. UdeC.

= inf (S) y se verifica que

1) i x, 2) i x = i i.

17 .

IMU. 520145

Axiomma de Completitud (o axioma del

supremo)
Todo subconjunto S de R, S
supremo.

6= y acotado superiormente posee

Ejemplo. Sea S

= [1, 0[. Se tiene que: Los numeros

reales
positivos son cotas superiores de S , pues x R+ = x 0,
el cero es una cota superior de S . Luego, como S 6= y
tambien
es acotado superiormente, el axioma de completitud asegura que

S posee supremo. A saber, sup(S) = 0.

FCFM. UdeC.

18 .

IMU. 520145

Teorema. Axioma del nfimo.

Todo subconjunto S de R, S
nfimo.

6= y acotado inferiormente posee

El conjunto S es no vaco y acotado inferiormente, ya que 4 es

una cota inferior. Luego, por el teorema del nfimo, S tiene nfimo.
En este caso inf (S)

FCFM. UdeC.

= 1.

19 .

IMU. 520145


Observacion.
Si S es acotado superiormente (inferiormente), entonces el
supremo (nfimo) puede pertenecer o no a S . Si pertenece,

entonces el supremo (nfimo) es el maximo

(mnimo) del conjunto.
En el ejemplo dado, con S

= [1, 0[. inf (S) = 1 S , el

conjunto tiene mnimo. En cambio, el supremo de S es 0
/ S . En

consecuencia, S no tiene maximo.

FCFM. UdeC.

20 .

IMU. 520145

 Potencias de exponente real.

Definicion.
Para a

R+ , x R, definimos: 1x = 1 y para a 6= 1 se define:

i). ax

= inf {ar : r Q, r x}, para 0 < a < 1.

ii). ax

= sup{ar : r Q, r x}, para 1 < a.

El conjunto Aa

= {ar : r Q, r x} es no vaco, acotado

inferiormente en caso i) y superiormente en caso ii). En

consecuencia, el axioma de completitud asegura que existe el

nfimo y supremo respectivamente. Luego, existe la potencia de
exponente real ax .

FCFM. UdeC.

21 .

IMU. 520145

Ejemplo.
Para a

= 3 > 1, se tiene:

=
=

Para a

sup{3 : r Q, r 2}
r

1
2

6
5

sup{3 , 3 , 3 , 3 , ...}

= 4 se tiene:
43

= sup{4r : r Q, r 3}
1
2

5
2

= sup{..., 4 , 4 , 4 , 4 , 64} = 64
Notar que, en este caso dado que el exponente en un numero

natural, se tiene que 43

FCFM. UdeC.

= 4 4 4 = 64.
22 .

IMU. 520145