PROPIEDADES ALGEBRAICAS.

Para nuestros propsitos, entenderemos por un nmero real a todo nmero que pueda representarse mediante un decimal de infinitas cifras o un nmero finito de ellas. (P/E) 3 = 3.0 = 0.142857142857 = 0.5 = 3.14159 = 1.414012 = 2.71822

Al conjunto de todos los nmeros reales lo designaremos por IR y tiene los siguientes trminos distinguidos: 0 : llamado nmero real cero. 1 : llamado nmero real uno.

Definamos las siguientes leyes de composicin interna I) +: IRxIR (a,b) IR adicin o suma a+b

II) I) II)

: IRxIR IR (a,b) ab Nos dice que a+b es un nmero real nicamente determinado. Nos dice que ab es un nmero real nicamente determinado.

Los nmeros reales satisfacen los siguientes axiomas: 1) IR es un conjunto y 0 IR, 1 IR y 0 1 2) Axioma de clausura de la adicin. 3) Axioma de clausura de la producto.

4) Axioma de la suma. i) (a + b) + c = a + (b + c) a,b,c IR (Asociatividad) ii) a+b=b+a a,b IR (Conmutatividad) iii) a+0=0+a=a a IR (Propiedad del elemento neutro) iv) a IR, -a IR tq a + (-a) = (-a) + a = 0 (Propiedad inverso aditivo) 5) Axioma de la suma. v) (a b) c = a (b c) a,b,c IR (Asociatividad) vi) ab=b a a,b IR (Conmutatividad) vii) a 1 = 1 a = a a IR (Propiedad del elemento neutro) -1 viii) a IR {0}, a IR tq a a-1 = a a-1 = 1 (Propiedad del elemento inverso). 6) a, b, c IR se tiene que: a (b + c) = ab + ac. Observacin: Es claro que los axiomas de clausura no son tan evidentes. (P/E) P = {n / n es impar} es claro que si a P, b P a+b P.

