Anda di halaman 1dari 79

Licenciatura en Docencia Tecnolgica Sistemas Numricos 1

Qu es un sistema matemtico?
Frecuentemente se identifica a la matemtica como la ciencia en la que hay que trabajar con nmeros, olvidando que en ella tiene cabida una infinidad de otros objetos, como son: puntos, figuras geomtricas, vectores, conjuntos, preposiciones lgicas, matrices, . . . A cada una de esas clases de objetos se destina alguna rama de las matemticas para su estudio. As, la Geometra estudiar a las figuras, la Aritmtica a los nmeros, el lgebra Lineal a las matrices y la Lgica a las proposiciones. En este volumen nos proponemos realizar un estudio de los nmeros con que aparece una diversidad de clases que podemos agruparlos: Naturales: Negativos: Irracionales: 0, 1, 2, 3, 4, 5, 6, . . . -1, -2, -3, -4, -5, . . . , log 2, etctera

Fraccionarios: , 1/3, 2/3, , , . . .

El estudiante aprende desde la primaria, que cada una de esas categoras de nmeros tiene reglas, algoritmos y propiedades que le son caractersticas, y que no pueden usarse al manejar los nmeros de otra clase diferente; as, el lograr el aprendizaje de la adicin de nmeros naturales no implica que se est en capacidad de realizar adiciones con nmeros fraccionarios, los cuales se manejan con reglas diferentes, propias de estos nmeros, y que hay que aprender nuevamente. De ah la necesidad de clasificar, a su vez, a los nmeros, segn la serie de conceptos, relaciones operaciones que se deseen manejar. Por otra parte, los nmeros tienen que ser sometidos a operaciones: adicin, sustraccin, multiplicacin, divisin, etc. Los nmeros se combinan para dar lugar a un resultado, de acuerdo con la regla de operacin, y es entonces cuando la Aritmtica comienza a ser verdaderamente til. Una operacin es una regla de combinacin tal que a un conjunto de objetos matemticos, le hace corresponder un resultado.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 2 Nuestra definicin anterior ha sido expuesta en trminos ms generales; las operaciones no slo se realizan con nmeros, sino con toda clase de objetos; as tenemos, como ejemplos de operaciones no numricas: La unin e interseccin de conjuntos La implicacin lgica (de proposiciones). La composicin de funciones, etctera. Al estudiar una operacin con todos los procesos que implica, es preciso establecer con claridad, a qu conjunto de objetos es aplicable esa operacin. Estrictamente hablando, no puede decirse que haya una operacin a la que pueda llamrsele suma. En efecto, la palabra suma se usa en matemticas para designar una enorme multitud de reglas de combinacin, variables; segn los objetos a que ella se refiera tenemos: 1. Suma de nmeros naturales 2. Suma de nmeros enteros 3. Suma de nmeros racionales 4. Suma de nmeros reales 5. Suma de nmeros complejos 6. Suma de vectores 7. suma de matrices 8. Suma lgica 9. Suma de racionales 10. Suma de polinomios, etctera. Al reparar nuestros reconocimientos sobre la materia, encontraremos que cada tipo de suma es diferente. Seguramente te encontrars con que algunas de las sumas puedes hacerlas puesto que ha sido estudiadas en primaria y en secundaria, y otras no. Te encontrars tambin con que algunas de las sumas te son relativamente fciles, en tanto que otras ya no lo son tanto. Y te encontrars por ltimo, con que las sumas no siempre dan el mismo resultado. Por ejemplo: Suma de nmeros naturales: Suma lgica 1+1=2 1+1=1

Licenciatura en Docencia Tecnolgica Sistemas Numricos 3 Esto, que sin duda te causar extraeza, se debe a que la palabra suma, as como un smbolo algebraico +, realmente tiene significados totalmente diferentes; en la primera suma, se est trabajando con nmeros naturales; en la segunda, con valores de verdad. Un sistema matemtico es la conjuncin de una operacin y un dominio. Si el dominio es un conjunto de nmeros, tenemos un sistema numrico. Por todo lo anteriormente dicho, se comprende que al estudiar una operacin es preciso definir con qu objetos matemticos vamos a trabajar. Al conjunto de objetos que son motivo de la operacin se le da el nombre de dominio.

Dominio de una operacin es el conjunto de objetos a los que esa operacin es aplicable. Ahora bien un sistema matemtico es el concepto que conjuga un dominio con una o varias operaciones: as la adicin de nmeros naturales es un sistema matemtico. La operacin es: adicin El dominio es: N (el conjunto de nmeros naturales) Ese sistema se designar as: (N, +). La multiplicacin de nmeros enteros es otro ejemplo de sistema matemtico, en el que: La operacin es: multiplicacin El dominio es: Z (el conjunto de los enteros) Y el sistema designado se representar as: (Z, x). En el presente tomo nos interesarn particularmente, los sistemas numricos; es decir, aquellos en los por que ahora el de dominio es un conjunto de nmeros vectores, desentendindonos sistemas son: El conjunto N de los nmeros naturales El conjunto Z de los nmeros enteros El conjunto Q de los nmeros racionales operaciones con conjuntos,

proposiciones, etc. Y mas an los conjuntos de nmeros con los que integraremos

Licenciatura en Docencia Tecnolgica Sistemas Numricos 4 El conjunto R de los nmeros reales El conjunto C de los complejos. Dentro del marco de esos conjuntos de nmeros, estudiaremos las operaciones, puesto que todo otro conjunto de nmeros que se adopte como dominio dar lugar a un sistema cuyas peculiaridades son fcilmente deducibles de las de estos sistemas bsicos. Hasta el momento, hemos manejado la palabra nmero como si ya se hubiese definido y no tuvisemos dificultades para comprender lo que esa palabra significa. Sin embargo, al tratar de explicar tal significado nos encontramos con que la tarea no es tan fcil como parece. El dar un significado rigurosamente lgico a ese concepto ha sido una de las ms laboriosas tareas del matemtico, por lo que no podemos intentarlo an. Gradualmente iremos integrando el contenido yacente en esa idea, hasta lograr tener una imagen panormica de ella. Por lo pronto, empezaremos por tratar de dar una respuesta a la siguiente pregunta: Qu es un nmero natural?

Cardinalidad de conjuntos
La operacin entre conjuntos recibe el nombre de coordinacin. Resumiendo brevemente lo expuesto, diremos que consiste en asociar cada elemento del primer conjunto con un elemento del segundo conjunto:

La operacin debe ser tal que:

Licenciatura en Docencia Tecnolgica Sistemas Numricos 5 I. A cada elemento del primer conjunto le corresponda uno y slo un elemento del segundo. II. A cada elemento del segundo conjunto le corresponda uno y slo un elemento del primero. Cuando dos conjuntos pueden coordinarse de tal manera que a ninguno de los elementos de ambos les falte su correspondiente pareja, se dice que esos conjuntos son coordinables.

a b c Coordinables

1 2 3

No coordinables La coordinacin es una relacin de equivalencia, permite clasificar a los conjuntos segn su especie de Cardinalidad

...

1 2

a b

... ...

1 2 3

a b c

Licenciatura en Docencia Tecnolgica Sistemas Numricos 6 Cada una de esas especies en que la relacin de coordinacin clasifica a los conjuntos recibe el nombre de clase de cardinalidad, y se le hace corresponder un smbolo, llamado nmero cardinal. El conjunto vaco es de la clase 0. Los conjuntos de la segunda lnea son de la clase 1, etctera. Clase de cardinalidad es el conjunto de todos los conjuntos que son coordinables entre s. Nmero cardinal es el smbolo de cada clase de cardinalidad.

Cuando deseamos saber la cardinalidad de un conjunto, usamos la sucesin de los nmeros cardinales. Sabemos que este proceso, al cual llamamos contar requiere que antes se haya memorizado dicha sucesin. 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14 . . . . S pasamos por alto ciertas consideraciones, demasiado tcnicas para ser analizadas aqu, los nmeros naturales cardinales pueden ser llamados tambin nmeros naturales. A la coleccin de todos ellos la designaremos con el smbolo N. N= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, . . . }

Postulados de Peano
Un matemtico italiano, Peano, estableci que todas las propiedades, relaciones y teoremas que constituyen la rama de las matemticas llamada Aritmtica, por lo menos hasta el dominio de los nmeros racionales, se pueden hacer derivar de un pequeo conjunto de propiedades bsicas que caracterizan al sistema N. A dichas propiedades bsicas se les llaman axiomas de Peano y son los siguientes: I. Existe en N un primer elemento.

Es decir, el primer axioma establece, por una parte que el conjunto de los nmeros naturales no es vaco, sino que al menos tiene un elemento. Por otra

Licenciatura en Docencia Tecnolgica Sistemas Numricos 7 parte, destaca a ese elemento designndolo con una importancia especial,

puesto que jugar un papel destacado en el desarrollo de la Aritmtica. El primer elemento puede ser 0 o 1, lo cual no tiene mayor importancia terica. Nosotros escogeremos como primer elemento al nmero 0.

II.

Todo nmero natural tiene un sucesor, nico, que tambin es un

nmero natural. En este segundo axioma se establece un ordenamiento, esto es, una sucesin. As, el sucesor de 14 es 15; el sucesor de 143 es 144, etc. La palabra sucesor se utiliza aqu para indicar al elemento que sigue despus de otro. El que sigue de 17 es 18. Por lo tanto, escogido un primer elemento automticamente queda generada una sucesin infinita:

... En la que ser necesario ir colocando un smbolo tras otro, tras otro. . . Al sucesor de un elemento n lo representamos as: sig(n). III. El primer elemento no es sucesor de ningn nmero natural.

Adoptado el 0, no podemos poner una sucesin en la cual ese nmero a presentarse. 0, 0, . . . no cumplir el III postulado, debido a que el segundo cero ser sucesor del primero. Tampoco se cumplira nuestro III axioma o postulado si eligisemos una sucesin de la forma: 0, 1, 2, 3, 0, 1, 2, 3, . . . (por qu?) IV. S dos nmeros tiene el mismo sucesor, esos nmeros son

iguales.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 8 O dicho de otro modo: dos nmeros diferentes no pueden tener el mismo sucesor. As, el nico nmero que tiene como sucesor al 14 es el 13. El axioma IV evita el que escribamos una sucesin as: 0, 1, 1, . . . por que en esa sucesin habramos violado el axioma IV, en efecto, el 1 sera sucesor de dos nmeros diferentes: o y 1. Tambin se violara el axioma IV si escribisemos una sucesin as: 0, 1, 2, 1 1, . . . (por qu?) Como comprenders, el axioma IV tambin se podra postular en los trminos: En la sucesin ordenada de los nmeros naturales no vuelve a repetirse. Como consecuencia de nuestros cuatro primeros axiomas, el conjunto N quedar integrado por una coleccin infinita de smbolos, a los que se les puede dar un ordenamiento lineal infinito, sin repeticiones. El carcter de infinito significa aqu que despus de cada elemento siempre habr otro nuevo; pero para manejar ese conjunto infinito ser necesario un axioma ms, que nos permita saber cundo tenemos integrado el conjunto N completo. V. Un conjunto C que contenga al primer elemento y al sucesor de

cada uno de sus elementos, contendr a todos los nmeros naturales. Veamos lo que esto significa. Imagnate que tratas de formar el conjunto C, tal como se describe en este axioma. Para empezar, tendramos que escribir el primer elemento: 0. Pero el conjunto C debe contener al sucesor de cada uno de los elementos; el sucesor de 0 es 1. As que: C= {0, 1, . . . } Pero el sucesor 1 es 2 y el de 2 es 3; entonces, por el axioma V el conjunto C debe contener a 2 y a 3: C = {0, 1, 2, 3, . . .} Pero . . . Y cundo terminaremos de formar el conjunto C? Slo hay una respuesta: cundo hayamos escrito los nmeros naturales: C = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, . . .} El axioma V tiene una extraordinaria importancia en un desarrollo demostrativo de la Aritmtica, ya que ser el nico recurso mediante el cual podemos verificar si una propiedad la tienen todos los nmeros naturales. En efecto: sea P el conjunto

Licenciatura en Docencia Tecnolgica Sistemas Numricos 9 de nmeros x tiene una propiedad cualquiera, a la que llamaremos P (x). El conjunto P incluir a N si y slo si: a) Si 0 tiene la propiedad. b) Si el sucesor de cada elemento que tenga la propiedad, a su vez la tiene tambin. Al proceso de verificacin as diseado se le llama principio de induccin matemtica, y mediante l se demuestran los teoremas aritmticos refieren a todos los nmeros naturales. que se

El sistema N
Quiz te parezca extrao que, para describir un sistema tan sencillo y elemental como lo es el conjunto N, de las nmeros naturales, se hayan establecido sus propiedades en forma tan sofisticada y compleja. Pero ello es absolutamente necesario para dar una base lgica al desarrollo terico de la Aritmtica. Como ya sabes, las ciencias matemticas tienen, como caracterstica propia y exclusiva de su condicin, el hecho de que todas sus proposiciones subsecuentes (teoremas, corolarios, propiedades, algoritmos, etc.), son consecuencia evidenciable de unas pocas proposiciones bsicas, previamente establecidas, a las cuales se les llama axiomas o definiciones. Pues bien, los cinco postulados de Peano habrn de adquirir dicho carcter de axiomas, y a partir de ellos se podrn demostrar todos y cada uno de los conocimientos que han sido archivados en la rama de las matemticas llamada Aritmtica. Si acaso, el concepto de nmero real har necesario un axioma ms: el de continuidad para justificarlo, como oportunamente veremos. En nuestra tarea actual, describiremos cmo el sistema N funciona a partir de slo las 5 proposiciones bsicas a las que hemos llamado postulados de Peano. Pero por otra parte, hemos dicho que un sistema matemtico est formado por un dominio y una (o varias) operaciones. Hasta ahora slo tenemos el dominio N, al que hemos llamado conjunto de los nmeros naturales, y que en definitiva definimos as: Pero ahora, para poder hablar de un verdadero sistema, es preciso definir las operaciones que en ese dominio podemos realizar. Dichas operaciones son fundamentales dos: la suma o adicin y la multiplicacin.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 10

Nmeros natural es todo elemento de N. N es cualquier conjunto, que cumpla los cinco postulados de Peano.

Adicin de nmeros naturales


