Вы находитесь на странице: 1из 23

UNIVERSIDAD DE CONCEPCION

Facultad de Ciencias Fsicas y Matematicas

a la Matematica

Introduccion
Universitaria.
520145
Captulo 2. Numeros

Reales

FCFM. UdeC.

1.

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

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

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
2. 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.

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
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.

4.

R, x = y y = z x = z .
ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
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.

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales .
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
x u
vx + yu
h)
+ =
.
y
v
yv
f)

FCFM. UdeC.

6.

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
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.

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
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.

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
de orden satisface las
de Orden. La relacion
Relacion
siguientes propiedades:
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.

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
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 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
Valor absoluto . Para x
sigue
Si x

R se define el valor absoluto como

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 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.

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.

12 .

desigualdad triangular

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
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.

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
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

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

iii) Si a

R , n N y n es impar, entonces existe un una unica

1
n
n

raz n-esima
de a. b =
a=a .

Por ejemplo, 3 8 = 2, pues (2)3 = 8.

iv) Si a

FCFM. UdeC.

14 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
Potencias y races.
Definici on.
v) Si a

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

a se define por:

p
q

1
q

a = (a )p .

1
q
q
vi) Si a < 0 y q un entero impar, entonces a = a existe.
p
1
q
q
Luego, la potencia racional es a = (a )p .
Por ejemplo, a

= 8 < 0 y q = 3 entero impar, entonces

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

FCFM. UdeC.

15 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
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 .

16 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
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.

17 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.

Axioma de Completitud. Continuacion.


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

x S, 1) x s,

= sup(S) y se verifica que


2) x s = s 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.

18 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
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.

19 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
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.

20 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
Si S es acotado superiormente (inferiormente),
Observacion.
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.

21 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
Potencias de exponente real. Para a
Definicion.
definimos: 1x

= 1 y para a 6= 1 se define:

R+ , x R,

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.

22 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Numeros

Reales.
Ejemplo. Para a

= 3 > 1, se tiene:

sup{3 : r Q, r 2}
r

6
5

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

=
Para a

1
2

= 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.

23 .

ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.

Вам также может понравиться