NUMEROS REALES

I. NUMEROS NATURALES. Los nmeros mas simples y que a su vez fueron conocidos primero son los nmeros naturales que se significan con la letra N: 1,2,3,4... Entre los nmeros naturales se definen las operaciones de suma y multiplicacin. Para la suma(+) y multiplicacin (*) o ( ) los nmeros naturales satisfacen los siguientes axiomas: 1.-Conmutativa de la suma. a + b =b + a 2.-Asociatividad de la suma (a + b) + c = a + (b + c ) 3.-Conmutativa de la multiplicacin a * b = b * a 4.-Distributiva de la multiplicacin c(b + a) = c * b +c * a con respecto a la suma. 5.-El conjunto N es cerrado a la si a + b = c entonces c pertenece a N operacin suma 6.-El conjunto N es cerrado a la si a * b = c entonces c pertenece a N multiplicacin 7.-Unicidad de la suma si a = a` y b = b se tiene: a + b= a+ b 8.-Unicidad de la multiplicacin a * b = a* b 9.-Asociatividad de la multiplicacin (a * b) * c = a * (b * c) Tambin entre los nmeros naturales se cumplen las leyes de la cancelacin: si a + b = c + b, entonces a = c (cancelacin de la suma). si a * b = a* c, entonces b = c (cancelacin de la multiplicacin). I.1. POSTULADOS DE PEANO: Los cinco axiomas siguientes conocidos como postulados de Peano por el matemtico italiano que los enuncio en 1899, se pueden establecer como sigue: El conjunto N de los nmeros naturales es tal que: i) 1 pertenece a N ii) Para cada n pertenece a N existe un nico n* que pertenece a N, llamado el siguiente de N. iii) Para cada n pertenece a N se tiene que n* es diferente a 1.
1

iv) Si m , n pertenecen a N y m* = n* , entonces m = n v) Todo subconjunto S de N que tenga las propiedades: a) 1 pertenece a S b) k pertenece a S implica que k* pertenece a S es el mismo conjunto N. NOTA: Los postulados de Peano establecen las propiedades intrnsecas de los nmeros naturales. I.2. ORDEN EN N. Cuando hablamos de cantidades es frecuente efectuar comparaciones y decimos, por ejemplo ; que cierta cantidad es menor que otra. Puesto que los nmeros naturales nos sirven para expresar cantidades, es necesario definir la relacin menor que en N. Decimos , por ejemplo, que 3 es menor que 5. Si observamos que existe un numero natural , en este caso el 2, tal que: 3+2=5 podemos establecer, a partir de la adicin, una definicin para la relacin menor que , que coincida con la idea intuitiva que de ella tenemos. Los nmeros naturales satisfacen la siguiente propiedad , llamada ley de la tricotoma. Teorema Si m y n son nmeros naturales cualesquiera, entonces se verifica una y solo una de las siguientes proposiciones: i) n < m ii) n = m iii) m < n

Este teorema establece un orden en el conjunto N ya que: 1+1=2 2+1=3 3+1=4 4+1=5 por lo que por lo que por lo que por lo que 1<2 2<3 3<4 4<5

y podemos representar grficamente los nmeros naturales como puntos igualmente espaciados sobre una recta, a la que llamamos recta numrica :

* * * * * * 1 2 3 4 5 6 ... En ella , cuando m < n se tendr que el punto que representa a m se encuentra a la izquierda del que representa a n.

II. NUMEROS ENTEROS.

Una ampliacin del sistema de los naturales la forma el sistema de lo nmeros enteros: ...-3,-2,-1,0,1,2,3... Los nmeros enteros se pueden construir a partir de los naturales, considerando parejas de naturales(a , b): a y b elementos de N, entre los cuales se define la siguiente relacin de equivalencia o igualdad: (a , b) =(c , d) si y solo si a +d = c + b Que esta relacin de equivalencia se demuestra fcilmente a que cumple con las tres condiciones para hacerlo: a)Reflexividad: (a , b) = (a , b) ya que a + b = b + a b)Simetra: si (a , b) = (c , d) entonces a + d = b + c (I) y (c , d) = (a , b) pues de (Y): c + b = b + a c)Transitividad: si (a , b) = (c , d) y (c , d) = (f , g) entonces: a + d = b + c (1) yc+g=d+f (2) (1) + (2): a + d + c + g = b + c + d + f (3) cancelando en (3) los trminos comunes: a+g=b+f por lo tanto: (a, b) = (f , g) Al conjunto de los nmeros enteros se denomina Z y satisface todos los axiomas dados sobre los nmeros naturales, definiendo la adicin y multiplicacin entre ellos de la manera siguiente:
3

suma: (a , b ) + (c , d) = (a + c , b + d) multiplicacin: (a , b) * (c , d) = (ac + bd , ad + bc)

II.1. PROPIEDADES BASICAS DE LAS OPERACIONES EN Z.

Los nmeros enteros constan del conjunto Z y dos operaciones binarias, la adicin y la multiplicacin que satisfacen los siguientes axiomas: Axioma 1. La suma de nmeros enteros es conmutativa, es decir , si a , b pertenecen a Z, entonces a+b=b+a Axioma 2. La suma de nmeros enteros es asociativa, es decir, si a , b, c pertenecen a Z, entonces (a + b) + c = a + (b + c) Axioma 3. Existe en Z un elemento neutro para la suma, el 0. Es decir, si a pertenece a Z. a+0 =0+a=a Axioma 4. Para cada a en Z existe en Z su inverso aditivo que se denota por -a . Esto es, a + (-a) = (-a) + a = 0 Axioma 5. El producto de nmeros enteros es conmutativo, es decir , si a , b pertenecen a Z entonces ab = ba. Axioma 6. El producto en Z es asociativo, es decir, si a , b , c pertenece a Z entonces (ab) c = a (bc). Axioma 7. Existe en Z un elemento neutro para la multiplicacin, el 1. Es decir, si a pertenece a Z a1 = 1a = a. Axioma 8. En Z el producto distribuye a la suma, es decir, si a , b , c pertenecen a Z entonces a(b + c) = ab + ac. (a + b)c = ac + bc.

II.2 EL ORDEN EN Z.

Otro aspecto muy importante en el anillo de los nmeros enteras es el orden. Sabemos cuando un numero es mayor que otro. Ahora precisaremos este concepto. Los nmeros naturales N forman un conjunto de los nmeros enteros: N = {1,2,3,...} c Z. Destacaremos las tres propiedades bsicas siguientes: Axioma 1: La suma de dos nmeros naturales es un numero natural. Axioma 2: El producto de dos nmeros naturales es un numero natural. Axioma 3: Si a es un numero entero se cumple una y solamente una de las tres condiciones siguientes: i) a es un numero natural; ii) a = 0; iii) -a es un numero natural. Dicho de otra manera, un entero puede ser o bien natural, o bien cero, o bien su inverso aditivo es natural. Usando el subconjunto N de Z y estas tres propiedades, podemos definir el orden y demostrar las propiedades bsicas del orden y las que de ellas se deduzcan. Definicin: Si a y b son nmeros enteros, decimos que a es mayor que b si a-b es un numero natural. En smbolos, a > b <=> a - b pertenecen a N. Observemos que, de esta definicin se sigue que a > 0 <=> a pertenece a N. pues a - 0 = a. A los nmeros a tales que a > 0 se les llama positivos. As pues, los nmeros naturales son los enteros positivos. Demostraremos ahora, las propiedades de la relacin de orden mayor que. Proposicin 1 (propiedad transitiva) : Si a, b y c son enteros tales que a > b y b > c entonces a > c.

Demostracin. a > b significa, segn la definicin, que a - b pertenece a N. Analgicamente, como b > c, sabemos que b - c pertenece a N.Por el axioma 1, como a - b pertenece a N y b - c pertenecen a N tenemos que su suma (a - b) + (b - c) pertenecen a N. Pero (a - b) + (b - c) = a - c . Por lo tanto a - c pertenecen a N, lo que, segn la definicin significa que a > c . Proposicin 2: Si a es un numero entero, se cumple una y solamente una de las condiciones siguientes: i) a > 0; ii) a = 0; iii) a < 0. Proposicin 3: Si a , b y c son enteros y a > b, entonces a + c > b + c. Demostracin. Puesto que a > b, sabemos que a - b pertenecen a N. Ya que a - b = (a + c) - (b + c) tenemos que (a + c) - (b + c) pertenecen a N. II.3. ORDENAMIENTO Y GRAFICA ENTRE LOS ENTEROS. A los nmeros enteros se les puede considerar geomtricamente como puntos dispuestos en una lnea recta y equivalentes entre si, esta forma de ordenar los nmeros sugiere la relacin de desigualdad: < , as a< b (a menor que b o b mayor que a) indica que el numero b esta a la derecha de a en la figura, o que a esta a la izquierda de b, o lo que es lo mismo, que b - a es un numero a la derecha del cero o positivo. Se definen como nmeros positivos los que estn a la derecha del cero y los nmeros negativos como los que estn a la izquierda del cero. El cero mismo no es ni lo uno ni lo otro.

* ...-6

* -5

* -4

* -3

* -2

* -1

* 0

* 1

* 2

* 3

* 4...

Esta relacin de orden la cumplen los nmeros naturales y , como se vera, los nmeros fraccionarios y los reales. Otra forma de definir la relacin de desigualdad se tiene con: a < b si y solo si b = a + u , siendo u un numero positivo.

Se postulan como propiedades de los nmeros positivos las siguientes: (I) Si a y b son nmeros positivos, a + b es positivo (II)Si a y b son positivos, ab es positivo (III)Dado un numero a se satisface una y solo una de las tres condiciones siguientes: i)a es positivo ii)a es cero iii)-a es positivo Por lo dicho, a > 0 implica que a es positivo. La relacin de desigualdad satisface los siguientes teoremas: Teorema 1: Si a < b, para todo numero c se cumple: a+c<b+c Demostracin. a < b, si y solo si b - a > 0 b - a + (c - c) > 0 b-a+c-c>0 b+c-a-c>0 y b+c>a+c

Teorema 2: Si a< b y c > 0 se cumple: ac < bc. Demostracin. a < b si y solo si b - a > 0, c > 0 y, por lo tanto, (b - a) c > 0 bc - ac > 0 bc > ac

Ley de la tricotoma: Para dos nmeros enteros a y b una de las tres relaciones siguientes se cumple: a<b o b<a o a = b.

III. NUMEROS RACIONALES.

Los nmeros enteros aparecen como una extensin de los nmeros naturales para resolver en cualquier caso la ecuacin: a+x =b a y b en N

En forma completamente similar , los nmeros racionales resultan de una extensin de los nmeros enteros para resolver la ecuacin : ax = ba , b en Z , a es diferente a 0 Los nmeros racionales se construyen con parejas de enteros (c,d) c y d en Z, d es diferente a 0, que satisfacen la relacin de igualdad siguiente: (I) (c,d) = (f,g) si y solo si c * g = d * f

La suma y multiplicacin entre nmeros racionales se definen por : (II) (III) (a,b) + (c,d) = (ad + bc, bd) (a,b) * (c,d) = (ac, bd)

Usualmente se separan las parejas de nmeros enteros que representan racionales por una lnea diagonal u horizontal: (a,b) =a/b (3,5) = 3/5 Al conjunto de los nmeros racionales se les denomina con la letra Q y se trata de un campo construido sobre los nmeros enteros, y satisface todos los axiomas y postulados de los nmeros enteros. 1.-La divisin de a entre b se define como multiplicar a por el inverso multiplicativo de b: a/b= ab a la -1 por lo dicho no se puede dividir entre cero y los racionales son la divisin de enteros entre si, de tal manera que 1/a= a a la -1 para toda a en Z, a es diferente a 0

Otra forma de ver la gnesis de los nmeros racionales es estableciendo la condicin de que en un sistema numrico tal, la ecuacin: ax = ba, b en Z, siempre tenga solucion. a es diferente a 0

El ordenamiento entre los nmeros racionales se establece a partir del ordenamiento entre los nmeros enteros, por la definicin: a/b > 0 si y solo si ab > 0 c/d > a/b si y solo si c/d - a/b > 0 y c/d - a/b = cd - ad/bd y, por lo tanto, c/d - a/b > 0 si y solo si cb - ad / bd > 0 y esto ultimo solo si (cb - ad) bd > 0 es decir, si se cumple cb^2d > ad^2b. NOTA: El ordenamiento entre los nmeros entero y los nmeros racionales resulta pues del ordenamiento entre los nmeros naturales.

III.1. LA IGUALDAD EN Q.

Dando el ejemplo de el numero por el que debemos multiplicar 12 para obtener 28 puede representarse como: 28/12, -14/-6, 7/3, etc donde la ultima se conoce como su mnima expresin. En general, si x = a/b es un numero racional con a,b que pertenecen a Z y b > 0 , y el nico factor comn de a y b es el numero uno, decimos que a/b es la mnima expresin del numero racional x. De manera reciproca, si x =a/b es un numero racional y k es diferente a 0 es un numero entero, ka /kb representa tambin al numero x. De acuerdo con lo anterior, resulta natural considerar que dos nmeros racionales a /b y c /d son iguales cuando

a = kc y b = kd o cuando c = ka y d = kb para algn k perteneciente a Z, k es diferente a 0. Si se cumple alguna de estas dos condiciones se tendr que ad = bc y viceversa, la cual establece la igualdad de nmeros racionales en trminos de la igualdad de nmeros enteros. III.2.SUMA Y PRODUCTO EN Q. Para definir estas operaciones necesitamos dos lemas. Lema 1: (a/b = a /b y c / d = c /d) =>ad + bc /bd = ad + bc / bd Lema 2: (a /b = a / b y c /d = c /d) => ac / bd = ac / bd Ahora podemos definir a /b + c /d = ad + bc / bd a/b * c /d = ac / bd Los lemas anteriores muestran que estas son definiciones autenticas. Si denotamos a /b y c / d de otras maneras, la suma y el producto que se obtiene con las frmulas anteriores son los mismos. III.3. EXPRESION DECIMAL DE UN NUMERO RACIONAL.

Se ha definido al numero racional a/b como el cociente de los nmeros enteros a y b , siempre que b sea diferente que 0. Si consideramos el numero racional 7/4, por ejemplo, y efectuamos la divisin de 7 entre 4 como se acostumbra en aritmtica, obtenemos: 7/4 = 1.75

10

A 1.75 se le conoce como la expresin decimal del numero racional 7/4. Todo numero racional tiene una expresin decimal, por ejemplo 3/8 =0.375 7/33 =0.212121 149/132 =1.12878787 Se dice que una expresin decimal es peridica cuando un dgito, o grupo de dgitos, se repite indefinidamente a partir de un cierto lugar a la derecha del punto decimal. En general, respecto a la expresin decimal de un numero racional podemos establecer el siguiente enunciado. Todo numero racional tiene una expresin decimal peridica. Para demostrar el enunciado anterior requeriremos de otro teorema conocido como ALGORITMO DE LA DIVISION PARA NUMEROS ENTEROS . La ecuacin 3x = no tiene solucin en Z, ya que no existe un numero entero x que multiplicado por 3 de como resultado 7. A cambio, podemos encontrar los nmeros enteros 2 y 1 tales que 3(2) + 1 = 7

En general , siempre es posible hallar esos dos nmeros de acuerdo con lo que establece el siguiente teorema.

Algoritmo de la divisin para los nmeros enteros: Dados dos nmeros enteros a y b , con b > 0 , existen dos enteros nicos q y r , con 0 menor o igual a cero r < b , tales que a = bq + r

11

III.4 GRAFICA DE LOS NUMERO RACIONALES

Se presentan dos casos de grfica. PRIMER CASO: p /q = 1/2, 1/4, 1/8, 1/16, ...

1.-Se considera un segmento unitario. 2.-Con el comps de una abertura adecuada, se traza dos arcos a partir de uno y otro extremo del segmento unitario. 3.-Los puntos de interseccin de los arcos se unen mediante una lnea que corta al eje , donde se encuentra la representacin grfica del numero racional

+ 0

+ 1

1/16 1/8

12

SEGUNDO CASO : p/q = , 1/3, ,1/5,... 1.-Se considera un segmento unitario. 2.-Por el extremo izquierdo se traza una recta de apoyo, con un ngulo agudo con respecto al eje. 3.-Sobre la recta de apoyo se construye una escala natural, segn sea el numero de partes en que se va a dividir la unidad. 4.-El extremo de la recta de apoyo se une con el extremo del segmento por dividir mediante el trazo de una lnea. 5.-Por paralelas se obtiene la divisin por partes iguales del segmento unitario.

1)

2)

0 3) 4)

1/5

2/5

3/5 4/5 1

IV. NUMEROS REALES.

El sistema de nmeros reales consiste en un conjunto de elementos denominados nmeros reales y dos operaciones conocidas como adicin y multiplicacin. La operacin de la adicin se representa con el smbolo + y la multiplicacin, por * . Si a y b son elementos del conjunto R, a + b designa la suma de a y de b, y a*b denota su producto. La operacin de la sustraccin se define con la ecuacin a - b = a + (-b) La operacin de la divisin se define con la ecuacin
13

a / b = a * b^-1

El conjunto de nmeros reales se puede describir completamente por un conjunto de axiomas , con estos podemos deducir las propiedades de los nmeros reales de las cuales se siguen las conocidas operaciones algebraicas de adicin , sustraccin , multiplicacin y divisin , as como los conceptos algebraicos de solucin de ecuaciones, factorizacion , etc. Un numero real puede ser positivo, negativo , o bien, cero, y cualquier numero real se puede clasificar como racional o irracional. Un numero racional es cualquier numero que se puede expresar como la razn de dos enteros. Los nmeros racionales comprenden: -Los enteros(positivos , negativos y cero) ...-5,-4,-3,-2,-1,0,1,2,3,4,5,... -Las fracciones positivas y negativas, tales como 2/4 -4/5 7/9 86/4 18/3 -Los decimales conmensurables positivos y negativos , tales como 2.36 = 236/100 -0.003251 =-3251/1000000 -Los decimales inconmensurables peridicos positivos y negativos , tales como 0.333 ... = 1/3 -0.549549549... =-61/111 Los nmeros reales que no son racionales se denominan irracionales. Estos son decimales inconmensurables y no peridicos ; por ejemplo, raz de 3 = 1.732..

IV.1. GRAFICA DE LOS NUMEROS REALES.

A los nmeros de la forma raz de n se les denomina nmeros irracionales. DEMOSTRACION GRAFICA DEL TEOREMA DE PITAGORAS. Sea: Tan a = 2/3 Primera parte: 1.-Formese un cuadriltero que tenga por lados la suma de los catetos del tringulo rectngulo.

14

2.-A partir de cualquier vrtice del cuadriltero, actese los catetos a y b en el sentido positivo , con la condicin de que ningn cateto se repita a continuacin de si mismo. 3.-Uniendo los extremos de los catetos a y b frmese cuatro tringulos rectos. 4.-Las hipotenusas de los tringulos formados son perpendiculares entre si, dando lugar a un cuadriltero de arrea c^2.

c^2

Segunda parte: 1.-Formese un cuadriltero , que tenga por lados, la suma de los catetos de un tringulo rectngulo. 2.-Acotese a partir de un vrtice a uno y otro lado. 3.-Por los puntos de unin de los segmentos a y b trace rectas perpendiculares a los segmentos ab. 4.-Al trazar las rectas perpendiculares a los lados se obtiene dos cuadrados que tienen por rea a^2 y b^2 y cuatro tringulos rectngulos, lo cual viene a demostrar grficamente el teorema de pitagoras. Demostracin:; graficar en un eje raz de 2. a) Consideremos a la raz como la hipotenusa de un tringulo. b) Sustituyendo en el teorema tenemos que el radicando es igual a la suma de los cuadrados de a y b. c) Se descompone el radicando en dos sumandos, de tal manera que uno sea la unidad y el otro el resto. d) A cada sumando se le extrae raz cuadrada, obteniendo valores de a y b que son las longitudes de los catetos. 2=c : Sustituyendo en el teorema 2^2=a^2 + b ^2 2=1^ 2 + 1 ^ 2. Donde: a=1 b=1 c=2

15

IV. 2 EL ORDEN EN R.

Un orden total en un conjunto S es una relacin > en S que satisface las condiciones: a) Para cualesquiera r, s, t pertenecen S, (r > s y s > t ) => r > t (transitiva) b) Para cualesquiera r, s pertenecen a S se cumple una y solo una de las afirmaciones siguientes: r = s , r > s, s > r (tricotoma).

BIBLIOGRAFIA.

-CARDENAS Humberto, Lluis Francisco, Algebra Superior,

3ra Ed.Editorial TRILLAS.

-LEITHOLD Louis , Calculo con Geometria Analitica , Pepperdine University. Ed.HARLA . Mexico D;F.

-AUDRY SANCHEZ Javier ,Calculo Diferencial e Integral , Ed.TRILLAS.

-SOLAR E. y SPEZIALE de G.L, Algebra I, Ed.LIMUSA,Facultad de ingenieria, U.N.A.M.Mexico, 1988.

16

INDICE.

NUMEROS REALES.
I.Numeros Naturales. I.1.Postulados de Peano. I.2.Orden en N. II.Numeros Enteros. II.1.Propiedades bsicas de las operaciones en Z. II.2.Orden en Z. II.3.Ordenamiento y grfica entre los enteros. III.Numeros Racionales. III.1.La igualdad entre nmeros racionales. III.2.Suma y producto en Q. 1. 1. 2. 3. 4. 5. 6. 8. 9. 10.

17

III.3.Exprecion decimal de un numero racional. III.4.Grafica de nmeros racionales. IV.Numeros reales. IV.1.Grafica de nmeros reales. IV.2.El orden R.

10. 12. 13. 14. 16.

18