La adicin elemental puede ser definida a partir de los conceptos que conducen a la idea de cardinalidad. Desde la escuela primaria hemos sido adiestrados a sumar estrellas, intuyendo que la adicin es una operacin conectada con la unin de conjuntos:

Desde luego, para depurar el concepto que hemos de declarar que la adicin no es una operacin que pueda realizarse entre conjuntos, sino entre nmeros, entre cardinalidades de conjuntos. As la expresin correcta que define la suma anterior es: 3+2=5 Y, la operacin con estrellas, se expresar as:

En la segunda operacin, a la que se designa con el nombre de unin s se manejan propiamente conjuntos, es evidente la conexin que existe entre ambas. Pero an hay un detalle que aclarar: Las estrellas del segundo conjunto no son las mismas que las del primer conjunto. En realidad este hecho es tan evidente que frecuentemente lo pasamos por alto, y an lo olvidamos, cometiendo errores con ello. Por ejemplo: En una escuela preparatoria hay:

Licenciatura en Docencia Tecnolgica Sistemas Numricos 11 18 miembros del personal administrativo. 73 maestros La nmina contiene, en total 85 elementos. Cmo se explica este hecho? Vemos que la suma de 18 y 73 es de 91. Pero el texto dice que por todos son solamente 85. Esto significa que el conjunto de maestros no est formado por elementos distintos del de empleados administrativos, sino que debe haber, necesariamente, exactamente, 6 maestros que son a la vez, empleados administrativos. Esto nos conduce a una restriccin que nos evitar errores y dolores de cabeza cundo tengamos que sumar cardinalidades: Para sumar las cardinalidades de dos conjuntos, es preciso que stos sean ajenos. (Es decir, que los dos conjuntos no deben tener elementos comunes.) El resultado de la adicin de las cardinalidades de dos conjuntos ajenos es igual a la cardinalidad de la unin de ellos. Todo lo anterior no representa otra cosa que la formalizacin de hechos ya preferentemente conocidos y practicados por nosotros desde los primeros aos. Lo nico que hemos hecho es depurar y definir las ideas conforme a las cuales realizamos nuestros clculos de naranjas. Pero ahora queremos suprimir las naranjas; una Aritmtica racional no debe estar conectada y sometida a objetos del mundo fsico, sino a entes abstractos previamente definidos. Nuestros elementos abstractos son los nmeros naturales N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, . . . } Cmo se suman los nmeros naturales? Todos sabemos que eso se hace con tablas de sumar. Pero eso no se hace sino posponer el problema, que ahora es: cmo se calcularon las tablas de sumar? En realidad, el hombre descubri las tablas mediante el proceso de contar conjuntos (manzanas, palitos, piedrecillas, etc.); sobre todo, piedrecillas; la misma palabra clculo viene de un vocablo latino que significa piedrecilla. Para la mayor parte de la gente eso es suficiente, y a los nios pequeos se les ensea a sumar mediante ese mismo truco. Pero ahora hemos planteado un problema de carcter matemtica. filosfico de la

Licenciatura en Docencia Tecnolgica Sistemas Numricos 12 Cmo se realizara la suma si en el mundo no existiesen piedrecillas, ni manzanas, ni palitos? Cmo manejar a N, si no contsemos con objetos extraos a este conjunto N = {0, 1, 2, . . . }?. La respuesta no las da Peano en dos etapas: Primero aprenderemos a sumar el cero, mediante una regla sencilla 1. a + 0 = a. (a N)

Es decir, si a un nmero natural le sumamos 0, el resultado es ese mismo nmero natural. Por esa circunstancia al cero le llamaremos neutro de la adicin de nmeros naturales. La segunda etapa del proceso de Peano nos dice cmo calcular la suma de un nmero natural cualquiera, con la condicin de que ya hayamos resuelto el problema con el nmero anterior. La regla es: 2. a + sig b = sig (a +b). (a, b N)

Por ejemplo, vamos a utilizar las dos reglas de Peano para calcular la tabla del 8, as: Teorema 1: 8 + 0 = 8 (por la regla 1)

Ahora deseamos saber cunto es 8 + 1. Procederemos as: 8 + 1 = 8 + sig 0 = sig (8 + 0) = sig 8 =9 Esto es: 8 + 1 = 9 (porque 1 es el siguiente de 0) (por la regla 2 de Peano) (Porque 8 + 0 = 8, por el teorema 1) (porque sig 8 = 9) (teorema 2)

Lindo descubrimiento! Verdad? Pero no olvides que lo que nos proponemos ahora va ms all del sencillo problema de saber cunto es 8 + 1; lo que queremos ahora demostrar que 8 + 1 = 9, esto es, evidenciar que los

Licenciatura en Docencia Tecnolgica Sistemas Numricos 13 conocimientos matemticos deben ser una consecuencia lgica de un conjunto de proposiciones, pues ahora queremos saber cunto es 8 + 2; lo que calcularemos as: 8 + 2 = 8 + sig 1 =sig (8 + 1) = sig 9 = 10 Esto es 8 + 2 = 10 (porque 2 =sig 1) (por la segunda regla de Peano) (porque 8 + 1 = 9, teorema 2) (porque sig 9 = 10) (teorema 3)

Con ello te dars cuenta de que podemos utilizar las dos reglas de adicin dadas por Peano, para calcular todas las tablas de sumar, mediante ese proceso reiterativo. Y lo importante est en que para esa iteracin no necesitamos para nada las manzanas y las piedrecillas: las hemos suprimido por completo. Como sntesis daremos la definicin de la suma de nmeros naturales: La adicin de nmeros naturales es una operacin tal que, para todo a, b, que pertenezcan a N, se cumple que: a + 0 = a. a + sig b = sig (a +b). Propiedades de la Adicin en N La adicin de nmeros naturales tiene las siguientes propiedades bsicas o estructurales: (a N) (a, b N)

1. Cerradura: a + b es un nmero natural. (O sea: la suma de dos nmeros naturales es un nmero natural.) 2. Asociativa: a + (b + c) =(a + b ) + c. 3. Existencial de neutro: a + 0 = a. 4. Conmutativa: a + b = b + a. (a, b, c, son nmeros naturales cualesquiera)

Licenciatura en Docencia Tecnolgica Sistemas Numricos 14

La propiedad (3) es la definicin de adicin, ya previamente aceptada. Pero las otras no han sido postuladas expresamente. Puede demostrarse que son consecuencia directa de las definiciones y axiomas de Peano? La respuesta es s; repetimos nuestra declaracin de que los axiomas y definiciones de Peano fueron formulados expresamente con el propsito de que se cumpliese la peculiar exigencia de la matemtica de que toda nueva proposicin sea demostrada con base en las anteriores. En los procesos de demostracin, debers observar cuidadosamente cmo se hace funcionar el mtodo de induccin matemtica:

1.

Propiedad de cerradura

Sabemos que, por hiptesis, a , b, c son nmeros naturales. Entonces : a+0=a es un nmero natural (la propiedad se cumple para el primer elemento.) Podramos continuar nuestra verificacin de que, si a a le sumamos un nmero natural, se obtiene siempre otro nmero natural, caso por caso. Entonces, continuaramos as: a + 1 = a + sig 0 = sig (a + 0) = sig a Esto es: a + 2 = sig (sig a) Pero como a y sig a con naturales, podemos afirmar usando nuevamente el axioma 2 de Peano, que sig (sig a) es tambin natural. Ahora verificaremos el saso siguiente: a + 3. Pero . . . Cundo terminaramos este proceso?. La respuesta es: nunca!. All cuando llegsemos al caso de a + 1 000 000 decidiramos, aburridsimos, heredarles la tarea a nuestros descendientes, que a su vez tampoco terminaran jams.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 15 Por ello es tan extraordinariamente importante el principio de induccin

matemtica: es el nico procedimiento accesible para manejar estas situaciones en las que se manejan conjuntos infinitos. La tcnica de induccin matemtica tiene el siguiente diseo: Para demostrar que todos los nmeros naturales tienen una cierta propiedad, basta con: I. II. III. El primer paso ya est cumplido: a + 0 = a tiene propiedad de ser un nmero natural. Ahora bien supongamos que a + X, para algn valor de x, tiene la propiedad de ser un nmero natural. Demostraremos que x se la pasar a su sucesor, que es sig x. Esto es: Hiptesis de induccin: a + x es un nmero natural Tesis: a + sig x es un nmero natural. Demostracin a + sig x = sig (a + x) (regla 2 de adicin) (por hiptesis) (por el axioma 2: el siguiente de un nmero natural es natural) a + b N, para todo a, b N (axioma 5) Pero a + x N Sig (a + x) N Demostrar que el primer elemento tiene la propiedad. Demostrar que cada elemento que tenga la propiedad, se la heredar a

su sucesor.

Esto es: la suma de dos nmeros naturales es natural. 2. Propiedad asociativa

Sean a, b, c tres nmeros naturales. Con respeto a ellos, la propiedad asociativa de la adicin de nmeros naturales, establece que: (a + b) + c = a + (b + c) Veamos cmo demuestra esta propiedad mediante la induccin matemtica.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 16 Sean a y b dos nmeros naturales cualesquiera. Comprobemos que c cumple la propiedad.

I.

para c = 0; (a + b) + 0 =a+b = a + (b + 0) (regla 1 de adicin) (porque b + 0 = b)

Esto es: (a + b ) + 0 = a + (b + 0): verificada la propiedad para el primer elemento. Ahora, debemos probar que un elemento x que heredar a su sucesor; esto es: la hiptesis es que: (a + b) + x = a + (b + x), para algn valor de x. Lo que tenemos que probar es que: Tesis: (a + b) + sig x = a + (b +sig (x) tenga la propiedad, se la

Demostracin: (a + b) + sig (x) = = sig (a + b) + x (la regla 2 de adicin) + x) = a + sig (b + x) =a + (b + sig x) (regla 2 de adicin) (regla 2 de adicin) sig a + (b + x) (porque, por hiptesis, es (a + b) + x = a + (b

Es decir: (a + b) + sig x = a + (b + sig x) probado est que la propiedad es hereditaria. Entonces: (a + b) + c = a + ( b + c), para todo c N, por el postulado 5. 4. Propiedad conmutativa Esta propiedad se demuestra en dos partes, cada una de las cuales requiere, a su vez, una induccin. Teorema 4a: Demostrar que a + 0 = 0 + a.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 17 La regla de adicin dice que a + 0 = a. Pero no dice a qu es igual 0 + a. Desde luego que t ya sabes perfectamente que 0 + a es tambin igual a a. Pero no olvides que por ahora, no nos interesa tanto el calcular resultados, que desde la primaria conocemos, calcular resultados, que desde la primaria conocemos, sino como adiestrarnos en los procesos lgicos que constituyen la ciencia de la disciplina matemtica. En los prximos ejercicios se te pedir que demuestres dos teoremas: 4a) Que a + 0 = 0 + a y, en consecuencia: 4b) Que a + b = b + a, para todo b N. Multiplicacin de nmeros naturales. Al estudiar Relaciones y Funciones, vimos la definicin de producto cartesiano:

Si A, B son dos conjuntos, el producto cartesiano A x B es el conjunto de pares ordenados formados con un elemento de A y uno de B. Por ejemplo, si A = {1, 2, 3,} y B = {x, y} Ser A x B = {(1, x), (2, x), (3, x), (1, y), (2, y), (3, y} El producto A x B contiene un total de 6 pares ordenados, que son todos los que se pueden formar al asociar un elemento de A con uno de B. En general, la operacin de multiplicar nmeros naturales puede identificarse con la operacin llamada producto cartesiano, conforme a esta definicin:

(# A) X (#B) = #(A x B)
Pero, ahora queremos hablar de una multiplicacin en la que no se mencionen conjuntos ni algn otro objeto extrao a la idea de nmero natural, introducido mediante los postulados de Peano. Para lograrlo, necesitamos dos reglas, en forma semejante a como lo hicimos en la adicin. La primera regla ser: (a y b) son nmeros naturales). 1. a 0 = 0

Licenciatura en Docencia Tecnolgica Sistemas Numricos 18 (si se multiplica un nmero natural por 0, el resultado es 0.) La segunda regla estar condicionada a nuestra idea de que la multiplicacin es una suma reiterada: para multiplicar por 8, por ejemplo, usamos una tabla en la que se suman sucesivamente 8 unidades; es decir, se cuenta de 8 en 8: los productos sern: 0, 8, 16, 24, 32, 40, 48, 56, 64, . . . Y como puedes verificar fcilmente, si ya obtuviste un producto, para obtener el siguiente bastar con que le agregues 8 unidades. 8 sig x = 8 x +8 En esta idea est basada la segunda regla de multiplicacin, que es: II. a sig b =ab + a Entonces, la multiplicacin de nmeros naturales queda definida en estos trminos, como una operacin condicionada y posterior a la suma. Si a y b son nmeros naturales, se llama multiplicacin a la operacin tal que: I)

a 0 =0

II)

a sig b = ab + a

En posesin de este instrumento, podramos, por ejemplo, elaborar la tabla de multiplicacin del 8: Teorema 1 M: 8x0=0 (regla 1 de multiplicacin)

Ahora calculemos el valor de 8 x 1: 8 x 1 = 8 x sig 0 =8x0+8 =0+8 =8 Esto es: 8 x 1 = 8 (porque 1 =sig 0) (regla 2 de multiplicacin) (porque 8 x 0 = 0, teorema 1) (porque 0 + 8 = 8) (teorema 2M)

Continuemos nuestros clculos: cunto es 8 x 2?

Licenciatura en Docencia Tecnolgica Sistemas Numricos 19 8 x 2 = 8 x sig 1 =8x1+8 =8+8 = 16 (porque 2 =sig 1) (regla 2 de multiplicacin) (porque 8 x 1 = 8, teorema 2M) (porque 8 + 8 = 16)

As podemos continuar indefinidamente, para obtener las tablas de multiplicacin, notando que, en todo momento, debe suponerse que la operacin de sumar ya es plenamente conocida. De ah que hayamos afirmado que la multiplicacin est condicionada a la adicin: la multiplicacin por un nmero natural es una suma abreviada.

Propiedades de la multiplicacin en N
Desde los cursos las de la adicin. 1. 2. 3. 4. Cerradura Asociativa Existencial de neutro Conmutativa ms elementales de matemticas habrs aprendido que la multiplicacin de nmeros naturales tiene las siguientes propiedades, anlogas a

