Академический Документы
Профессиональный Документы
Культура Документы
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.
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, 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
numero
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
una de las
x R se verifica una y solo
proposiciones:
x R+ x R+ x = 0.
(O.2)
(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.
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.
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)
c)
d)
e)
10 .
ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.
Numeros
Reales.
Valor absoluto . Para x
sigue
Si x
es claro que | 4|
De la definicion
= 4, |4| = 4, |a2 | = a2 y
|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.
x, y, z R.
e)
notacion
f) Para a
g) Para a
> 0, |x| = a x = a x = a;
h) Para a
i)
|x + y| |x| + |y|;
j)
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
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.
n N y ap = an =
Z, p < 0, entonces p = n,
1
an .
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
1
n
n
raz n-esima
de a. b =
a=a .
iv) Si a
FCFM. UdeC.
14 .
ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.
Numeros
Reales.
Potencias y races.
Definici on.
v) Si a
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
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)
b)
c)
d)
e)
FCFM. UdeC.
17 .
ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.
Numeros
Reales.
x S, 1) x s,
x S,
FCFM. UdeC.
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.
Ejemplo. Sea S
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
FCFM. UdeC.
19 .
ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.
Numeros
Reales.
Teorema. Axioma del nfimo.
Todo subconjunto S de R, S
nfimo.
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
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
ii). ax
El conjunto Aa
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
= 4 4 4 = 64.
23 .
ACQ/MWC/FLG/ABC/LNB/GAC/MSS/ESF.