Observacin: Es claro que los elementos distinguidos 0 y 1 son nicos. En efecto si 0` tq a + 0`= a , a Se tiene que: 0 = 0 + 0`= 0`+ 0 = 0`.

Anlogamente se demuestra la unicidad del elemento neutro. Observacin: Si y IR es el inverso aditivo de x es claro que: x+y=0 x = -y o sea x = - (-x)

y = -x En consecuencia y = -x

Anlogamente la caracterizacin del inverso multiplicativo de xy = x-1 y = x-1 x y = 1 , x = y-1 , x, y x, y IR {0} IR {0}

x = ( x-1)-1 , Teorema: x, y

x, y

IR {0}

IR. Se tiene:

a) (x + y) = (-x) + (-y) b) (xy)-1 = x-1 y-1 Demostracin: trivial.

Observacin: Debido a que verifica todos los axiomas dados anteriormente se dice que provista de las operaciones suma y producto es un cuerpo: ( , , +) En general todo conjunto que posea dos operaciones que cumplan todos los axiomas anteriormente sealados se dice que es un cuerpo. Observacin: Por comodidad de notacin en adelante escribiremos: a + (-b) = a b Teorema: a , ab-1 = a : b = , b0.

IR, se tiene a 0 = 0 y (-1) a = -a

Demostracin: 1) Es claro que 0 + 0 = 0 en consecuencia a 0 = a(0 + 0) = a0 + a0 por unicidad del elemento neutro se tiene a0 = 0. 2) Es claro que a IR a + (-a) = 0 por unicidad inverso aditivo a + (-1) a = a( 1 +(-1)) = a 0 = 0 (-1)(a) = -a

Corolario: Si a, b son nmeros reales positivos cualesquiera entonces: 1) a (-b) = - (ab) 2) (-a) (-b) = a b Demostracin: Escribiendo (-b) = (-1)(b), (-a) = (-1)a y (-b) = (-1)b y ocupando las propiedades de la multiplicacin se tienen las propiedades pedidas. Teorema: Si a, b Dem.: Trivial. Teorema: i) ii) iii) a, b, c se tiene que: IR tq a b = 0 a=0 b=0

a+b=c+b a=c a, b, c se tiene que: ab = cb a = c , b0. a, b, c se tiene a = b ^ b = c a = c. (Transitividad de la igualdad).

Dem.: i)

a = a + 0 = a + (b b) = (a + b) b = (c + b) b = c + (b b) = c+0=c ii) Trivial.

ab = cb ab cb = 0 b(a c) = 0 b = 0 (a c) = 0 como b 0 a c = 0 (Trivial) a = c.

iii) Ejercicio.

Teorema: a, b real b + (-a)-

la ecuacin x + a = b tiene por nica solucin

Dem.: Es claro que b +(-a) es solucin de la ecuacin x + a = b, en efecto b + (-a) + a = b Obtendremos que es nica. Sean x1 x2 soluciones de la ecuacin x1 + a = b x2 + a = b x1 = x2

Obs.: Cada nmero en

tiene un inverso aditivo nico. .

Basta tomar la ecuacin x + a = 0 para cualquier a Teorema: La ecuacin ax = b, a0; a, b Dem. (Tarea).

tiene una nica solucin.

Es claro que de acuerdo a la propiedad de clausura 1 + 1 = 2, 2 + 1 =3, 3 + 1= 4 , . . . = {1, 2, 3, 4, . . . }

-

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

--

U {0} U

Q={admiten representaciones

/ a, b

, b0}

Proposicin: No existe ningn nmero racional r tq r2 = 2. Dem.: Supongamos lo contrario Sin perdida de generalidad (p,q) 1. P2 =2q2 p no puede ser impar. En efecto p = 2k + 1, k Q tq ( )2 = 2

4k2 + 4k +1 = 2q2 2(2k2+2k) +1 = 2q2. El nmero 2(2k2 + 2k) + 1 es impar, en consecuencia p = 2k p2=4k2 2q2=4k2 q2 =2k2 o sea q tiene que ser par. (p, q divisibles por 2).

IRRACIONALES. IR = {representacin decimal infinita} = Q = Qc

Obs.: Sea n

+ y a

1) Si n es impar existe un nico real b tq a = bn. El nmero lo denotaremos por o por a1/n y se llama raz nsima de a. (P/E) =2, = -2.

2) Si n es par y a<0 no existe ningn real b tq a = bn. 3) Si n es par y a>0 existen dos reales tales que a = bn (estos reales son
de signo opuesto)

Def.: Si a es un nmero real cualesquiera y n un nmero entero positivo se define la potencia real de base a y exponente n por: an =aaa a n-veces.

Si n es un entero negativo entonces se define la potencia real de base a con a 0 y exponente n por: an = = -n veces.

Teorema: Si a, b 2) an:am= 4) an : bn =

; m, n

1) anam = an+m, a0. =an m, a0. = ( )n, a0, b0. 3) anbn = (ab)n, a0, b0. 5) (an)m = anm, a0. Dem.: 1) al 5) usar induccin matemtica. 6) Si m= n Def.: Si 1= = an n = a0. tq las expresiones siguientes tengan ( (-2)1/2)2 ((-2)2)1/2= = 2.

es racional y a

sentido y si ((a)1/n)m = (am)1/n anotaremos este caso real por am/n. ojo! Sentido ( )

Teorema: Si a, b y se cumple que todas las expresiones tienen sentido, por lo tanto: 1) 2) 3) 4) 5) am/n ar/s = am/n + r/s am/n : ar/s = am/n r/s am/n bm/n=(ab)m/n am/n : bm/n =(a/b)m/n (am/n)r/s = amr/ns

Obs.: Una aplicacin importante de la propiedad distributiva de los nmeros reales es la tcnica para factorizar y simplificar expresiones algebraicas. Tarea: Muestre que: i)

ii) Si a = 0.03157 b= 2.1432 Hallar el valor de:

Def.:Llamaremos ecuacin general de segundo grado en una variable a una expresin del tipo: ax2 + bx + c = o , a, b, c y a0.

Teorema: Si a, b, c i) ii) iii)

y a0. Entonces se tiene que: si slo si b24ac=0

ax2 + bx +c = 0 tiene una nica solucin en

ax2 + bx +c = 0 tiene dos solucines distintas en si slo si b24ac>0. ax2 + bx +c = 0 no tiene solucines en si slo si b24ac<0.

Dem.: ax2 + bx +c = 0 x1=

x2 + x +

=0

, x2 =

(ver teorema anterior).

Corolario: Si x1 , x2 son soluciones de la ecuacin ax2 + bx +c = 0 entonces: x1 + x2 =- , x1 x2 = .

(P/E) Si x1 , x2 son soluciones de la ecuacin ax2 + bx +c = 0. Hallar el valor de x12 + x22. Es claro que x12 + x22 = (x1 + x2)2 2x1x2 =( )2 2 Tarea: Dada la ecuacin x2 px + q = 0. Si x1 , x2 son sus races. Hallar el valor de: 1) x12 + x22 2) x13 + x23. =

Orden en

En el conjunto de los nmeros reales tenemos una relacin que abreviaremos por relacin relacin menor o igual que, que cumple los siguientes axiomas. Axiomas de orden: i) ii) iii) iv) x, y, z , se tiene que:

x x refleja (xy) (yx) x=y antisimtrica (xy)(yz) xz transitividad (xy) (yx) (totalidad)

Obs.: i) ii) iii) (relacin de orden parcial) Agregando iv) diremos que la relacin es un orden total.

Obs.: En lugar de escribir ab ab escribiremos a<b (a es menor que b). Se definen los siguientes subconjuntos de
+ -

= {x

/ x>0} llamado el conjunto de los nmeros reales positivos. / x<0} llamado el conjunto de los nmeros reales negativos.

= {x

0 0

+ -

= {x = {x

/ x0} no negativos. / x0} no positivos.

. 0 +

Valor absoluto: Recuerda que el valor absoluto de un nmero real x se denota por | | y se define como: x, x>0 | |= 0, x=0 -x, x<0 (P/E) | |=3, | | =-(-3)=3.

Teorema: i) ii) iii) iv) v)

x, y

| |0 | |=0 x=0. 2 2 | | =x =| | -| | x | | x . i) | | a ii) | | a -a x a x a x -a

Teorema:

Teorema:

x, y

. i) | ii) |

| =| || | || |+| | |

Obs.: Si a, b , entonces la distancia entre a y b est dada por | | naturalmente d(a,b) =|