Se puede demostrar, como lo haremos en seguida, que cada una de las propiedades anteriores es una consecuencia de los cinco postulados que definen a a) N, as como de la definicin de operaciones. Las demostraciones son las Propiedad de cerradura siguientes:

Tenemos que demostrar que el producto de dos nmeros naturales es siempre un nmero natural. Para ello haremos uso del mtodo de induccin matemtica as: Sea a un nmero natural cualquiera; probaremos primero que su producto por un nmero natural es tambin un nmero natural En efecto: a0=0 (regla 1 de multiplicacin)

Licenciatura en Docencia Tecnolgica Sistemas Numricos 20 y como 0 es uno de los nmeros naturales, queda probada la primera parte. Ahora slo nos resta probar que la propiedad es hereditaria. Para ello, supongamos que el producto de a por x es un nmero natural. Hiptesis: Tesis: a(sig x) Pero ax N Luego ax + a N a (sig x) N a x x N a(sig x) N = ax + a (regla 2 de multiplicacin) (hiptesis de induccin) (cerradura de la adicin en N) [Dado que a (sig x) = ax + a]

Demostracin:

En consecuencia, dado que la propiedad la tiene el cero y es hereditaria deber cumplirse por el v postulado, para todos los nmeros naturales; esto es:

Si a, b N, entonces ad N.
b) Propiedad distributiva En el sistema N hemos establecido dos operaciones bsicas: la adicin y la multiplicacin. Dichas operaciones quedan enlazadas mediante una importantsima propiedad: la distributiva. Consideremos el cmputo siguiente: cuntos puntos hay en este esquema?

El conjunto de puntos anterior puede ser contado de dos maneras diferentes: Seccin A: Seccin B: 4 hileras de 5: 4 hileras de 7: 4 x 5 = 20 4 x 7 = 28

Licenciatura en Docencia Tecnolgica Sistemas Numricos 21 48

O bien si consideramos el conjunto A B como uno solo, el clculo sera: 4 hileras de 5 + 7 : 4 x 12 = 48 y, naturalmente, los dos clculos deben producir el mismo resultado; es decir: 4 x (5 + 7) = 4 X 5 + 4 X 7 En general, una multiplicacin podr hacerse por partes; es decir, descomponer uno de los factores en sumandos para multiplicar por separado cada una de las partes. Descrita algebraicamente esta propiedad, tenemos: (a + b) c = ac + bc Si por ejemplo, un inversionista tiene colocado su capital en dos bancos, al 12%, el rdito que obtiene sera el mismo que si lo colocara en uno slo. O si un artesano compra, al mismo precio, dos remesas de materiales, el gasto que tiene que hacer es el mismo que si lo hiciera en una sola remesa. La expresin anterior representa la propiedad llamada ley distributiva de la multiplicacin de nmeros naturales; su demostracin se realiza mediante la induccin matemtica, as: Sean a y b dos nmeros naturales cualesquiera. Tenemos que demostrar que (a + b ) c = ac + bc para todo valor de c. Comenzaremos por demostrar que el primer elemento, 0. cumple esa propiedad; en efecto dado que a + b es un nmero natural, por la cerradura de la adicin en N, tendremos: (a + b) 0 = 0 y por otra parte. a 0+b0=0+0 y =0 (por la misma regla) (porque 0 + 0 = 0) (regla 1 de la multiplicacin)

Entonces, ambas expresiones representan al mismo nmero, podemos escribir: (a + b) 0 = a 0 + b 0

Licenciatura en Docencia Tecnolgica Sistemas Numricos 22 Ahora tenemos que demostrar que la propiedad es hereditaria; esto es, que si hay un nmero que tenga esta propiedad, se la heredar a su sucesor. Supongamos que x tiene la propiedad distributiva, esto es, que:

Hiptesis: (a + b) x = ax + bx E investigamos si su sucesor la hereda; esto es: Tesis: (a + b ) sig x = a sig x + b sig x. Demostracin: (a + b) sig x = (a + b) x + (a + b) = (ax + bx) + (a + b) [(a + b) x = ax + ab, adicin) = a sig x + b sig x (regla 2 de multiplicacin) En consecuencia: (a + b) sig x = a sig x + b sig x Una vez que hemos demostrado que el primer nmero, 0 , tiene la propiedad distributiva y que adems todo el nmero se la pasa a su sucesor, por el quinto postulado de Peano puede asegurarse que todos los nmeros naturales tienen la propiedad distributiva de la multiplicacin con respeto a la adicin; esto es: (a + b) c = ac, para todo a, b, c N (regla 2 de multiplicacin)) (por hiptesis]

= (ax + a) + ( bx + b) (propiedades asociativa y conmutativa de la

Igualdad y orden en N
Como se vio en anteriormente, todos los nmeros naturales son diferentes; esto es, en la sucesin N no puede haber repeticiones, como consecuencia de los axiomas 3 y 4. Eso da como consecuencia que dos nmeros naturales pueden ser iguales si y slo si son idnticos; esto es si son el mismo nmero:

Licenciatura en Docencia Tecnolgica Sistemas Numricos 23 En cuanto al orden, esto es, el criterio mediante el cual se deduce cul de dos nmeros naturales es mayor queda definido por la sucesin N que se puede colocar como puntos correspondientes a cada nmero natural, conforme al esquema llamado eje numrico. En l vemos que si un nmero est a la derecha de otro, el segundo ser mayor que el primero. Esto es puesto que 8 est a la derecha de 5, podemos escribir: 8>5 5<8 La relacin de orden, definida por los smbolos < y >, tiene las siguientes propiedades: Antirreflexiva Un nmero no puede ser mayor (o menor) que si mismo. En efecto, a la derecha de un nmero no puede aparecer otro idntico. Antisimtrica. La relacin de orden no puede invertirse. Esto es, si a < b no puede escribirse b< a . (En cambio, s se podr escribir b > a. ) Transitiva. Si a < b y b < c, ser a < c. (En efecto, si a est a la izquierda de b, y ste est a la izquierda de c, se deduce que a est a la izquierda de c.) Tricotmica. Entre dos nmeros naturales a y b, una y slo una de las siguientes alternativas es verdadera: a=b a<b b<a (O sea que b slo puede estar a la izquierda, o a la derecha, o en el mismo lugar que a.) Las propiedades y definiciones dadas en cuanto a la relacin de orden tienen aqu un carcter intuitivo, dado que se han establecido ligadas al eje numrico y concepto tales como estar a la derecha, que ciertamente no estn a pegados a la estricta definicin de nmero natural. No obstante, se pueden lograr conceptos plenamente rigurosos, a partir de la siguiente definicin:

Licenciatura en Docencia Tecnolgica Sistemas Numricos 24 a < b significa que existe un nmero natural x 0 tal que: a + x = b. Ejemplo 5 < 8 es verdadero porque existe un nmero x tal que: 5 + x = 8 [eventualmente, es (x = 3, x N, 3 0) ]. En cambio, no se puede escribir 4 < 4 porque: 4 + x = 4 ; tiene como solucin x = 0, en tanto que la definicin exige que x 0 Por ltimo, tampoco es correcto escribir 8 < 5 por que la ecuacin 8 + x = 5 no tiene solucin en el dominio de los nmeros naturales. Considerando la definicin dada, es posible dar una demostracin forma a cada una de las propiedades bsicas de la relacin de orden, as: 1 . Propiedad antirreflexiva a a. En efecto, la ecuacin a + x = a tiene como la solucin x = 0, que no es admisible 2 . Propiedad antisimtrica. Se demuestra por reduccin al absurdo. Esto es, admitamos que s fuese posible escribir, simultneamente, a < b (1) a+x=b (3) y y b < a (2) b+y=a (4) (para algn x y algn y naturales y En consecuencia, por definicin deber ser: distintos de cero). Sustituyendo (3) en (4) obtenemos: (a + x) + y = a a + (x + y) = a Puedes completar la argumentacin? 3. Propiedad transitiva De (a < b se deduce: a + m = b y de b < c se deduce: b + n = c (m 0, m N) (n 0 , m N)

Licenciatura en Docencia Tecnolgica Sistemas Numricos 25 (a + m) + n = c a + (m + n) = c a<c (sustituyendo b por a + m en la segunda ecuacin) Por la propiedad __________________________ Dado que m + n N, por la cerradura de la adicin en N, y m + n 0 (Por qu?) 4. tres alternativas a=b Si a b, entonces puede ser: a+n=b oa=b+n de donde a < b) de donde b < a) Propiedad tricotmica.

Escogiendo al azar dos nmeros naturales, puede ocurrir una de las siguientes

En todo caso, una y slo una de las tres alternativas se cumple.

Operaciones en el sistema N
Adems de las operaciones de adicin y multiplicacin ya estudiadas, se "describen en N otras cuatro operaciones ms: a) Sustraccin La sustraccin es la operacin inversa de la adicin, puesto que se pueden establecer las siguientes relaciones: 8-5=3 3 +5=8 15 4 = 11 11 + 4 = 15 Y en general, establecemos como definicin de la sustraccin la propiedad siguiente: ab= a c+b=a La definicin anterior tambin puede interpretarse en estos trminos: La sustraccin consiste en encontrar un sumando, cuando se conocen la suma y el otro sumando. La mayor parte de los problemas y dificultades que en cualquier dominio, presenta la operacin de sustraccin, resultan ms sencillos y fciles de resolver cuando la

Licenciatura en Docencia Tecnolgica Sistemas Numricos 26 expresin se transforma en una de adicin, mediante la regla dada. Por otra parte, el hecho de que, la suma de dos nmeros naturales es igual o mayor que cualquiera de los sumandos, ocasiona que la sustraccin slo sea posible en N cuando el minuendo es igual o mayor que el sustraendo. Es decir: Restriccin: a b = c a b (a, b, c N).

O sea la sustraccin es una operacin en N cuando el minuendo es igual o mayor que el sustraendo Hemos de aclarar aqu que algunos autores le llaman "operacin" en un dominio D, slo a aqullas que se pueden realizar sin restriccin alguna, para toda combinacin de elementos de dominio. Desde ese punto de vista, la sustraccin en N no es una operacin. En efecto, expresiones tales como: 7 - 10 carecen de sentido dentro del dominio N; por lo tanto 7 - 10 no es un nmero natural. La discrepancia anterior no es un asunto esencial para el desarrollo de las matemticas: es una simple cuestin de comodidad. Por ello, nosotros le llamaremos "operacin" a la sustraccin de nmeros naturales, clasificndola como "abierta", en el sentido de que carece propiedad clausurativa. La sustraccin de nmeros naturales no siempre produce un nmero natural. La divisin La cuarta operacin en N, llamada divisin, es definida como la inversa de la multiplicacin, dado que: 12 : 4 = 3 3 x 4 = 12 20 : 5 = 4 20: 5 = 4 4 X 5 = 20 Y en general definimos la divisin como la operacin tal que: O sea:

b)

a : b = c

cb = a

Licenciatura en Docencia Tecnolgica Sistemas Numricos 27

La divisin consiste en encontrar un factor, cuando se conoce el producto y el otro factor Tenemos, en la divisin, una restriccin importante que nunca deber perderse de vista, ya que su omisin ocasiona graves errores y paradojas dentro del desarrollo del lgebra: De la definicin de multiplicacin, regla 1, recordamos que: a0=0 para todo a N. Ahora bien, qu significa 8 : 0? Convirtiendo la operacin en multiplicacin, conforme a la regla dada, obtenemos: 8:0=x x0 =8 Pero x 0 = 0 para todo nmero natural; por lo tanto, la ecuacin carece de solucin en N. Por otra parte, la expresin 0 : 0 nos conduce a la siguiente situacin: 0:0=x x0=0 y la ecuacin anterior nos lleva tambin a una situacin molesta. Cualquier valor de x satisface esa ecuacin, En consecuencia, 0 : 0 resulta ser el smbolo de lo indeterminado, de lo que carece de significado numrico preciso. En ambos casos, la divisin entre 0 resulta imposible de definir. Por lo tanto: Restriccin: a:b=c de significado. Pero adems, la operacin de dividir no siempre podr realizarse en N; por ejemplo: 20 : 6 = x 6 x = 20 Al dividir 20 entre 6, nos encontramos con que no existe ningn nmero natural que, multiplicado por 6, d 20. Por lo tanto: 20 : 6 no es un nmero natural. En general, la divisin no conducir a un nmero natural; pero tampoco existe una regla concreta que, ' como en el caso de la sustraccin, se pueda establecer sobre cundo es posible y cundo no dicha operacin. b 0 Esto es: no se puede dividir entre 0. Cualquier expresin de la forma a : 0 carece

Licenciatura en Docencia Tecnolgica Sistemas Numricos 28 En cambio podemos decir: Restriccin. Si a: b es un nmero natural, se dice que, a es un mltiplo de b, o que b es un divisor (o factor) de a, o que a es divisible entre b.

Por ejemplo, dado que 8 : 2 = 4, decimos que: 8 es un mltiplo de 2 8 es divisible entre 2 2 es un factor de 8 2 es un divisor de 8 2 divide a 8. Todas esas expresiones Significan lo mismo; es decir, el hecho de que 8 : 2 es un nmero natural; tal proposicin se representa as: 2|8 (se lee: 2 divide a 8) En general:

b | a significa que bn = a, para algn n N. O sea: b | a significa que a: b es un nmero natural.


c) La elevacin a potencias Cuando se multiplica un conjunto de factores iguales la operacin recibe el nombre de elevacin a potencias", Por ejemplo, 8 X 8 X 8 es una elevacin a potencias, dado que los factores son iguales. La expresin se representa as: 8 , y significa: 8 = 8 X 8 X 8 = 512.

En general: Una elevacin a potencias es una multiplicacin en la que los factores son iguales. Se representa as: an a se llama base. n es el exponente. El resultado de la operacin se llama potencia. La operacin es tambin definida para n =0 y para n = 1, conforme a las

