El cuerpo de los nmeros Reales

Fernando Flores Bazn

fflores@ubiobio.cl

Universidad del Bo Bo-Facultad de Ciencias

Departamento de Matemtica
Carrera de Ingeniera Civil Qumica

right-logo

Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

03-07 marzo

1 / 13

Contenido

Nmeros Reales

Relacin de Orden

Ecuaciones

right-logo

Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

03-07 marzo

2 / 13

Nmeros Reales

Introduccin
Los nmeros reales; es el conjunto formado por los nmeros
racionales, denotado por y los nmeros irracionales denotado por ,
es decir = . Debemos comentar adems que el conjunto
contiene a los conjuntos y . Se define en las operaciones
binarias de suma (+) y multiplicacin () como:
Para la multiplicacin

Para la suma
(+) :
(x, y)

() :

(+)(x, y) = x + y

(x, y)

()(x, y) = x y

right-logo

Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

03-07 marzo

3 / 13

Nmeros Reales

Axiomas de los Nmeos Reales ( )

Para la Suma
S1 a, b , a + b

Clausura

S2 a, b , a + b = b + a

Conmutativa

S3 a, b, c , (a + b) + c = a + (b + c)

Asociativa

S4 a , ! 0 : a + 0 = a

Neutro Aditivo

S5 a , ! a : a + (a) = 0

Inverso Aditivo

Para la multiplicacin
M1 a, b , a b

Clausura

M2 a, b , a b = b a

Conmutativa

M3 a, b, c , (a b) c = a (b c)

Asociativa

M4 a ! 1 : 1 a = a
M5 a , a = 0,

!a1

Fernando Flores Bazn (fflores@ubiobio.cl)

Neutro Multiplicativo
a a1

=1

El cuerpo de los nmeros Reales

right-logo

Inverso Multiplicativo
03-07 marzo

4 / 13

Nmeros Reales

Ley Distributiva
a, b, c : a (b + c) = a b + a c

Ley Distributiva izquierda

a, b, c : (a + b) c = a c + b c

Ley Distributiva derecha

Axioma de Orden
1

Ley de Tricotoma
Para cualquier x, y , uno y slo una de las expresiones
siguientes se cumple
x < y, x = y, x > y

Ley de Transitividad
Si x < y, y < z entonces x < z.
Ley de Monotona

Si x < y entonces z se cumple x + z < y + z.

Si x < y y z > 0 entonces xz < yz.
Si x < y y z < 0 entonces xz > zy.
Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

right-logo

03-07 marzo

5 / 13

Nmeros Reales

Axioma de Igualdad
1

x, y , se cumple que x = y x = y

x , x = x

reflexiva.

x, y , x = y = y = x

simetra.

x, y, z , x = y e y = z = x = z

transitiva.

Axioma del Supremo

Todo subconjunto no vaco (A = 0,
/ A ) de los nmeros reales,
acotado superiormente, tiene una menor cota superior llamada
tambin Supremo de A

right-logo

Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

03-07 marzo

6 / 13

Nmeros Reales

Observacin
1

El conjunto dotado con las operaciones de suma y

multiplicacin en conjunto con los axiomas de los nmeros reales,
constituye una estructura algebraica llamada cuerpo
conmutativo o campo.
El conjunto de los nmeros reales como campo ms el axioma
del supremo y los axiomas de orden constituyen un campo
ordenado completo

right-logo

Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

03-07 marzo

7 / 13

Nmeros Reales

Principios de Sustitucin
1

De la Adicin de los nmeros reales

Si x = y y w = z entonces x + w = y + z, x, y, w, z

De la Multiplicacin de los nmeros reales

Si x = y y w = z entonces x w = y z, x, y, w, z

Teorema (De Igualdad)

1

Para la Suma
Si x = y entonces x + z = y + z, x, y, z

Para la Multiplicacin
Si x = y entonces x z = y z, x, y, z
right-logo

Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

03-07 marzo

8 / 13

Nmeros Reales

Teorema (De Cancelacin)

1

Para la Suma
Sean x, y, z ; si x + z = y + z entonces x = y

Para la Multiplicacin
Sean x, y, z ; si x z = y z, z = 0 entonces x = y

Definicin
1

Sustraccin.
Para todo a, b a b = a + (b)

Divisin.
a
Para todo a, b , b = 0,
= a b1
b
right-logo

Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

03-07 marzo

9 / 13

Relacin de Orden

Definicin
1

Se define en una relacin de orden, menor que denotado por

< del modo siguiente:
x, y : x < y

Se define en una relacin de orden, mayor que denotado por

, > del modo siguiente:
x, y : x > y

Para cualquier x se cumple una de las tres afirmaciones

x = 0, x > 0, x < 0
right-logo

Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

03-07 marzo

10 / 13

Relacin de Orden

Definicin
1

Una desigualdad es una proposicin donde aparece la relacin

menor que, mayor que, menor o igual que, mayor igual que,
(<, >, , )

Sea x , se dice que x es positivo si x > 0

Sea x , se dice que x es negativo si x < 0

x y si y slo si x < y x = y

x y si y slo si x > y x = y

right-logo

Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

03-07 marzo

11 / 13

Relacin de Orden

Observacin
1

Segn la definicin de la relacin de orden x > 0, se define el

conjunto de los reales positivos denotado por + , como
+ = {x : x > 0}

quiere decir que x +

Segn la definicin de la relacin de orden x < 0, se define el

conjunto de los reales negativos denotado por , como
= {x : x < 0}

quiere decir que x

= + {0}.

El conjunto + y es un subconjunto de
right-logo

Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

03-07 marzo

12 / 13

Ecuaciones

Teorema
1

Sean a, b entonces a b = 0 a = 0 b = 0

a2 = b2 a = b a = b

Corolario
1

Si se tiene x + a = b se concluye que x = b a, si representa una

ecuacin que depende de x la solucin sera b a
b
Si se tiene ax = b se concluye que x = , si esta representa una
a
b
ecuacin que depende de x la solucin sera
a

right-logo

Fernando Flores Bazn (fflores@ubiobio.cl)

El cuerpo de los nmeros Reales

03-07 marzo

13 / 13