EL CONJUNTO .

Se llama conjunto de nmeros reales al conjunto que es la unin del conjunto de los nmeros racionales con el conjunto de los nmeros irracionales .Es decir: = Afirmamos: * Si x * Si x x x x

, entonces x se llama real racional. , entonces x se llama real irracional.

EL MTODO AXIOMTICO DEL SISTEMA

El conjunto de nmeros reales es un conjunto c,... etc, no vaco cuyos elementos se denotan con a, b,

llamados nmeros reales, en donde se establecen una relacin de igualdad, dos

operaciones internas denotados con + y , adems se definen las relaciones menor (<) y menor o igual ( ) que despus stas dan a valor absoluto. Relacin de igualdad en . Si escribimos a = b en , significa que a y b son smbolos distintos que representan a un mismo nmero real. Respecto a la igualdad de nmeros reales, se cumple: E1). a , a=a b=a b=c a=c (Reflexiva) (Antisimtrica) (Transitiva) la estructura de campo ordenado provisto de la mtrica del

E2). a = b E3). a = b

A continuacin pasamos a usar el mtodo axiomtico para la construccin de Sistema Adicin y multiplicacin en Definicin 1.- La adicin en

es una operacin denotada con +, tal que a cada par (a, b) de llamado suma de los reales a y b. Es decir:

x , se le hace corresponder el elemento a + b de +: x (a, b) a+b

Definicin 2.- La multiplicacin en de

es una operacin denotada con , tal que a cada par (a, b) llamado producto de los reales a y b.

x , se le hace corresponder el elemento a . b de

Es decir:

: x (a, b)

a.b

Axiomas de adicin y multiplicacin en La adicin y multiplicacin en A1). (a + b) + c = a + (b + c), A2). a + b = b + a, A3). Existe 0 A4). a, b, a

satisface los siguientes axiomas: a, b, c (Axioma de Asociatividad) (Axioma de Commutatividad) (0 es neutro aditivo) tal que a + (-a) = 0 (Opuesto aditivo) (Asociatividad) (Commutatividad) a tal que a . a = 1
-1

/ 0 + a = a + 0, , existe (-a) a, b, c

Para cada a

m1). (a . b) . c = a . (b . c), m2). a . b = b . a, a, b

m3). Existe 1 en , 1 m4). Para cada a

0 tal que 1 . a = a,
-1

(1 es neutro multiplicativo) (Inverso multiplic.)

0 en , existe a

Axiomas de distributividad d1). d2). a (b + c) = a.b + ac (b + c ) a = b.a + c.a, para cada a, b, c en

Definicin.- Dados a y b en , la diferencia de a y b se denota con a b y se define: a b = a + (-b) PROPIEDADES BSICAS DE LA ADICIN Y MULTIPLICACIN EN Teorema 1. (MONOTONA) a=byc Demostracin: (A) Sabemos a + c = a + c, Como a = b (B) c a = c a, ca a + c en (por el principio de sustitucin P.S) ca=cb (por P.S) .

a c a c (A) c.a c.b (B)

a+c=b+c

Teorema 2. (CANCELACIN) (A) (B) a + c = :b + c, c a = c b, c 0 a=b a=b

Demostracin: a. a+c=b+c (a + c ) + (-c) = (b + c) + (-c) a + (c + (-c)) = b + (c + (-c)) a+0=b+0 a=b 0 en , existe c-1 en c-1 (c a) = c-1 (c b) (c .c) a = (c .c) b 1a=1b a=b Propiedades adicionales:. 1. Para cada a 0 = -0 a0=0 2. El neutro aditivo 0 de R, es nico 3. Si a , entonces (-a) es nico y0 , se cumple:
-1 -1

(por A 1 de teorema 1) (por Axioma 1) (por Axioma 4) (por Axioma 3)

b.

Como c ca=cb

tal que c-1.c = 1, entonces: (por B del Teorema 1) (por m1) (por m4) (por m3)

4. Para todo a, b

, se cumple: a (-b) = - (a b) RELACIN MENOR EN

En

se puede establecer una relacin menor (<) sujetos a los siguientes axiomas y definiciones:

1. Existen elementos positivos en . 2. Si a , entonces se cumple una y slo una de las proposiciones siguientes:

a = o, a es positivo, -a es positivo. 3. a positivo, b positivo 4. a positivo, b positivo 5. a < b 6. a < b b<c a<c a + b positivo. ab es positivo.

a+c<b+c ac < bc

7. a < b y c positivo 8. si a, b en

, se cumple uno y slo uno: a < b, a = b, b < a; este axioma se conoce con el

nombre de Ley de Tricotoma.

Definicin 1.- Se dice que el nmero real a es menor que el real b, si y slo si b a es positivo. En smbolos: a< b, si y slo si b a es positivo

OBSERVACIONES: 1. 2. Si a es menor que b, escribimos a < b. En caso contrario se escribe a<b. si a < b, escribiremos b > a para indicar tambin que b es mayor que a. Es decir: a < b b > a. PROPIEDADES BSICAS DE LA RELACIN MENOR EN TEOREMA 1. Si a es positivo, entonces a > 0. Demostracin: Si a es positivo a 0 = a + (-0) =a+0 =a (pues 0 = 0) con a positivo

Como a 0 es positivo, entonces 0 < a, es decir a > 0. TEOREMA 2. Si a > 0, entonces a es positivo. Demostracin: Ejercicio para el lector. RELACIN MENOR O IGUAL EN Definicin.- Se dice que a es menor o igual que b en , si y slo si a<b o a = b. Es decir: a NOTA: 1. 2. a b, se lee: a es menor o igual que b. b, se escribe b a para indicar que b es mayor o igual que a. b a<b a=b

Si a

Definicin.- Se dice que un nmero real a es no negativo, si y slo si a 0. Definicin.- Se dice que un nmero real a es no positivo, si a TEOREMA a b, si y slo si existe c Demostracin: a b a<b 0.

0 en , tal que a + c = b.

a=b a=b a = b + 0, c = 0

b a es positivo b a = c; c > 0 en b = a + c, c c 0 en

0 en , tal que a + c = b

TEOREMA La relacin (1) (2) (3) a a a b b

en , es de orden, es decir se verifica: ,a b b a c a a=b a c (Reflexiva) (Antisimtrica) (Transitiva)

NOTA: Si a b b c, entonces escribimos a b c.