Licenciatura en Docencia Tecnolgica Sistemas Numricos 29 siguientes reglas adicionales: a0 = 1 a1 = a A cambio de las anteriores podemos dar tambin una definicin del tipo de las que usamos para describir la adicin y la multiplicacin. Esto es: a0 = 1 asig n = an a La segunda regla, la podemos aplicar para calcular valor de 8 4 , si ya hemos calculado que es 83 = 512 Tendramos dos procedimientos: Conforme a la primera definicin sera: 84 = 8 X 8 X 8 X 8 = 4 096. O, ms rpidamente, calcularamos el valor de 84 , usando la segunda regla de elevacin a potencias, dado que 4 = sig 3 : 84 = 83 8 = 512 8 = 4 096. d) Radicacin La sexta y ltima operacin algebraica es la radicacin o extraccin de races. Se define como la operacin inversa a la elevacin a potencias.
3

significa que hay que descomponer a 8 en 3 factores iguales: 8=2X2X2

y tomar uno de ellos como solucin:

2.

243 significa que hay que descomponer al nmero 243 en 5 factores iguales,

y tomar uno de ellos como solucin: 243 = 3 X 3 X 3 X 3 X 3 5 243 = 3

En general

= b bn = a

Licenciatura en Docencia Tecnolgica Sistemas Numricos 30

En particular, cuando es n = 2, no se acostumbra poner ese ndice al radical.

El sistema Z

Licenciatura en Docencia Tecnolgica Sistemas Numricos 31

Con los nmeros naturales han quedado resueltos una gran cantidad de problemas, relativos al cmputo de elementos de conjuntos y a operaciones con ellos, lo cual suele ser suficiente para un amplio campo de necesidades. Pero tambin han quedado abiertos otros problemas ms, Uno de ellos, que ser el que origina la creacin del concepto de nmero entero,' es el que deriva 'de la frecuente necesidad de resolver ecuaciones aditivas en las que la suma es menor que el sumando conocido. Por ejemplo: cmo resolver la ecuacin 5 + x = 3? La actitud original de los matemticos fue la de rechazar el problema, declarndolo sin solucin'. Pero poco a poco se fue viendo la, necesidad de manejar soluciones de ecuaciones semejantes, y gradualmente se introdujeron nmeros de una clase especial, que permitiesen resolver el problema; a tales nmeros se les llam "ficticios" y slo con reservas eran aceptados como entes verdaderamente "reales". No fue sino hasta el siglo XVI que finalmente se comprendi; que si los nmeros ficticios se interpretan en sentido inverso que como se hace con los naturales, la solucin tendr sentido tan aceptable como la de stos. Por ejemplo: Si el problema que gener la ecuacin 5 + x = 3 es: "Encontrar cuntos aos deben pasar para que un nio de 5 aos llegue a cumplir 3"; la solucin ser: - 2. "Hace dos aos". Claro est que esto no siempre ser posible. Hay magnitudes como la distancia, el peso, el volumen, etc., que no pueden ser interpretados en sentido contrario: pero como quiera que sea, la solucin terica y la de aquellas magnitudes que admitiesen una interpretacin razonable de los nmeros ficticios, qued planteada como una extensin del dominio N. Los nmeros naturales y los "ficticios", integraron un nuevo dominio, ms amplio, al que se llama "nmeros enteros", y que representaremos, como es usual, con la letra Z. Ese dominio estar formado por tres categoras de nmeros: I. Los enteros positivos, esto es, los naturales (con exclusin del

Licenciatura en Docencia Tecnolgica Sistemas Numricos 32 cero): 1, 2, 3, 4, 5, 6, ... II. III. negativos. Al nuevo sistema creado Z, se le ha llamado extensin del sistema N. Se llama extensin de un sistema al que cumple las siguientes condiciones. Contiene en el nuevo dominio todos los elementos del anterior. (En nuestro caso, dentro del dominio Z aparece todos los nmeros naturales, el cero y los positivos, junto con otros ms: los negativos.) Los resultados de las operaciones definidas en el sistema anterior deben conservarse en el nuevo sistema. (Esto es: Si 3 + 5 = 8 en el sistema N, el resultado debe ser el mismo considerando a los nmeros nuevamente 3 + 5 8.) Deben conservarse, las propiedades de la igualdad, del orden y de las operaciones que tenan los elementos del dominio anterior, y de ser posible, generalizadas a los nuevos elementos. (Es decir: los enteros positivos y el cero debern seguir teniendo las propiedades de la adicin; por ejemplo, la conmutativa. Y se procurar que tambin la adicin de negativos conserve esas propiedades.) En consecuencia, las normas establecidas nos guiarn en nuestro problema de crear un nuevo sistema, Z, como una extensin del sistema N. El eje numrico, enriquecido con los nuevos elementos, los negativos, quedar as: 5 Y 3 como elementos de Z, Deber ser EI cero. Los inversos aditivos de los positivos, esto es, los nmeros

... -4

-3

-2

-1

...

Negativos

cero Z

positivos

El concepto de "sucesor" sigue teniendo vigencia en Z: el sucesor de -5 es -4; el sucesor de -1 es O, etc.; pero los axiomas de Peana sufren una modificacin: Deja de tener el cero su posicin privilegiada de primer elemento, para adquirir una posicin central, intermedia entre otros. No obstante, los postulados seguirn

Licenciatura en Docencia Tecnolgica Sistemas Numricos 33 siendo aplicables a cualquier segmento de Z; es decir, a cualquier conjunto de nmeros enteros formados por un primer elemento arbitrario y el sucesor de cada uno de sus elementos. Por ejemplo:

... -3

-2

-1

6...

Un segmento de Z Verifcalo t mismo: En el segmento dado, I. II. III. IV. V. El primer elemento es __________. Todo elemento del segmento tiene un sucesor ________. -3 no es sucesor de ningn elemento del segmento __________. Si dos nmeros tienen el mismo sucesor, son iguales __________.

Si un conjunto contiene a -3 y al sucesor de todos sus elementos, contiene a todo el segmento __________.

Inverso aditivos
En la extensin de N, se incorporaron nuevos nmeros, a los que se les llam negativos. A cada nmero natural se le hizo corresponder un inverso aditivo: El inverso aditivo de 5 es -5. Se escribe: El inverso aditivo de 3 es - 3. Se escribe: El inverso aditivo de 0 es 0. Se escribe - (5)= -5 -(3) = -3 - (0) = 0

Se llamarn inversos aditivos los nmeros cuya suma es 0; por ejemplo: 5 + (-5) = 0; 3 + (-3)= 0; 0 + 0 = 0. Por lo tanto: El inverso aditivo de - 5 es 5. Se escribe: - (-5) = 5 El inverso aditivo de -3 es 3. Se escribe: - (-3) = 3 As, de golpe y Porrazo hemos dado al signo - dos nuevos significados, aparte del que ya tena como smbolo de la operacin llamada sustraccin; esos dos nuevos significados son los siguientes: A la izquierda de un nmero natural, es el smbolo de nmero negativo: -5 es "cinco negativo". A la izquierda de un numero cualquiera, no necesariamente natural, es el smbolo

Licenciatura en Docencia Tecnolgica Sistemas Numricos 34 de inversin: - (- 5) es el inverso de - 5 y vale 5 (positivo). -x es el inverso de x y no sabemos si es positivo o negativo: depende de lo que x sea. Desde luego este triple significado del signo - es motivo de confusin para los principiantes; por ejemplo, suelen creer que -x es un nmero negativo, en lugar de la interpretacin correcta, que hemos dado. Pero la prctica suele acostumbrar a deducir del contexto el verdadero significado del smbolo. los nmeros enteros estn formados por dos elementos, cada uno de los cuales es parte esencial de l: un elemento cuantitativo, y uno cualitativo. Al elemento cuantitativo suele llamrsele "mdulo" o "valor absoluto", y es el que indica cuntas unidades estn contenidas en l, independientemente de su categora de positivo o negativo. El valor absoluto de un nmero entero x se representa as: , y ser siempre un x nmero natural (cero o positivo). Ms formalmente expresado, el valor absoluto de un nmero x es: = 0, si x = 0 x x, si x > 0 -x, si x < 0 as: =3 3 =0 0 = - (-5) = 5 -5 y, en todo caso, el valor absoluto de un entero es siempre un nmero natural. El segundo elemento que integra a un nmero entero es cualitativo, y nos indica si el nmero es positivo, negativo o es cero. La calidad del nmero se representa con el signo de +, o sin signo, para los positivos, y con el signo de - (menos) para los negativos.

La adicin en Z
La mayor parte de las caractersticas del sistema Z fueron generadas por el modelo objetivo de "prdidas y ganancias". Esto es: para decidir cul es el resultado de la adicin de dos nmeros enteros, podemos pensar en los nmeros

Licenciatura en Docencia Tecnolgica Sistemas Numricos 35 positivos como ganancias y los negativos como prdidas, y calcular un resultado razonable como efecto conjunto de ambas: 5 ganados 4 perdidos 3 ganados 0 2 perdidos Total: 2 ganados +5 -4 +3 0 -2 +2

Por poco que se reflexione en la manera como se realiza la operacin de adicin, se llega a la conclusin de que sta se encuentra sometida a las siguientes reglas: I. II. III. Ejemplo: -4 +3 -1 -5 +5 0 +7 -3 +4 -3 +5 +2 -4 -5 -9 +3 -0 +3 0 -2 -2 Si los nmeros son del mismo signo, se suman sus mdulos (valores absolutos). Si los nmeros son de signo contrario, se restan sus mdulos. Al resultado se le concede el signo del mdulo mayor.

Una buena gua para no equivocarse es pensar los nmeros en calidad de prdidas y ganancias; as, la operacin (- 4) + (+ 3) = -,1 se interpreta en el modelo de prdidas y ganancias como: "Si pierdo 4 y gano 3, el resultado final es una prdida de 1.

Igualdad y orden en Z
Aunque pasando por alto ciertas consideraciones tcnicas, hemos declarado que los nmeros naturales han sido identificados con el cero y los enteros positivos. As, el natural 5 es igual al positivo 5.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 36 En cambio, los negativos son esencialmente distintos de los positivos: de la misma manera que no podramos considerar iguales una prdida de 5 pesos que una ganancia de esa cantidad; hemos de deducir que +5 es diferente de -5 (+5 1= -5). Por lo tanto, dos enteros slo sern iguales, si coinciden tanto sus mdulos como sus signos (salvo el hecho de que los positivos pueden escribirse sin signo). En cuanto al orden seguiremos considerando, en la actual extensin de N, la regla intuitiva: de dos nmeros enteros, es mayor el que se encuentre a la derecha del otro, en el eje numrico: 2 >-2 (porque 2 est a la derecha de -2) 4 < 5 (porque 4 est a la izquierda de 5) -3 < -2(porque ______________________________) -5 < 0 (porque ______________________________) 0 >-1 (porque ______________________________) De esa manera, podemos observar que siempre. . . Un positivo es mayor que 0 y mayor que los negativos. O es mayor que cualquier nmero negativo. De dos nmeros negativos, es mayor el de mayor mdulo. Si lo prefieres, puedes pensarlo en funcin del modelo de prdidas y ganancias; considerando como mayor lo que es mejor de entre dos valores numricos. EJEMPLOS: Qu es mejor, una prdida de $ 5 o una prdida de $ 8? Evidentemente, si de todos modos se pierde, es preferible una prdida pequea; por lo tanto, escribimos: -5 > -8 (-5 es mayor que -8).

Qu es mejor, una ganancia de $ 3 o una prdida de $ 4? Aqu, indudablemente, declaramos que es mejor ganar que perder, y por lo tanto: +3 > -4 Qu es mejor, perder $ 1 o "salir a mano"?. Indudable que preferimos "salir a mano" que perder: 0 > -1 Pero las ideas intuitivas anteriores no constituyen una definicin formal de la En Z, a < b significa que existe un nmero natural tal que: a + n = b y n 0

Licenciatura en Docencia Tecnolgica Sistemas Numricos 37 relacin de orden, aunque es un auxiliar confiable en nuestros pensamientos. La definicin formal la daremos en trminos de la adicin: La definicin, como puedes observar, es idntica a la dada en el dominio N: El nmero menor es aqul al que le falta una cierta cantidad para igualar a la otra, siendo que la cantidad faltante es positiva (natural no nulo) Por lo tanto: -5 < -3 3< 4 Antirreflexiva: Antisimtrica: Transitiva Tricotmica porque 5 + 2 = -3 porque 3 + 1 = 4 a a a < b b a a < b y b < c a < c si a y b son dos nmeros enteros, entonces: a < b, a = b o b < a. (2 N, 2 0) (1 N, 1 0) (un nmero no es menor que l)

El orden en Z sigue teniendo las propiedades que lo caracterizaban en N:

Propiedades de la adicin en Z
La adicin de nmeros naturales tiene propiedades anlogas a las que fueron demostradas en el sistema N. Pero adems, la existencia de inversos aditivos se incorpora como una nueva propiedad del sistema: A1. Cerradura. Si a, b Z, entonces a + b Z. (La suma de dos nmeros enteros es tambin un nmero entero.) A2. Asociativa: a + (b + c) = (a + b) + c (a, b, c Z) A3. Existencial de neutro: a + 0 = a (a Z, 0 Z) A4. Existencial de inversos: a + (-a) = 0 (a, -a Z) A5. Conmutativa: a + b = b + a.
Los sistemas numricos que tienen esas cinco propiedades reciben el nombre de grupos abelianos. Por lo tanto, podemos resumir el enunciado de las propiedades citadas en un solo enunciado:

El sistema aditivo en Z es un grupo abeliano. (Ntese que el sistema aditivo en N no es un grupo abeliano, dado que le falt una de las cinco propiedades: la existencia de inversos; esto es, no existen nmeros naturales cuya suma sea 0, salvo el caso nico de: 0 + 0 = 0.)

Licenciatura en Docencia Tecnolgica Sistemas Numricos 38 En cambio, como ya se ha visto, cada nmero entero tiene un inverso aditivo, tambin llamado simtrico.

La multiplicacin en Z
Siendo el sistema Z una extensin del sistema N, debemos considerar como ya resuelto el problema de multiplicar nmeros naturales, esto es, los positivos y el cero. Pero existen dos casos an no resueltos, que vamos a definir: Producto de un positivo por un negativo. Dado que Z es una extensin de N, deseamos conservar las propiedades de este ltimo sistema, entre las cuales tenemos las siguientes: Cerradura: Si a, b Z, a b Z Asociativa: a (bc) a (bc) (a, b, c Z) (a, 1 Z) (a, b Z) (a, b, c Z)

Existencial de neutro: a 1 = a Conmutativa: ab = ba Distributiva: (a + b)c = ac + bc

Ahora bien, si sabemos que el producto de dos nmeros enteros deber satisfacer las propiedades anteriores, ser fcil obtener los resultados de cada caso. Por ejemplo: cunto es 5 (- 3) ? Solucin: consideremos el siguiente producto: [3 + (- 3)] X 5 = 0 X 5 = 0 Pero por la propiedad distributiva, el producto deber ser igual a: [(3 + (-3)] 5 = 35 + (-3) 5 = 15 + x Siendo x = (-3) 5. Pero como sabemos que ambas operaciones dan el mismo resultado, tendremos: 15 + (-3) 5=0 Y por lo tanto: (-3) 5 = -15 (el inverso aditivo de 15) . Otro. ejemplo: Calcular el valor de la expresin Solucin: [4 + (- 4 ) ] 7 = 4 . 7 + (- 4) X 7 (Prop. Distrib.) o sea 0 7 = 28 + (-4) 7 [puesto que 4 + (-4) = 0] [4 + (-4)] 7

Licenciatura en Docencia Tecnolgica Sistemas Numricos 39 Y escribimos: 0 = 28 + (- 4) 7 (-4) X 7 = -28 (dado que 0 X 7 = 0)

y como en esta ltima expresin se ve que (-4) 7 es el inverso aditivo de 28, As como ha resultado en este caso, en general se observa que cuando se multiplica un nmero negativo con un positivo, el resultado es negativo. Esto es: (-a) (b) = -ab (a, b N)

La demostracin general queda como ejercicio. Por la propiedad conmutativa, tambin se obtendr un producto negativo cuando se multiplica un positivo por un negativo; esto es: (b) (-a) = -ab

En consecuencia, slo nos queda un caso ms: el producto de dos nmeros negativos. El valor del resultado se obtiene a partir de operaciones como la siguiente: Cunto es [4 + (-4)] (-7)? Solucin: [4 + (-4)](-7) = 4(-7) + (-4) (-7) 0 (-7) = -28 + (-4) (-7) 0 = -28 + (-4) (-7) En esta ltima expresin, vemos que (-4) (-7) es el inverso aditivo de -28. Por lo tanto: 0 (-b) = -ab + (-a) (-b) y 0 = -ab + (-a) (-b) Es decir; (-a) (-b) = ab. El (Prop. distributiva) [porque 4 + (-4) = 0]

Entonces (-a)(- b), es el inverso aditivo de ab.

producto de dos nmeros negativos es positivo. (Dado que si a, b N. ab N,) Esto concluye nuestro estudio d la multiplicacin. Para multiplicar dos enteros, en todos los casos se multiplican los mdulos como si fueran nmeros naturales; pero, adems, al producto se le pondr un signo, para cuya determinacin se puede aplicar la siguiente tabla:

Licenciatura en Docencia Tecnolgica Sistemas Numricos 40

( +) ( + ) = ( + ) ( +) ( + ) = ( - ) (-) ( -) =( -) (-) (-) =(+) ( + ) Nmero positivo ( - ) Nmero negativo

Ejemplo: cul es el valor de (- 7) (+ 5). Solucin: (-7) (+5) = -35 dado que (-) (+) = (-)

Otras operaciones en Z
A) LA SUSTRACCIN La sustraccin en Z puede interpretarse o definirse de dos maneras que, no obstante, conducen al mismo resultado definitivo; la primera definicin es equivalente a la usada en el sistema N: a - b = c c + b = a Esto es: la operacin de restar deriva de las ecuaciones de adicin: x+b=a x=a-b La segunda manera de interpretar la expresin a - b consiste en considerarla como la suma de a y el, inverso aditivo de b; esto es: a - b = a + (-b) En ambos casos, como ya se dijo, el resultado es el mismo, por ejemplo: (-3) (-2) significa, conforme a la primera definicin, que hay que buscar el nmero que, sumado con -2, iguale +3. Ese nmero es +5 porque: (+5) + (-2) = +3 O bien, conforme a la segunda definicin, podemos escribir: (+3) (-2) = (+3) + (+2) = +5 Este procedimiento es, en general, ms sencillo: Para restar dos nmeros enteros, se cambia de signo al segundo trmino y se suman.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 41 B) LA DIVISIN C) De manera anloga, una divisin se realiza convirtindola en multiplicacin inversa, conforme a la definicin dada en N que se adopta tambin en Z: a : b = c cb = a (c 0) Por ejemplo, para dividir (-12) : (- 3), hemos de buscar el nmero que multiplicado por -3 d -12. Este +4, y por lo tanto: (-12) : (-3) = +4 De la misma manera: (-6) : (+3) = -2 porque (-2) (+3) = -6 y (+16):(-2) = 8 porque (- 8) (- 2) = + 16 Al igual que en el sistema N, la divisin en Z no ser una operacin cerrada, dado que, en todos los casos la ecuacin ax = b no podr resolverse, salvo que b sea mltiplo de a. Elevacin a potencias De hecho, casi no hay nada que agregar en relacin a esta operacin, dado que no es otra cosa que una multiplicacin con factores iguales: (+ 3) ( -3 ) (+ 3) ( -3 ) = ( + 3) ( +3) = +9 = ( - 3 ) ( - 3 ) = +9 = ( + 3 ) ( +3 ) ( +3) = +27 = ( - 3) ( - 3) ( - 3) = - 27

No obstante. agregaremos las siguientes observaciones: Las potencias de los nmeros positivos son tambin positivas. Las potencias de los nmeros negativos son, alternativamente, positivas y negativas. Las potencias de orden par de los nmeros negativos son positivas, y las de orden impar son negativas. D) RADICACIN La extraccin de races, conectada con una descomposicin en factores iguales, no siempre tendr solucin en Z. Por una parte, por ejemplo carece de solucin en Z, ya que 10 no puede descomponerse en dos factores enteros iguales. Pero adems, los nmeros ne-

Licenciatura en Docencia Tecnolgica Sistemas Numricos 42 gativos presentan un segundo tipo de dificultad: 16 carece de solucin, dado que -16 no puede descomponerse en dos factores iguales: (+4) (+4) = +16 y (-4) (-4) = +16 Por lo tanto, -16 carece de solucin en Z. En general: Las races de ndice par de nmeros negativos carecen de solucin en Z. DIVISIBILIDAD EN Z Como se ha expresado anteriormente, una ecuacin de la forma: ax = b no siempre podr ser resuelta dentro del dominio Z. En efecto, las ecuaciones 8x = 15 o - 8x = 15 carecen de solucin entera. Para resolver ecuaciones como las anteriores, ser precisa una nueva extensin del eje numrico, para producir los nmeros racionales (fraccionarios). Por ahora, examinaremos los casos en los que la ecuacin ax = b tiene solucin en Z. Por ejemplo: 4x = -20 tiene como solucin x = - 5. Cuando la ecuacin ax = b tiene solucin, se dice que a es un factor de b, o bien que x divide a b, y se escribe: a b. En nuestro ejemplo, podemos escribir 4 (- 20) . El problema de la divisibilidad puede circunscribirse exclusivamente a los mdulos, dado que el signo siempre se podr elegir adecuadamente, de modo que se cumpla la relacin de divisibilidad. Esto es, si 4 20, tambin podemos escribir: 4 (- 20), (- 4) 20 y (-4) (-20). De ah que nos baste con analizar la relacin en N, y generalizada a Z, FACTORES PRIMOS Hemos definido la relacin de divisibilidad conforme a los siguientes trminos: x = a ax = b b Reflexiva: a a (a, b, x Z) (porque a 1 = a) La relacin dada tiene las propiedades siguientes: Antisimtrica: a b b a (excepto para = a b ) Transitiva: a b y b a c c

Licenciatura en Docencia Tecnolgica Sistemas Numricos 43 Demostracin: a b ax = b b c by = c (ax) y = c a (xy) = c a c (por definicin) (por definicin) (sustituyendo b por ax) (propiedad asociativa) (dado que xy Z)

Monotona: si un nmero divide a otros dos, divide a su suma. Esto es: a b y a c a (b + c) y a (-1) = -a garantizan que, para cualquier entero a; 1, el entero a tendr dos a Las ecuaciones a 1 = a

habr al menos dos "divisores: 1 y -1. Y si

divisores ms, a y -a. El que un entero tenga ms de esos cuatro divisores resulta problemtico, y en consecuencia los enteros pueden ser clasificados segn el nmero de divisores que tienen: Unitarios: Slo tienen dos divisores: 1 y -l. Primos: Tienen cuatro divisores: 1, -1, a y -a. Compuestos: Tienen ms de cuatro divisores. Por ejemplo: 1 y -1 son unitarios 7 y -7 son primos 25 y -25 son compuestos, ya que cada uno tiene seis divisores: 1, -1, 5, -5, 25 y 25. Dado que todas las propiedades de divisibilidad de un nmero son aplicables a su inverso aditivo, podemos limitamos a estudiar los valores absolutos de ellos, y extender el estudio a ambas categoras: positivo y negativo. Los nmeros, dentro de esa restriccin, se clasificarn en: Unitarios: 1 Primos: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31,37, 41, 43, 47 . . . Compuestos: 4, 6, 8, 9, 10, 12,14, 15, 16, 18, 20, 21, 22, 24, 25, 26, 27, 28, 30, 32, 33, 34, . . . Desde luego, observamos que todos los nmeros pares mayores que dos son compuestos, dado que pueden expresarse en la forma 2n, y si n 1, entonces el nmero par tendr, al menos, 3 divisores: 1, n y 2.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 44 Los nmeros compuestos siempre pueden expresarse como producto de nmeros primos. Por ejemplo: Descomponer en factores primos el nmero 180. Solucin:
60
180

15

Resultado: 180 = 2 X 2 X 3 X 3 X 5. Explicacin: En el diagrama se descompuso 180 como producto de otros 2: 180 = 60 X 3. El 60, a su vez, se descompuso: 60 = 15 X 4 y en seguida fueron factorizados el 15 y el 4: 15 = 5 X 3 y 4= 2 X 2. Los factores primos (no se pueden factorizar a su vez) slo se bajan. Desde luego que la factorizacin pudo haberse iniciado y proseguido de otra manera:
15 5 3 4 5 5 2 2 3
180

12

Observamos que al descomponer el nmero 180 en sus factores primos y ordenados para expresar el resultado, se ha obtenido siempre la misma solucin. Esta propiedad es general para todos los nmeros enteros y aunque no expondremos la demostracin porque resulta demasiado complicada, enunciaremos la llamada propiedad fundamental de la Aritmtica: La descomposicin ordenada de un nmero entero en factores primos absolutos es nica. Esto es, el nmero 180 slo se puede descomponer en factores primos absolutos ordenados, de una manera: 180 = 2 X 3 X 5 En cambio, ser imposible expresar al nmero 180 como producto de factores en

Licenciatura en Docencia Tecnolgica Sistemas Numricos 45 que intervenga un 7, por ejemplo, o ms de tres nmeros 2: 180 7 X ... y 180 1= 2 X 2 X 2 . . . Divisores de un nmero Los factores primos de un nmero son todos ellos divisores de l, pero tambin pueden formarse divisores tomando algunos de los factores primos de l. Por ejemplo: dado que 180 = 2 x 2 X 3 X 3 X 5, los divisores de 180 sern desde luego, 1, 2, 3 y 5; pero. Adems, podemos expresar al nmero 180 as: 180 (2 X 2 X 3) X (3 X 5 ) 12 X 15 de donde obtenemos dos divisores ms de 180: 12 y 15. o bien, podemos escribir: 180 = (2 X 2) x (3 x 3 X 5) = 4 X 45 y obtener as otros dos divisores: 4 y 45. As, sucesivamente, podemos encontrar todos los divisores de 180. En general, un divisor de 180 lo podemos encontrar multiplicando alguno de los factores primos de 180: 20, porque es 2 X 2 X 5 18, que es 2 X 3 X 3 30, que es 2 X 3 x 5, etctera. En cambio, 25 no ser divisor de 180, ya que 25 es el producto de 5 X 5, y entre los factores de 180 no tenemos ese par de cincos. El hecho de que un divisor de 180 sslo se pueda formar con factores primos de 180 es una consecuencia directa, como puedes fcilmente observar, del teorema fundamental de la Aritmtica.

Ahora veamos los divisores comunes de 180 y 120


180

60

15

Licenciatura en Docencia Tecnolgica Sistemas Numricos 46

180 = 22

32

120

20

3 3

2 2

120 = 23 X 3 X 5 Un divisor comn de 180 y 120 es un nmero que divide a ambos. Los divisores de 180 se formarn con los factores 2, 2, 3, 3, 5 y los divisores de 120 con los nmeros 2, 2, 2, 3 y 5. Si queremos un divisor comn de 180 y 120, debemos formarlo con factores primos que se encuentren tanto en la lista de 180 como en la de 120. Es decir, con los factores 2, 2, 3 y 5. As es que los factores comunes de 120 y 180 son: El unitario 1. Los nmeros primos 2, 3 y 5. Los nmeros compuestos obtenidos con los factores 2, 2, 3 y 5, y que son: 4, 6, 10, 12, 20, 60. Al mayor de ellos, 60, se le llama mximo comn divisor.

Comn divisor de dos nmeros a y b es comn, es un nmero d tal que: d/a y d / b Mximo comn divisor de dos nmeros a y b es un nmero m tal que: m / a, m/ b y d / m, para todo comn divisor d. Esto es:

Licenciatura en Docencia Tecnolgica Sistemas Numricos 47 Ocasionalmente ocurre que los factores primos de un nmero son todos ellos distintos de los de otro nmero b. En casos como se, no es posible formar ms comn divisor que el nmero 1, y se dice entonces que a y b son primos relativos. EJEMPLO: Calcular el mximo comn divisor de 14 y 15. Solucin:
14 15

14 = 7 X 2

15 = 5 X 3

Como no hay factores primos aprovechables, esto es, que aparezcan en ambas sucesiones, resultar que el nico divisor comn es 1. Entonces, 14 y 15 son primos relativos. Dos nmeros son primos relativos cuando su nico divisor comn es la unidad.

Un tema que tendr gran aplicacin en el estudio de los nmeros irracionales surge de las siguientes ideas. 7 no divide a 10, ni a 15, y entonces no divide a 150 (comprubalo). 6 no divide a 10 ni a 15, pero en cambio, s divide a 150. Por qu? (150 = 10 X 15) Veamos que es: 150 = 10 X 15 = (2 X 5) X (3 X 5) =2x3x5x5 Con los factores anteriores, no es posible formar el 7, pero s el 6. Analiza: 10 = 2 X 5 no contiene factores suficientes para formar el 6.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 48 15 = 3 X 5 tampoco contiene los factores de 6. Pero 150= 2 X 3 X 5 X 5 s contiene los factores del 6. Esto es: 6 no divide a 15 ni a 10, pero s a 150.

El conjunto de mltiplos de un nmero es cerrado para la suma y multiplicacin. Las observaciones anteriores nos permiten establecer la siguiente conclusin: Si un nmero primo no divide a otros dos, tampoco divide a su producto. Esto es: p a y p b p ab

Si un nmero primo no divide a otro nmero, tampoco divide a ninguna potencia de ese nmero. Esto es: p a p a como caso particular de esta aseveracin. obtenemos una importante conclusin: Por ejemplo: 7 no divide a 10; entonces, 7 no dividir a ninguna de las potencias de 10: 100, 1 000, 10 000, 100 000, 1 000 000, etctera. Como consecuencia de todo lo visto, declararemos tambin una proposicin que ser importante en teora de las ecuaciones:

EJEMPLO: Los mltiplos de 6 son: M (6) = 0, 6, 12, 18, 24, 30, 36, 42, 48, 54, 60, 66, 72, . . . -6, -12, -18, -24,. . . Observa que cuando se suman dos mltiplos de 6, el resultado es tambin un mltiplo de 6: 18 + 30= 48, 24 + 12 = 36, 12 x 6 = 72, 48 M 36 M 72 M

Tambin ocurre lo mismo, cuando se multiplican dos mltiplos de 6: Pero en realidad, para obtener un mltiplo de 6 no es preciso que ambos factores sean mltiplos de 6; basta con que lo sea a uno de ellos.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 49

Los nmeros Racionales


Conceptos bsicos
Los nmeros racionales aparecen cuando hay necesidad de considerar fracciones o partes de una unidad. Si una unidad se divide en partes iguales, cada pedazo recibir un nombre, segn el nmero de partes que se hayan obtenido:

Medios

tercios

cuartos

quintos

sextos

etc.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 50 Como habrs aprendido en cursos anteriores de matemticas, una porcin de unidad en la que se toma un cierto nmero de ella se representa mediante un nmero racional. Los siguientes son ejemplos de nmeros racionales. 6/9 4/6

La idea que genera la creacin del concepto de nmero racional es el reparto: cuando una cantidad se va a repartir en partes iguales, el resultado es un nmero racional. Si, por ejemplo, hay que repartir dos pasteles entre tres personas, el resultado requiere del siguiente proceso: a) dividir cada pastel en tres partes iguales:

b) asignar a cada persona dos de esos pedazos. As que el resultado es: 2 : 3 = 2/3 Esto implica que: 2/3 x 3 = 2 Depurando esas ideas generativas, vemos cmo se define formalmente el concepto de nmero racional: Sea la ecuacin: 8x = 24 la solucin es x = 3 En este caso, el resultado es un nmero natural: 3. En cambio si tenemos la ecuacin 3x = 2, el resultado ser un nmero racional x = 2/3, segn vimos en el ejemplo de los pasteles. Entonces, los racionales los haremos depender del resultado de una ecuacin multiplicativa: Si bx = a, entonces x = a/b Un nmero racional es un par ordenado de nmeros enteros, en la forma a/b, siendo b 0 La restriccin de que deba ser b distinto de cero resulta de la ecuacin, v. g.:

Licenciatura en Docencia Tecnolgica Sistemas Numricos 51 0x=3 No tendr solucin: deseamos que siga siendo vlida la propiedad 0 x = 0, cualquiera que sea el valor de x. Decimos que el par (a, b) de nmeros enteros es ordenado en virtud de que, en general consideramos distinto el racional a/b del racional b/a. El primer trmino (a) del racional se llama numerador. El segundo trmino (b) se llama denominador. La interpretacin fsica de un racional a/b, cuando b es un nmero entero positivo, requiere: I. II. Dividir la unidad en b partes iguales Separar a de esas partes, para integrar el valor del racional

Conforme a tal interpretacin, queda pendiente la forma como se representarn los racionales cuando el denominador b es nmero negativo. La solucin de este caso ser dada en el inciso siguiente, en el que ampliaremos los conceptos establecidos de modo que cubran el caso de los enteros negativos. En cuanto al cero, ya se ha establecido que definitivamente no se conceder significacin alguna a un racional de la forma a/0. En cambio, si a a s le podremos asignar un valor de 0: todo racional de la forma 0/b tendr un valor igual a 0. As, 0/1 = 0; 0/2 = 0; 0/3 = 0, etctera. En cambio, 2/0 carece de significado alguno. A lo largo de las explicaciones posteriores iremos comprendiendo por qu.

Igualdad de Racionales
Consideremos el problema de repartir dos pasteles entre tres personas. En la seccin anterior vimos que el resultado es: 2 : 3 = 2 3 Los dos tercios resultantes se han representado en la figura siguiente:

Ahora bien, esa fraccin de pastel puede, a su vez, ser dividida en rebanadas; por ejemplo: obtenemos rebanadas, que son doceavos de pastel, dividiendo cada

Licenciatura en Docencia Tecnolgica Sistemas Numricos 52 tercio en cuatro partes iguales. Si cuentas las rebanadas encontrars que son 8/12. (Observa que caben 12 porciones en la unidad). Pero, dado que la cantidad de pastel no cambia, sino que nicamente se parte en rebanadas, podemos escribir: 2 = 8 3 12 La cantidad 2/3 se puede fraccionar en las siguientes fracciones equivalentes:

2/3 ...

4/6

6/9

8/12

10/15

Todos esos racionales son equivalentes entre s y constituyen un conjunto, llamado clase de equivalencia del racional 2/3. Esto es, la clase de equivalencia de 2/3 es: 2 3 a b = 2 3 ka kb , 4 6 , 6 , 8 , 9 12 10 , 15 12 , . . ., 2k 18 3k

(k 0)

Observemos tambin que si se multiplica el primer numerador (a) por el segundo denominador (kb), se obtiene el mismo resultado que al multiplicar el primer denominador (b) por el segundo numerador (ka). En efecto: a(kb) = b(ka) debido a las propiedades conmutativa y asociativa de la multiplicacin. Tradicionalmente, al primer numerador y al segundo denominador suele llamrseles extremos y a los dos trminos restantes medios. Dadas esas denominaciones, una nueva forma de expresar el criterio de igualdad de racionales es el siguiente: a b = c d

ad = bc

Un racional a/b es igual al racional c/d, cuando el producto de los extremos es igual al producto de los medios.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 53

Ejemplos. 3 4 2 3 = = 9 puesto que 3 x 12 = 9 x 4 = 36 12 8 puesto que 12 x 2 = 8 x 3 = 24 12

La regla de equivalencia a/b = ka/kb nos permitir incorporar al estudio de los racionales, a los pares de enteros en los que el denominador es negativo. As: -2 -3 = - 2 (-1) - 3 (-1) = 2 3

Puesto que carece de sentido querer dividir una unidad en menos 3 partes iguales, no hubisemos encontrado significado al racional -2/-3. La regla de equivalencia se aplica aqu para conseguir que el denominador sea un entero positivo; transformacin que es til para manejar algunos criterios y operaciones que slo son vlidas cuando el denominador es positivo. Para transformar una fraccin de denominador negativo en una de denominador positivo, se cambia el signo de ambos trminos (esto equivale a multiplicar ambos trminos por -1).

a b

-a -b

Puesto que un racional puede ser modificado en sus trminos, sin cambiarle su valor, al multiplicar ambos por un mismo factor no nulo, recprocamente ambos trminos pueden ser divididos entre un factor comn, si lo tienen; por ejemplo: 15 9 = 5 3

Pero claro est que no todos los racionales tendrn un factor comn para ambos trminos. De un racional se dice que es irreductible cuando sus dos trminos son primos entre s. Dado un racional, siempre es posible encontrarle un equivalente irreductible. Al proceso mediante el cual se resuelve este problema se le llama simplificacin.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 54 Ejemplo: simplificar el racional 420/1890 Solucin: descompnganse los dos trminos en sus factores primos: 420 1890 = 2 2 3 5 7________ 233357 = 2 9

Esta ltima expresin se obtiene cancelando los divisores comunes. En general, podemos afirmar que: Todo racional puede expresarse de manera pareja de enteros primos entre s. nica como un racional

irreductible equivalente (con denominador positivo), esto es, como una

El eje numrico racional.


En el eje numrico, los nmeros racionales sern intercalados entre los nmeros enteros, de la forma que se detalla a continuacin. Para localizar algn a/b Q, una vez localizados los enteros de acuerdo a las recomendaciones dadas en captulos anteriores, y si no se cuenta con una regla graduada, se puede elaborar una recta numrica con el auxilio del comps y una regla sin graduar, de la forma siguiente: Localizar 5 7 a) A partir de CERO se traza una semirrecta auxiliar con una inclinacin cualquiera, en ella trazamos 7 marcas (denominador) con ayuda del comps.
Semirrecta auxiliar

0 1

b) Tomemos 7 marcas (denominador) de la semirrecta auxiliar y la ltima la unimos con un trazo auxiliar con el nmero 1 del eje (o con -1) en caso de que fuese racional negativo.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 55

Semirrecta auxiliar

Trazo auxiliar

0 1

c) A partir de la marca 5 (numerador) de la semirrecta auxiliar, trazamos una paralela al trazo auxiliar y donde corte al eje numrico estar el racional 5. 7
Semirrecta auxiliar Trazo auxiliar

0 1

En general para representar el nmero racional a/b en el eje numrico, siendo b positivo (en caso contrario, tmese el racional equivalente a/ -b), se divide el segmento unitario en b partes iguales y se cuentan a de ellas hacia la derecha de 0 si a es positivo y hacia la izquierda de 0 si a es negativo. En el caso que a sea igual a cero, el racional se coloca en 0, cualquiera que sea el denominador. Observemos que algunos de los racionales caen en el mismo lugar que los nmeros enteros; por ejemplo, la escala de los tercios es:

5 7

-2

-1

-6 3

-5 3

-4 3

-3 3

-2 3

-1 3

0 3

1 3

2 3

3 3

4 3

5 3

6 3

7 3

8 3

9 3

Y en dicha escala observamos que:

Licenciatura en Docencia Tecnolgica Sistemas Numricos 56 3 -2 3 1 6 3 2 9 3 3 0 3 kb b = k 0 -3 3 (b 0) -1 3 -6

Declaramos entonces que, en general:

Por lo tanto, todo nmero entero se podr expresar en forma de racional, utilizando como denominador un nmero entero cualquiera y la regla dada en la frmula anterior; por ejemplo: 7= 7x3 = 3 21 3

los racionales colocados delante de 1 pueden ser considerados como formados de dos partes (a menos que se trate de un entero): una parte entera y una parte 8 fraccionaria; por ejemplo: 35 8 =
3

A esta representacin de los nmeros racionales mayores que la unidad se le llama nmero mixto. El problema inverso de convertir un nmero en par ordenado se resuelve como en el siguiente ejemplo: Expresar en forma racional el mixto
7 12

3 4

7 12

3
+ 7 = 12 36 12 + 7 12 = 43 12

3 x 12 12

Elevado este procedimiento a la categora de regla, diremos que: Para expresar un nmero mixto en forma racional, se multiplica el entero por el denominador y se suma el numerador; conserva el mismo denominador. El siguiente cuadro nos ilustra sobre la extensin del campo de los nmeros racionales: Enteros Racionales Fraccionarios
Puros. Mixtos. Naturales. Cero. Enteros negativos.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 57

El conjunto de los nmeros racionales, formado por los elementos designados lo representaremos con la letra Q. Q= a b b 0 a y b enteros

El orden entre los racionales.


Al intercalar en el eje numrico los nmeros racionales, puede observarse que es posible declarar un orden entre ellos: ser mayor el racional que quede a la derecha y menor el que quede a la izquierda; por ejemplo; observando la posicin que ocupan los racionales en el eje numrico:
-1

-3 2

-1 2

3 5

7 3

Podemos observar que 3/5 < 7/3

-1/2 < 3/5

pero

-1/2 > -3/2

Desde luego, notamos que los racionales negativos son menores que los positivos y que el cero; pero cuando los racionales que se desea comparar tienen el mismo signo, la decisin sobre cul es el mayor es un poco ms laboriosa; por ejemplo: qu es mayor 3/5 o 2 /3? La decisin se obtiene buscando, de entre los racionales que son equivalentes a 3/5 y 2/3, dos que tengan el mismo denominador. Veamos:

3 5

2 3

La figura dibujada no resuelve el problema; los valores de esos racionales son tan semejantes que no se alcanza a ver la diferencia. En cambio si los reducimos a un comn denominador la decisin es ms sencilla:

Licenciatura en Docencia Tecnolgica Sistemas Numricos 58

3 5

9 15

2 3

10 15

y por lo tanto observamos que 2/3 es mayor que 3/5, dado que al contar 10/5 se ocupar un lugar a la derecha del que ocupa 9/15. En general, la decisin de cul de los dos racionales es mayor: a/b op c/d, se realizar convirtindolos a un comn denominador: a/b = ad/bd, y c/d = bc/bd

y si bd, que es el nuevo denominador comn, es positivo (lo que ocurre cuando ambos tienen el mismo signo), decidiremos que: a/b < c/d a/b = c/d a/b > c/d

ad < bc
ad = bc

a/d > bc

es decir, que si un racional r1 es igual mayor menor

igual mayor menor

que un racional r2 si el producto de

los extremos resulta ser

que el producto de los medios

El criterio de orden es slo vlido cuando el producto de los denominadores, bd, es positivo, lo cual ocurre cuando ambos tienen el mismo signo. Dado que en caso contrario, el conteo de los numeradores tendr que hacerse hacia el otro lado del cero, con lo que quedara invertido el criterio de decisin. Ejemplos. Cul de los racionales , 3/5 o 7/12 es mayor?

Licenciatura en Docencia Tecnolgica Sistemas Numricos 59 Multiplicando extremos y medios obtenemos: 3 x 12 = 36 y 5 x 7 = 35 Siendo 36 > 35 deber ser que 3 5 Cul de los racionales 7/-2 Convirtiendo 7/-2 -7 x 2 = -14 -7 2 < -3 2 y > 7 12

y 3/2 es mayor?

a racional de denominador positivo, obtenemos -7/2. 2 x (-3) = -6 siendo 14 < -6, establecemos que:

Ahora obtengamos los productos de los medios y los extremos:

Nota: observa que la aplicacin directa de la regla hubiese dado una solucin equivocada: 7 x 2 = 14 y 3 x 2 = 6, siendo 14 > que 6. = < ? o por el Con lo antes visto, se nos ocurre preguntar habr algn caso en el que no se deba poner entre dos racionales alguno de los signos > vlidos? contrario, existirn dos racionales entre los cuales dos de los signos sean

Densidad del sistema Q


Entre los enteros, particularmente los naturales, establecimos una relacin de sucesin: El sucesor de 7 es 8; el sucesor de 8 es 9; el sucesor de 23657 es 23658, etctera. Esta nocin de sucesor se basa en nuestro conocimiento de que del 7 sigue el 8 y que entre ambos nmeros no existe ningn otro nmero entero. Lo mismo sucede con el 8 y el 9, el 23657 y el 23658, etctera. De manera anloga, se nos podra ocurrir la siguiente pregunta: Cul es el racional que sigue de 7/9? Una respuesta ingenua sera: de 7/9 sigue 8/9 1 6 9 7 9 8 9 9 9

Licenciatura en Docencia Tecnolgica Sistemas Numricos 60 Pero podemos declarar que entre 7/9 y 8/9 no hay ningn otro racional? Es claro que no podemos decir eso; para evidenciarlo, podramos convertir los dos racionales dados a noventavos
8 9 9 9

1
77 90 78 79 90 90 80 81 90 90 82 90 83 90 84 85 86 87 88 90 90 90 90 90 89 90 90 90

Desde luego, que si pretendemos rectificar para decir que de 8/9 sigue 81/90, volvemos a caer en un error; entre esos dos racionales existen otros, lo cual quedara de manifiesto si convertimos ambos a novecientosavos:
80 90 81 90

800 900

801 900

802 900

803 900

804 900

805 900

806 900

807 900

808 900

809 900

910 900

Por lo que 80/90 = 800/900 y 81/90 = 910/900; ahora s resulta evidente que existen otros racionales entre 80/90 y 81/90; ellos son: 801/900, 802/900, 803/900, . . . La discusin podra proseguir interminablemente hasta convencernos de que nunca ser posible encontrar dos racionales consecutivos, a la manera como ocurre entre los enteros, de manera que no existan otros racionales entre ellos. A esa propiedad se le llama densidad, que expresamos as: Entre dos racionales diferentes, siempre existe otro racional. Formalmente, la propiedad de la densidad se formula as: Si a y b son racionales y a > b, siempre existe otro racional m, tal que: a > m > b. La demostracin es sencilla y se puede realizar siguiendo las ideas que nos condujeron a esa proposicin: Sea a = p/r y b = q/r (reducidos ambos racionales a un comn denominador; p, q, r son enteros). Como a > b, deber ser p > q. Digamos que es q = p + h. Si p y q no son enteros consecutivos, esto es, si h 1, habr un entero entre ellos. Llammosle n. El problema estar resuelto. p > r n > r p+h r

Licenciatura en Docencia Tecnolgica Sistemas Numricos 61

Esto es:

a>m>b

Y si p y q son consecutivos, entonces ser h = 1; multiplquense ambos trminos de cada racional por 2 (o por cualquier otro nmero mayor que 1), y tendremos: a = 2p 2r 2p + 2 b = 2r Ahora podemos tomar m = 2p + 1 2r y

quedar cumplida la condicin: 2p 2r 2p + 1 > 2r 2p + 2 > 2r Esto es a > m >

b.

Ejemplo: Obtn un racional comprendido entre 7/8 y 12/8 Como 7 y 12 no son enteros consecutivos, podemos tomar como m a cualquiera de los valores 8/8, 9/8, 10/8 y 11/8 Ejemplo: Obtener un racional comprendido entre 7/3 y 8/3 Procedimiento: multiplquense los dos trminos de cada racional por 2: 7 3 x 2 =14 6 8 3 x 2 16 = 6

Con ello tendremos espacio para intercalar a m: 14 6 <15 6 16 < 6

Ejemplo: obtener un racional comprendido entre y 7/9 Procedimiento: convirtanse a un comn denominador: 3 4 = 27 36 7 9 28 = 36

Como 27 y 28 resultaron consecutivos, multiplquense los trminos de cada racional, calculando los racionales equivalentes: 3 4 = 27 36 = 54 72 y 7 9 = 28 36 = 56 72

Ahora s queda claro que hay un lugar para m: < 55/72 < 7/9 Obsrvese que para demostrar la densidad de Q no hemos necesitado ms que las propiedades de igualdad y orden de los racionales, cuando definamos las

Licenciatura en Docencia Tecnolgica Sistemas Numricos 62 operaciones de adicin y multiplicacin de racionales se podr expresar otras demostraciones de la densidad de Q, siendo Q el conjunto de los nmeros racionales.

Notacin decimal.
Las fracciones decimales son aquellas cuyo denominador es una potencia de 10, con exponente entero positivo: 10, 100, 1000, . . . Esto es: Una fraccin decimal es un racional de la forma a/10n (n N; n 1). Lo interesante de las fracciones decimales es que se expresan, en nuestro sistema ordinario de numeracin, mediante una notacin especial, que consiste en separar con un punto (decimal) tantas cifras como ceros tenga la potencia, o sea que se separan n cifras del numerador, contadas de derecha a izquierda. 7/1000 = 0.007 (Se separan tres cifras del numerador. Como slo tenemos una, se agregan dos ceros a la izquierda.) 14/100 = 0.14 (Se separan dos cifras del numerador.) 173/10 = 17.3 (Se separa una cifra del numerador.) Las fracciones comunes pueden expresarse en forma de fracciones decimales, mediante la aplicacin del criterio de igualdad de racionales. Ejemplo. Expresar la fraccin 3/5 en dcimos. 3 5 = x 10 3 x = 6, esto es, 5 = 0.6

Ejemplo. Expresar 7/3 en milsimos. 7 3 x = 1000 7000 x =3 a 10n b 2333

La solucin en general es: a x b 10n

Esto justifica el procedimiento que normalmente se sigue para calcular la fraccin equivalente a un racional a/b: al numerador se le agregan n ceros y se divide entre b, separando del cociente tantas cifras decimales como ceros se hayan agregado.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 63

Ejemplo. Expresar la fraccin decimal equivalente a 5/16. Procedimiento. Se efecta la divisin indicada abajo, para obtener: 0.3125 0.3125 16 5.0 20 40 80 0 5/16 0.3 0.31 0.312, o bien 5/16 =

En los problemas de aplicacin de estos conceptos, muchas veces es suficiente con tener un valor aproximadamente igual al dado. Segn el grado de aproximacin requerido, se podrn aceptar como equivalentes a 5/16, los decimales 0.3, 0.31 o 0.312; pero el valor exacto es nico: 0.3125. Algunos racionales dan lugar a desarrollos decimales infinitos. Por ejemplo, si queremos convertir 8/3 a fraccin decimal, nos encontraremos con el siguiente resultado:

2.666 80 20 20 2...

8/3 2.6 2.66 2.666 . . .

Como vemos el resultado exacto estar formado por una sucesin infinita de seises despus de la cifra 2. Se escribe: _ 8/3 = 2 .6 = 2.6666 . . . Ocurre entonces que los racionales se clasifican segn se desarrollo decimal en dos tipos: a) De desarrollo decimal finito (5/16 = 0.3125) b) De desarrollo decimal infinito (8/3 = 2 .6 = 2.666 . . .) En cuanto a estos ltimos, tienen una propiedad que en seguida veremos:

Licenciatura en Docencia Tecnolgica Sistemas Numricos 64 Ejemplo. Convertir el racional8/7 a fraccin decimal. Solucin:

1.142857 8 10 30 20 60 50 1

8/7 1.142857 8/7 = 1.142857142857

8/7 = 1.142857

los residuos de la divisin son, sucesivamente, 1,3,2,6,5; en seguida viene una repeticin de un residuo ya obtenido anteriormente: 1, con lo que el cuadro de la divisin entra en un ciclo peridico, dado que se ha producido una situacin idntica a la que se tena al iniciar el primer periodo. Esto justifica que escribamos:

8/7 = 1.142857 con una barra que significa que el grupo de cifras 142857 se repite indefinidamente. Esta peculiaridad es general a todos los racionales: dado que al dividir a 10n entre b todos los residuos tienen que ser menores que b. Slo puede haber b 1 residuos diferentes salvo que se obtenga un residuo 0. En consecuencia, forzosamente tiene que llegarse a una repeticin de un residuo cuando ms al cabo de b 1 pasos. Esto proporciona un criterio de racionalidad: El desarrollo decimal de un racional es peridico. Para incluir que un racional es finito se podr decir que el periodo es Se llama periodo de la fraccin decimal al conjunto ordenado de las cifras que se repiten. Como: 3/5 = 0.60 8/3 = 2.6 8/7 = 1.142857

Licenciatura en Docencia Tecnolgica Sistemas Numricos 65

Expresin racional de un decimal


En las notas anteriores se vio el problema de representar un decimal de desarrollo finito en forma racional. La solucin resulta fcil de obtener: se borra el punto decimal y se sustituye por un denominador de la forma 10n siendo n el nmero de cifras decimales. Ejemplos: 5.6 = 56/10 31416/10000 Algo ms complicado es el problema de exponer en forma racional un desarrollo decimal infinito. La solucin es posible slo en el caso de que tal desarrollo sea peridico, puesto que, como ya vimos, todo racional conduce a fracciones decimales peridicas. La forma como se realiza dicha transformacin se ilustra a travs de los siguientes ejemplos: 2.13 = 213/100 -1.825 = - 1825/1000 3.1416 =

Ejemplo. Expresar en forma racional la fraccin Solucin: Multiplquese por 100 Sea:

2.73 x = 2.73737373. . . 100x = 273.737373 . . . 100x x= (1) (2) = 2.737373. . .

Rstense miembro a miembro las igualdades (1) y (2) 273.737373 . . .

99x = 271 Despjese a x en la igualdad anterior : x = 271/99 (3)

2.73 = 271/99 lo cual puede verificarse haciendo la divisin Por lo tanto: correspondiente: 271 entre 99. Otro ejemplo. Encontrar el racional equivalente a: Solucin: Multiplquese por 100 Sea: 7.405 x = 7.405405405. . . 1000x = 7405.405405 . . . (1) (2)

Rstense miembro a miembro las igualdades (1) y (2)

1000x = 7405.405405 . . .

Licenciatura en Docencia Tecnolgica Sistemas Numricos 66 x= 7.405405 . . .

999x = 7398 Despjese a x en la igualdad anterior : x = 7398/999 (3)

En general el procedimiento que permite expresar en forma racional un desarrollo decimal peridico se resume en los pasos siguientes: 1. Llmese x al decimal peridico. 2. Multiplquese la igualdad anterior por 10n siendo n el nmero de cifras del periodo. 3. Rstense miembro a miembro las igualdades (1) y (2). 4. Despjese el valor de x de la igualdad anterior

_ Ejemplo. Calcular el valor decimal 0.9 x = 0.9999. . . 10x= 9.999. . . 9x = 9 x = 9/9 = 1 El resultado del ejemplo anterior no deja de ser sorprendente, dado que el hecho de una sucesin de nueves pueda ser igual a la unidad parece ser un error. No obstante, la igualdad es aceptable y se justifica en cuanto restamos de 1 el nmero 0.999999 . . . Primero restamos 1 9/19. Queda un dcimo. De 1/10 restamos 9/100. Queda un centsimo. De 1/100 restamos 9/1000. Queda un milsimo . . .

Licenciatura en Docencia Tecnolgica Sistemas Numricos 67 As sucesivamente, la resta va produciendo una cantidad menor: 1/10000; 1/100000; 1/1000000... y concluimos que la diferencia se va esfumando y acaba por desaparecer. Un ejemplo ms. Convertir en racional la fraccin decimal peridica 2.499999... x = 2.49999. . . 10x=24.99999. . . 9x = 22.5 x = 22.5/9 = 225/90 Por lo tanto Observacin: al dividir, para efectuar la comprobacin, 225 entre 90, obtenemos: 225/90 = 2.5 tenemos que aceptar que: 2.499999. . . = 2.5 Otro caso de conversin. Calcular el racional equivalente a 2.236067977. . . Solucin: El desarrollo decimal no permite apreciar un periodo; es decir, un grupo de cifras que se repiten indefinidamente. Dad esa situacin, declaramos que no es posible resolver el problema. Si se da un nmero mayor de cifras y con ellas la seguridad de que existe un periodo, el problema ser soluble conforme el procedimiento establecido anteriormente. Esto nos conduce a un nuevo concepto: Qu ocurrir si el desarrollo decimal no presenta nunca una periodicidad? La solucin ser. El nmero representado por un desarrollo decimal infinito no peridico no es un nmero racional; esto es, no puede ser representado mediante una pareja ordenada de enteros en la forma a/b.

ADICIN DE RACIONALES
En el sistema Q de los nmeros racionales, es posible definir las dos operaciones bsicas: adicin y multiplicacin, as como a sus correspondientes inversas: sustraccin y divisin.

Licenciatura en Docencia Tecnolgica Sistemas Numricos 68 La adicin operacin que rene fracciones para formar una sola, es posible de realizar directamente cuando los dos sumandos tienen el mismo denominador: 3 8 + 2 8 = 5 8

en este caso, basta con sumar los numeradores, y conservar el denominador comn. Esto es: Ejemplos: 16 8 -3 11 + + -15 8 -5 11 = = 1 8 -8 11 a c + b c = a+b c

La operacin se complica un poco cuando los sumandos no tienen el mismo denominador. En este caso, hay que convertirlos antes a un denominador comn, buscando de entre las clases de equivalencia definidas por los sumandos, dos que tengan el mismo denominador. Ejemplo. Sumar: 3/5 + 7/4 Solucin: Escribamos las clases de equivalencias de ambos racionales: 3 5 7 4 = = 3 , 6 , 9 , 12 , 15 , 18 , 21 , 24 , 27 , 30 ,. . . 5 10 15 20 25 30 35 40 45 50 7 , 14 , 21 , 28 , 35 , 42 , 49 , 56 , 63 , 70 ,. . . 4 8 12 16 20 24 28 32 36 40

Ahora vemos que, entre las clases de equivalencia de ambos sumandos, podemos localizar parejas que tienen el mismo denominador; por ejemplo: 12/20 y 35/20 as mismo 24/40 y 70/40. Por tanto: : o bien 3 5 + 7 4 = 24 40 + 70 40 = 94 40 3 5 + 7 4 = 12 20 + 35 20 = 47 20

Licenciatura en Docencia Tecnolgica Sistemas Numricos 69

La operacin produce resultados aparentemente distintos, segn cules sean los racionales equivalentes elegidos; sin embargo, una observacin ms atenta de los resultados nos permite descubrir que ellos son iguales: 47 20 = 94 40 porque 47 x 40 = 94 x 20 = 1880

en consecuencia, el resultado es nico, en cuanto a que todos los posibles resultados, segn puede demostrarse, pertenecen a una misma clase de equivalencia. A la pregunta de que si existirn siempre, en las clases de equivalencia de dos racionales, dos que tengan respectivamente el mismo denominador, se puede contestar afirmativamente; ms an , existir siempre un nmero infinito de parejas que satisfacen la condicin; cualquiera de esas parejas resuelve el problema de la adicin de racionales:

Dada una pareja de racionales a/b y c/d, la solucin general es:

a b por lo tanto:

ad bd

c d

bc bd

a b

c d

ad + bc bd

Esta expresin anterior se adopta como definicin de la operacin de sumar racionales. Como se ve, la idea que permiti establecerla, es la de convertir ambos sumandos a un denominador comn. El denominador comn puede ser inferior (en valor absoluto) al producto de los denominadores, que es el que aparece en la frmula; cuando eso ocurre, por razones prcticas debe preferirse el comn denominador ms pequeo (mnimo comn denominador)

Licenciatura en Docencia Tecnolgica Sistemas Numricos 70

Aplicando la frmula anterior tenemos: 3 + 5 = 18 + 20 4 6 24 = 38 24 o bien 3 + 5 = 4 6 9 + 10 12 = 19 12

La operacin de adicin tambin puede realizarse con valores negativos y cero: 3 + -2 = 4 5 2 + 0 3 = 15 - 8 20 2 + 0 3 3 = 0 = 7 20 = 2 3

5 + -5 = 0 9 9 9

Observemos que dos aspectos en los casos anteriores: Primero: Esto es: a b Segundo: Esto es: a b + -a b = 0 + 0 b = a b 0/b = 0 (b 0) es un neutro de la adicin de racionales.

a/b y - a/b son inversos aditivos.

MULTIPLICACIN DE RACIONALES
1 2 3

1 3 4

En la figura hemos calculado el rea de un rectngulo cuyos lados tienen las siguientes medidas: y 2/3. el resultado como puede observarse, es:

Licenciatura en Docencia Tecnolgica Sistemas Numricos 71

3 4

2 3

6 12

o bien

1 2

la operacin de multiplicar, a travs de esa idea mediante la cual se calcula el rea de un paralelogramo cuyos lados tienen medidas fraccionarias, conduce a la siguiente definicin de multiplicacin de racionales: a b x c d = ac bd

Esto es, para multiplicar dos racionales, se multiplican separadamente los numeradores y denominadores, como lo indica la frmula. Ejemplos: a) b) c) d) e) 3 4 -3 2 -3 5 2 3 3 5 x x x x x 7 5 2 7 -3 8 1 5 3 = = = = = 2 3 15 15 = 1 21 20 -6 14 9 40

en el ejemplo d se pone de manifiesto que el radical 1 ( o m/m para todo m distinto de cero) es un neutro de la multiplicacin: a x b 1 = a b

en el ejemplo e se ilustra la propiedad de que existen racionales cuyo producto es el neutro 1. dichos racionales se llaman inversos multiplicativos. Evidentemente: todo racional a/b distinto de cero tiene un inverso multiplicativo, que es b/a. Dado que:

a x

ab

= 1

Licenciatura en Docencia Tecnolgica Sistemas Numricos 72 b a ab

El inverso multiplicativo de un racional a se expresa con la notacin a-1 a-1 es el inverso multiplicativo de a. La existencia de inversos multiplicativos permite definir la operacin de dividir (como inversa de la multiplicacin) en los siguientes trminos. Problema: Dividir a/b entre c/d Solucin: Sea: a : b c d = x

ahora bien, dado que la divisin es la operacin inversa de la multiplicacin deber ser: x c = a d b Multiplicando ambos miembros de la igualdad por d/c, obtenemos x c d d c y como: c d d c x = esto es a : b c d = ad bc ad bc = 1, siendo x 1 = x, resulta = a b d c

La expresin anterior es la frmula de divisin de racionales; se aplica como los siguientes ejemplos: a) 3 : 4 2 3 = 3x3 = 9 4x2 8

Licenciatura en Docencia Tecnolgica Sistemas Numricos 73

b) c) d)

5 : 9

3 2

= = =

5 x 2 = 10 9x3 27 5 x 10 = 50 = _ 50 3 x (-7) -21 21 -3 x 2 = -6 -1 x 4 -4 = 6 4

5 : -7 3 10 -3 : 4 -1 2

e)

3 : 0 = ... (no se puede dividir entre cero) 2

En la obtencin de la frmula de la divisin se han aplicado sucesivamente las propiedades asociativa, existencial de neutro y existencial de inversos en la multiplicacin de racionales que ya han sido demostradas anteriormente. Tales propiedades, as como la conmutativa, son de uso muy frecuente en diversos desarrollos del lgebra de los nmeros racionales.

NUMEROS IRRACIONALES. REALES


Al describir el sistema de los nmeros racionales se hizo notar que cualquier segmento por pequeo que sea, puede subdividirse en las partes que se desee y expresar una fraccin de l como un nmero racional. Puesto que, por la propiedad de densidad ese proceso se puede continuar indefinidamente, podra suponerse que los nmeros racionales acabaran por saturar por completo al eje numrico sin que existiese la posibilidad de que quedase algn punto de la recta que no correspondiese a algn nmero racional. Pitgoras de Samos, el eminente gemetra griego descubri que las cosas no ocurren as cuando trat de calcular la diagonal de un cuadrado cuyos lados medan una unidad. Conforme a su clebre teorema, la diagonal la suma de los cuadrados de sus catetos: d , que es hipotenusa de un tringulo rectngulo, tendr un valor cuyo cuadrado ser igual a

Licenciatura en Docencia Tecnolgica Sistemas Numricos 74

d2 = 12 + 12 d2 = 2 Pero. . . cul es el nmero cuyo cuadrado es 2? Pitgoras mismo acab por demostrar que ningn nmero racional tiene un cuadrado igual a dos. La demostracin se efecta por reduccin al absurdo: En primer lugar, encontraramos rpidamente que ningn nmero entero satisface la relacin: 12 = 1 22 = 4 x > 2

x2 > 4

como ningn nmero entero tiene un cuadrado igual a dos, supongamos que existe una fraccin racional de la forma a/b con a Z, b Z* y como a/b no es entero, entonces b > 1. Consideremos por ltimo que a/b es irreductible, ya que en la unidad anterior se mostr que todo racional a/b tiene su forma cannica tal que a y b son primos relativos. Resumiendo, nuestra hiptesis con a b
2

a Z b Z, b 0 a y b son primos relativos

b > 1

Desarrollando la primera expresin a2 = b2 2

y multiplicando miembro a miembro por b, tenemos a2 = b 2b

pero esta ltima expresin encierra una contradiccin, ya que 2b es un nmero entero

Licenciatura en Docencia Tecnolgica Sistemas Numricos 75 (por la cerradura de la multiplicacin en Z), en tanto que porque a2 es una fraccin b

a y b son primos relativos. (Esto debido a un teorema aritmtico que dice: si un nmero es primo relativo con otro no divide a ninguna de sus potencias). En consecuencia, queda demostrado el teorema: No existe nmero racional (ni entero, ni fraccionario) cuyo cuadrado sea igual a 2. Pero ese problema fue solo el principio porque lleg a demostrarse que tampoco existe algn nmero racional (ni entero ni fraccionario cuyo cuadrado sea igual a 3, o a 5, o a 6, etc.) y con esto podramos generalizar diciendo que todo problema cuya solucin requiera encontrar un nmero cuya potencia cualquiera- sea igual a un entero dado, lleva el riesgo muy altamente probable, de no tener solucin entre los racionales. Ms concretamente: si x2 = en Z, tampoco lo tendr en Q. z, (z Z) no tiene solucin

EXTENSIN DEL CAMPO DE LOS RACIONALES Pitgoras qued sumamente desconcertado por este hecho, existen problemas geomtricos cuya solucin no es expresable mediante nmeros racionales. Descart es respuesta como ilgica (a logos: irracional) y segn la Historia pas el resto de su vida con temor de que los dioses lo castigasen por haber descubierto su falla. Pero los matemticos posteriores asumieron una actitud ms prctica decidieron que, en virtud de que el Sistema Q no era suficiente para resolver todos los problemas de la Matemtica, haba que inventar un nuevo sistema. As naci el Sistema R de los nmeros reales y del cual Q es un subconjunto propio. Obsrvese las ampliaciones que sucesivamente se han ido haciendo del concepto de nmero: I Q N Z

Licenciatura en Docencia Tecnolgica Sistemas Numricos 76

I Q = R N es el sistema original de los nmeros naturales, descritos mediante los axiomas de Peano. Z es el sistema de los nmeros enteros que se form agregando a los nmeros naturales los negativos como inversos de todo n 1. Q es el sistema formado por los nmeros racionales que son pares de nmeros enteros definidos por la relacin de equivalencia: a = c b d
ad = bc (con b y d 0)

R es el sistema de los nmeros reales pero. . . Cmo definiremos a los nmeros reales?

UNA APROXIMACIN INTUITIVA. Anteriormente se vio que todo nmero racional se representa mediante una expresin decimal peridica e infinita: 1 = 0.5000000... 2 1 = 0.3333333... 3 _ 0.50 _ 0.3 ______ 0.142857 _ 5.1

1 = 0.142857142857... 7 46 = 5.11111111111... 9

tambin se estudi el problema inverso: toda expresin decimal peridica infinita puede representarse mediante 0.73737373 . . . . = 73 99 a b

Licenciatura en Docencia Tecnolgica Sistemas Numricos 77 0.186186 . . . . = 186 999

Ahora, si tratamos de calcular el nmero x cuyo cuadrado es 2, encontraremos la siguiente aproximacin: X = 1.4142113562. . . Y en esa expresin no encontraremos ninguna periodicidad; as es que con esto, ya podramos sentirnos tentados a buscar el camino fcil de definir a los nmeros reales, a partir de Q, as: Las fracciones pueden ser racionales o irracionales. Las fracciones racionales son peridicas. Las fracciones irracionales son no peridicas e infinitas. Los nmeros reales son la unin de los nmeros racionales y los irracionales. Pero este camino no conduce a una situacin rigurosamente valida en Lgica y Matemticas. En efecto, Cmo podramos decidir si , por ejemplo, es un

nmero racional o irracional? El valor de es: = 3.1415926535 no se aprecia ninguna periodicidad, por lo que nos sentimos inclinados a declarar que es irracional. Pero se nos podra hacer notar que el nmero podra ser peridico y que las cifras se repitan de 10 en 10, o de 20 en 20 o, tal vez de 100 en 100, etc. Cundo podramos estar seguros de que es racional o no? Un investigador, Shuks, dedic toda su vida a calcular el valor de , con la esperanza de encontrar el periodo, si es que lo haba; cuando suspendi su trabajo llevaba ya calculada 707 cifras decimales y muri sin haber logrado su objetivo. Lindemann en 1882 demostr que no es racional. Pero an ms inquietante es la siguiente discusin: Hemos visto que el eje numrico de los racionales no es continuo, presenta algunos agujeros: a la diagonal del cuadrado unitario corresponde un nmero que no es racional. Porque aparte de las races cuadradas (y las races de cualquier ndice) despus se descubren la inmensa mayora de los logaritmos, antilogaritmos, funciones trigonomtricas directas e inversas, etc., etc., todos ellos son irracionales as es que Q queda convertido en una verdadera coladera. Y. . . Cuntos nmeros irracionales cabrn en cada agujero? (esto nos recuerda la clebre pregunta bizantina Cuntos ngeles caben en la punta de un alfiler?) La matemtica no se permite el lujo de dar cabida a bizantinismos por lo que ser

Licenciatura en Docencia Tecnolgica Sistemas Numricos 78 necesario establecer la base axiomtica del sistema R, que, por otra parte,

fundamenta a los conceptos bsicos de la matemtica superior.

OPERACIONES EN R.
El conjunto R de los nmeros reales consta de dos partes: los nmeros racionales (Q) y los irracionales (Q). Sobre los primeros ya hemos dedicado una unidad completa para estructurar a tal conjunto Q como una estructura matemtica (Q, +, x) definiendo leyes de composicin y verificando propiedades inherentes a tales leyes. Nos falt definir operaciones tales como 2 + 3

Comnmente lo que hacemos es operar con aproximaciones (decimos reales) de esos nmeros y declarar que los resultados sern tanto ms exactos cuanto mejor sea la aproximacin, as:

2 1.414213 1.732050 2 + 3 3 = =

1.4

1.41

1.4142

1.7 3.1

1.73 3.14

1.7320 3.1462

en consecuencia de una suma de nmeros reales deber concebirse como un proceso indefinido de clculo de lmites, conforme a esta definicin: Lim. (a + b) = Lim. a + Lim. b (a,b R) Anlogamente, la operacin de multiplicar se define mediante la siguiente expresin: Lim. (ab) = Lim. a Lim. b

Licenciatura en Docencia Tecnolgica Sistemas Numricos 79