MATEMTICA BASICA

Jos Daro Snchez Hernndez Bogot -Colombia. julio- 2009 danojuanos@hotmail.com danojuanos@tutopia.com danojuanos@yahoo.com
Algunos de mis apreciados visitantes me proponan un material elemental dirigido a estudiantes un poco ms nefitos, pero conservando el espritu inicial que me he propuesto desde la iniciacin de mi trabajo en el ciberespacio. Es sta la razn para colocar un cursillo que sea como una invitacin al aprendizaje de la matemtica avanzada en el campo virtual.

CONTENIDO 1. Fundamentos de Lgica............................................................. 2. Conjuntos................................................................................. 2.1 Clases de conjuntos........................................................ 2.2 Proposiones condicionales y cuantificadores..... 3. Mtodos de una demostracin................................................... 4. Parejas ordenadas y producto cartesiano................................... 5. Relaciones y funciones.............................................................. 6. Clases de funciones................................................................... 6.3 Funcin inversa............................................................... 6.6 Algunas propiedades de las funciones............................ 7. Leyes de composicin interna (operaciones)............................. 7.2 Clases de leyes de composicin...................................... 8. Concepto de Grupo.................................................................. 9. Los nmeros reales.................................................................. 9.3 Mtodos geomtricos y expansin decimal..................... 9.4 Propiedades algebricas.................................................. 9.5 Propiedades de orden..................................................... 9.6 Propiedades de completitud............................................ 10. Los nmeros naturales........................................................... 11. Los nmeros enteros.............................................................. 12. Nmeros racionales................................................................

2 8 9 12 16 20 23 27 28 29 32 34 37 40 42 42 46 49 52 54 57

J. Daro Snchez H.

MATEMTICA BASICA

12.6 Construccin de los elementos racionales.................... 13. Acotacin. Terminacin. Extremacin..................................... 13.5 Principio de buena ordenacin...................................... 13.6 Divisibilidad.................................................................. 13.7 El algoritmo de Euclides................................................ 14. Teorema fundamental de la aritmtica................................... 15. Congruencias......................................................................... 16. Clases Residuales.................................................................. 17. Nmeros complejos............................................................... 17.2 Valor absoluto de un nmero complejo........................ 17.3 Imposibilidad de ordenar los nmeros complejos........ 17.4 Exponenciales complejas.............................................. 17.5 Argumento de un nmero complejo............................. 17.6 Potencias enteras y races de nmeros complejos....... 17.7 Logaritmos complejos................................................... 17.8 Potencias complejas...................................................... Bibliografia......................................................................................

58 61 64 66 69 73 75 79 83 85 88 89 90 92 92 93 97

1. FUNDAMENTOS DE LGICA 1.1 Los vocablos verdadero y falso son fundamentales en el estudio de la matemtica, se consideran completamente conocidos y se aceptan sin definir, es decir se admiten intuitivamente como ideas iniciales y se notan Z , J

1.2 Las oraciones en las cuales se pueden establecer uno de los vocablos verdadero o falso se denominan proposiciones o afirmaciones. Son frecuentemente notadas por letras minsculas : ; < =
EJEMPLOS.

Las frases: Cmo estas?, Cul es tu nombre?, que la suerte te acompae; no son proposiciones Bolivar es un hombre muy conocido, Bogot es la capital de Bolivia, Venezuela es la patria del Libertador; son proposiciones. Toda proposicin suele ir acompaada de una tabla

J. Daro Snchez H.

MATEMTICA BASICA

: Z J llamada tabla de verdad y que indica las posibilidades de que la proposicin : sea verdadera o falsa 1.3 Negar una proposicin es el procedimiento, mediante el cual una proposicin que es verdadera se convierte en falsa y recprocamente si es falsa se convierta en verdadera. Se usa en estos casos : para la proposicin y c: para su negacin : Z J c: J Z

1.4 PROPOSICIONES COMPUESTAS. Una propiedad fundamental de las proposiciones se encuentra en el hecho de poderlas componer para obtener nuevas oraciones las cuales son nuevamente proposiciones llamadas proposiciones compuestas y estan caracterizadas por tablas llamadas tradicionalmente tablas de verdad. 1.4.1 CONJUNCIN: Dadas dos proposiciones : y ; la proposicin compuesta : ; ( : y ; ) es llamada conjuncin y est definida por la siguiente tabla : Z Z J J ; Z J Z J :; Z J J J

es decir su tabla depende estrechamente de los valores de verdad de las proposiciones componentes.
EJEMPLO.

Hoy es lunes y estamos a 28 de frebrero de 1936. Esta es una conjuncin y es una proposicin falsa por que estar a 28 de febrero de 1936 es una proposicin falsa. 1.4.2. DISYUNCIN: Sean : y ; dos proposiciones, la proposicin : ; (lese : o ; ) es una proposicin compuesta llamada disyuncin y est definida mediante la tabla

J. Daro Snchez H.

MATEMTICA BASICA

: Z Z J J
EJEMPLO.

; Z J Z J

:; Z Z Z J

Colombia es una nacin de Amrica del sur o estamos a 9 de abril de 1948. Esta proposicin es una disyuncin la cual es claramente una proposicin verdadera, por que es verdad que Colombia es una nacin de Amrica del sur. Se sigue entonces que la veracidad o falsedad de la disyuncin o de la conjuncin depende de la verdad o falsedad de las proposiciones componentes. Hay una variacin de la disyuncin que se presenta en proposiones como "el papa Juan Pablo II est vivo o el papa Juan Pablo II est muerto" esta es llamada el o exclusivo o el aut y est definida por la siguiente tabla : Z Z J J ; Z J Z J :; J Z Z J

1.4.3 IMPLICACIN: Sean : y ; dos proposiciones, la proposicin : ; es llamada implicacin, la cual se lee de una de las formas siguientes : implica ; si : entonces ; : slo si ; : es una condicin suficiente para ; ; es una condicin necesaria para : y es una proposicin compuesta definida por la tabla

J. Daro Snchez H.

MATEMTICA BASICA

: Z Z J J
EJEMPLO.

; Z J Z J

:; Z J Z Z

Si no me da pereza, entonces estudio geometra

Es de notar que la mayoria de los enunciados de la matemtica estn en forma de implicacin, de donde su importancia.
EJEMPLO.

Si + , y - son las longitudes de los lados de un tringulo rectngulo entonces - # +# ,# . 1.4.4 EQUIVALENCIA: Sean : y ; dos proposiciones, la proposicin : ; es llamada equivalencia, la cual se lee de una de las siguientes maneras : es equivalente a ; : si y slo si ; : es una condicin necesaria y suficiente para ; es una propsicin compuesta definida mediante la siguiente tabla : Z Z J J
EJEMPLO.

; Z J Z J

:; Z J J Z

Sean + y , nmeros enteros entonces se tiene + , si y slo si , + es un nmero natural.

proposicionales.

Los smbolos c, , , -,,

son referidos como los conectivos

En adelante, adems de : ; < = , usaremos :" :# :$ como smbolos para designar proposiciones y nos referiremos a ellos como los smbolos proposicionales. Tenemos tantos smbolos proposicionales como nmeros naturales, disponemos de una buena cantidad de ellos, suficientes para representar cualquier proposicin que tengamos en la memoria; seguramente una persona no alcanza en toda su vida a fijar en su mente ms proposiciones que nmeros. As, podemos considerar que cada smbolo proposional representa una nica proposicin simple.

J. Daro Snchez H.

MATEMTICA BASICA

A cualquier combinacin de smbolos proposicionales, se le determina frmula, y aquellas para las cuales se les puede construir su tabla de verdad son frecuentemente llamadas frmulas bien formadas a0 ,0 b. Las reglas que gobiernan las frmulas bien formadas son: a"b Los smbolos proposicionales son frmulas bien formadas a#b Si ! es una frmula bien formada, entonces su negacin ac!b es una frmula bien formada. a$b Si ! y " son frmulas bien formadas entonces tambin lo son a! " b a! " b a! " b a! " b y a! " b a%b Una expresin es una frmula bien formada si y slo si el que lo sea se sigue de aplicar a"b a#b y a$b. La regla a%b significa que las nicas frmulas bien formadas son las que se pueden construir combinando a"b a#b, a$b un nmero finito de veces. Como una frmula bien formada se ha obtenido a partir de finitos smbolos proposicionales y por aplicacin de a"b a#b y a$b finitas veces, siempre es posible construir su tabla de verdad: se dan a los smbolos proposicionales que aparecen en la frmula bien formada los valores Z J combinndolos adecuadamente para obtener todos los casos posibles y luego se van construyendo paso a paso las tablas de verdad de las frmulas bien formadas que se han ido formando hasta llegar a la de la frmula bien formada dada inicialmente (Ntese que si aparecen 8 smbolos proposicionales en una frmula bien formada, su tabla de verdad tendr #8 filas, correspondientes a las #8 formas posibles de combinar Z y J ) Unos ejemplos aclararn lo dicho: Construir la tabla de verdad de : c:, : ; c:, y : a: ; b ; : : Z J c: J Z : c: Z Z : Z Z J J ; Z J Z J :; Z Z Z J c: J J Z Z a: ; b ac:b J J Z J

: Z Z J J

; Z J Z J

:; Z J Z Z

: a: ; b Z J J J

: a: ; b ; Z Z Z Z

J. Daro Snchez H.

MATEMTICA BASICA

Observando las tablas de verdad anteriores, vemos que existen frmulas bien formadas como : c:, : a: ; b ; , tales que en su tabla de verdad nicamente aparece el valor Z , sin importar la verdad o falsedad de sus proposiciones componentes; estas frmulas se llaman tautologas. Son las frmulas bien formadas ms importantes, debido a que corresponden a proposiciones compuestas que intuitivamente son siempre verdaderas, independientemente de la veracidad de sus proposiciones componentes. 1.5 NEGACIN: Es de utilidad conocer la negacin de los conectivos proposicionales y est dado por las siguientes tautologias: ca: ; b ac:b ac; b ca: ; b ac:b ac; b ca: ; b : ac; b ac:b ; ca: ; b : ac; b

ca: c; b ac: ; bd

1.6 EJERCICIOS. 1. Negar las siguientes proposiciones a+b Si el sol sale esta tarde, entonces voy a jugar a,b Estudiar slo si llueve a- b Comer frutas si y solamente si es una pera o una manzana 2. Haga los cuadros de verdad para cada una de las proposiciones siguientes y concluya si son tautologas o no a + b : a ; < b a : ; b a: < b a , b : a ; < b a : ; b a: < b a- b a: ; b ac:b ; a. b a : ; b a : ; b a ; < b a/b cac:b : a0 b : : : a1 b : : : 3. De cada una de las expresiones siguientes, diga si es una 0 ,0 o no; d las razones de sus respuestas: a+b ac: c; b ca: ; b a, b : c< ; a- b a:" :# b :$ ac:% :$ b a. b aa:" ac:# bb :" b c:# a/ b : ; : < a0 b a c : b a; < b a1b ca: ; b aac:b ac; bb.

J. Daro Snchez H.

MATEMTICA BASICA

4. Use las tablas de verdad para probar que a: c:b ; es una tautologa. 5. Sea ! " frmulas bien formadas. Se dice que "! implica tautolgicamente a " " si ! " es una tautologa. Se dice que " ! es tautolgicamente equivalente a " " si ! implica tautolgicamente a " y " implica tautolgicamente a !, o lo que es igual, si ! " es una tautologa. Halle cuatro ejemplos de implicaciones tautolgicas y cuatro de equivalencias tautolgicas 6. Una contradiccin es una 0 ,0 compuesta que siempre es falsa, independientemente de la veracidad de las proposiciones componentes. Dar cinco ejemplos de contradicciones, demostrando que lo son mediante tablas de verdad, si es el caso. 7. Dadas las proposiciones :: Hace fro, y ; : Est de noche, y suponiendo que la primera es verdadera en este momento y la segunda falsa, escriba en trminos de : ; y los conectivos, las proposiciones siguientes, y halle sus valores de verdad: a+b No est de noche o no hace fro. a,b Hace fro o no est de noche. a- b Ni est de noche ni hace fro a. b Est de noche pero no hace fro. 2. CONJUNTOS Otra idea fundamental en el estudio de la matemtica, es la de conjunto y la tomamos sin definir como materia prima. Intuitivamente es una coleccin de objetos llamados elementos, esta idea la vemos por ejemplo en un panal de abejas , en un rebao de ovejas, en una planta de crianza de truchas, son ejemplos de conjuntos. El hecho de pertenecer a un conjunto es otro concepto primitivo y que se toma como materia prima. Notacionalmente los conjuntos suelen indicarse por letras del alfabeto en mayscula y los elementos que los componen sern indicados por letras minsculas en este caso se dice que los conjuntos estn dados por extensin. Cuando se dan las propiedades que definen a los elementos se dice que el conjunto se da por comprensin, es cuando se usan los corchetes y las palabras "conjunto de elementos tales que". Si denotamos por :aBb a una condicin redactada en trminos de la letra B, el conjunto determinado por ella se escribe eB:aBbf eB :aBbf

J. Daro Snchez H.

MATEMTICA BASICA

A la condicin le llamaremos muchas veces una proposicin condicional. Usaremos tambin la palabra coleccin como sinnimo de conjunto La frmula "+ Q " es utilizada para indicar "+ es elemento del conjunto Q " y suele leerse "+ pertenece a Q " 2.1 CLASES DE CONJUNTOS. Los conjuntos se clasifican segn el nmero de elementos que ellos tienen, as se tendrn conjuntos finitos y conjuntos infinitos. El conjunto universal o referencial es un conjunto variable y es el ms grande conjunto que se considere en un determinado problema, por ejemplo hablando de nmeros el universo podra ser el conjunto de los nmeros reales o el de los nmeros complejos dependiendo de la teora, si es real o si es compleja. El conjunto vaco es un conjunto que carece completamente de elementos, se nota por la letra griega F ef. Algunos conjuntos frecuentemente usados y utilizados son: e! " # f nmeros naturales e " !" # f nmeros enteros nmeros racionales BB + , + , ! d el conjunto de los nmeros reales el conjunto de los nmeros complejos

2.1.2 DEFINICIN. Sea E un conjunto de un universo dado, un subconjunto Q de E, notado Q E, est definido por la proposicin condicional si B Q entonces B E Esta idea puede visualizarse por medio de un diagrama llamado diagrama de Venn

M U

E Q aB E B Q b Decir que un elemento B no est en E se denota por la proposicin compuesta

J. Daro Snchez H.

MATEMTICA BASICA

10

B E caB Eb 2.1.3 DEFINICIN. Un conjunto E se dice igual a un conjunto F si la siguiente proposicin es verdadera E FF E o sea E F aE FF Eb

2.1.4 PROPOSICIN. Sea E un conjunto arbitrario de un universo dado Y entonces F E.

DEMOSTRACIN.

La proposicin condicional verdadera, pues B F es falsa

B F B E es

siempre

2.1.5 DEFINICIN. Sean E y F conjuntos de un universo dado. La reunin de E con F , notada E F , est definida por la proposicin compuesta BEF BEBF es decir, es el conjunto de los elementos que estn en E o estn en F. Si hacemos uso de diagrama de Venn tenemos

A B
E F eBB E B F f 2.1.6 DEFINICIN. Sean E y F conjuntos de un universo dado, la interseccin de E con F , notado E F , est definida por la siguiente proposicin B E F aB E B F b

es decir, el conjunto de los elementos comunes a E y F ; en diagrama de Venn se tiene

J. Daro Snchez H.

MATEMTICA BASICA

11

A B
E F eBB E B F f

2.1.7 PROPOSICIN. a+b E F implica E F E F E F a,b Si E F entonces E F F y E F E a- b E a F G b aE F b aE G b E a F G b aE F b aE G b a. b E F E a/ b E F F E a0 b E F F E La demostracin se propone como ejercicio. 2.1.8 DEFINICIN. Sean E y F conjuntos de un universo dado, la diferencia de E con F es notada E F y est definida por la siguiente proposicin BEF BEBF con diagrama de Venn sera:

B
A

B B

E F eB Y B E B F f 2.1.9 DEFINICIN. Sean E y F conjuntos de un universo dado Y y tal que E F entonces el complemento de E con respecto a F es definido por CF E F E Cuando F es el universo Y se dice simplemente el complemento de E notado CY E CE y est definido por la proposicin B CE B E 2.1.10 PROPOSICIN. Sean E y F conjuntos de un universo Y , entonces a3b CaE F b aCEb aCF b

A U

A B

J. Daro Snchez H.

MATEMTICA BASICA

12

a33b CaE F b aCEb aCF b a33b aCEb E F a3@b aCEb E Y a@b CaY b F a@3b CaFb Y Se hacen en forma directa usando las definiciones y la frmulas bien formadas dadas en la seccin anterior as: a 3b B CaE F b B aE F b caB E F b caB E B F b caB Eb caB F b B E B F B CE B CF B aCEb aCF b Siguiendo el mismo orden de ideas se demuestran las restantes afirmaciones. 2.2 PROPOSICIONES CONDICIONALES Y CUANTIFICADORES 2.2.1 DEFINICIN. Sea E un conjunto de un universo dado, una variable de E es un smbolo que representa a cualquier elemento de E y una constante en E es un smbolo que representa exactamente un elemento de E bien determinado. 2.2.2 DEFINICIN. Una proposicin condicional es una sucesin de smbolos envolviendo variables y que se convierten en proposicin al reemplazar estas variables en un universo conveniente y notan :B B Y :C C Y
DEMOSTRACIN.

siempre y cuando B C sean las variables.

EJEMPLOS. a"b

a#b a$b

:B B " ! es una sucesin de smbolos a:B B " !baB b es la proposicin condicional :B B# " #B ! es una sucesin de smbolos a:B B# " #B !baB d b es la proposicin condicional :B B# " aB "baB "b es una sucesin de smbolos a:B B# " aB "baB "b baB d b es la proposicin condicional

2.2.3 DEFINICIN. Se llama conjunto solucin de una proposicin condicional al subconjunto del universo dado, donde la proposicin condicional es verdadera. Sea a:B baB Y b y T su conjunto solucin entonces T eB Y :B es verdaderaf

J. Daro Snchez H.

MATEMTICA BASICA

13

2.2.4 PROPOSICIN. Sea a:B baB Y b una proposicin condicional, si T es el conjunto solucin de a:B baB Y b entonces Sea + eBc:B f c:+ es verdadero + eB:B f T + CT . eB Y /:B es falsof eB Y ca:B b es verdadf CT

DEMOSTRACIN.

:+

es falso

2.2.5 PROPOSICIN. Sean a:B baB Y b y a;B baB Y b dos proposiciones condicionales con T y U como conjuntos de soluciones entonces Sea + eB:B ;B f :+ ;+ es verdadera :+ verdadera y ;+ es verdadera + T y + U + T U.
DEMOSTRACIN.

eB:B ;B f T U

es

2.2.6 PROPOSICIN. Sean a:B baB Y b y a;B baB Y b dos proposiciones condicionales con T y U como conjuntos de soluciones entonces Sea + eB Y :B ;B f :+ ;+ es verdadera verdadera, , ;+ es verdadera + T + U + T U.
DEMOSTRACIN.

eB Y /:B ;B f T U

:+ es

2.2.7 PROPOSICIN. Sean a:B baB Y b y a;B baB Y b dos proposiciones condicionales con T y U como conjuntos de soluciones entonces eB Y :B ;B f aCT b U Se sabe que a: ; b aac:b ; b es una tautologia por lo

DEMOSTRACIN.

tanto

eB Y :B ;B f eB Y ac:B b ;B f aCT b U

2.2.8 PROPOSICIN. Sean a:B baB Y b y a;B baB Y b dos proposiciones condicionales con T y U como conjuntos de soluciones entonces eB Y :B ;B f aT Ub aCT CUb eB Y :B ;B f eB Y a:B ;B b a;B :B bf

DEMOSTRACIN.

J. Daro Snchez H.

MATEMTICA BASICA

14

eB Y :B ;B f eB Y ;B :B f aCT U b aCU T b caCT U b CUd caCT Ub T d caCT CUb aU CUbd caCT T b aU T bd aT Ub aCT CUb

a"b La proposicin condicional aB# " !baB b tiene conjunto solucin no vaco, entonces se puede usar el cuantificador as abB baB# " !b a#b aB# " aB "baB "bbaB b tiene por conjunto solucin al conjunto entonces se puede usar el cuantificador as: aaB baB# " aB "baB "bb
EJEMPLOS.

2.2.9 Un cuantificador es un smbolo que nos responde a la pregunta Cantos elementos del universo en consideracin satisfacen a una proposicin condicional? As los cuantificadores son de dos tipos: existencial y universal El cuantificador existencial denotado con b y est definido as: Sea a:B baB Y b una proposicin condicional y T Y su conjunto solucin entonces abB Y ba:B b T F lase existe un B en Y tal que :B es verdadera y esto es equivalente a decir que el conjunto solucin de :B no es vaco. El cuantificador universal notado a, est definido as: Sea a:B baB Y b una proposicin condicional y sea T Y es el conjunto solucin de :B entonces aaB Y ba:B es verdaderab T Y lase para todo B en Y :B es verdadera y esto es equivalente a decir el conjunto solucin de :B es igual al universo.

2.2.10 NEGACIN DE CUANTIFICADORES

PROPOSICIN.

Veamos el caso a#b : Sea T el conjunto solucin de :B entonces caaB Y ba:B b caT Y b caT T CT b CT CaT CT b CT CaCT b CT F abB Y bac:B b
EJEMPLO.

a"b cabB Y ba:B b aaB Y bac:B b a#b caaB Y ba:B b abB Y bac:B b

Todos los hombres son buenos Cuantificacin: Sea Y eHombres del mundof aaB Y baB es buenob Si queremos la negacin tendramos

J. Daro Snchez H.

MATEMTICA BASICA

15

abB Y baB no es buenob En espaol sera: Hay hombres que son malos. a"b Tomando como referencia al conjunto de los nmeros reales, hallar los conjuntos que definen las condiciones siguientes a+b aB# )B "&baB "b ! a,b B# &B "& ! a- b B# # a#b Resolver el ejercicio a"b tomando como referencial el conjunto de los enteros. a$b Resolver el ejercicio a"b considerando como referencial el conjunto ' ( ) * de todos los nmeros naturales mayores o iguales a '. a%b En cada uno de los tres ejercicios anteriores, anteponer a cada condicin un cuantificador adecuado para que se obtenga una proposicin verdadera; dar las razones de sus respuestas. a&b Escribir la negacin de cada una de las proposiciones siguientes: Todos los hombres son mortales. aaBbaB ! Bb abBbaaCbaB C !b a'b Tomando como referencial al conjunto de los nmeros reales, hallar una condicin :aB C b en dos variables, tal que abBbaaCba:aB C bb sea falsa y aaCbabBba:aB C bb sea verdadera a(b a+b Hallar todos los subconjuntos del conjunto " # $ o sea T a" # $b a,b Hallar todos los subconjuntos del conjunto " # (T a"#b) a- b Hallar todos los subconjuntos del conjunto " (T a"b) a. b Hallar todos los subconjuntos del conjunto F. a/b Podra usted adivinar una relacin entre el nmero de elementos de un conjunto finito y el nmero de sus subconjuntos? a)b Escribir la negacin de cada una de las expresiones siguientes: aaBba:aBb ; aBbb aaBb:aBb a; aBb <aBbb abBbaaD ba:aB D b ; aD bb a*b Sea W un referencial para una condicin :aBb. Sea E W . Definimos aaB Eba:aBbb como aaBbaB E :aBb es verdaderab. Anlogamente, definimos abB Eba:aBbb como abBbaB E :aBb es verdaderab. Demuestre que caaB Eba:aBbb abB Ebac:aBb b y que cabB Eba:aBbb aaB Ebac:aBbb a"!b Qu sentido tiene para usted expresiones como 2.3 EJERCICIOS

J. Daro Snchez H.

MATEMTICA BASICA

16

aaBba# $ &b abBba# % )b ? Son stas proposiciones? Se podra suprimir el cuantificador? a""b D justificaciones a las equivalencias siguientes: aaBba: ; aBbb a: aaBb; aBbb aaBba: ; aBbb : aaBba; aBbb abBba: ; aBbb : abBba; aBbb abBba: ; aBbb : abBba; aBbb Nota: : es una proposicin en la cual no aparece B. a"#b Escriba en espaol correcto la negacin de las frases siguentes: a+b Si las Matemticas son fciles, aprobar el curso a,b Existe un nmero natural 7 tal que cualquiera sea el natural 8 7 8 a- b Si el costo de vida contina subiendo, algunos tendremos que dejar la "costumbre burguesa" de comer tres veces al da o trabajar por un cambio de estructuras. a. b Todos tenemos problemas y algunos nos dejamos vencer por ellos. a/b Todos los gatos son pardos o algunos estamos miopes. a"$b Diga, dando las razones de sus respuestas, cules de las afirmaciones siguientes son verdaderas y cules no: a+b " " # " # a,b " # # # " a- b + + a/b E F E F.

3. MTODOS DE UNA DEMOSTRACIN Uno de los criterios de deduccin ms importantes y el cual es inherente al hombre, es el dado por la tautologa c : a: ; b d ; llamada el modus ponens la cual afirma que con el conocimiento de : y : ; se deduce la veracidad de ; , es el razonamiento del hombre prehistrico cuando razonaba as: Yo mato toro y, si yo mato toro entonces calmo hambre, entonces yo calmo hambre. Este criterio es utilizado en la mayoria de las pruebas de la matemtica aunque siempre est tcita su utilizacin. A continuacin se darn unos mtodos clsicos de demostracin. 3.1 Mtodo trivial ; se trata de estudiar la veracidad de la proposicin : ; estudiando la proposicin : en si misma. Si : es falsa no importa que sea ; , : ; siempre es verdadera.

J. Daro Snchez H. EJEMPLO.

MATEMTICA BASICA

17

Estamos en el siglo XXII, entonces hoy es viernes, es una proposicin compuesta verdadera por que la hiptesis es falsa.

3.2 Mtodo vaco ; consiste en estudiar la veracidad de la proposicin : ; estudiando la proposicin ; en si misma, as si ; es vedadera no importa cual sea el valor de verdad de : la proposicin compuesta : ; siempre es verdadera.
EJEMPLO.

Si Julio Csar fue un gran guerrero, entonces Bogot es la capital de Colombia. Esta proposicin es verdadera En lgebra, si aaB baB# # "bentonces # " ", en una proposicin verdadera. 3.3 Mtodo indirecto ; se aplica en el estudio de la veracidad de la proposicin : ; , procediendo de la siguiente forma a3b Supngase que ; es falsa a33b Con este hecho y otros conocidos dentro de la teora se demuestra que : es falsa. Entonces se tiene que : ; es verdadera. Este mtodo tambin es conocido como el contrarrecproco.
EJEMPLO. PRUEBA:

a3b Supongamos que + no es par a33b existe 7 tal que + #7 " a333b +# a#7 "b# %7# %7 " #a#7# #7b " as, existe 5 #7# #7 tal que +# #5 " sea que +# no es par. 3.4 Mtodo directo ; se trata de probar que la proposicin : ; es verdadera y se procede as; a3b Se supone que : es verdadera a33b Con este hecho y otros bien conocidos de la teora se demuestra que ; es verdadera. As : ; es verdadera. Si ?EFG es un tringulo rectngulo, entonces +# , - # donde + , son las longitudes de los catetos y - es la longitud de la hipotenusa. B c a
PRUEBA: EJEMPLO.

Si +# es par entonces + es par

a3b Supongamos que

C b

es un tringulo rectngulo

J. Daro Snchez H.

MATEMTICA BASICA

18

A c

a33b con el tringulo B tenga de lado + , as;

b a C

construimos un cuadrado que

a c

b c a b

b c b

c a

a333b El rea del cuadrado de lado + , ser a+ ,b# +# #+, , # pero sumando reas tenemos que a+ ,b# - # #+, as +# #+, ,# - # #+, de donde tenemos +# , # - # 3.5 Mtodo de contradiccin (Absurdo). Sea 7 una teora y : una proposicin de la teora, de la cual se desea saber su veracidad. El mtodo consiste en: a3b Construir una nueva teora 7 w obtenida adjuntado a 7 la proposicin c: a33b Se demuestra que la teora 7 w es contradictoria inconsistente, hallando en 7 w una proposicin ; verdadera y c; verdadera. As tenemos que : es una proposicin verdadera en 7 .
PRUEBA. a3b Sea 7 la teora de los nmeros reales y : la proposicin: no se puede dividir por cero. a33b Sea 7 w la teora de los nmeros reales en los cuales se puede dividir por cero. a333b Consideremos en 7 w la siguiente igualdad +, + , ! Se multiplica por + ambos miembros de la anterior igualdad obtenindose +# +, Agregue ,# a los dos lados de la igualdad EJEMPLO.

No se puede dividir por cero

J. Daro Snchez H.

MATEMTICA BASICA

19

Factorizando se tiene
w

+# ,# +, , #

a+ ,ba+ ,b a+ , b, Como en 7 se puede dividir por cero, entonces simplificamos por a+ ,b as se obtiene +, , Como + , se tiene #+ + Simplificando por + se llega a la proposicin #" As en la teora 7 w se tendra simultneamente #" y #" obtenindose que 7 w es una teora contradictoria, ( es usual afirmar en estos casos que 7 w es absurdo) Luego no se puede dividir por cero. 3.6 Mtodo del contra-ejemplo. Dada una proposicin : la cual quiere ser probada, es decir, la cual se desea adjuntar como verdadera dentro de una teora. El mtodo consiste en hallar un ejemplo donde se diga lo contrario de la proposicin deseada, as la proposicin queda automticamente falsa dentro de la teora.
EJEMPLO.

En la teora de los nmeros enteros si el cuadrado de un nmero entero es impar el nmero es primo.

PRUEBA.

Se usa el mtodo del contra-ejemplo, as )" *# es nmero impar sin embargo * no es nmero primo. As la proposicin es falsa en la teora de los nmeros enteros. 3.7 a"b Puede suceder que E F F ; d un ejemplo en el cual se cumpla dicha igualdad. Podra idear (demostrndolo) una condicin necesaria y suficiente para que tal iguadad se cumpla? a#b Se pide lo mismo que en el a"b pero con respecto a E F E. a$b Demuestre que si E F y F G entonces E G y que si Q R entonces T aQ b T aR b Aqu T aQ b \\ Q el conjunto llamado partes de Q . a%b Pruebe que E a F G b aE F b aE G b y que E a F G b aE F b aE G b .
EJERCICIOS.

J. Daro Snchez H.

MATEMTICA BASICA

20

a&b Sea W un conjunto referencial y sean E F subconjuntos de W : Demuestre que E F E a CW F b . a'b Puede suceder que E F F; d dos ejemplos en los cuales se cumpla dicha igualdad e idee (demostrndolo) una condicin necesaria y suficiente para que tal igualdad se cumpla. a(b Sean E" E# E8 conjuntos. Pruebe que si aE" E# b y aE# E$ b y y aE8" E8 b y aE8 E" b, entonces E" E# E8 . a)b Sean T , U subconjuntos de un conjunto referencial W . Demuestre que T U si y slo si aCW Ub aCW T b. a*b Pruebe que aE F b G E aF G b, pero que en general no se tiene la contenencia en el sentido contrario. Demuestre adems que E aF G b aE F b aE G b a"!b Muestre que E aF G b aE F b aE G b E aF G b aE F b aG Eb Pero que en general la unin no es distributiva respecto de la diferencia. a""b a+b D una justificacin a la equivalencia aaBba:aBb ; aBbb aaBba:aBbb aaBba; aBbb a,b sela para demostrar que abBba:aBb ; aBbb abBba:aBbb abBba; aBbb. Ayuda: niegue en los dos lados de la equivalencia anterior a"#b Anlogamente al ejercicio anterior, justifique que abBba:aBb ; aBbb cabBba:aBb abBba; aBbbbd. a"$b Halle un referencial y condiciones :aBb, ; aBb adecuadas para hacer ver que en general abBba:aBbb abBba; aBbb no implica abBba:aBb ; aBbb. a"%b Si E es el conjunto de los enteros mltiplos de ' y F el de los mltiplos de "!, halle E F y E F . a"&b a+b Podra hallar dos subconjuntos infinitos del conjunto F de los nmeros naturales, que sean disyuntos? a,b Podra hallar siete subconjuntos infinitos de que sean disyuntos dos a dos? a- b Ser posible hallar 8 ( siendo 8 nmero natural mayor que ") subconjuntos infinitos de que sean disyuntos dos a dos?

4. PAREJAS ORDENADAS Y PRODUCTO CARTESIANO 4.1 DEFINICIN. Sean E y F dos conjuntos de un universo dado, una pareja ordenada a+ ,b de un elementos de E y otro de F est definida por el siguiente conjunto a+ ,b ee+f e+ , f f

J. Daro Snchez H.

MATEMTICA BASICA

21

Si + , entonces a+ ,b a, +b ya que ee+f e+ , f f ee, f e+ , f f pues por hipotesis + ,. Si a+ ,b a- . b entonces ee+f e+ , f f=ee- f e- . f f. Para que se tenga la igualdad es natural que los conjuntos de un elemento sean iguales o sea e+f e- f y e+ ,f e- . f as del primero se tiene + - y del segundo e+ ,f e+ . f se deduce que , ..
DEMOSTRACIN.

4.2 PROPOSICIN. Si a+ ,b a- . b, entonces + - y , .

4.3 DEFINICIN. Sean E y F dos conjuntos de un universo dado. Se define el producto cartesiano de E por F mediante la siguiente proposicin aB Cb E F B E C F es decir, es el conjunto de parejas ordenadas tales que la primera componente est en E y la segunda en F . Si hacemos uso de un diagrama de Venn, podramos interpretarlo as

AXB
y (x,y)

B A
E F eaB CbB E C F f
x

4.4 PROPOSICIN. Sean E F y G conjuntos de un universo dado a 3b E a F G b a E F b a E G b a33b E aF G b aE F b aE G b

DEMOSTRACIN.

a3b Sea : E aF G b : aB C b aB C b E aF G b B E C F G B E aC F C G b aB E C F b aB E C G b aB Cb E F aB C b E G : E F : E G : a E F b aE G b Anlogamente se procede para a33b

J. Daro Snchez H.

MATEMTICA BASICA

22

a"b Sean V W X conjuntos de un universo dado. Demostrar que aV W b X V aX W b. a#b En las hiptesis de a"b demuestre que V aW X b aV X b W a$b Negar las siguientes frases: Si todos los animales tienen plumas, entonces algunos hombres tienen cuernos. Algunos animales son mamiferos y todos tienen piel, es equivalente a decir que algunas aves tienen piel y todas son ovparas. Si todos los toreros son buenos, entonces algn toro Colombiano embiste. a%b Cuantifique las siguientes frases: Los habitantes europeos son todos industriales En la Universidad Nacional unos estudiantes son fsicos Las medidas de los ngulos interiores de un tringulo siempre miden ")!! . a&b Qu sentido tiene para usted, expresiones como aaBba# $ &b abBba# % )b?. Son estas proposiciones? Se podra suprimir el cuantificador? a'b Sean E F y G conjuntos en un universo, muestre que E aF G b aE F b aE G b E aF G b aE F b aG Eb pero que en general la unin no es distributiva respecto de la diferencia. a(b Definimos una nueva operacin entre conjuntos llamada la diferencia simtrica as: E?F =eBB E B Ff a+b Usando una tautologa apropiada pruebe la asociatividad de la diferencia simtrica: aEF bG EaFG b a,b Demuestre que EF aE F b aF Eb a- b Pruebe que la diferencia simtrica es conmutativa a. b Pruebe que EF E F aE F b a/b Usando diagrama de Venn y luego prescindiendo de ellos, halle EF, EE y EF si E F. a)b En qu caso E F es igual a F E? a*b Sea E # $, F ! " y G ". Halle y represente grficamente los siguentes conjuntos: E F , F aE G b aE F b aE G b, E aF G b, a E G b a E G b , E aF G b . a"!b Qu es ! B C, donde B y C son nmeros reales? a""b Si E es un conjunto cualesquiera, qu es E ? Nota: Recuerde que F conjunto vaco. a"#b a+b Represente grficamente # $ % " a,b Idee una representacin de a # $b $ "

4.5 EJERCICIOS.

J. Daro Snchez H.

MATEMTICA BASICA

23

a- b Cul sera la grfica de # a" _b? a. b Idem. de d $. a"$b Represente grficamente: a+b _ # " _ a. b " $ # _ a,b # _ " _ a/b _ # " $ a- b # $ d a0 b d a " $b a"%b Demuestre que E aF G b aE F b aE G b y que E aF G b aE F b aE G b.

5. RELACIONES Y FUNCIONES Sean E y F dos conjuntos de un universo dado, y consideremos su producto cartesiano E F . Todo subconjunto de E F es llamado una relacin de E en F . Puesto que F E F entonces el vaco F es tambin una relacin de E en F , lo mismo puede decirse de E F que es una relacin de E en F .

E e+ , - f F e" # $f V" ea+ "b a+ #b a, #b a, $b a- "bf V# ea+ "bf V$ ea+ "b a+ #b a+ $bf son relaciones de E en F .
EJEMPLO.

5.1 DEFINICIN. Sea V una relacin de E en F , el conjunto HV e+ Eab, F baa+ , b V bf es llamado el dominio de la relacin. De otra manera el conjunto de todos los primeros elementos de las parejas que forman a V es llamado dominio de la relacin. 5.2 DEFINICIN. Sea A una relacin de E en F . El conjunto F es llamado codominio de la relacin y el conjunto V/-A e, Fab+ Ebaa+ , b Abf es llamado el recorrido de la relacin. Es decir el recorrido es el conjunto de todos los segundos elementos de las parejas ordenadas que forman la relacin.
EJEMPLO.

En el ejemplo anterior se tiene V/-V " e" # $f HV" e+ , - f V/-V# e"f HV# e+f

J. Daro Snchez H.

MATEMTICA BASICA

24

V/-V$ e" # $f

HV$ e+f.

5.3 DEFINICIN. Sea V una relacin de E en F se dice que V es una relacin funcional a grfica funcionalb si a3b El dominio de V es E a33b La siguiente proposicin es siempre verdadera aaBbaaCbaaD baaB C b V aB D b V C D b.
EJEMPLOS

de " " en d mientras que K eaB C bB# C # "f no lo es , ya que a! "b y a! "b son elementos de K y no se cumple la condicin a33b de la definicin. a#b Sean \ e% & ' (f y ] e+ , - . /f 0 ea% +b a& +b a' +b a( /bf es una relacin funcional, mientras que J ea% +b a& ,b a' . bf no lo es ya que HJ \ .

a"b aB CbC " B# " " d es una relacin funcional

5.4 NOTACIN. Cuando 0 es una relacin funcional, aB C b 0 se acostumbra escribir C 0 aBb. Tambin, "0 es una funcin de \ en ] " se escribe 0 0 \ ] \ ]

La funcin 0 descrita en el ejemplo a#b se puede escribir entonces en la forma

X 4 5 6 7

Y a b c d e

As, la condicin a3b dada al comienzo significa: de todo elemento de \ sale una flecha y la condicin a33b de ningn elemento de \ salen dos o ms flechas. Es de notar que a un elemento de ] pueden llegar varias flechas o ninguna. 5.5 DEFINICIN. Sea \ un conjunto de un universo dado, se llama diagonal de \ al conjunto

J. Daro Snchez H.

MATEMTICA BASICA

25

EJEMPLO.

Si \ e+ , - f entonces ?\ ea+ +b a, , b a- - bf

?\ eaB BbB \ f

5.6 DEFINICIN. Sean \ e ] conjuntos, sea K \ ] una grfica o relacin. Se llama grfica inversa de K al conjunto K" eaB C baC Bb Kf ] \

5.7 DEFINICIN. Sean K" \ ] y K# ] ^ . se llama grfica compuesta por K" y K# y se nota K# K" al conjunto eaB D babC ] baaB C b K" aC D b K# bf

ntese que K# K" \ ^.

EJEMPLO.

a"b Sea \ e" # $f ] e+ , f ^ e+ f consideremos K" ea" +b a# +b a" ,b a$ ,bf K# ea+ b a+ bf K$ ea, bf entonces K# K" ea" b a" b a# b a# bf y K$ K" ea" b a$ bf a#b Sean K" eaB C bB d C B# f K# eB d C sin Bf entonces K# K" eaB C bB d C sin B# f. Podemos ahora preguntarnos si al componer dos grficos funcionales se obtiene un grfico funcional?, la respuesta es si. Ms exactamente tenemos. 5.8 PROPOSICIN. Sean 0 \ ] y 1 ] ^ dos 1 0 \ ^ es una funcin
DEMOSTRACIN.

funciones entonces

aaB \ babxC ] baaB C b 0 b y como 1 es tambin funcin para cada C ] habr un elemento D ^ tal que aC D b 1. Entonces ligando estas dos afirmaciones tenemos que aaB \ babD ^ baaB D b 1 0 b \ Ha1 0 b \ entonces se tiene que H a1 0 b \ a33b Tomemos aB D b 1 0 aB D w b 1 0 entonces cabC ] baaB C b 0 aC D b 1bd cabC w ] baaB C w b 0 aC w D w b 1bd

proposicin

a3b Como 0 es funcin se tiene la veracidad de la siguiente

J. Daro Snchez H.

MATEMTICA BASICA

26

de la asociatividad de la conjuncin se desprende que caB Cb 0 aB C w b 0 d caC D b 1 aC w D w b 1d Como 0 es una funcin cumple el axioma a33b por lo tanto C C w caC D b 1 aC w D w b 1d ahora como 1 es funcional cumple tambin a33b de donde D Dw As como 1 0 cumple a3b y a33b de la definicin de funcin se sigue que 1 0 es una funcin de \ en ^ . En este caso es costumbre escribir aB D b 1 0 en la forma D a1 0 baBb D 1a0 aBbb. 5.9 EJERCICIOS

a"b Halle las grficas inversas de " J aB CbB d ! C B ; K eaB C bB d C sin Bf a#b Sean K" y K# grficas de \ en ] demuestre que " " a+b Si K" K# entonces K" K# " " a,b aK" b K" a$b Que relacin encuentra entre dominio K recorrido de K dominio de K" y recorrido de K" ? a%b La relacin "B es profesor de C" es una funcin? Lo sera la relacin "B es alumno de C" ?. a&b Halle dominio y recorrido de la relacin "B es hijo de C" . es una funcin?. Reflexione antes de responder. a'b Sean E ! & ( % y F " # $ dos conjuntos. Defina cuatro funciones de E en F y cuatro de F en E. a(b Dadas las funciones " a+b 0 aBb B# a,b 1aBb " #B# a- b J aBb #B $
B a0 b ?aD b D # # a1b @aBb B# 3 Calcule su valor en el nmero real ". 33 Halle los nmeros 0 a)b 1a"&b , " & J a!b K a $b ?a'b ?a!b ?a &b @a$b y @ a !b 333 Halle el dominio y el recorrido de cada una de ellas a)b Consideremos las siguientes funciones: 1 -$ J a+b d d a,b d d a- b d d B$ B B$ B B# & = 3. P d d a. b a/b d d a0 b d d B B B $B # B 3. aBb B
#

# a. b KaBb $B $

B" a/b ,aBb B#

J. Daro Snchez H.

MATEMTICA BASICA

27

+,= d d a1b B B si B ! B B si B ! es decir, +,=aBb B si B ! y si B !, +,=aBb B (Se llama valor absoluto de B, en lugar de +,=aBb se acostumbre escribir lBl ) a3b Halle -$ a!b -$ a "b -$ a"!b 1a "b 3. a#b 3. a $b Pa#b Pa &b =a#b =a!b +,=a #b +,=a#b +,=a!b l " l!ll a33b Halle el recorrido de cada una de las funciones inmediatamente anteriores.

6. CLASES DE FUNCIONES 6.1 DEFINICIN. Sea 0 \ ] una funcin. Si el recorrido de 0 es todo ] , entonces 0 se llama sobreyectiva o una epiyeccin o simplemente 0 es una funcin de \ sobre ] . Puede tambin decirse en forma equivalente, que 0 \ ] es una funcin sobre cuando la siguiente proposicin es verdadera aaC ] babB \ baC 0 aBbb 6.2 DEFINICIN. Sea 0 \ ] una funcin. Se dice que 0 es una funcin uno a uno una inyeccin si la siguiente proposicin es verdadera aaBbaaCba0 aBb 0 aC b B C b Esta proposicin es claramente equivalente a aaBbaaCbaB C 0 aBb 0 aC bb

a"b eaB CbB d C B$ f es una funcin uno a uno de d sobre d a#b 0 eaB C bB d C #B f es una funcin uno a uno de d en d . No es sobre, pues el recorrido de 0 no contiene al cero ni a los nmeros negativos. Se puede volver sobre tomando \ d e ] d nmeros reales positivos. As 0 \ ] B #B es uno a uno y sobre.
EJEMPLO.

Una funcin que a la vez es una inyeccin y una epiyeccin se le llama una biyeccin.

J. Daro Snchez H.

MATEMTICA BASICA

28

Sea 0 \ ] una funcin. Sabemos que 0 " eaC BbaB C b 0 f es una grfica inversa, nos preguntamos en que caso 0 " es una funcin? Veamos antes algunos ejemplos.

6.3 FUNCIN INVERSA

f :X 1 2 3 4

o sea 0 ea" +b a# ,b a$ /b a% . bf, la grfica inversa es " " 0 ea+ "b a, #ba/ $b a. %bf. Analizando el dominio de 0 , vemos que H0 " ] . Luego 0 " no puede ser funcin la causa? puesto que Recorrido de 0 Dominio de 0 " ; tenemos que 0 no es sobre. Consideremos otro caso dado por

Y a b c d e

o sea 1 ea! +b a" ,b a# - b a$ +bf entonces su grfica inversa ser puesto que ! $ y a+ !b 1" a+ $ b 1" , se sigue que 1" no es funcin la causa? 1 no es uno a uno. Estos ejemplos nos dicen que si 0 no es uno a uno 0 no es sobre entonces 0 " no es una funcin. Es decir, si 0 " es funcin, entonces 0 " debe ser uno a uno y sobre. Como 0 a0 " b es una funcin entonces 0 " es tambin uno a uno y sobre. En este caso, para todo B \ existe C ] tal que aB C b 0 aC Bb 0 " de donde aB Bb 0 " 0 por lo tanto B a0 " 0 baBb ?\ aBb luego 0 " 0 ?\ .3+198+6 de \ . Anlogamente, para todo C ] existe B \ tal que aC Bb 0 " aB C b 0 entonces aC Cb 0 0 " entonces C a0 0 " baC b ?] aC b luego 0 0 " ?] .3+198+6 de ] 1" ea+ !b a, " b a- # b a+ $ bf

Y a b c

J. Daro Snchez H.

MATEMTICA BASICA

29

En forma de diagonal

X x

Y f(x) X

X -1 f (f(x))= x

Y y

X -1 f (y) Y

Y -1 f(f (y))= y

6.4 DEFINICIN. Sean 0 \ ] y 1 ] \ funciones, se dice que 0 y 1 son funciones inversas si 1 0 ?\ y 0 1 ?] Las ideas anteriores quedan resumidas en el siguiente teorema 6.5 TEOREMA. Sea 0 \ ] una funcin, 0 tiene funcin inversa si y slo si 0 es uno a uno y sobre. a+b " " Sea 0 una funcin y 1 su inversa Si 0 aBb 0 aBw b entonces 1a0 aBbb 1a0 aBw bb o sea a1 0 baBb a1 0 baBw b entonces ?\ aBb B Bw ?\ aBw b Luego 0 es uno a uno Ahora como 1 es funcin se tiene aaC ] babB \ ba1aC b Bb entonces 0 a1aCbb 0 aBb a0 1baC b ?] aC b C Luego aaC ] babB \ ba0 aBb C b as 0 es sobre. a,b" " Supongamos que 0 es uno a uno y sobre entonces aaC ] babB \ ba0 aBb C b pero ste B es nico ya que 0 es uno a uno. Si llamamos 1 eaC BbC 0 aBbf 1 es una funcin de ] en \ y evidentemente 1 0 " ya que: a1 0 baBb 1a0 aBbb 1aC b B ?\ aBb a0 1baCb 0 a1aC bb 0 aBb C ?] aC b.
DEMOSTRACIN.

6.6.1 DEFINICIN. Sea 0 \ ] una funcin, y E \ , llamamos 0 aEb al conjunto de las imgenes de los elementos de E 0 aEb e0 aBbB Ef Notacionalmente : 0 aEb abB Eba0 aBb :b. 6.6.2 PROPOSICIN. Sean 0 \ ] una funcin, E \F \ . Las siguientes proposiciones son verdaderas a + b 0 a E F b 0 aE b 0 aF b a , b 0 a E F b 0 aE b 0 aF b
DEMOSTRACIN.

6.6 ALGUNAS PROPIEDADES DE LAS FUNCIONES

Usando tipo de demostracin directa tenemos:

J. Daro Snchez H.

MATEMTICA BASICA

30

a+b : 0 aE F b abB E F ba0 aBb :b abBbaB E F 0 aBb :b abBbaaB E B F b 0 aBb :b abBbaaB E 0 aBb :b aB F 0 aBb :bb a: 0 aEb : 0 aF bb : 0 E 0 F a,b : 0 aE F b abBbaB E F 0 aBb :b entonces abBbaB E B F 0 aBb :b entonces abBbacB E 0 aBb :d cB F 0 aBb :db entonces : 0 aEb : 0 aF b de donde : 0 aEb 0 aF b La igualdad de a,b no se tiene en general como lo podemos apreciar en el siguiente ejemplo
EJEMPLO.

Sea \ eB C D + , - / 0 1f, ] e! " # ? %f, F e+ , - 1f y consideremos la funcin dada por

E eB C 1f,

f: X x y z a b c e f g

tenemos 0 aEb e! " f 0 aF b e? % ! " f, 0 aEb 0 aF b ! " , E F 1 y 0 aE F b !, de aqu tenemos 0 aE F b ! ! " 0 aEb 0 aF b 6.6.3 DEFINICIN: Sean 0 \ ] y H ] ; se llama imgen recproca de H por 0 al conjunto 0 " aHb B \0 aBb H En el lenguaje de la teora de conjuntos tenemos : 0 " aHb 0 a:b H
EJEMPLO.

Sea la funcin

J. Daro Snchez H.

MATEMTICA BASICA

31

f:X 1 2 3 4 5

Y a b c d

entonces 0 " a, - .b " $ % & 0 " a.b F 0 " a-b % &. Es evidente que 0 " a] b \ . 6.6.4 PROPOSICIN. Sea 0 \ ] una funcin G ] y H ] entonces 0 " aG Hb 0 " aG b 0 " aHb.
DEMOSTRACIN.

B0

"

Sea B 0 " aG Hb 0 aBb G H 0 aBb G 0 aBb H aG b B 0 " aHb B 0 " aG b 0 " aHb.

a+b Sea B E entonces 0 aBb 0 aEb usando la definicin de imgenes recprocas se tiene B 0 " a0 aEbb a,b Sea B 0 " a0 aEbb entonces 0 aBb 0 aEb tenindose que a! b B E a" b B E Veamos que a!b es falsa, en esta forma a" b es verdadera y quedar la proposicin demostrada. Si B E, como C 0 aBb 0 aEb deber existir por definicin de 0 aEb un elemento Bw E tal que 0 aBw b C 0 aEb entonces 0 aBb 0 aBw b y B Bw esto implica que 0 no es uno a uno lo cual est contra la hiptesis de que 0 es uno a uno
DEMOSTRACIN.

6.6.5 PROPOSICIN. Sea 0 \ ] una funcin y sea E \ . Entonces tenemos a+b 0 " a0 aEbb E a,b Si 0 es uno a uno, 0 " a0 aEbb E

6.7 EJERCICIOS

a"b Hallar las funciones inversas de

a+b d d a,b d d a- b d d B B$ B #B B B# a#b Demuestre que si 0 es uno a uno entonces 0 aEb 0 aF b 0 aE F b con lo cual la parte a,b de 6.6.2 se tendra 0 aEb 0 aF b 0 aE F b a$b Demuestre que 0 " aG Hb 0 " aG b 0 " aHb

J. Daro Snchez H.

MATEMTICA BASICA

32

a%b Sea 0 \ ] y sea H ] Demuestre que a+b 0 a0 " aHbb H a,b Si 0 es sobre 0 a0 " aHbb H a&b Pruebe que una restriccin de una funcin 0 E F se puede definir simplemente como una funcin 1 G H tal que 1 0 y H F Nota: 10 significa que aB C b 1 aB C b 0 es decir, aB H97a1ba1aBb 0 aBbb a'b a+b Si E es un conjunto con diez elementos y F un nico elemento, halle todas las funciones de E en F . a,b Halle todas las funciones de un conjunto E con tres elementos, en otro con dos elementos. a- b Halle todas las funciones de un conjunto E con cuatro elementos en otro F con dos elementos. a. b Podra hallar una frmula para calcular el nmero de funciones de un conjunto E con 8 elementos en otro F con 7 elementos. Podra justificar dicha frmula? a(b Dada la funcin 0 aBb B# #B ) de d en d , a+b Halle su recorrido. a,b Restrinja el codominio de 0 para obtener una funcin sobreyectiva. a- b Sin variar el codominio de la funcin en a,b, halle una restriccin biyectiva que sea contnua. a. b Halle grfica y algebricamente la funcin inversa de la restriccin hallada en a- b a)b Si 0 E F y 1 G H son biyecciones, demuestre que la funcin inversa de 1 0 es 0 " 1" . a*b Sean 0 E F biyectiva, 0 " su inversa y R un subconjunto de F. Pruebe que la imagen recproca 0 " es igual a la imagen directa de R por medio de la funcin inversa 0 " . 7. LEYES DE COMPOSICIN INTERNA aOPERACIONESb 7.1 DEFINICIN: Sea I un conjunto. Una funcin X de I I en I X I I I se llama una ley de composicin interna definida en toda parte de I una operacin binaria definida en todo I . En adelante, siempre que digamos ley de composicin definida en I , se entender definida en toda parte de I . Se acostumbra notar X aB C b en la forma BX C.
EJEMPLOS

naturales

1. Una ley de composicin interna es la suma de nmeros : a7 8b a7 8b 7 8

J. Daro Snchez H.

MATEMTICA BASICA

33

es decir,

eaa7 8b 7 8b7 8 f

2. La suma comn y corriente de nmeros reales d d d aB Cb aB Cb B C es claramente una ley de composicin interna en d.

Ntese que los ejemplos a"b y a#b son diferentes, an cuando se notan las funciones con el mismo signo.

3. Sea I e+ ,f consideremos X eaa+ +b +b aa+ , b , b aa, +b +b aa, , b +bf se obtiene que X es una ley de composicin interna en I ; tambin se acostumbra escribir en la forma +X + + +X , , ,X + + y ,X , + en un cuadrado de la forma X + , + + + , , +

As si se quiere hallar BX C, deber tomarse B sobre la primera columna de la izquierda y C sobre la primera fila y el resultado est en el cruce de la fila con la columna correspondiente. 4. Sea I el conjunto de todas las proposiciones. Decimos que dos proposiciones son iguales, si son equivalentes, es decir : ; significa : es verdadera si y slo si ; es verdadera. Entonces I I I (la conjuncin entre proposiciones) a: ; b : ; es una ley de composicin interna en I . 5. Sea I como en el ejemplo 4. la implicacin de dos proposiciones I I I a: ; b : ; es una ley de composicin interna. 6. Sea \ un conjunto y denotemos con c \ al conjunto formado con todos los subconjuntos de \ , tambin llamado partes de \ . La reunin es una ley de composicin interna definida en c \ c \ c \ c \ aE F b E F

J. Daro Snchez H.

MATEMTICA BASICA

34

7.

d d d la exponenciacin definida en los aB Cb BC BC nmeros reales positivos es una ley de composicin interna definida en toda parte de d . Si en lugar de d se toma d , no se tendra definida una " ley de composicin definida en toda parte de d ya que B # no es real cuando B !. 8. Sea \ un conjunto no vaco. Sea el conjunto de todas las funciones de \ en \ (=e0 0 \ \ f) a0 1 b 0 1 la composicin usual entre funciones, es una ley de composicin interna en . 7.1.2 EJERCICIOS a"b Sea d el conjunto de los nmeros reales d d d aB Cb B C la diferencia entre nmeros reales, se pregunta es una ley de composicin interna definida en toda parte de d? a#b Sea I un conjunto cualquiera y ! I . Son : I I I X I I I aB Cb B C B aB C b BX C ! leyes de composicin definidas en toda parte de I ? a$b Consideremos

d d d la divisin en d entonces aB Cb B C no es una ley de composicin interna definida en toda parte de d por qu? 7.2 CLASES DE LEYES DE COMPOSICIN a+b Una ley de composicin X I I I se llama asociativa si y slo si aa+ I baa, I baa- I baa+X , bX - +X a,X - bb Se puede probar fcilmente que las leyes de composicin dadas en los ejemplos a"b a#b a$b a%b a'b y a)b anteriores son leyes asociativas. As para a)b, tenemos aa0 1b 2baBb a0 1ba2aBbb 0 a1aBbb aB \ a0 a1 2bbaBb 0 aa1 2baBbb 0 a1a2 aBbbb aB \ Como coinciden en todos los puntos de \ se tiene a 0 1 b 0 a1 2 b Las leyes de los ejemplos a&b y a(b no son asociativas, puesto que

J. Daro Snchez H.

MATEMTICA BASICA

35

c a : ; b < d c : a; < b d puesto que si se toman proposiciones : ; < todas falsas entonces a: ; b < resulta falsa pero : a; <b es verdadera. Ahora en a(b se tiene # # a#$b# a#$ b #$ #a$#b

a,b Una ley de composicin X se llama conmutativa si aB IaaC I baBX C CX Bb Las operaciones binarias de los ejemplos a"b a#b a%b y a'b anteriores son conmutativas, mientras que a$b a&b a(b a)b no son conmutativas. As en a$b +X , , + ,X +, en a&b : ; ; : en muchos casos, en a(b #$ $# y en a)b 0 1 1 0 en general

a- b Una ley de composicin binaria X en I se llama modulativa si existe / I tal que aB Ia/X B BX / Bb / es llamado el mdulo de X .
EJEMPLOS.

a$b Para la suma entre nmeros reales el cero tambin es el mdulo; en el cunjunto c a\ b partes de \ el conjunto vaco es el mdulo para la unin de conjuntos pues, aE c \aE F F E Eb; en el conjunto de todas las funciones definidas sobre un conjunto \ la aplicacin idntica de \ , la diagonal de \ es el mdulo para la composicin de funciones pues, a0 a0 ?\ ?\ 0 0 b Claramente los ejemplos a$b a%b y a&b de la seccin 7.1 no son modulativos lo mismo que a(b ya que "\ \ " \ . a. b Una operacin X en I modulativa, se llama invertiva si aB IbBw IaBX Bw Bw X B /b donde / es el mdulo de I para X .
EJEMPLOS.

a#b Si suponemos que cero es un nmero natural entonces la suma de nmeros naturales es modulativa pues; a8 a! 8 8 ! 8b

a"b d d d el producto de nmeros reales es aB Cb BC modulativo pues, aB daB " " B Bb

a#b De la misma seccin el ejemplo a#b es una ley invertiva; el ejemplo a'b es de una ley modulativa pero no es invertiva puesto que

a"b El ejemplo a"b del numeral 7.1 no es invertiva ya que no existe un nmero natural Bw tal que & Bw Bw & !

J. Daro Snchez H.

MATEMTICA BASICA

36

a$b La ley de composicin dada en el ejemplo 8 de la seccin 7.1 no es invertiva, pues si 0 \ \ es una funcin que no es ni uno a uno ni sobre, no existe 0 w tal que 0 0 w 0 w 0 ?\ . Sin embargo en este conjunto se habla con frecuencia de funciones invertibles a la derecha a la izquierda. Ahora si se toma como el conjunto de las funciones de \ en \ que son uno a uno y sobre sea de las biyecciones entonces a0 1 b 0 1 es una ley de composicin invertible. 7.3 EJERCICIOS. a"b Sea W :+< 37:+< y definamos en W una adicin as: W W W a:+< :+<b :+< :+< :+< a:+< 37:+<b :+< 37:+< 37:+< a37:+< :+<b 37:+< :+< 37:+< a37:+<, 37:+<b 37:+< 37:+< :+< Es una operacin eta adicin? en caso de serlo es modulativa e invertiva? a#b Es la operacin resta entre nmeros reales modulativa e invertiva?. a$b Busque dos ejemplos ms de operaciones no conmutativas y dos de operaciones modulativas no invertivas. a%b a+b En un conjunto de dos elementos, defina una operacin asociativa y no conmutativa. a,b Conoce una operacin asociativa y no conmutativa definida en un conjunto infinito?. a&b Definamos + , a+ ,b a+ ,b siendo + y , nmeros reales cualesquiera; demostrar que a+b es una operacin a,b es conmutativa a- b es asociativa a. b Bajo qu condiciones es modulativa? a/b Es invertiva? Nota: es llamada adiplicacin. a'b Pruebe que para una operacin modulativa, el mdulo es nico a(b Demuestre que si es invertiva en W , entonces para un elemento cualquiera, su inverso es nico.

aE c \aE F F E Eb, pero dado E F no existe un conjunto Ew tal que E Ew Ew E F ya que E Ew E F.

J. Daro Snchez H.

MATEMTICA BASICA

37

8. CONCEPTO DE GRUPO 8.1 DEFINICIN. Sea K un conjunto en el cual se ha definido una ley de composicin interna X . K se llama un grupo para X , la dupla K X se llama un grupo, si X es una ley de composicin que es asociativa, modulativa e invertiva. Si adems X es conmutativa, K se llama un grupo abeliano o conmutativo.
EJEMPLOS

a$b Sea e0 \ \0 es uno a uno y sobref donde \ F, consideremos a0 1 b 0 1 como ley de composicin en . Entonces es un grupo no abeliano. Ya demostramos que la composicin de funciones cualesquiera es asociativa, luego en particular en este caso se tiene la asociatividad. Como ?\ es uno a uno y sobre, ?\ , entonces se tiene que la composicin es modulativa y tambin es invertiva. a%b Sea K a#b T +</= ! " y considere la tabla + ! " ! ! " " " ! la cual define en /a#b una operacin, asociativa, modulativa ( ! es el mdulo), invertiva ! ! ! " " ! y conmutativa, Luego /a#b es un grupo abeliano.

a#b d ! es un grupo abeliano, pues los axiomas de d afirman que a+ d !aa, d !ba- d !aa+ , b - + a, - bb a+ d !a" + + " +b a+ d !ab+w d !ba+ +w +w + "b a+ d !a, d !a+ , , +b

a"b d , es decir, los nmeros reales con la suma son un grupo abeliano.

a&b Consideremos el plano euclidiano y en l un punto fijo T podemos rotar alrededor de T el plano un ngulo : $'!! : $'!! mejor #1 : # 1 se mide en radianes. : es considerado positivo cuando se rota en el sentido contrario al movimiento de las agujas del reloj, y negativo en el otro sentido. Una rotacin del plano en un ngulo : lo denotaremos V: y

J. Daro Snchez H.

MATEMTICA BASICA

38

es en realidad una aplicacin del plano en si mismo, ms an es una funcin uno a uno del plano sobre si mismo. Sea K eV: V: es una rotacin del planof Definimos en K la operacin K K K aV: V< b V: V< V:< Sabemos ya que es asociativa, adems tomando V! como mdulo la ley es modulativa y como V : V : V ! V : V : aV: se sigue que la ley es invertiva. Claramente es conmutativa, luego K es un grupo abeliano. a'b Sea # un plano euclidiano con un sistema de coordenadas cartesianas. Sabemos que un punto T se determina dando sus coordenadas aB Cb. Identifiquemos entonces T con sus coordenadas aB Cb. Definimos una funcin L> # # as L> aaB Cbb a>B >C b >! Tenindose que L> es uno a uno, ya que L> aaB Cbb L> aaB" C" bb a>B >C b a>B" >C" b >B >B" >C >C" como > ! podemos simplificar para obtener B B" C C" aB C b aB" C" b C # y se tiene que L> es sobre; puesto que dado aB C b # entonces B > > C L> B > > aB C b Sea ahora L L> # #> d ! y definimos en L la siguiente ley de composicin L L L aL> L= b L> L= L>= entonces resulta que es asociativa y conmutativa en L , como se prueba fcilmente. Adems L" es el mdulo y L> L " L" aL>
>

luego la ley es invertiva. As L es un grupo abeliano llamado de las homotecias del plano. a(b Sea # un plano euclidiano, si aB Cb # y + , d definimos la aplicacin X+, :# # como sigue: X+, aaB Cbb a+ B , C b Es fcil ver que X+, es uno a uno y sobre. Considrese X+, :# #+ , d

al conjunto de todas las posibles X+, , y definamos en la siguiente ley de composicin

J. Daro Snchez H.

MATEMTICA BASICA

39

: aX+, X-. b X+, X-. X+-,. la cual resulta asociativa y conmutativa en como fcilmente se puede verificar, X!! es el mdulo, adems como a X+, X+, X!! X+, entonces la ley es tambin inversible, as , es un grupo abeliano llamado el grupo de las translaciones. a"b. Demuestre que L= L> L=> , donde L> se define como en el ejemplo a'b de la anterior seccin. a#b D una interpretacin geomtrica a los efectos producidos en el plano por las homotecias y las translaciones. a$b En el conjunto cociente /a5 b ! " # 5 " definimos una relacin muy especial dada por a5 b a5 b /a5 b + , + , Demuestre que esta relacin es una ley de composicin en /a5 b y que esta operacin hace de /a5 b un grupo conmutativo. NOTA. Este ejercicio es una generalizacin del ejemplo a%b de la seccin anterior, donde se ha definido una operacin anloga en el conjunto cociente /a#b. a%b Pruebe que el conjunto I es el mdulo de la operacin " " definida en T aI b R R I pero que ningn subconjunto propio de I tiene inverso para ella. Es " " cancelativa?. a&b Demuestre que T aI b no es grupo. Es la unin cancelativa? a'b Defina una nueva operacin entre subconjuntos de I llamada la diferencia simtrica: E?F B IB E B F. Tenindose en cuenta la tabla de verdad del "o" exclusivo a1b y la tautologa a: ;b < : a; <b (verifquelo primero), pruebe que: a+b aE?F b?G E?aF ?G b a)b E?F aE F b aF Eb a- b La diferencia simtrica es modulativa, dando el mdulo explcitamente. a. b "?" es invertiva en T aI b a/b T aI b ? es un grupo conmutativo. a0 b La interseccin es distributiva con respecto a la diferencia simtrica. a*b La operacin + , + , + entre nmeros reales es asociativa? 8.2 EJERCICIOS

J. Daro Snchez H.

MATEMTICA BASICA

40

9. LOS NMEROS REALES 9.1 En pocas pasadas bastaban al hombre, para sus necesidades referentes a conteos y mediciones, los llamados nmeros naturales " # . En cambio hoy en da no es demasiado exigir que un estudiante de secundaria est acostumbrado a manejar nmeros como, ! " # "$ $ % $" %# los cuales manejan en calculadoras y computadores, y que son llamados "nmeros reales", aunque, por otra parte, no se sepa qu son en ltima instancia; es decir, que nunca se haya o lo hayan enfrentado con la pregunta qu es un nmero real? . En lo que sigue se usarn sin comentario previo, algunos de los hechos ms elementales relativos a estos nmeros; entre ellos su representacin geomtrica por medio de los puntos de una recta
"( %$")!# # 1 $ &

/ />- ,

a cada punto de dicha recta ("recta real", , "recta numrica") le corresponde un nmero, y slo uno, y a cada nmero un punto, y slo uno, de la recta. En todo caso, y con el objeto de representar los conceptos, se enunciaran a continuacin las propiedades caractersticas de lo nmeros reales, los cuales se llamarn en adelante, salvo que se advierta lo contrario, simplemente nmeros. El filsofo griego Pitgoras (hacia el 600 a.C.) saba ya que la razn < . 6 entre la longitud de la diagonal de un cuadrado a. b y la longitud 6 de su lado, satisface la igualdad . # a<6b# 6# 6# a"b As pues, razonaba l: existe un "nmero" < tal que <# " " # . Pero por otra parte, Pitgoras reconoci que < no poda representarse como un cociente < + , de enteros. En efecto, tomando + y , primos entre si + # # +# #,# , Ms an, descomponiendo + en factores primos, resulta que +# es divisible por # un nmero par de veces aes decir, + #5 b y por lo anlogo # dividir a #,# un nmero impar de veces (es decir, #,# a#5 b# o sea %5 # #,# #5 # ,# de donde , #7 ) y + no sera primo relativo con ,. Luego +# #,# es imposible para + y , enteros. Unicamente podemos solucionar este "dilema de Pitgoras" introduciendo los nmeros irracionales: nmeros que no son cociente de enteros. Razonamientos anlogos demuestran que la razn $ entre la longitud de la diagonal de un cubo G y la longitud de su arista.

J. Daro Snchez H.

MATEMTICA BASICA

41

Estos resultados son casos particulares del siguiente teorema mucho ms general:

9.2 TEOREMA. Sea :aBb B8 +" B8" +8 un polinomio con su primer coeficiente igual a " y los dems +" +# +8 enteros. Si la ecuacin :aBb ! tiene raices racionales, stas son nmeros enteros. Supongamos que :aBb ! para alguna fraccin B + ,. Dividiendo + y , por su 7-. (mximo comn divisor) puede expresarse B como cociente B 6< de dos enteros < 6 primos entre s. Sustituyendo este valor en :aBb y quitando denominadores 8 8" ! 68 : < 6 +# <8# 6# +8 68 6 < +" < luego <8 +" <8" 6 +8 68 de donde 6 divide a <8 . Esto exige que cualquier factor primo de 6 divide a <8 y por lo tanto a <. Pero < y 6 no tienen divisores comunes, y por lo < tanto 6 ", y la fraccin dada B " < es un nmero entero, lo cual queramos demostrar.
DEMOSTRACIN.

Para probar la irracionalidad de #), por ejemplo fundndonos en el teorema 9.2, procedemos como sigue: Si lBl ', entonces B# #) ! , y, si lBl &, entonces B# #) !; luego ningn entero puede ser solucin de B# #) !, y por el teorema 9.2 la solucin de B# #), que es #) no puede ser racional. Otros nmeros irracionales son 1 / y muchos otros. Es de notar que la mayoria de los nmeros reales son irracionales e incluso, a diferencia de #, no pueden satisfacer ninguna ecuacin algebrica. Este resultado que hemos ampliado, nos indica ya que para contestar a la pregunta qu es un nmero real? necesitamos utilizar ideas enteramente nuevas. La naturaleza de estas ideas y la relacin entre los nmeros reales y los racionales sern examinadas parcialmente en los pargrafos que siguen.

J. Daro Snchez H.

MATEMTICA BASICA

42

9.3 MTODO GEOMTRICO Y EXPANSIN DECIMAL Los griegos de la poca clsica usaron un mtodo geomtrico de aproximacin para el clculo de los nmeros reales. Para ellos, un nmero era simplemente una razn a+ ,b entre dos segmentos rectilneos + y ,. En consecuencia, dieron construcciones geomtricas para establecer la igualdad entre razones, as como para la adicin, sustracin, multiplicacin y divisin de razones. De este modo las leyes del lgebra aparecen como teoremas geomtricos. La versin griega de la nocin de igualdad entre nmeros racionales y reales se basaba en una condicin debida a Eudoxio, que especificaba cundo eran iguales dos razones. Esta condicin se haca depender de las posibilidades de formar geomtricamente los mltiplos enteros 7 + de un segmento dado + y comparar geomtricamente las longitudes de los dos segmentos. Se estipulaba que a+ ,b a- . b cuando, para todo par de enteros positivos 7 y 8 si 7+ 8, tambin 7- 8. , si 7+ 8, tambin 7- 8. a#b 8 Algebracamente, 7+ 8, significa que + suponiendo siempre que , , 7 y 7 sean positivos. Entonces a#b puede leerse as: + 8 + , . , cuando cualquier nmero racional 7 que sea mayor que , es tambin mayor que . . La validez de la condicin a#b de Eudoxio expresa, evidentemente, la circunstancia de que dos nmeros reales positivos a+ ,b y a- . b son diferentes si y slo si existe algn nmero racional mayor que uno de ellos y menor que el otro. Tambin su condicin para a+ ,b a- . b tiene el mismo fundamento y es el siguiente: <+ 6, y <- 6. , para enteros convenientes < y 6 a$b El estudio geomtrico de los nmeros reales es ya desacostumbrado. En la actualidad se les estudia aritmticamente, mediante aproximaciones racionales, en expancin decimal (un decimal es, como se sabe, un nmero racional cuyo denominador es potencia de diez (10)). Por ejemplo, el irracional # se reemplaza en la prctica por las aproximaciones sucesivas " "% "%" "%"% "%"%# a%b El nmero 1 es aproximado anlogamente, por los decimales ." $" .# $"% .$ $"%" .% $"%"& .& $"%"&* a&b y as sucesivamente. 9.4 PROPIEDADES ALGEBRAICAS Para cada par aB Cb de nmeros est definido un nmero ay uno slob designado B C, que es la suma de B con C, y un nmero (y uno slo)

J. Daro Snchez H.

MATEMTICA BASICA

43

designado por BC que es su producto. La operacin que al par aB C b le hace corresponder en nmero B C arepectivamente BC b se llama adicin (respectivamente multiplicacin) y se tienen los siguientes axiomas A.1 La adicin y la multiplicacin son asociativas, es decir para cualesquiera nmeros B C D se cumple B a C D b aB C b D BaCD b aBCbD A.2 Los nmeros ! y " a! "b son mdulos para la adicin y la multiplicacin respectivamente, en el sentido siguente B ! ! B B a B d B " " B B aBd A.3 Dado un nmero B, existe un nmero Bw , y uno slo, tal que B Bw Bw B !. ste Bw se llama el opuesto de B y se designa por B. Anlogamente dado B un nmero tal que B !, existe un nmero Bww , y uno slo, tal que BBww Bww B ". Este Bww es el inverso de B y se le denota por B" . A.4 La adicin y la multiplicacin son conmutativas, es decir B C C B BC CB para todo nmero B y todo nmero C. A.5 La adicin es distributiva con respecto a la multiplicacin, esto es, BaC D b BC BD cualesquiera que sean los nmeros B C D A.6 El nmero " es diferente al nmero !. A.7 Si + , y - . entonces + - , . +- ,. . 9.4.1 TEOREMA. + ! ! para todo nmero +
PRUEBA.

" " ! entonces + " +a" !b de A.2 y A.5 + + " + ! + + + ! aplicando A.7 a +b + a +b a+ + !b de A.3 y A.1 tenemos ! a +b + + ! de A.3 !!+! de A.2 se tiene finalmente !+!

9.4.2 TEOREMA. Si +, !, entonces + ! , !.

PRUEBA.

pero

+" a+,b a+" +b, " , , por lo tanto ,!

Supongamos que + !, entonces existe +" por lo tanto +" a+,b +" ! !

J. Daro Snchez H.

MATEMTICA BASICA

44

9.4.3 TEOREMA. El ! no tiene inverso. Esto es, no hay un nmero real B tal que ! B ". Conocemos por 9.4.1 que ! B ! . Si tenemos ! B " para algn B, tendramos que ! ", y , ! " por el axioma A.6, esto es una contradiccin. 9.4.4 TEOREMA. (Ley cancelativa de la adicin) Si + , + - entonces , -.
PRUEBA. PRUEBA.

Si + , + - , entonces a +b a+ , b a +b a+ - b, usando el axioma A.1 tenemos ca +b +d , ca +b +d - pero de A.3 se recibe ! , ! - finalmente de A.2 se tiene , - . 9.4.5 TEOREMA. (Ley cancelativa de la multiplicacin) Si +, +- y + ! entonces , -

Si +, +- y + !, entonces + tiene inverso +" . Por lo tanto de A.7 se tiene +" a+,b +" a+- b por A.1 tenemos a+" +b, a+" +busando A.3 ", "por A.2 se llega a , -. 9.4.6 TEOREMA. Para cualquier nmero + se tiene a +b +.
PRUEBA.

PRUEBA.

a +b B B a + b ! Para + por el axioma A.3 se tiene que a +b + + a + b ! luego el nmero + tiene dos opuestos aditivos a saber B y +, pero el axioma A.3 garantiza que + B a + b. Para mayor seguridad se puede demostrar la unicidad del opuesto

que

Por definicin del opuesto, el nmero a +b es un nmero B tal

J. Daro Snchez H. LEMA.

MATEMTICA BASICA

45

El opuesto aditivo es nico. En efecto, sea + un nmero por el axioma A.3 existe +w tal que + + w + w + !. Supongamos que hay otro +ww tal que ww ww + + + + ! resulta entonces que +w ! +w a+ww +b +w +ww a+ +w b +ww ! +ww 9.4.7 TEOREMA. a +b, a+,b.
PRUEBA.

Para cualesquiera nmeros +

y , se tiene que

Basta probar que a +b, +, +, a+b, ! puesto que en esta forma se tiene que a +b, es el opuesto aditivo de +, y segn el lema anterior a +b, a+,b. Ahora por el axioma A.5 tenemos a +b, +, a +b +, por el axioma A.3 se tiene a +b, +, ! , !. 9.4.8 TEOREMA. a +ba ,b +, cualesquiera sean los nmeros + y ,.
PRUEBA.

a +ba ,b +a ,b porqu? a ,b+ porqu? a+,b porqu? ,+ +, porqu?

_________ _________ _________ _________.

9.4.9 TEOREMA. Si + y , son nmeros diferentes de cero cualesquiera, entonces a+,b" +" ," .
PRUEBA.

ahora

a+,ba+" ," b +c,a+" ," bd +c, a, " +" bd +ca,," b+" d +c" +" d ++" " como el inverso multiplicativo de a+,b es a+,b" y por la unicidad del inverso se tiene la igualdad. Para mayor claridad mostemos que el inverso multiplicativo tambin es nico; sabemos que para + ! existe +w tal que ++w +w + " supongamos ahora que existe otro nmero +ww tal que ++ww +ww + " tenemos entonces +ww " +ww a+w +b+ww +w a++ww b +w " +w .

Debemos mostrar que a+,ba+" ," b "

J. Daro Snchez H.

MATEMTICA BASICA

46

9.4.10 TEOREMA. Para cualesquiera nmeros + y , se tiene a+ , b a + b a , b Nos basta con probar que a+ , b c a + b a , bd ! En efecto; a+ ,b ca +b a ,bd + a, ca +b a , bdb + a, ca ,b a +bdb + ac, a , bd a +bb + a! a +bb + a +b !. 9.4.11 EJERCICIOS. Pruebe cada una de las siguientes igualdades aclarando los axiomas y resultado usados a"b ,a +b a+,b a#b a +ba ,b ,+ a$b +a, - b +, +a%b ! ! a&b + ! + a'b , + , a +b - a(b + , . +. ,b - a+.,a)b + , . ,. + ! a*b + , , + +a"!b , . ,. , + + a""b + " , ! , " a"#b a ,b a," b a"$b Analice todas las demostraciones de los teoremas 9.4.1 a 9.4.10 y concluya que tipo de demostracin fue utilizada. 9.5 PROPIEDADES DE ORDEN Existe en los nmeros una relacin (es mayor que ) que establece un orden entre los nmeros y que est regida por los siguientes axiomas llamados de orden O.1 Dados dos nmeros reales B, C cualesquiera, se cumple una y una sola de las tres alternativas siguientes: B C B C CB O.2 Si B C, y a su vez C D , entonces B D . OA.1 Si B C entonces B D C D , para todo nmero D . OA.2 Si B ! y , C !, entonces BC !.
PRUEBA.

J. Daro Snchez H.

MATEMTICA BASICA

47

Estos ltimos axiomas relacionan las propiedades algebricas con el orden. En lugar de " B C , B C" se escribe B C . Se acostumbra tambin escribir C B y, C B en lugar de B C B C . 9.5.1 TEOREMA. Cualesquiera dos desigualdades pueden ser adicionadas. Esto es, si , + y . - entonces , . + PRUEBA.

Por OA.1 se tiene , - + - , . , - , . , - , - + entonces por O.2 se tendr , . + -. 9.5.2 TEOREMA. , + si y slo si , + !
PRUEBA.

Si , +, entonces por OA.1 se tiene , + + +. Por lo tanto , + !. Inversamente si , + ! entonces a, +b + ! + de donde , + 9.5.3 TEOREMA. Una desigualdad es preservada si multiplicamos ambos miembros, por el mismo nmero positivo. Esto es + , - ! +- ,Puesto que + , tenemos + , !. Por lo tanto usando OA.2 tenemos - a+ ,b ! y por A.5 tenemos -+ -, !, usando el teorema 9.5.2 tenemos +- ,- . 9.5.4 TEOREMA. Si + ! entonces + !.
PRUEBA. PRUEBA.

Si + ! entonces + + ! + (por OA.1). As ! + + !

9.5.5 TEOREMA. Si ! + entonces + !.

PRUEBA.

Si ! +, entonces ! + ! (por 9.5.2) + !.

9.5.6 TEOREMA. Si , + y ! - entonces +- ,- .

J. Daro Snchez H. PRUEBA.

MATEMTICA BASICA

48

Si , + entonces , + !, y por otro lado si ! -, entonces - !. Por lo tanto a - ba, +b ! +- ,- ! por el teorema 9.5.2 +- ,- 9.5.7 EJERCICIOS.

a"b Ordene de menor a mayor los racionales siguientes " # # $ $ ' % # $ & ( % ( &. a#b Determine sobre una recta numrica los puntos de coordenadas ' !$ ##. $ $ & " # a$b Pruebe que no es posible tener B C C B para dos reales cualesquiera. a%b Haga ver que B C B C B C. a&b Pruebe que B C C B B C. a'b Establezca las propiedades anlogas a OA.1 y al teorema 9.5.1 anteriores dadas para la relacin " ". a(b Demuestre que si B ! y D es tal que BD ", entonces D !. , a)b Pruebe que si + , - !, entonces + - Qu ocurrir si - !? " a*b Demuestre que si ! + ,, entonces ! " , +. a"!b Defina y represente grficamente los intervalos semiabiertos + , y + ,. Aqu ; + , B d+ B , y + , B d+ B , a""b Qu significan los intervalos a+ +b, + , + , y + + ?. a"#b Halle y represente grficamente los conjuntos siguientes: a+b ! # # ' a- b " # _ _ # a,b ! # )# ' a. b _ $ " _ a/b ! $ # _ a0 b ! # # $ a1b ! $ $ % a2b " _ # %. a"$b Represente los nmeros reales sobre una recta vertical, de tal manera que el punto correspondiente al " est por encima del correspondiente al cero. Si + ,, cmo estarn ubicados sus puntos correspondientes E y F? a"%b Cmo es el producto de los dos nmeros reales negativos?. Cmo es la suma de dos nmeros negativos?. Demuestre que sus afirmaciones son verdaderas. a"&b Demuestre que el cuadrado de un nmero distinto de cero, es estrictamente mayor que cero.

J. Daro Snchez H.

MATEMTICA BASICA

49

9.6 PROPIEDAD DE COMPLECIDAD. Como era de esperarse, esta propiedad afirma, en total acuerdo con la intuicin, que la recta numrica no tiene huecos, que carece de discontinuidades: que es completa. Sin embargo, como puede apreciarse por el lenguaje usado, la propiedad en cuestin no est descrita con precisin suficiente para ser inequvoca y aceptable. Para lograr la anhelada precisin puede procederse de la manera siguiente: En primer lugar una pregunta; si la recta nmerica tuviera huecos cmo podran detectarse estos?. La existencia de uno de tales huecos o cortes
A C D

automticamente dara al conjunto de los puntos de la recta, en virtud del orden que los afecta, una clasificacin natural: los puntos que estn antes del corte (puntos AC) y los puntos que estn despus del corte (puntos CD). Todo punto es un AC un CD ( pero no las dos cosas al tiempo), adems, todo punto anterior a un AC es un AC y todo punto posterior a un CD es un CD. Por ltimo, no existira un punto tal que todo punto anterior a l fuera un AC y todo punto posterior a l fuera un CD, (este elemento "sera" precisamente el que falta). Ms formalmente se procede as: una cortadura aElF b es una clasificacin de todos los nmeros en dos conjuntos clases E y F de tal manera que: a3b Hay nmeros en ambas clases (es decir, que ninguna de las dos clases es vaca) a33b Si + E y , F , entonces + , Dada la cortadura aElF b, como las clases E y F no son vacas existe por lo menos un nmero + E y un nmero , F , y por la condicin a33b se debe tener que + ,

Si un nmero B +, entonces como debe estar clasificado, se encontrar en E en F, pero como por a33b no puede estar en F, entonces necesariamente estar en E. Anlogamente, todo nmero mayor que , debe pertenecer a F .

Por otra parte, los elementos entre + y , tambin deben estar clasificados, luego las clases E F deben tener una disposicin como la siguiente

J. Daro Snchez H.

MATEMTICA BASICA

50

Si existe un nmero - mayor o igual que todos los de E y menor o igual que todos los de F, este nmero - se llama nmero punto frontera de la cortadura aElF b. Intuitivamente puede verse que si existiera una cortadura aElF b sin frontera, la recta tendra un hueco, corte, es decir, no sera continua la recta nmerica. En este caso dado un elemento + de E, siempre existira otro elemento +w E tal que +w +; anlogamente para F (aa, F bab, w F b, w ,). Luego ningn elemento de E de F podra ser frontera, y como cada nmero real debe estar en E en F , entonces no existira punto frontera alguno. La ltima propiedad de los nmeros reales asegura la inexistencia de estos "huecos" "discontinuidades" en el conjunto de los reales: V. Toda cortadura aElF b en el conjunto de los nmeros reales determina un nmero - que es su frontera.

Si el nmero - perternece a la clase E, entonces E es el conjunto de todos los nmeros menores o iguales que - y entonces - es el mayor de los elementos de E el "mximo" de E. Si - F , entonces E es el conjunto de los nmeros menores que - y F es el conjunto de los nmeros mayores o iguales que - , siendo - el menor de los elementos de F , el "mnimo" de F. Las propiedades que se acaban de enunciar caracterizan al conjunto de los nmeros reales, en el sentido siguiente: si un sistema tiene esencialmente estas propiedades, entonces salvo notaciones usadas, este sistema es idntico al de los nmeros reales. Es claro que los nmeros reales tienen muchas propiedades pero, cada una de ellas es consecuencia estrictamente lgica de los axiomas antes enunciados. Como ejemplo consideremos el siguiente teorema conocido como la propiedad Arquimediana de los nmeros. 9.6.2 TEOREMA. Si B e C son nmeros reales positivos y si se localizan sucesivamente B #B $B %B entonces llega un momento en que estos puntos sobrepasan a C, es decir, existe un nmero entero 8 tal que 8B C . Este hecho, de tan grande evidencia intuitiva, puede sin embargo demostrarse usando slamente propiedades caractersticas de los nmeros reales. En efecto; si todos los mltiplos B #B $B %B de B fueran C, llamando F la clase de los nmeros , que son mayores iguales que cada uno de los 8B entonces, si E CF se tiene

J. Daro Snchez H.

MATEMTICA BASICA

51

a3b E F pues todos los mltiplos 8B estn en ella (cada uno de ellos es menor que el siguiente). F tampoco es vaco pues por ejemplo C es un nmero que est en esta clase. a33b Si + E y , F , entonces + es menor que algn 8B y , ser mayor o igual que este 8B, luego + ,. Como adems es claro que todos los nmeros estn clasificados, resultando que aElF b es una cortadura. Si - es la frontera de aElF b entonces todos los mltiplos de B seran menores o iguales que -, en particular, para todo natural 8 se cumplira a8 "bB - o lo que es lo mismo, 8B - B es decir, que todos los mltiplos de B seran tambin menores o iguales que - B
(n+1)x c

Luego, si 5 es un nmero entre - B y - ( por ejemplo 5 - B # ) siendo mayor que todos los 8B debera estar en F y siendo menor que - debera estar en E, pero esto no es posible porque E y F no pueden tener elementos comunes. En consecuencia debe existir un mltiplo de B mayor que C. Como se vio hace un instante, dados dos nmeros diferentes B e C, es fcil hallar nmeros que estn entre ellos, por ejemplo D BC tiene esta # propiedad. Sin embargo usando la propiedad Arquimediana (9.6.2) puede demostrarse que entre dos nmeros reales distintos B e C ( tales que B C por ejemplo) siempre se halla una fraccin 7 8 7 8 enteros con 8 !. La idea de la demostracin es sta: las fracciones # " ! " # $ 8 8 8 8 8 8 estn repartidas a igual distancia unas de otras sobre la recta, para " asegurar que una de ellas est entre B e C basta tomar 8 C B, en efecto, como C B entonces C B ! luego existe 8 tal que " 8aC Bb " es decir 8 C B. Si adems 7 es el menor de los enteros que son mayores que 8B, es decir 7 8B pero 7 " 8B o tambin 7" 8 B entonces 7 7" " 8 8 8 B aC Bb C y como 7 8B entonces 7 8 B, luego 7 B 8 C. Nos resta preguntar dnde se us la propiedad Arquimediana?

J. Daro Snchez H.

MATEMTICA BASICA

52

". Demostrar que si aPlY b y aPw lY w b son cortaduras en el cuerpo de los racionales, cualquier nmero racional con una excepcin a lo ms, puede escribirse como B C aB P C Pw b o como ? @ a? Y @ Y w b #. Demostrar que para todo % ! existe un 8 bastante grande para que "!8 %. $. A veces se define una cortadura de Dedekin en un campo ordenado J como un par de subconjuntos Pw y Y w de J tales, que cualquier elemento de J est siempre en Pw o en Y w , y tal que B C siempre que B Pw e C Y w . Por adicin y supresin de convenientes nmeros particulares, demostrar que cualquier cotadura aPw lY w b de este tipo da una cotadura aPlY b en sentido del texto, y viceversa. %. Si > es un elemento de un dominio ordenado H con ! > ", demostrar que = # > tienen las propiedades = " => ". &. Sea H un dominio ordenado "completo". a+b Si H no es isomorfo con , demostrar que H contiene un elemento > con ! > ". a,b Si , y - son elementos positivos cualesquiera de H, demostrar que >8 , - para algn 8. '.Demuestre que d satisface la propiedad arquimediana: dados C d B !, existe un natural 8 tal que 8B C. (. Demuestre que dado cualquier real, siempre existe un real estrictamente mayor y otro estrictamente menor. ). Pruebe que todo subconjunto de d no vaco y acotado inferiormente posee inf en d . *. Pruebe que no es un subconjunto superiormente acotado de d.

9.7. EJERCICIOS

10. LOS NMEROS NATURALES. Se trata con seguridad del conjunto pionero en el estudio de la matemtica, pues acogindonos al concepto del matemtico aleman Leopoldo Kronecker nos atrevemos a decir que: "el buen Dios nos di los nmeros naturales; el resto ha sido obra del hombre". Hacemos a continuacin una presentacin, de estos nmeros, desde un punto de vista axiomtico como sigue: 10.1 DEFINICIN. Los nmeros naturales, denotados por el smbolo , son un conjunto, dos de cuyos elementos son denotados con los smbolos ! y " a! "b, junto con dos operaciones llamadas adicin y multiplicacin, denotadas por y respectivamente. Las siguientes propiedades algebricas debe satisfacer la adicin

J. Daro Snchez H.

MATEMTICA BASICA

53

1A 7 8 8 7 para todo 7 y para todo 8 Esta propiedad es la ley conmutativa de la adicin 2A a8 7b : 8 a7 :b para todo 8 7 : 3A a8 8 ! 8 4A 8 7 8 " 7 " para todo 8 7 5A 8 ! 8 " Las siguientes propiedades algebricas deben satisfacer la multiplicacin 1M 87 78 para todo 8 7 2M 8a7:b a87b: para todo 8 7 : 3M 8 "8 8 La siguiente propiedad algebrica adicional debe cumplirse D 8a7 :b 87 8: para todo 8 7 : . Finalmente en adicin a las anteriores propiedades algebricas, la siguiente propiedad, que es llamada el principio de induccin matemtica, debe tenerse MI Si W , es tal que ! y "8 W 8 " W " en verdadera entonces W . Veamos algunos resultados que se deducen de la definicin anterior y que se hacen como una ilustracin 10.2 TEOREMA. Si 8 y 8 ! ! entonces a8 "b ! !
PRUEBA.

a 8 "b ! ! a 8 " b ! 8 ! " ! ! !

10.3 TEOREMA. Si 8 y 8 ! entonces 8 5 " para algn 5

PRUEBA. Sea W ! 5 "5 . W tiene las siguientes propiedades a3b ! ! ! W a33b Supngase que 8 W . Pero, puesto que W , tenemos que 8 y adems 8 " 5 "5 , por lo tanto 8 " W . Luego W cumple las hiptesis de MI, siguindose que W . Concluimos as que si 8 y 8 ! entonces 8 5 "5 esto indica que 8 5 " para algn 5 .

En la construccin de los nmeros naturales el resultado dado por (10.3) es utilizado como la propiedad del "sucesor", el axioma MI es conocido como el principio de induccin. Dada nuestra pobreza en el campo de la lgica matemtica y el espritu de este trabajo no nos entramos en lo profundo del conjunto de los nmeros naturales pero invitamos a

J. Daro Snchez H.

MATEMTICA BASICA

54

nuestros cibernautas a que estudien el libro introduccin a la teora de conjuntos captulo IV pg 153 del profesor Jos M. Muoz Quevedo y publicado por la Universidad Nacional en 1994 donde se hallan los nmeros naturales con lujo de detalles. 10.4 EJERCICIOS Utilice el principio de induccin para dar solucin a los problemas " a $ siguientes: ". Si W tal que el cero es su primer elemento, y se 8 W entonces 8 " W Cul es el conjunto W ? #. Si W es tal que el primer elemento es "! y el sucesor de cualquier elemento de W es tambin elemento de W . Halle el conjunto W . $. Encuentre el subconjunto W de constitudo precisamente por aquellos 8 tales que $8 " es divisible (exactamente!) por #. %. Cul sera el subconjunto E de tal que a3w b # es el ltimo elemento a33w b el antecesor de cualquier elemento de E est tambin en E ? Nota: Si 8 E, entonces a 8 " se le llama el antecesor y a 8 " el sucesor.

11. LOS NUMEROS ENTEROS En el conjunto de los nmeros naturales y desde un punto de vista algebrico, se tiene la tendencia a estudiar ecuaciones de la forma ms elemental posible como & B # , problema como, dados 7 8 hallar B tal que 7 B 8. Este problema no tiene en general solucin en y para tratar de hallarle una solucin se procede a extender y esta extensin es conocida como el conjunto de los nmeros enteros y es el conjunto donde la resta diferencia es una operacin y donde tenga sentido de hablar de perdidas y ganancias o de temperaturas bajo cero o negativas y que presentamos en una forma axiomtica en la siguiente definicin:

11.1 DEFINICIN. Sea Q un conjunto que es dado por e 88 f. Entonces los nmeros enteros, denotados por el smbolo , es el conjunto formado por Q , junto con dos operaciones, la adicin y la multiplicacin denotadas y respectivamente, y donde las siguientes propiedades se deben cumplir: 1. El subconjunto junto con las operaciones y forman el sistema de los nmeros naturales.

J. Daro Snchez H.

MATEMTICA BASICA

55

2. Las operaciones y satisfacen las propiedes algebricas 1A, 2A, 3A, 4A, 1M, 2M, 3M y D para los elementos tomados en 3. Para todo D existe D tal que D a D b a D b D ! Ntese que as ,+ es un grupo abeliano. 11.1.2 DEFINICIN. Un conjunto W es llamado un dominio de integridad cuando entre sus elementos estn definidas dos operaciones, notadas aditiva y multiplicativamente, con las propiedades: +,W DI.1. aa+ Wbaa, Wb +,W unvocamente, de modo que sean validas la DI.3 aa+ Wb la ecuacin + B ! tiene solucin en W dada por B + Dl.4 Se cumple la ley de simplificacin para el producto, es decir aaB W !b a+ B , B + , b. Segn esta definicin , el conjunto de los nmeros enteros, es un dominio de integridad. Veamos algunos resultados destacados en 11.2 TEOREMA. Si + , entonces existe un nico elemento B tal que + B ,.
DEMOSTRACIN.

ley distributiva, las dos leyes asociativas y las dos conmutativas aaBWbaB!Bb DI.2 ab! Wbab" Wb tales que ! " y aaBWbaB"Bb

La dividimos en dos partes a saber a!b Si + , , entonces + B , para algn B a" b Si + , , + B ,, y , + C ,, entonces B C a!b Supngase + , , hay dos posibilidades a3b Si + entonces B a +b ,, puesto que tenemos + B + a +b , + a +b , ! , , a33b Si + Q , entonces + 8 para algn 8 . En este caso tomamos B 8 , tenindose + B a 8b a8 , b a 8b 8 , ! , , as en este caso B y + B ,. a" b Supongamos + B , y + C ,, donde + , B C entonces + B + C . Presentndose dos casos nuevamente a3b Si + , entonces obtenemos B ! B a +b + B a +b a+ Bb a +b a+ C b a +b + C ! C C a33b Si + 8 para algn 8 , entonces B B ! B a+ 8b aB +b 8 a+ Bb 8 a+ C b 8 aC +b 8 C a+ 8b C ! C En cada caso B C

J. Daro Snchez H.

MATEMTICA BASICA

56

11.3 DEFINICIN. Para cada + , , se define , + al nico nmero B tal que + B ,. La operacin en as definida por el smbolo es llamada sustraccin. Como los nmeros enteros son la base de la aritmtica en los pargrafos 14, 15 y 16 destacaremos algunas otras de sus mltiples propiedades y aplicaciones. 11.3.1 EJERCICIO.

a"b Demuestre que ,- no es un grupo. Demostrar utilizando el principio de induccin matemtica a#b a8 " " $ & a#8 "b 8# b a$b a8 " " % ( a$8 #b 8a$8" # a%b a8 " &8 " %8 a&b a8 R %8 " es divisible aexactamenteb por $ #8"b a'b "# ## $# 8# 8a8"ba a8 ". ' a(b aa8 "b+ +< +<# +<8
+<8" " <"

a)b Probar que las siguientes reglas valen en todo dominio de integridad: a3b a+ ,b a- . b a+ - b a, . b a33b a+ ,b a- . b a+ . b a, - b a333b a+ ,ba- . b a+- ,. b a+. ,- b a3@b a+ ,b a- . b si, y slo si, + . , a*b Cules de los siguientes conjuntos de nmeros son dominios de integridad? a+b Todos los enteros pares a,b Todos los enteros impares a- b Todos los nmeros de la forma + +# con + y , nmeros enteros " a. b Todos los nmeros reales de la forma + , & % , donde + y , son nmeros enteros % a/b Todos los nmeros reales de la forma + , *, donde + y , son nmeros enteros a0 b Todos los nmeros enteros positivos. a1b Todos los nmeros racionales enteros cuyo denominador sea " o una potencia de #

cuando < ".

J. Daro Snchez H.

MATEMTICA BASICA

57

12. NUMEROS RACIONALES Nuevamente una propiedad algebrica nos permite la extensin de los nmeros enteros al tratar de solucionar el problema: "dados + , hallar un nmero B tal que +B ,". Este problema por lo general no tiene solucin de y con esta idea se extiende el conjunto a uno que lo contenga y donde este problema tenga solucin. En seguida damos una presentacin de la extensin de en la forma siguiente. 12.1 DEFINICIN. Un cuerpo J es un conjunto en el cual se tienen definidas dos leyes de composicin distintas, las cuales se notan con y aadicin y multiplicacinb para las cuales J y J son grupos abelianos y adems BaC D b BC BD para todo B C D J Ntese que si J es un cuerpo para cada + ! existe +" "inverso" multiplicativo que satisface la ecuacin ++" +" + " 12.2 TEOREMA. Sea J un cuerpo, la divisin (exepto por cero) es una operacin en J !.
PRUEBA.

Basta demostrar que para todo + ! y todo , J la ecuacin +B , tiene una nica solucin B J Si + !, entonces existe +" J , podemos as construir un elemento B +" , el cual por sustitucin directa se prueba que +B ,. Supongamos por otra parte que +B , y +C ,, entonces +B +C, de aqu +" a+Bb +" a+C b a+" +bB a+" +bC de donde se tiene B C. , La solucin de +B , es denotada + , +, tenindose as definida la " " divisin en J . En particular + + . 12.3 TEOREMA. En todo cuerpo J , los cocientes obedecen a las siguientes leyes ( en donde , ! y . !) - a"b + , . +. , - +.,a#b + , . ,. - + . a$b + ,. , + a%b + , , ! , + + a&b Si + ". , !, entonces ,
PRUEBA.
- . a"b + +," -. " , as , +. +a,," b. +a, " , b. a+, " b,. a-. " b., - a. " . b, -,

J. Daro Snchez H.

MATEMTICA BASICA

58

Recprocamente + " ," + ," +a.. " b , " a+. b. " , " a-, b. " , +, ," a,- b. " a," ,b-. " -. " . a#b Sabemos que B + , e C . son las soluciones de las ecuaciones ,B + y .C - . Estas ecuaciones pueden combinarse para dar .,B +. ,.C ,- ,. aB C b +. , de la ecuacin a,. bD +. ,As pues, B C es la nica solucin +.,,. a$b Como antes, las ecuaciones ,B + .C - pueden combinarse para dar a,. baBCb a,Bba.Cb +de la cual sale BC +,. a%b Sustituyendo en a#b tenemos " + + +,,+ !a,# b ! , , ,# , +, + a&b Sustituyendo en a$b tenemos + +, es la nica , +, . Pero ,+ solucin de la ecuacin a,+bB +, Como B " satisface a est ecuacin se tendr +, ,+ ".
EJEMPLO.

Se sigue de los axiomas de d que d es un cuerpo.

12.4 DEFINICIN. Un subcuerpo O de un cuerpo dado J es un subconjunto de J que es as mismo un cuerpo respecto a las operaciones de adicin y multiplicacin en J restingidas a O . 12.5 TEOREMA. Un subcuerpo W de un cuerpo J es un subconjunto que contiene al cero y la unidad de J , adems es cerrado para la adicin, cerrado para la multiplicacin, para cada + W se tiene que + W y si + ! entonces +" W , y recprocamente.
EJEMPLO.

nmeros reales.

d # + ,#+ d , d

es

un

subcuerpo

de

los

12.6 CONSTRUCCIN DE LOS ELEMENTOS RACIONALES Los enteros solos no forman un cuerpo, la construccin de los nmeros racionales a partir de los enteros como una extensin, es esencialmente la construccin de un cuerpo que contenga a los enteros como subconjunto. Naturalmente este cuerpo deber adems, contener las soluciones de todas las ecuaciones del tipo ,B + con coeficientes enteros + y , !. La construccin abstracta de los "nmeros racionales" que resuelvan estas ecuaciones se sigue, simplemente, introduciendo

J. Daro Snchez H.

MATEMTICA BASICA

59

ciertos smbolos nuevos < a+ ,b a los que llamaremos pares, cada uno de los cuales es solucin de una ecuacin ,B + Debemos hacer ver que estos nuevos entes puedan igualarse, sumarse y multiplicarse, exctamente como los cocientes en un cuerpo. 12.6.1 DEFINICIN. El conjunto de nmeros racionales est constitudo por todos los pares a+ ,b de enteros + y , !. La igualdad entre pares se rige por el convenio siguiente a+ ,b a+w ,w b +,w +w , Mientras que la suma y el producto se definen as a+ ,b a+w ,w b a+, w +w , ,, w b a+ ,ba+w ,w b a++w ,, w b Los resultados son siempre pares teniendo por segundo componente a ,,w !. 12.6.2 PROPIEDAD. Si a+ ,b a+w ,w b entonces se tiene a+ ,b a+ww ,ww b a+w ,w b a+ww , ww b

En efecto, como a+ ,b a+w ,w b entonces +,w +w , as, a+ ,b a+ww ,ww b a+,ww +ww , ,, ww b y a+w ,w b a+ww ,ww b a+w ,ww +ww ,w ,w ,ww b ahora a+,ww +ww ,b,w ,ww a+,ww ba,w ,ww b a+ww , b,w ,ww ,ww a+,w b,ww +ww a,,w b,ww ,ww a+w ,b,ww +ww a,w ,b,ww a+w ,ww ba,,ww b a+ww ,w ba,,ww b a+w ,ww +ww ,w ba,,ww b Luego a+,ww + ww , ba,w ,ww b a+w ,ww +ww ,w ba,,ww b de donde a+,ww + ww , ,,ww b a+w ,ww +ww ,w ,w ,ww b y se tiene a+ ,b a+ww ,ww b a+w ,w b a+ww , ww b. Pueden probarse ahora varias leyes algebricas para los nmeros racionales que hemos definido. As, en la ley distributiva se puede reducir simultneamente ambos miembros de la igualdad de acuerdo con la definicin, del siguiente modo ( supongamos que < <w y <ww estn en ) <a<w <ww b a+ ,bca+w ,w b a+ww ,ww bd a+ ,ba+w ,ww +ww ,w ,w ,ww b a++w ,ww ++ww ,w ,,w ,ww b <<w <<ww a+ , ba+w , w b a+ , ba+ww , ww b a++w ,, w b a++ww ,,ww b a++w ,,ww ++ww ,,w ,,w ,, ww b

J. Daro Snchez H.

MATEMTICA BASICA

60

Estos dos resultados dan parejas iguales, ya que el segundo resultado difiere del primero slo en la presencia de un factor , en todos los trminos. Pero un factor extra en un par, da siempre otro par igual, pues a,B ,C b aB C b ,BC ,BC BC BC , ya que , ! Esta demostracin explcita de la ley distributiva para nmeros racionales a paresb es slo un ejemplo del mtodo. Por el mismo empleo directo de las definiciones y de las leyes de los enteros, se prueban la conmutatividad y la asociatividad, en efecto < <w a+ ,b a+w ,w b a+,w +w , ,,w b
CONMUTATIVIDAD

Un elemento idntico para la adicin es el par a! "b ya que a! "b a+ ,b a! , " + " , b a+ , b La ley de simplificacin se conserva y el par a" "b es el elemento idntico para la multiplicacin. El opuesto de a+ ,b es a+ ,b a + ,b Se cumplen pues todos los postulados que definen a un cuerpo. En resumen tenemos 12.7 TEOREMA. El conjunto de los nmeros racionales, constituido por todos los pares de nmeros enteros es un cuerpo y definiendo a+ ,b + , se tiene que a+ ,ba+ ,b + , + , ! . 12.8 EJERCICIO. ". Admitiendo que el conjunto de los nmeros reales es un cuerpo Cules de los siguientes conjuntos son subcuerpos de d ? a+b Todos los enteros positivos a,b Todos los nmeros de la forma + ,$ con + ,

a< < w b < < a<w <ww b ca+ ,b a+w ,w bda+ww ,ww b a+ , b a+w , w b a+ww , ww b w w w ww ww a+, + , ,, b a+ , b a+ , b a+w ,ww +ww ,w ,w ,ww b a+,w ,ww +w ,,ww +ww ,,w ,,w ,ww b a+,w ,ww +w ,,ww +ww ,,w ,,w ,ww b a<<w b<ww <a+w <ww b a+ ,ba+w ,w ba+ww , ww b a+ , ba+w , w ba+ww , ww b a++w ,,w ba+ww ,ww b a+ ,ba+w +ww , w , ww b a++w +ww ,,w ,ww b a++w +ww , ,w ,ww b
ASOCIATIVIDAD

<w < a+ , w b a+ , b a+w , +, w , w , b

w

<<w a+ , ba+w , w b a++w ,, w b

<w < a+ , ba+ , b a+w + , w , b

w w

J. Daro Snchez H.

MATEMTICA BASICA

61

$ a- b Todos los nmeros de la forma + , & con + y , nmeros racionales. a. b Todos los nmeros racionales no enteros. a/b Todos los nmeros de la forma + ,& con + y , nmeros racionales. #. Hallar el nmero racional cuyo desarrollo decimal es !$$%%%% $. Demostrar que el desarrollo decimal de B termina en cero ( en nueve) si B es racional y su denominador es de forma #8 &7 , donde 7 y 8 son enteros positivos o nulos y recprocamente. %. Demostrar que # $ es irracional & Si + , - . son racionales y B es irracional, demostrar que a+B ,ba-B . b es, en general irracional. Cundo se presentan excepciones? '. Dado cualquier real B !, encontrar un nmero irracional comprendido entre ! y B. +(. Si + , . siendo , ! . !, demostrar que ,. est comprendida entre + , y .. ). Sean + y , enteros positivos. Demostrar que # siempre est +#, comprendido entre dos fracciones + , y +, . Cul de las fracciones est ms prximo a # ? *. Designemos por + y , las races de la ecuacin cuadrtica B# B " ! 8 ,8 y sea B8 ++, . Demostrar que B" " B# " B$ # B8" B8 B8" . "!. Determinar para qu valores del entero 8 " nmero 8 " 8 " es racional, y para cules es irracional.

13. ACOTACIN. TERMINACIN. EXTREMACIN. 13.1 DEFINICIN. Sea P un conjunto ordenado, es decir un conjunto en donde se cumplen los axiomas O1,O2, AO1, y AO2 de la seccin 9.5. Se dice que un subconjunto E de P aE Pb es acotado superiormente por un elemento B P si aa+ Eba+ Bb Se dice que E es acotado inferiormente por un elemento C P si aa+ EbaC +b En estos casos decimos que B es una cota superior de E y que C es una cota inferior de E. E se dice acotado si lo es superior e inferiormente.
EJEMPLOS

" " " " a"b El conjunto B/B 8 8 ! " # $ 8 es un conjunto acotado, pues, " es la cota superior y ! es la cota inferior. a#b El conjunto E B dB# # no es un conjunto acotado porqu?

J. Daro Snchez H.

MATEMTICA BASICA

62

13.2 DEFINICIN. Sea E un conjunto de nmeros reales acotado superiormente. Supongamos que exista un nmero real B que satisface las dos condiciones siguientes a+b B es una cota superior de E a,b Si C es otra cota superior de E, entonces B C Entonces el nmero B es llamado extremo superior del conjunto E. Anlogamente se define el extremo inferior ( a+w b C es una cota inferior de E y a,w b si C" es otra cota inferior de E, entonces C" C ). Cuando un conjunto es tal que admite extremo superior y extremo inferior entonces se dice que es un conjunto terminado. Al extremo superior se le suele llamar el supremun y se nota sup. Al extremo inferior se llama con frecuencia infimun y se le nota inf. Sea supE el supremun de un conjunto E si supE E entonces el supE es llamado mximo de E. Por analoga si infE E, entonces el infimun de E es llamado mnimo de E.
NOTACIN. NOTA.

Sea E un conjunto acotado y sea B supE entonces se suele escribir aDado % !bab+ EbaB % +b Anlogamente si > infE entonces se suele caracterizar con la siguiente proposicin aDado % !bab+w Eba> % +w b. 13.3 TEOREMA. Sean E y F dos conjuntos acotados de nmeros reales con + supE , supF . Designemos por G al conjunto G eB CB E C F f entonces + , supG .
PRUEBA.

Si D G entonces D B C + ,, de modo que + , es una cota superior de G . Sea - otra cota superior de G . Tenemos que + , - , para ello sea % ! un nmero positivo dado, existe un nmero B E y existe un nmero C F tales que +% B ,% C Por la adicin de estas desigualdades, encontramos + , #% B C Esto es + , - #%. Pero % es arbitrario, resulta as +, 13.3.1 DEFINICIN. Un subconjunto de nmeros reales se dice mayorado cuando admite cotas superiores y minorado cuando admite cotas inferiores. Un conjunto se dice extremado limitado cuando admite cota inferior y cota superior.

J. Daro Snchez H.

MATEMTICA BASICA

63

A continuacin enunciamos el axioma de completez para los nmeros reales, el cual, en este momento, estamos preparados para probarlo.

13.4 aG w b Si un conjunto \ de nmeros reales es mayorado, entonces \ tiene supremun. Dualmente se tiene si \ es un conjunto de nmeros reales que est minorado entonces \ tiene nfimun. Sea F el conjunto de las cotas superiores de \ , entonces, por hiptesis F F, pues \ es mayorado. Sea ahora E CF el conjunto de los nmeros que no son cotas superiores de \ , es decir, E es el conjunto de todos los nmeros + tales que existe un elemento B \ tal que B +. Entonces E tampoco es vaco pues cualquier nmero menor que un elemento de \ ( que no es vaco) pertenece a E. Adems a3b Es claro que cada nmero real est en E o en F pero no en ambos a33b Si + E y , F , entonces +<,, en efecto, si + E entonces existe B \ tal que + B y como , F, , es una cota superior de \ entonces B , as + BB, luego por la transitividad se tiene + ,. Concluimos as que aElF b es una cortadura, entonces por el axioma G de los nmeros reales aElF b tiene un punto frontera. Sea - la frontera de esta cortadura tenindose que - no est en E puesto que si esto ocurriera existira un elemento B de \ tal que - B pero entonces los elementos entre - y B estaran en E (por ser menores que B) y seran mayores que (que es la frontera). Luego - es el mnimo de F es decir, es la mnima cota superior de \ o sea el supremum de \ . Anlogamente se demuestra que todo conjunto no vaco y minorado tiene nfimun. Nota. Cuando este resultado se generaliza a conjuntos ordenados y cadenas de orden, es conocido como el lema de Zorn. 13.4.1 EJERCICIOS ". Demostrar que el sup y el inf de un conjunto son nicos cuando existe. #. Hallar el sup y el inf de cada uno de los siguientes conjuntos de nmeros reales a+b Todos los nmeros de la forma #: $; &< , donde : ; y < toman todo los valores enteros positivos. a,b W B$B# "!B $ !. a- b W BaB +baB ,baB - baB . b !, siendo + , - . .
DEMOSTRACIN.

J. Daro Snchez H.

MATEMTICA BASICA

64

$. Sean W un conjunto de nmeros reales acotados superiormente, + supW y % un nmero positivo. Demostrar que existe por lo menos un nmero B W tal que + % B +. %. Sean E y F dos conjuntos de nmeros reales acotados superiormente, + supaEb y , supaF b. Si G es el conjunto de los nmeros reales formados, considerando todos los productos de la forma BC, donde B E e C F , demostrar que, en general, +, supaG b. &. Sean B un nmero real !, y 5 un entero positivo ". Representemos por +! el mayor entero B y suponiendo que +! +" +8" hayan sido definidos , representemos por +8 el mayor entero tal que +8 +# " +! + 5 5 # 5 8 B. a+b Demostrar que ! +3 5 " para 3 " # a,b Explicar cmo pueden obtenerse geomtricamente los nmeros +! + " + # +# " a- b Demostrar que la serie +! + 5 5 # converge y tiene por suma B a. b Demostrar que B es el sup del conjunto de las sumas parciales de serie dada en a- b Nota. La serie dada en a- b origina un desarrollo decimal de B en el sistema de base 5 . 13.5 PRINCIPIO DE BUENA ORDENACIN Los nmeros enteros poseen otra propiedad importante no caracterizada algebricamente y no compartida por otros sistemas de nmeros. Tal propiedad es la siguiente: Cualquier subconjunto de nmeros enteros positivos que contenga al menos un elemento, contiene elemento mnimo. En otras palabras, cualquier seleccin dada de nmeros enteros positivos contiene un entero positivo 7 tal que cualquiera que sea el entero + en la seleccin dada se tiene 7 +. Por ejemplo el ms pequeo entero positivo par es #. Ms generalmente, un conjunto de nmeros se llama bien ordenado si cualquiera de sus subconjuntos no vacos contiene un elemento mnimo. As pues, el principio anterior indica que los enteros positivos estn bien ordenados. 13.5.1 TEOREMA. No hay ningn nmero entero entre ! y ".
PRUEBA.

Esto se ve inmediatamente sin ms que echar una ojeada al orden natural de los enteros pero lo que pretendemos es probarlo utilizando las hiptesis fundamentales (postulados), sin necesidad de utilizar la referida serie de enteros (en el caso ! "). Daremos una prueba indirecta (vea 3.3). Si hay un entero - tal que ! - ", sea G el conjunto de todos

J. Daro Snchez H.

MATEMTICA BASICA

65

los enteros - tales que ! - ", entonces G F. Por el principio de la buena ordenacin, existe un entero 7 que es el mnimo para G y tal que ! 7 ". Multiplicando esta desigualdad por 7 obtenemos ! 7# 7 # Entonces 7 es otro nmero entero de G , menor que el supuesto mnimo de G . Esta contradiccin demuestra el teorema. 13.5.2 TEOREMA. Un conjunto W de nmeros enteros positivos que incluya al " y que incluya al 8 " siempre que incluya a 8, incluye tambin a cualquier entero positivo.
PRUEBA.

Bastar probar que el conjunto W w de todos los nmeros enteros positivos no contenidos en W es vaco. Supongamos que W w no sea vaco, por el principio de buena ordenacin W w contendr un elemento mnimo 7. Pero 7 " por hiptesis, luego por el teorema anterior, 7 " y 7 " deber ser positivo. Como adems 7 " 7 resulta que, por la definicin de 7, 7 " debe estar en W . Se deduce de la hiptesis que a7 "b " 7, as 7 W 7 W w o sea 7 W 7 W esta contradiccin demuestra el teorema. 13.5.3 EJERCICIOS ". Demostrar que para cualquier entero + + " es el mayor entero menor que +. #. Cules de los siguientes conjuntos son bien ordenados? a+b Todos los enteros positivos impares a,b Todos los negativos pares a- b Todos los enteros mayores que ( a. b Todos los enteros impares mayores que 249. $. Probar que todo subconjunto de un conjunto ordenado est bien ordenado. %. Demostrar que el conjunto de enteros que contiene a "!!! y que contiene a B ", si contiene a B, contiene a todos los enteros positivos. &. a+b Un conjunto W de enteros tiene al entero , como "cota inferior" si , B para todo B en W ; el mismo , puede pertenecer o no pertenecer a W . Demostrar que cualquier W no vaco que tiene una cota inferior, tiene un elemento mnimo. a,b Demostrar que cualquier conjunto de enteros no vaco que tiene una "cota superior" contiene un elemento mximo.

J. Daro Snchez H.

MATEMTICA BASICA

66

13.6

DIVISIBILIDAD

Una ecuacin +B , con coeficientes enteros, no siempre tiene solucin entera. Cuando existe tal solucin, se dice que , es divisible por + 13.6.1 DEFINICIN. Un entero , es divisible por un entero + cuando hay algn entero . tal que , +. . Entonces escribimos +l,, diremos tambin que , es un mltiplo de + y que + es un factor o divisor de , +l, b. , +. He aqu una nueva relacin "+l,". Son propiedades de esta relacin la reflexividad y la transitividad +l+ +l, ,l- +lLa primera propiedad es trivial pues + + " +l+ La segunda tiene por hiptesis directa que , +." y - ,.# , siendo ." y .# dos enteros adecuados; de lo cual resulta - +a." .# b como ." .# +l 13.6.2 TEOREMA. Los nicos divisores enteros de " son ".
PRUEBA.

El teorema afirma que si dos enteros + y , son tales que +, " se debe tener + " y , ", en efecto, +, " as l+,l l+ll,l ". Como + ! , !, l+l y l,l son enteros positivos y no hay enteros entre ! y ", por la ley de tricotoma l+l " y l,l " Si los dos signos en el peor de los casos uno, son desiguales el producto l+ll,l no puede ser igual a ". Entonces l+l " l,l " y por lo tanto + " y , ". Como + + " a +ba "b todo entero + es divisible por + + " y ". Los nmeros + y + por dividirse mutuamente, se llaman "asociados".

13.6.3 DEFINICIN. Dos enteros + y , se llaman asociados si se verifican las relaciones +l, y ,l+. Los asociados de " se llaman unidades. Esta definicin significa que un entero es una unidad si y slo si es un divisor de ", con esto, el teorema 13.6.2 establece, simplemente que las nicas unidades son ". Si + y , son asociados, + ,." y , +.# . Luego + +a." .# b y por la ley de simplificacin queda " ." .# O sea que ." es un divisor de " y por lo tanto, ." ". Por lo tanto es , +." +, as que los nicos asociados de + son +. Dos enteros + y , son asociados si y slo si l+l l,l.

J. Daro Snchez H.

MATEMTICA BASICA

67

13.6.4 DEFINICIN. Un entero : es primero si, siendo distinto de ! y de ", es divisible nicamente por " y :. Los primeros nmeros primos son # $ & ( * "" "$ "( "* #$ #* $" Todo nmero que no es primo puede descomponerse en un producto de factores primos:
EJEMPLO.

"#) #( *! "! * # & $#

'(# *' ( ( "# ) ( $ #&

Se observa por experiencia, que obtenemos los mismos factores primos cualesquiera que sea el mtodo de descomposicin. Esta unicidad la demostraremos al estudiar el 7-. . 13.6.5 DEFINICIN. Para todo B d, lBl 13.6,6 TEOREMA. Para todo B d lBl !.
PRUEBA.

B si B ! B si B !

a"b Si B !, entonces lBl ! porque en este caso lBl B. a#b Si B !, entonces B !. Por lo tanto lBl ! porque aqu lBl B. 13.6.7 TEOREMA. Para cualquier B d , l Bl lBl

a"b Si B !, entonces B !, as lBl B y por lo tanto lBl a Bb B, siguindose que lBl l Bl a#b Si B !, entonces B !, as lBl B ahora l Bl B por lo tanto lBl l Bl
PRUEBA.

13.6.8 TEOREMA. Para cualesquier B d se tiene lBl B

PRUEBA.

Si B !, esto es verdad porque B B. Si B ! entonces B lBl puesto que lBl !. 13.6.9 TEOREMA. lBCl lBllCl para todo B C d

Cuando B es reemplazado por B esto es B ! C ! lBCl BC lBllCl. Anlogamente si B ! C !. Ahora si B ! C ! entonces lBCl BC lBllCl. Finalmente si B ! C !, entonces BC ! a Bba C b ! luego lBCl BC a Bba C b lBlCl.

PRUEBA.

J. Daro Snchez H.

MATEMTICA BASICA

68

13.6.10 TEOREMA. Sea + ! entonces lBl + + B +

-a |a |
PRUEBA. a"b

Si B ! entonces lBl + indica que B +, adems ! B + a#b Si B !, entonces lBl + indica que B +, , + B aqu lBl + es verdad cuando + B !. Por lo tanto lBl + implica + B + 13.6.11 TEOREMA. Para cualesquiera + , d se tiene l+ ,l l+l l,l. Esta desigualdad es llamada desigualdad triangular.
PRUEBA.

Caso 1. Supongamos que + , !. En este caso l+ ,l + , pero + l+l y , l,l as + , l+l l,l luego l+ ,l l+l l,l Caso 2. Supngase que + , ! entonces a +b a , b ! aplicando el caso 1 tenemos la +b a ,bl l +l l ,l pero la +b a ,bl l a+ , bl l+ ,l y l +l l+l l ,l l,l Luego l+ ,l l+l l,l 1.3.6.12 EJERCCIOS. a"b Demuestre que si , ! entonces " ,

a#b Demostrar que para todo + d y todo , d ! se tiene + l+l , l,l

" l,l

a$b Demuestre que para tado + , d se tiene l+ ,l l+l l,l a%b Demostrar que para todo + , d se tiene l+ ,l l+l l,l. a&b Demostrar que para todo + , d se tiene kl+l l,lk l+ ,l a'b Demuestre el recproco del teorema 13.6.10. a(b Demostrar que si +l, y +l- , entonces +la, - b a)b Demostrar que si , es positivo y no primo, entonces tiene un divisor positivo . ,. a*b Presentar la lista de todos los primos positivos menores de "!!. (Sugerencia: Suprimir los mltiplos # $ & ( y usar el ejercicioa)b) a"!b Si +l,, demostrar que l+l l,l, cuando es , !.

J. Daro Snchez H.

MATEMTICA BASICA

69

13.7 EL ALGORITMO DE EUCLIDES El proceso ordinario de dividir un entero + por otro , nos da un cociente ; y un resto <. El resultado + < , ; , puede expresarse sin usar explcitamente las fracciones, as
ALGORITMO DE LA DIVISIN:

enteros ; y <, tales que + ,; <

Para dos enteros + y , con , ! existen dos !<,

13.7.1 IMAGEN GEOMTRICA. Si imaginamos los nmeros enteros representados sobre el eje real, los posibles mltiplos ,; de , forman un conjunto de puntos equidistantes sobre el eje
-6b -5b -4b -3b 2b -b 0 b 2b 3b 4b 5b 6b 7b

El punto respectivo de + debe caer en uno de los intervalos determinados por esos puntos, por ejemplo, en el intervalo ,; y ,a; "b excluyendo el punto ,a; "b. Esto significa que + ,; < siendo < menor que la amplitud , del intervalo. Esta imagen sugiere la siguiente demostracin, basada solo en los postulados. Existen ciertamente algunos mltiplos enteros de , que no exceden a +, por ejemplo, como , !, , " as a l+lb, l+l + Por lo tanto, el conjunto de las diferencias + ,B contiene por lo menos un entero no negativo, a saber + a l+lb,. De aqu, por el postulado de buena ordenacin existe un mnimo no negativo para + ,B, al que llamaremos + ,; <. Por construccin, < !; mientras que si < ,, entonces + ,a; "b < , ! sera menor que + ,; , contra lo afirmado al elegir ; . Concluimos pues que ! < , y que + ,; a+ ,; b ,; <. 13.7.2 COROLARIO. Dados los dos enteros + y , , quedan determinados unvocamente el cociente ; y el resto <, que satisfacen a + ,; < !<, Suponiendo que sea + ,; < ,; w <w , verificndose ! < , y ! <w ,. Entonces < <w , a; w ; b es en valor absoluto menor que ,, y es mltiplo de ,, luego debe ser cero. De aqu que < <w ,; ,<w ; ; w .
DEMOSTRACIN.

J. Daro Snchez H.

MATEMTICA BASICA

70

Frecuentemente debemos considerar conjuntos de enteros, semejantes a e , ' $ ! $ ' * f formados por todos los mltiplos de $. Estos conjuntos tienen la propiedad de que la suma o diferencia de dos cualesquiera de ellos pertenece al conjunto. En general, un conjunto W de nmeros enteros, se llama cerrado para al adicin y cerrado para la sustraccin, cuando W contiene la suma + , y la diferencia + , de dos enteros cualesquiera + y , de W . Todos los enteros pares ( positivos, negativos y cero) forman un conjunto cerrado para suma y sustraccin. Ms generalmente, el conjunto de todos los mltiplos B7 de un entero 7, es cerrado para la adicin y sustracin, pues B7 C7 aB C b7 es mltiplo de 7. Ahora vamos a probar que estos conjuntos constituidos por los mltiplos de un entero son los nicos conjuntos de enteros que tienen dicha propiedad. 13.7.3 TEOREMA. Todo conjunto no vaco de nmeros enteros, cerrado para la adicin y sustraccin consiste del cero o contiene un nmero positivo mnimo del cual son mltiplos todos los dems.
PRUEBA.

Sea W el conjunto y supongamos aW Fb que contiene un elemento + !, por definicin W contendr a la diferencia + + ! y por lo tanto la diferencia ! + +. Luego W contiene al menos un nmero positivo + +. El principio de buena ordenacin nos dice que en W hay un mnimo positivo ,. El conjunto W debe contener todos los mltiplos de , en en efecto, procediendo por induccin se ve en primer lugar que contiene a , " y seguidamente si est ,5 tiene que estar ,5 , ,a5 "b. Los mltiplos negativos tal como ,8 ! ,8 tambin estn en W por ser diferencia entre ! y 8,. Pero W no puede contener enteros no mltiplos de ,, pues si hubiera uno digamos + no mltiplo de ,, estara tambin en W el resto de la divisin de ambos, < + ,; . Pero < no es negativo y es menos que ,, que es el mnimo entero positivo en W , luego debe ser < ! y + ,; . 13.7.4 DEFINICIN. Un entero . se llama mximo comn divisor 7-. de dos enteros + y ,, si es simultnemente divisor de + y ,, y adems es mltiplo de cualquier otro divisor comn. En el lenguaje objeto de la teora de nmeros, el 7-. debe cumplir las tres propiedades siguientes si . = 7-.+ ,, .l+ .l, y, -l+ -l. -l. Por ejemplo, $ y $ son mximos comunes divisores de ' y *. De acuerdo con la definicin, si hay varios 7-. de dos nmeros, cada uno

J. Daro Snchez H.

MATEMTICA BASICA

71

de ellos debe dividir al otro, luego sern asociados y difieren slo en el signo. Del par . de mximos comunes divisores de + y , el nmero positivo se indicar con el smbolo 7-.+ , a+ , b. Ntese que el calificativo "mximo" en la definicin de 7-. no significa en principio que a7-. b tenga mayor magnitud que cualquier otro divisor comn - , sino que a7-. b es el mltiplo de cualquier tal - . 13.7.5 TEOREMA. Si dos enteros cualesquiera + !, , !, tienen un 7-. positivo a+ ,b, entonces ste puede expresarse como a+ ,b =+ >, = > Una expresin como =+ >, es llamada una "combinacin lineal" con coeficientes enteros. a=" + >" ,b a=# + ># ,b a=" =# b+ a>" ># b, Por lo tanto, el conjunto W de todos los enteros de la forma =+ >, es cerrado para la adicin y sustraccin, y por el teorema 13.7.3 estar constituido por los mltiplos de un nmero entero positivo . =+ >,. Por esta frmula, es claro que todo - factor comn de + y , debe ser un factor comn de . . Adems los enteros dados + " + ! , , ! + " , pertenecen ambos a W , luego sern mltiplos del mnimo nmero . del conjunto W . En otras palabras, . es un divisor comn al cual dividen todos los dems divisores comunes, luego . a+ ,b. Anlogamente, el conjunto Q de todos los mltiplos comunes de + y , es cerrado para la adicin y sustraccin, su mnimo elemento positivo 7 es un mltiplo comn que divide a todos los dems mltiplos comunes y se llama el mnimo comn mltiplo a7-7b de + y ,. 13.7.6 TEOREMA. Dos enteros cualesquiera + y , tienen un mnimo comn mltiplo 7-7+ , + ,, el cual es divisor de todos los mltiplos comunes, siendo l a su vez un mltiplo comn. Para hallar explcitamente el 7-. de dos enteros + y , se puede utilizar el llamado algoritmo de Euclides. Sean + y , enteros positivos, ya que un entero negativo puede reeplazarse por su asociado positivo sin alterar el 7-. (o sea 7-. a+ ,b 7-. a + , b). El algoritmo de la divisin da + ,;" <" + <" , a"b
PRUEBA.

casos

Consideremos los nmeros de la forma =+ >,, para todos los

J. Daro Snchez H.

MATEMTICA BASICA

72

Cualquier entero que divida a los enteros + y ,, divide al resto <" , recprocamente, todo divisor comn de , y <" es divisor de +, como resulta por a"b. Los divisores comunes del par + , son pues, los mismos que los del par , <" as que a+ ,b a, <" b. Esta reduccin puede repetirse con , y <" , e iterar el proceso , <" ;# <# ! <# <" <" <# ;$ <$ ! <$ < # <8# <8" ;8 <8 ! <8 ;8" <8" <8 ;8" a#b

Como el resto disminuye constantemente, habr finalmente un resto ! como hemos indicado en la ltima igualdad. Este razonamiento nos dice que el 7-. buscado es a+ ,b a, <" b a<" <# b a<8" <8 b Pero la ltima igualdad de a#b muestra que <8 es divisor de <8" as que el 7-. de ambos es el propio <8 . El 7-. de dos enteros dados + ,, es el ltimo resto distinto de cero que se obtiene aplicndole el algoritmo de Euclides. El mismo algoritmo puede utilizarse para representar explcitamente al 7-. como combinacin lineal =+ >,. Esto se consigue expresando los restos sucesivos <3 mediante + y , en esta forma: <" + ,;" + a ;" b, <# , ;# <" a ;# b+ a" ;" ;# b, La forma de estas igualdades, indica que puede obtenerse <8 como combinacin lineal de + y , con coeficientes enteros = y > en cuya expresin intervienen los cocientes ;3 . La forma a+ , b =+ >, del 7-. es de gran utilidad. Una consecuencia importante es que si un nmero primo divide a un producto de dos factores, debe dividir por lo menos a uno de ellos. 13.7.7 TEOREMA. Si : es un numero primo, :l+, :l+ :l,.
PRUEBA.

Por definicin de nmero primo, los nicos factores de : son " y :. Si la conclusin :l+ es falsa, los nicos divisores comunes de : y + son ", as que " es un 7-. de + y :, y por lo tanto, " =+ >:. Multiplicando por , resultar: , =+, >:, Los dos trminos de la derecha son divisibles por : luego , ser divisible por :, que es la segunda alternativa del enunciado.

J. Daro Snchez H.

MATEMTICA BASICA

73

Si a+ ,b " diremos que + y , son primos entre si. En otras palabras, dos enteros + y , son primos entre si, si no tienen divisores comunes salvo ". La demostracin del teorema 13.7.7 prueba tambin la siguiente generalizacin 13.7.8 TEOREMA. Si a+ - b " y -l+,, entonces se debe tener -l,

De aqu resulta una consecuencia, relativa a un entero 7 que sea mltiplo de dos nmeros primos entre si + y - . Pues el nmero 7 que es de la forma 7 +. , es divisible por - , as que por el teorema 13.7.8, ser -l. y 7 +. +a-. w b luego el producto +- divide a 7. Esto demuestra 13.7.9 TEOREMA. Supuesto que a+ - b ", +l7 -l7 +-l7. 13.8 EJERCICIOS

a"b Mediante el algoritmo de Euclides, calcular el 7-. de a+b a"% $&b a,b a"" "&b a- b a")! #&#b a. b a#)($ ''%$b a/b a%"%) (')%b a0 b a"!!" ('&&b a#b Escribir aB Cb en la forma =B >C a= > son enterosb, en los tres primeros casos del ejercicio a"b a$b Demostrar que a! +b l+l para cualquier entero + a%b Si + !, demostrar que a+- +- b +a, - b a&b Demostrar que ,l- y l-l , implica - ! a'b a+b Demostrar que tres enteros cualesquiera, + , - tienen un 7-. que puede expresarse en la forma =+ >, ?a,b Demostrar que aa+ ,b - b a+ a, - bb aa+ - b , b 14 TEOREMA FUNDAMENTAL DE LA ARTMTICA.
ENUNCIADO:

Todo entero distinto de cero puede expresarse como el producto de " por factores primos positivos. Esta expresin es nica, salvo el orden en que los factores se consideren. Que todo entero + pueda escribirse como un tal producto, puede demostrarse descomponindolo sucesivamente en factores menores. Este proceso supone el segundo principio de induccin completa el cual enunciamos a continuacin Principio de induccin- segunda forma: Sea :a8b una proposicin condicional en la variable libre 8 si a3b :a!b es verdadera y a33b :a8 "b es verdadera cada vez que :a8b es verdadera ( es decir aa8 ba:a8b :a8 "bb).

J. Daro Snchez H.

MATEMTICA BASICA

74

Entonces :a8b es verdadera para todo nmero natural, es decir, aa8 ba:a8bb. Sea :a+b la proposicin que dice: "+ puede descomponerse en factores como expresa el enunciado del teorema". Si + " si + es primo, :a+b es evidentemente cierta. Si + no es un nmero primo tendr un divisor positivo ,, distinto de " y de +, as que + ,- con , + - +. Pero, de acuerdo con el segundo principio de induccin, podemos suponer que :a,b y :a- b son verdaderas, as que , y - puede expresarse como producto de factores primos , :" : # :< - ;" ;# ;= obtenindose para + la expresin completa. + ,- :" : # :< ;" ;# ;= que es la forma requerida. Para demostrar la unicidad, consideremos dos posibles descomposiciones en factores primos del entero +: + a "b:" : # :7 a "b;" ;# ;8 Como todos los nmeros primos :4 y ;4 son positivos, las unidades " de ambas descomposiciones han de ser iguales. El factor :" es un divisor de + ;" ;# ;8 , as que la aplicacin del teorema 13.7.7 asegura que :" divide por lo menos a su factor ;4 de este producto. Como :" divide a ;4 y los dos son primos, se deber tener :" ;4 ordenando el producto para que ;4 aparezca de primero y simplificando :" con ;4 queda :2 : 3 :7 = ; '2 ; '3 ; '8 donde los acentos indican los ;3 en el nuevo orden. Podemos continuar este proceso hasta que en uno de los dos miembros de la igualdad no quede ningn factor. Tampoco podrn quedar en el otro, as 7 8. Hemos pues identificado las dos descomposiciones, sin ms que reordenar los factores del segundo miembro, como asegurbamos en el teorema de unicidad. En una descomposicin puede aparecer un nmero primo : varias veces. Agrupando los factores, podemos escribir /" /# /8 + :" : # :8 , asiendo a! :" : # :8 b El teorema de unicidad demuestra, que el exponente /3 , corresponde al factor primo :3 , queda determinado de modo nico para cada entero +. 14.1 EJERCICIOS ". Describir un proceso sistemtico para hallar el 7-. y el 7-7 de dos enteros, de los que se conoce la descomposicin en factores primos, ilustrndolo con + #"' , $'! y + "%% , '#& ( Sugerencia: Es conveniente usar los exponentes ! para los factores primos que dividen a uno de los nmeros + o ,, pero no al otro)

J. Daro Snchez H.

MATEMTICA BASICA

75

#. Si Z: a+b indica el exponente de la ms alta potencia del primo : divisor de + demostrar las frmulas a"b Z: a+ ,b minZ: a+b Z: a,b a#b Z: aa+ , bb min Z: a+b Z: a,b aa b 7-. b a$b Z: a+ ,b Z: a+b Z: a,b a%b Z: a+ ,b maxZ: a+b Z: a, b a 7-7b $ Si l+l #Z: a+b , para Z: como en el ejercicio 2, demostrar que l+,l l+l l,l y l+ , l maxal+l l, lb %. Mediante las frmulas del ejercicio #, demostrar que para nmeros enteros positivos + y ,, +, a+ ,b+ ,. &. Demostrar que el nmero de primos es infinito aEucldesb(Sugerencia: Si :" :# :8 son 8 primos, el producto :" :# :8 " no es divisible por ninguno de estos primos) ' Si un producto 78 positivo es un cuadrado y si a7 8b ", demostrar que 7 y 8 son ambos cuadrados.

15 CONGRUENCIAS Al numerar las horas del da, se acostumbra a contar slo hasta "# y volver a empezar. Esta sencilla idea de prescindir de los mltiplos de un nmero fijo, "# en este caso, es la base de la nocin aritmtica de congruencias. Diremos que dos enteros son congruentes "mdulo "#" si difieren en un entero mltiplo de "#. Por ejemplo ( y "* son congruentes y se escribe ( "*a79. "#b Se puede decir igualmente que + ,a79.7b cuando la diferencia + , pertenece al conjunto de los nmeros mltiplos de 7. Todava cabe otra definicin, basada en que el resto de la divisin de + por 7 es nico. Podemos, pues establecer lo que sigue: 15.2 TEOREMA. La condicin necesaria y suficiente para que dos enteros + y , sean congruentes mdulo 7, es que den el mismo resto al dividirlos por 7.
PRUEBA.

15.1 DEFINICIN. + ,a79.7b significa que 7la+ , b

Como + ,a79.7b, si y slo si + , a79. 7b bastar demostrar este teorema en el caso 7 !. Supongamos primero que

J. Daro Snchez H.

MATEMTICA BASICA

76

+ ,a79.7b, entonces + , -7 para algn entero - . Dividiendo , por 7, se obtendr un resto <, dado por , 7; < ! < 7. entonces + , -7 a;7 <b -7 a; - b7 < Esta ecuacin indica que < es el resto de + al dividirlo por 7; sea, que + y , dan el mismo resto al dividirlos por 7. Recprocamente, supongamos que el resto es igual y que por ende + 7; < , 7; w < w En este caso + , a; ; b7 a+ , bl7, as que + , a7.7b La relacin de congruencia para un mdulo fijo 7 tiene para enteros cualesquiera + , - las siguientes propiedades que recuerdan propiedades anlogas de la igualdad Reflexiva: + +a79.7b Simtrica: + ,a79.7b , +a79.7b Transitiva: + ,a79.7b , - a79.7b + - a79.7b Cada una de estas leyes se demuestra con la definicin de congruencia. La ley de simetra as dada, requiere simplemente que 7la+ ,b 7la, +b La hiptesis es + , .7 y la conclusin 7la, +b puesto que , + a . b7. La relacin de congruencia para un mdulo fijo tiene otra propiedad que tambin recuerda a las de la igualdad; las sumas y productos de enteros congruentes son tambin congruentes.

15.3 TEOREMA. Si + ,a79.7b para todo entero B resulta: + B , Ba79.7b +B ,Ba79.7b a +b a , ba79.7b. Tambin aqu la prueba se reduce a recordar la definicin. As la hiptesis es que + , 57 para algn 5 ; de aqu podemos obtener las conclusiones en la forma 7la+ B , Bb 7la+B ,Bb 7la + , b La ley de simplificacin, vlida en las igualdades, no lo es en las congruencias. As # ( # "a79."#b, pero no es ( "a79."#b. Esto sucede por ser # divisor del mdulo, as que la diferencia # ( # ser divisible por "# en tanto se conserve el factor # . Puede enunciarse la ley de simplificacin algo modificada. 15.4 TEOREMA. Si - es un nmero primo con 7 -+ -,a79.7b + , a79.7b.
PRUEBA.

De acuerdo con la definicin, la hiptesis nos dice que 7la+- +,b, o sea, 7l- a+ ,b y por ser 7 primo con - usando el teorema 13.7.8 resulta que 7la+ ,b, esto es + ,a79.7b.

J. Daro Snchez H.

MATEMTICA BASICA

77

El estudio de las ecuaciones lineales puede extenderse a las congruencias

Por hiptesis, a- 7b ", luego " =- >7 para dos enteros convenientes = y >. Multiplicando por , tenemos , ,=- ,>7 Esto ltimo se puede escribir as , ,=- a,>b7 , a,=b- a79.7b. Esto expresa que B ,= es la solucin de , -Ba79.7b. Por otra parte, dos soluciones B" y B# de esta congruencia se tiene , -B" a79.7b , -B# a79.7b por ser la relacin de congruencia simtrica y transitiva se tiene que -B" -B# a79.7b Como - es primo con 7, se puede simplificar a15.4b y resulta B" B# a79.7b.
PRUEBA.

15.5 TEOREMA. Si - es primo con 7, la congruencia -B ,a79.7b tiene una solucin entera B. Dos soluciones cualesquiera B" y B# son congruentes mdulo 7.

Un caso particular importante se presenta cuando el mdulo 7 es primo, entonces todo entero no divisible por 7 es primo con l. Esto nos demuestra el siguiente resultado. !a79.:b entonces -B , a79.:b tiene 15.6 COROLARIO. Si : es primo y - solucin nica mdulo :. Consideremos ahora congruencias simultneas. 15.7 TEOREMA. Si los mdulos 7" y 7# son primos entre si, congruencias B ," a79.7" b B ,# a79.7# b tienen una solucin comn, B. Dos soluciones cualesquiera congruentes mdulo 7" 7# .
PRUEBA.

las son

La primera congruencia tiene como solucin ," ; la solucin ms general es B ," C7" para algn entero C . Esta debe verificar la segunda congruencia ," C7" ,# a79.7# b o C7" a,# ," ba79.7# b

J. Daro Snchez H.

MATEMTICA BASICA

78

como 7" y 7# son primos entre si, podemos resolver esta congruencia por el mtodo de (15.5). Supongamos ahora que B y Bw son dos soluciones del sistema, se tendr Bw B !a79.7" b y Bw B !a79.7# b Como 7" y 7# son primos entre si, la diferencia Bw B es divisible por 7" 7# . As que B Bw a7" 7# b. El mismo mtodo de resolucin se aplica a dos o ms congruencias de la forma +3 B ,3 a79.73 b con 7-.+3 73 " y con los mdulos primos entre si dos a dos. 15.8 EJERCICIOS. " Demuestre las siguientes propiedades de la divisibilidad a+b 8l8 a8 a,b .l8 8l7 implica .l7 . 8 7 a- b .l8 .l7 .la+8 ,7b . 8 7 +, a. b .l8 +.l+8 + . 8 a/b +.l+8 + ! .l8 a0 b "l8 a8 a1b 8l! a8 a2b !l8 8 ! a3b .l8 8 ! l.l l8l a4b .l8 8l. l.l l8l a5 b .l8 . ! 8 . l8 En lo que sigue las letras + , - B C D representan nmeros enteros. Probar que las siguientes afirmaciones son verdaderas a#b Si a+ ,b " -l+ .l, entonces a- . b " (a b 7-. ) a$b Si a+ ,b a+ - b ". entonces a+ ,- b " a%b Si a+ ,b " entonces a+ , + ,b es " # a&b Si a+ ,b " y si .la+ ,b, entonces a+ . b a, . b " a'b Si a+ ,b " entonces a+ , +# +, , # b es ", $. a(b Si a+ ,b " entonces +8 , 5 " a8 " a5 ". a)b Un nmero racional + con a+ ,b " es llamada una fraccin , reductible. Si la suma de dos fracciones reductibles es un nmero entero, digamos + , . 8, probar que l+l l.l. a*b Para cada una de las afirmaciones siguientes dar una demostracin hallar un contra-ejemplo a+b Si ,# l8 y +# l8 +# , # , entonces +l,. a,b Si ,# es el cuadrado ms grande que es divisor de 8, entonces +# l8 +l,

J. Daro Snchez H.

MATEMTICA BASICA

79

16

CLASES RESIDUALES

Desde la ms remota antigedad, el hombre ha distinguido los enteros "pares" # % ' ) de los "impares" " $ & ( . Las siguientes leyes de clculo entre pares e impares son tambin conocidas: par+par=impa+impar=par, par+impar=impar par par=par impar=par, impar impar=impar Estas igualdades pueden considerarse, no como teorema relativo a los enteros ordinarios, sino como definicin de dos operaciones "adicin" y "multiplicacin", en una nueva lgebra de los dos elementos "par" e "impar" Esta lgebra puede tambin considerarse como un lgebra de restos mdulo #. Los enteros pares son aquellos que dividos por # dan resto !, mientras que los impares dan resto ". Estos dos restos, pueden sumarse y multiplicarse del modo ordinario, cuidando luego de reemplazar el resultado por su resto mdulo #. Esto nos da una tabla !!""! !"" !!!"! """ que en esencia es la misma tabla para pares e impares. Inversamente, puede decirse que la igualdad " " ! es un nuevo modo de escribir la congruencia " " !a79.#b. Un lgebra anloga N8 de 8 elementos, resultar partiendo de las congruencias mdulo 8. En la ltima seccin a15b hemos visto que la congruencia tiene las propiedades caractersticas de la igualdad, reflexiva, simtrica y transitiva, y las congruencias pueden ser multiplicadas y sumadas, como las igualdades. En efecto, el teorema 15.4 muestra que si + ,a79.8b y - . a79.8b resulta + - , . a79.8b y +- ,. a79.8b a"b El lgebra N8 de los elementos mdulo 8 se obtiene reemplazando la congruencia mdulo 8 por la igualdad. Segn a"b la suma y el producto de dos enteros estn unvocamente determinados con este nuevo significado de igualdad. Cualquier entero es igual a uno de los 8 restantes posibles ! " # 8 " Dos de estos restos pueden sumarse (o multiplicarse) en la forma habitual reduciendo luego el resultado a su resto mdulo 8, del que viene a ser "igual" Las tablas para el caso 8 & son las siguientes

J. Daro Snchez H.

MATEMTICA BASICA

80

+ 0 1 2 3 4

0 1 2 3 4 0 1 2 3 4 1 2 3 4 0 2 3 4 0 1 3 4 0 1 2 4 0 1 2 3

. 0 1 2 3 4

0 1 2 3 4 0 0 0 0 0 0 1 2 3 4 0 2 4 1 3 0 3 1 4 2 0 4 3 2 1

16.1 TEOREMA. En el sistema N8 de enteros mdulo 8, son vlidas para la adicin y multiplicacin todas las propiedades enumeradas a continuacin: a3b N8 adicin grupo abeliano a33b aB C b D B aC D b para todo B C D N8 a33b B C C B para todo B C N8 a3@b Existe " N8 tal que B " " B B para todo B N8 a@b B aC D b B C B D para todo B C D N8 y no cumple la ley de simplificacin a b, es de notar que se entender B C si y slo si B C a79.8b. . a b para la multiplicacin mdulo 8 . Acabamos de ver que dos elementos cualesquiera definen unvocamente su suma y su producto. Consideremos la ley distributiva. Cmo +, - +, +para enteros cualesquiera se debe tener +a, - b a+, +- ba79.8b que es la ley distributiva para nuestro nuevo concepto de igualdad en N8 . El mismo tipo de razonamiento se aplica a las otras leyes, que se expresan mediante identidades entre sumas y elementos negativos. Los primeros miembros de cada identidad son congruentes mdulo 8 con los segundos miembros. Por lo cual las correspondientes expresiones en N8 son iguales. El nico postulado que no se conserva inalterado es la ley de simplificacin del producto. Esta ley equivale a asegurar la no existencia de divisores de ! en N8 , as que +, ! deber implicar + ! , , !. Pero estas igualdades se traducen en N8 por congruencias entre enteros, de modo que tal ley equivaldra a decir: Si +, !a79.8b entonces + !a79.8b , !a79.8b Esto, a su vez equivale a decir que 8l+, 8l+ ,, 8l,
PRUEBA.

J. Daro Snchez H.

MATEMTICA BASICA

81

Pero esta propiedad es cierta si 8 es primo. Si 8 no es primo, admite una descomposicin 8 +, sin que 8l+ ni 8l, ( como ' $ # 'l$ # sin, 'l$ ni 'l#). Luego, en este caso N8 no satisface la ley de simplificacin. 16.2 Para que la ley de simplificacin de la multiplicacin sea vlida en N8 , es necesario y suficiente que 8 sea un nmero primo. Hay otro modo ms sistemtico para construir el lgebra de los enteros mdulo 8 El artificio de reemplazar congruencia por igualdad significa, esencialmente, que todos los enteros que dan el mismo resto en su divisin por 8 pueden agruparse y cada grupo viene a ser un "nmero" nuevo. Cada uno de tales grupos se llama una "clase residual". Para el mdulo & hay cinco clases residuales, corresponientes a los posibles restos ! " # $ % algunas de estas clases son: " e "% * % " ' "" "' f # e "$ ) $ # ( "# "( f $ e "# ( # $ ) "$ ") f

Para cada mdulo 8 la clase residual <8 determinada por un resto < con ! < 8, est formada por todos los enteros + que dan el mismo resto < en su divisin por 8. Todos los enteros perteneciente a la misma clase, son congruentes mdulo 8. Hay 8 clases residuales mdulo 8, a saber !8 "8 #8 a8 "b8 Las operaciones algebricas en N8 pueden efectuarse directamente sobre estas clases. Supongamos que la suma de dos restos < y = dan en N8 un resto >, o sea < = >a79.8b El mismo resultado se obtendria si en vez de tomar los restos < y =, tomsemos otros elementos en las clases correspondientes. Si + est en <8 y , en =8 , entonces + , est en la clase >8 , que contiene a su suma >, pues + <a79.8b , =a79.8b + , < = >a79.8b En general el lgebra N8 puede definirse como el lgebra de las clases residuales; para sumar ( multiplicar) dos clases se eligen dos elementos + y , representativos de estas clases y se busca la clase residual que contiene la suma ( al producto) de estos elementos representativos. Si +8 indica la clase residual que contiene a +, sta puede formularse as: a+ , b 8 + 8 , 8 , a+,b8 +8 ,8 Por ejemplo, la suma "& #& $& de las clases residuales escritas antes puede hallarse sumando dos elementos elegidos como representantes de

J. Daro Snchez H.

MATEMTICA BASICA

82

la mismas, ' a "$b por ejemplo, obtenindose as a (b, que est en la clase $& . Otras elecciones como * a $b "# "" ( ") "% "( $ darn siempre la misma suma $& . Las clases residuales que hemos definido mediante los restos, pueden definirse tambin directamente mediante las congruencias segn el mtodo que ser tratado por los lectores interesados. 16.2 EJERCICIOS a"b Resolver las siguientes congruencias a+b $B a,b #B %a79."!b #a79.&b a- b #%$B "( "!"a79.(#&b a. b %B $ %a79.&b a/b 'B $ %a79."!b a0 b 'B $ "a79."!b a#b Demostrar que la relacin + ,a79.7b es reflexiva y transitiva. a$b Demostrar directamente que + ,a79.7b y - . a79.7b implica + - , . a79.7b y +- ,. a79.7b a%b + Demostrar que la congruencia +B ,a79.7b tiene solucin si y slo si, a+ 7bl,. [a b 7-. ] , Demostrar que si a+ 7bl,, la congruencia tiene exactamente a+ 7b soluciones incongruentes mdulo 7. [Sugerencia: Dividir + , y 7 por a+ 7b.] a&b Si 7 es entero, mostrar que 7# ! "a79.7b a'b Demostrar que B# $&a79."!!b no tiene solucin. a(b Demostrar que si B# 8a79.'&b tiene una solucin, tambin tiene solucin B# '& 8a79.'&b. Generalizar este resultado. a)b Si B es un nmero impar no divisible por $, mostrar que B# "a79.#%b a*b Resolver las congruencias simultanes: + B #a79.&b $B "a79.)b , $B #a79.&b #B "a79.$b a"!b En una isla desierta, cinco hombres y un mono recogen cocos durante el da, y despus duermen. El primer hombre se despierta y decide tomar su parte. Divide los cocos en cinco grupos iguales, y le sobra un coco, que lo da al mono. Despus toma su parte y vuelve a dormirse. Entonces despierta el segundo hombre, y haciendo un montn con los cocos que quedaron, lo divide en cinco partes iguales, y le sobra un coco, que da al mono. Sucesivamente ocurre lo mismo con cada uno de los tres hombres restantes. Encontrar el nmero mnimo de cocos que formaban el montn original. (Sugerencia: Aadir 4 cocos). a""b Construir las tablas de adicin y multiplicacin para N$ y N% . a"#b Calcular en N( : a$ %b & $ a% &b $ a% &b $ % $ & a"$b Hallar todos lo divisores de cero en N#' y N#% .

J. Daro Snchez H.

MATEMTICA BASICA

83

a"%b Determinar exactamente el conjunto de sumas B C y productos BC, para B en %) C en %) Cmo estn relacionados los conjuntos %) %) y %) %) ? a"&b Demostrar la ley asociativa para la adicin de clases residuales, como en el caso de las congruencias mdulo 8.

17. NMEROS COMPLEJOS. Hemos llegado a nuestro ltimo pargrafo, dedicado al estudio del sistema de los nmeros complejos, el cual presentaremos, siguiendo el formato ideado por el matemtico irlands Sir William R. Hamilton, en la forma ms completa posible. eaB" B# b d dB" B# son realesf

Se define en la adicin y la multiplcacin en la forma aB Cb B C aB" B# b aC" C# b aB" C" B# C# b aB Cb BC aB" B# baC" C# b aB" C" B# C# B" C# B# C" b Adems en se define la igualdad as B C , B C aB" B# b aC" C# b B" C" B# C#

Tomando B , entonces B aB" B# b en esta representacin B" es llamado la parte real de B B# es llamado la parte imaginaria de B

17.1 TEOREMA. Con la suma y multiplicacin as definida en , entonces se tiene que es un cuerpo. Llamado el cuerpo de los nmeros complejos. DEMOSTRACIN. a3b es un grupo abeliano, en efecto G1. aB Cb D aB" C" B# C# b aD" D# b aaB" C" b D" aB# C# b D# b aB" aC" D" b B# aC# D# bb aB" B# b aC" D" C# D# b B caC" C# b aD" D# bd B aC D b G2. B C aB" B# b aC" C# b aB" C" B# C# b aC" B" C# B# b aC" C# b aB# B# b C B G3. + B + a+" +# b aB" B# b a+" B" +# B# b a+" +# b por la igualdad entre parejas se tiene

J. Daro Snchez H.

MATEMTICA BASICA

84

+" B" +" +# B# +# Pero en d estas ecuaciones tienen por solucin nica B" B# ! Luego B a! !b es el mdulo aditivo G4. + B ! a+" +# b aB" B# b a! !b a+" B" +# B# b a! !b por la igualdad entre parejas se recibe +" B" ! +# B# ! Cuyas soluciones en d son B" +" B# +# Luego B a +" +# b + tenindose la invertiva de la adicin a33b , es tambin un grupo abeliano, efectivamente se tiene que: G1. aB Cb D caB" B# b aC" C# bd aD" D# b aB" C" B# C# B" C# B# C" baD" , D# b aaB" C" B# C# bD" aB" C# B# C" bD# aB" C" B# C# bD# aB" C# B# C" bD" b aB" C" D" B# C# D" B" C# D# B# C" D# B" C" D# B# C# D# B" C# D" B#C"D" b a"b Por otra parte tenemos BaCD b aB" B# bcaC" C# b aD" D# bd aB" B# baC" D" C# D# C" D# C# D" b aB" aC" D" C# D# b B# aC" D# C# D" b B" aC" D# C# D" b B# aC" D" C# D# bb aB" C" D" B" C# D# B# C" D# B# C# D" B" C" D# B" C# D" B# C" D" B#C#D# b a#b comparando a"b y a#b, y usando la definicin de igualdad se concluye que aB C b D B aC D b G2. B C aB" B# b aC" C# b aB" C" B# C# B" C# B# C" b aC" B" C# B# C# B" C" B# b aC" C# b aB" B# b C B tenindose la abelianidad del producto. G3. Clculo del mdulo multiplicativo. Suponiendo + !; + B + a+" +# baB" B# b a+" +# b lo cual es completamente equivalente a a+" B" +# B# +" B# +# B" b a+" +# b de donde se desprende el siguiente sistema simultneo de ecuaciones lineales +" B" +# B# +" +" B# +# B" +# el cual resolvemos por el mtodo de eliminacin # +" +# B" +# B# + " + # # + " + # B" + " B # + " + # entonces # # -a+ " +# bB # ! # # como +" +# !, pues + !, en general se tiene que B# ! Ahora # # +" B " + " + # B# + " # # +# B " + " + # B# + # entonces recibimos # # # # a+ " +# bB " + " +# B" "

J. Daro Snchez H.

MATEMTICA BASICA

85

as B a" !b es el mdulo multiplicativo. G4. Dado + ! calculemos su inverso multiplicativo; + B a" !b a+" +# baB" B# b a" !b lo cual podemos tambin escribir as a+" B" +# B# +" B# +# B" b=a" !b de la definicin de igualdad, recibimos el siguiente sistema simultneo de ecuaciones +" B" +# B# " +" B# +# B" ! usando el mtodo de eliminacin tenemos # +" B " + " + # B# + " # + # B " + " + # B# ! de donde se tiene # # " a+ " +# bB" +" B" +#+ +# y por otra parte as
" #

B#

+# +" B"

+# # +# +" "

a333b Se tiene la ley distributiva, en efecto BaC D b aB" B# bcaC" C# b aD" D# bd aB" B# baC" D" C# D# b aB" aC" D" b B# aC# D# b B" aC# D# b B# aC" D" bb aB" C" B" D" B# C# B# D# B" C# B" D# B# C" B# D" b Ahora, por otro lado BC BD aB" B# baC" C# b aB" B# baD" D# b aB" C" B# C# B" C# B# C" b aB" D" B# D# B" D# B# D" b aB" C" B# C# B" D" B# D# B" C# B# C" B" D# B# D" b De la definicin de igualdad se sigue que BaC D b BC BD .
" #

" B" +#+ +#

+# # +# +" "

a+" +# b" +"

17.2 VALOR ABSOLUTO DE UN NMERO COMPLEJO Vamos a generalizar el concepto de valor absoluto dado para los nmeros reales 17.2.1 DEFINICIN. Si B aB" B# b, entonces definimos el mdulo o valor absoluto de B, como el nmero real no negativo lBl dado por # lBl B# " B#

17.2.2 TEOREMA. El valor absoluto as definido cumple las siguientes propiedades

J. Daro Snchez H.

MATEMTICA BASICA

86

a+b la! !bl !, y lBl ! si B ! a,b lBCl lBllCl para todo B C lBl a- b B C lCl si C ! Las igualdades a+b y a. b son inmediatas Para demostrar a,b escribimos B aB" B# b, C aC" C# b as que BC aB" C" B# C# B" C# B# C" b obteniendo lBCl# aB" C" B# C# b# aB" C# B# C" b# # # # # # # # # # # # B# " C" B# C# B" C# B# C" aB" B# baC" C# b lBl# lCl# La ecuacin a- b puede deducirse de a,b escribindola de la forma lBl lCl B C
DEMOSTRACIN.

a. b laB" !bl lB" l

Geomtricamente, lBl representa la longitud del segmento que une el origen con el punto B. Ms generalmente, lB Cl es la distancia entre los puntos B y C colocados en un plano cartesiano. 17.2.3 DEFINICIN. Si + d entonces + puede considerarse como un nmero complejo imponiendo la identificacin + a+ !b en esta forma d , dicindose que los reales quedan encajados dentro de los complejos. 17.2.4 TEOREMA. La ecuacin B# a " !b " tiene por solucin a a! "b y a! "b Efectivamente, supongamos que B aB" B# b y que B# aB" B# baB" B# b " a " !b Por la definicin de multiplicacin se recibe # aB# " B# #B" B# b a " !b de donde se desprende el siguiente sistema cuadrtico # B# " B# " #B" B# ! la segunda de estas dos ecuaciones afirma que B" ! B# ! Si B" ! en la primera ecuacin se tiene B# # " B# " en este caso se tendra que B a! "b B a! "b que son las dos soluciones deseadas.
PRUEBA.

J. Daro Snchez H.

MATEMTICA BASICA

87

Si B# !, entonces de la primera ecuacin tendramos B# " " como B" d , esta ecuacin no tiene solucin. 17.2.6 DEFINICIN. Es universalmente denotado el nmero complejo a! "b solucin de B# ", con la letra 3, as 3 a! "b. En esta forma si B se sigue de 17.2.4 que B aB" B# b aB" !b a! B# b B" aB# !ba! "b B B" B# 3 que es la forma clsica para un nmero complejo. En esta forma si B ( se dice si B es un nmero complejo ) entonces B a+ ,b + 3, + es llamado la parte real y se nota + V/B , se le llama la parte imaginaria y se le nota , \7 B Una primera operacin que se define en es llamada conjugacin la cual consiste en cambiarle el signo a la parte imaginaria , es decir, -984 D + 3, D + 3, Son propiedades de la conjugacin las siguientes: 1. D A D A 2. D A D A 3. D D D D 4. A A 5. V/ D DD # 6. \ 7 D DD #3 17.2.7 Si B y C son nmeros complejos, tenemos lB Cl lBl lCl PRUEBA. Como no contamos con la desigualdad de Cauchy-Schwarz, procedemos en la siguiente forma: Sean B C entonces B aB" B# b C aC" C# b con B" B# C" C# d entonces B" C# B# C" d por los postulados de d se sigue que aB" C# B# C" b# ! de donde # # # B# " C# #B" C" B# C# B# C" ! # # # #B" B# C" C# B# " C# B# C "

J. Daro Snchez H.

MATEMTICA BASICA

88

# # # # # # # # # # # B# " C" #B" B# C" C# B# C# B" C" B" C# B# C" B# C# # # # aB" C" B# C# b# aB# " B# baC" C# b Tomando raiz cuadrada a los dos lados tenemos # # # B" C" B# C# aB# " B# baC" C# b # # # #aB" C" B# C# b # aB# " B# baC" C# b sumando cantidades iguales la desigualdad se mantiene # # # # # # # # # # aB# B# " B# #aB" C" B# C# b C" C# B" B# # " B# baC" C# b C" C# Esta desigualdad la podemos transformar en la forma equivalente siguiente # # # aB# " #B" C" C" b aB# #B# C# C# b # # # aB# B# baC # C # b C # C # # B# " B# " # " # " # # # # # # # # aB" C" b aB# C# b B" B # C " C #

kaB" C" B# C# bk# alaB" B# bl laC" C# blb# Tomando raiz cuadrada llegamos a la desigualdad deseada lB Cl lBl lCl Esta desigualdad es conocida como la desigualdad triangular 17.3 IMPOSIBILIDAD DE ORDENAR LOS NMEROS COMPLEJOS

Todava no hemos definido una relacin de la forma B C si B y C son nmeros complejos arbitrarios, por la razn de que es imposible dar una definicin de para nmeros complejos que posea todas las propiedades expresadas por los axiomas O1, O2, AO1, y AO2 dadas en 9.5. Para justificarlo, supongamos que fuera posible definir una relacin de orden que cumpliera los axiomas O1,O2,AO1, y AO2. Entonces, puesto que 3 !, tendramos, o bien 3! 3! segn el axioma de tricotomia. Supongamos 3 !. Tomando B C 3 y segn AO2 tendramos 3# ! pero 3# ", as " !, sumando " a los dos miembros llegaramos a que ! ", lo cual es contradictorio. Por lo tanto el supuesto 3 ! nos lleva a una contradiccin. Un razonamiento parecido demuestra que no podemos tomar 3 !. Por lo tanto, los nmeros complejos no pueden ser ordenados de manera que los axiomas O1, O2, AO1 y AO2 se satisfagan. 17.4 EXPONENCIALES COMPLEJOS

La exponencial /B aB d b es dada por la serie

J. Daro Snchez H.

MATEMTICA BASICA

89

B B B # /B " B " # B $x %x 8x Queremos ahora definir /D , cuando D es un nmero complejo. Vamos a hacerlo de manera que las propiedades principales de la funcin exponencial real se conserven. Las citadas propiedades para B d vienen dadas por la ley de exponentes /B" /B# /B" B# y por el hecho de que /! " Daremos una definicin de /D para D complejo que conserve tales propiedades y que se reduzca a la exponencial ordinaria cuando D es real. Si escribimos D B 3C aB C d b, con objeto de que se mantenga la ley de exponentes, es necesario que sea /B3C /B /3C Queda por definir lo que significa /3C .

17.4.1 DEFINICIN. complejo

Si D B 3C , definimos /D /B3C como el nmero /D /B acos C 3sin C b.

Tal definicin coincide claramente con la funcin exponencial ordinaria cuando D es real ( esto es, C !). Tenemos ahora que la ley de exponentes se cumple. 17.4.2 TEOREMA. Si D" B" 3C" D# B# 3C# son nmeros complejos, se verifica /D" D# /D" /D# /D" /B" acos C" 3sin C" b /D# /B# acos C# 3sin C# b D" D # / / /B" /B# ccos C" cos C# sin C" sinC# 3acos C" sinC# sin C" sin C# bd Ahora bien: /B" /B# /B" B# , puesto que B" y B# son reales. As mismo, cos C" cos C# sin C" sinC# =cosaC" C# b y cos C" sinC# sin C" sin C# sinaC" C# b y por consiguiente /D" /D# /B" +B# ccosaC" C# b 3sinaC" C# bd /D" D#
PRUEBA.

Ahora vamos a obtener exponencial compleja.

algunas

propiedades importantes de la

17.4.3 TEOREMA. /D nunca es cero

J. Daro Snchez H.

MATEMTICA BASICA

90

PRUEBA.

/D /D /! ". Luego /D no puede ser cero.

17.4.4 TEOREMA. Si B es real, entonces k/3B k ". # PRUEBA. k/3B k cos# B sin# B " y k/3B k !. 17.4.5 TEOREMA. /D ", si D es mltiplo entero de #13, y recprocamente. Si D #138, siendo 8 entero, entonces /D cosa#18b 3sina#18b " Inversamente, supongamos que /D " D B 3C. Esto significa que /B cosC " y /B sinC !. Ya que /B !, es necesario que sin C ! C 5 1 siendo 5 un nmero entero. Pero cosa5 1b a "b5 . Por lo tanto /B cosa5 1b ". Siendo por otra parte /B !, 5 debe ser par, es decir, C #18. Por eso /B " luego B !. El teorema est probado. 17.4.6 TEOREMA /D" /D# , si D" D# #138 a8 b y recprocamente. Si /D" /D# , entonces /D" D# " y de 17.4.5 se tiene D" D# #138. Inversamente si D" D# #138 entonces /D" D# /#138 " /D" /D# 17.5 ARGUMENTO DE UN NMERO COMPLEJO
PRUEBA. PRUEBA.

Si el punto D aB C b B C3 se representa en coordenadas polares < y ), podemos escribir B <cos ) y C <sin ), es decir

z = (x,y) y x
D <cos ) 3sin ) Los dos nmeros < y ) determinan unvocamente a D . Inversamente el nmero positivo < viene determinado unvocamente por D pues < lDl. Sin embargo , D determina el ngulo ) salvo mltiplos de #1. Existen una infinidad de valores de ) que satisfacen las ecuaciones

J. Daro Snchez H.

MATEMTICA BASICA

91

B lDlcos ) C lDlsin ) pero, naturalmente, dos cualesquiera de ellos difieren en un mltiplo de #1. Cada uno de estos valores de ) es un argumento de D pero uno de ellos se distingue y se llama el argumento principal de D . 17.5.1 DEFINICIN. Sea D B 3C un nmero complejo no nulo. El nmero real nico ) que satisface las condiciones B lDlcos ) C lDlsin ) 1) 1 se llama el argumento principal de D , y se representa por )=argaD b La anterior discusin origina inmediatamente el siguiente teorema. 17.5.2 TEOREMA. Todo nmero complejo D ! puede ponerse en la forma D </3) , donde < lDl y ) argaD b #18, siendo 8 un nmero entero. Tal mtodo de representacin de los nmeros complejos es especialmente til en relacin con la multiplicacin y la divisin, pues tenemos <" /3)" <# /3)# <" <# /3a)" )# b y <" /3)" " 3a)" )# b < <# / < /3)#
#

NOTA.

Pongamos D" lD" l/3)" D# lD# l/3)# , donde )" argaD" b y )# argaD# b. Entonces D" D# lD" D# l/3a)" )# b . Puesto que 1 )" 1 y 1 )# 1, tenemos #1 ) " ) # # 1 Este entero 8 es precisamente el entero 8aD" D# b ( existe 8 tal que 1 )" )# #18 1) dado en el enunciado del teorema, y para l tenemos argaD" D# b )" )# #18.
PRUEBA.

17.5.3 TEOREMA. Si D" D# !, se verifica argaD" D# b argaD" b argaD# b #18aD" D# b donde ! si 1 argaD" b argaD# b 1 si #1 argaD" b argaD# b 1 8a D " D # b " " si 1 argaD" b argaD# b #1

17.6 POTENCIAS ENTERAS Y RAICES DE NMEROS COMPLEJOS 17.6.1 DEFINICIN. Dados un nmero complejo y un entero 8, definimos la potencia 8-sima de D as

J. Daro Snchez H.

MATEMTICA BASICA

92

D ! " D 8" D 8 D si 8 ! 8 D 8 aD " b si 8 ! y D ! 17.6.2 TEOREMA. Dados dos enteros 7 y 8, tenemos 8 8 D 8 D 7 D 87 y aD" D# b8 D" D# 17.6.3 TEOREMA. Si D !, y 8 es un entero positivo, existen exactamente 8 nmeros distintos D! D" D8" (llamados races 8-simas de D ). tales que 8 D5 D para 5 ! " # 8 " Adems, estas races se obtienen utilizando las frmulas " aD b #15 D5 V/3)5 donde V lDl 8 y )5 arg a5 ! 8 "b 8 8
NOTA.

Las 8 races 8-simas son los vrtices de un polgono regular " inscrito en el crculo de radio < lDl 8 y centro en el origen. Los 8 nmeros complejos V/3)5 ! 5 8 " son distintos y cada uno es una raz 8-sima de D , ya que V/3)5 8 V 8 /38)5 lDl/3argaD b#15 D Demostremos ahora que no existen otras races 8-simas de D . Admitamos que A E/3! es un complejo tal que A8 D . " En tal caso lAl8 lDl, y por lo tanto E8 lDl E lDl 8 . Por consiguiente, de A8 D se deduce /38! /3argaD b , que implica 8! argaD b #15 luego #15 ! argaD b 8 Pero mientras 5 va recorriendo todos los valores enteros, A toma slamente los valores distintos D! D" D8" . 17.7 LOGARITMOS COMPLEJOS Segn hemos visto /D nunca es cero. Es natural preguntar si existen otros valores que /D no pueda alcanzar. El prximo teorema demuestra que el nico valor excepcional es el cero. 17.7.1 TEOREMA. Si D es un nmero complejo distinto de cero existen nmeros complejos A tales que /A D . Uno de tales A es el nmero complejo loglDl 3argaD b y todos los dems tienen la forma loglDl 3argaD b #813 a8 b
PRUEBA.

J. Daro Snchez H.

MATEMTICA BASICA

93

Ya que /loglDl3argaD b /loglDl /3argaD b lDl/3argaD b D vemos que A loglDl 3argaD b es una solucin de la ecuacin /A D . Pero si A" es alguna otra solucin, entonces /A /A" /A" A " A" A #813 as A" loglDl 3argaD b #813.
DEFINICIN. Sea D ! un nmero complejo dado. Si A es un 17.7.2 nmero complejo tal que /A D , entonces A es llamado un logaritmo de D . El valor particular de A dado por A loglDl 3argaD b se denomina el logaritmo principal de D , y se representar simplemente por A P91aD b

PRUEBA.

17.7.3 TEOREMA. Si D" D# !, se verifica que P91aD" D# b P91aD" b P91aD# b #138aD" D# b

PRUEBA.

P91aD" D# b loglD" D# l 3argaD" D# b loglD" l loglD# l 3cargaD" b argaD# b #18aD" D# bd "(&$ eloglD" l 3argaD" bf logaD# b 3argaD# b #138aD" D# b P91aD" b P91aD# b #138aD" D# b.

17.8 POTENCIAS COMPLEJAS Utilizando logaritmos complejos podemos ahora dar una definicin de potencias complejas de nmeros complejos. 17.8.1 DEFINICIN. Si D ! y si A es cualquier nmero complejo definimos D A /AP91aD b .
EJEMPLOS

a#b a "b3 /3P91a"b /3a31b /1

a"b 33 /3P91a3b /33 # / #

1

a$b Si 8 es un nmero entero, entonces

J. Daro Snchez H.

MATEMTICA BASICA

94

D 8" /a8"bP91aD b /8P91aD b /P91aD b D 8 D 17.8.2 TEOREMA. D A" D A# D A" A#

PRUEBA.

D A" A# /aA" A# bP91aD b /A"P91aD b /A#P91aD b D A" D A#

A A #138aD" D# b 17.8.3 TEOREMA. aD" D# bA D" D# / donde 8aD" D# b es el entero dado en 17.5.3

PRUEBA.

aD" D# bA /AP91aD" D# b /AcP91aD" bP91aD# b#138aD"D# bd /AP91aD" bAP91aD# b#13A8aD"D# b /AP91aD" b /AP91aD# b /#13A8aD"D#b A A #138aD" D# b D" D# /

17.9 EJERCICIOS. a"b Halle P91a3b a#b Halle P91a 3b a$b Demestre que P91a "b 13 a%b Demuestre que si B d y B ! entonces logB P91aBb a&b Pruebe que P91a" 3b log# 1 %3 a'b Demostrar que + lDl# D D , D D #V/D - D D #7D . D A D A 1 D D 4 D A D A / ! D5 ! D 5
8 8 5" 5"

0 /3) /3) ) d 3 l/3) l "

D 6 A D A lDl lAl

5 # D5 # D 5
8 8 5" 5" 8 5"

2 lDl lDl

)d

66 lD" D# l lD" l lD# l 8 lD Al lD lAl : Si lDl lAl entonces

8 8 5" 5"

D 7 # D5 # lD5 l 8 A 8 5"

A!

9 lDl lAl lD Al lDl lAl

" lDAl

< lDl# lAl# lDl lAl = lD Al# lD Al# #alAl# lDl # b a(b Encuentre los vrtices de un polgono regular de 8 lados, si su centro est en D ! y uno de sus vrtices es D! . a)b Calcular: % % "!! + " , " - a& "#3b"!! . &"#3 %$3 % % / 3 0 a# %3b 1 loga /# b 2 loga /3 b 3 a& "#3b'(3 4 a& "#3b'(3 5 a & "#3b'(3

; ! D5 ! lD5 l (por induccin)

" lDllAl

J. Daro Snchez H.

MATEMTICA BASICA

95

6 a & "#3b'(3 7 loga& "#3b 8 3 3 " 8 a#3b # ! 13 a*b Resolver las ecuaciones: 3 + log D 1 , log D " $13 - /D 3 ! # . /D 3 ! / cosh D ' 0 sin D # a"!b Hallar el conjunto de puntos del plano que determinan cada una de las siguientes relaciones: #1 + V/ D # ! , 1 - lD $3l & . lD $3l & $ arg D $ / lD $3l & 0 lD $l lD $l ) 1lD +l < + < ! " # 2 7 D $ 3 D D " 4 & lD $3l ) 5 D $3 &/3) 6 lD $l lD #l ) ) ! #1 # 66 7 D ! 9 ! 7 D $ : d/ D " ! a""b Resolver las ecuaciones + D $ $D # $D ) ! , D % %D $ 'D # %D "! ! - cos B 3sin B sin B 3cosB para B d a"#b En qu vector anmerob se transforma el vector anmerob # 3$ despus de una rotacin de a"b 1 a#b de 1 # # ? DD a"$b Demostrar que si D B 3C entonces B DD # , C #3 a"%b Escribir en forma compleja y determinar el conjunto de puntos dado por cada una de las siguientes relaciones: + C B , C 7B , 7 , d , fijos, B C d - B# C # +# B C d , + real fijo . B# C # #+B ! B C d + real fijo # C# / B +# ,# " B C d + ! , ! a"&b Demostrar que D 8" " D" # $ 8 " D D D D D" 8" D " a"'b A partir del ejercicio 15, demostrar que
"

a"(b Demostrar que + arcsin D 3log3D " D #

3 - arctan D # log 3D 3D

" cos) cos#) cos 8)

) cos 8 # ) sina8"b # ) sin #

) #5 1 5

, arccos D 3logD D # " . arccos2 D logD D # " / arcsin2 D logD D # "

"D 0 arctan2 D " # log "D 1 kcos# D k cos# B sin2# C D B 3C . # a")b Si " A A son races cbicas de ", probar que % 3 a" A# b A, con A "

J. Daro Snchez H.

MATEMTICA BASICA

96

33 a" Aba" A# b" A% a" A& b * A " ( sugerencia " A A# ! A ") a"*b Probar o refutar cada una de las siguientes afirmaciones (justifique la respuesta). a+b k /3D k " D a,b /3D /3D D a- b cos# D sin# D " D a. b lsin Dl " D a/b sin D sin D D . a#!b Probar que cos&) 'cos& ) #!cos$ ) &cos) a#"b La distancia entre dos nmeros complejos D y A se define por . aD Ab lD Al. Demostrar que . es una mtrica sobre , esto es, para todo A D > a+b . aA D b . aD Ab a,b . aA D b . aA >b . a> D b a- b . aA D b ! y , . aA D b !, cuando A D a##b Demostrar que en general a+7 b 8 + 8 . Si 7 y 8 son nmeros
" "

primos relativos se tiene que a+7 b 8 + 8 y por lo tanto

" "

W?1/</8-3+ Tome + a "b a#$b Demostrar que para el valor principal en general se tienen las siguientes desigualdades: + + A a+b aAD b+ A+ D + a,b A D D+ D ! a- b logD + +logD a. b aD + b, D +, a#%b Supngase que D" D# D$ son tres nmeros complejos tales que lD" l lD# l lD$ l " y D" D# D$ !. Demostrar que D" D# D$ son los vrtices de un tringulo equiltero inscrito en la circunferencia unitaria. a#&b Determinar los puntos D B 3C del plano complejo que satisface la desigualdad lD "l #lD "l. a#'b Sea T aD b +! D 8 +" D 8" +# D 8# +8 un polinomio de grado 8 " y de coeficientes reales. Demostrar, que si ! es una raz de T aD b !, entonces ! lo es tambin. a#(b Demostrar que los puntos D B 3C que satisfacen lD "l % lD "l # C# son los puntos, interiores a la elipse B % $ " o pertenecen a ella. a#)b Probar que si D! es una raz cbica de un nmero D , y si " A A# son las races cbicas de la unidad, entonces D! D! A D! A# son las races cbicas de D . Prtase de este resultado para determinar las races cbicas de ). a#*b Encuentre la ecuacin de la elipse con focos 3 que pasa por el punto " 3. En geometra analtica, cul es la frmula correspondiente? . a$!b Encuentre la hiprbola con focos " e 3 que pasa por el origen. Cul es la frmula correspondiente en geometra analtica?.
# %

a+7 b 8 + 8 /3 8 a)#5 1b
" "

!58

J. Daro Snchez H.

MATEMTICA BASICA

97

a$"b Encuentre la parbola de foco " 3 y con la resta V/ D 7 D ! como directriz. a$#b Escriba en forma compleja la ecuacin general de una hiprbola con focos + y ,. a$$b Pruebe que lDl lV/ Dl l7 Dl #lDl BIBLIOGRAFIA " Allendoerfer C. and Oakley C.O., Principles of Mathematics. McGrawhill book Company. a1963b # Apostol Tom.M., Analisis Matemtico. Editorial Revert. a1957b $ Apostol Tom.M.,Introduction to Analytic Number Theory. SpringerVerlag. New York Heidelberg Berlin. % Birkhoff y MacLane, Algebra Moderna. Editorial Teide. Barcelona, a1960b & Burnett R. Toskey. College Algebra a Modern Approach. AddisonWesley P.C. a1962b ' Mario Rafael, Fundamentos de Matemticas. Universidad Nacional de Colombia. a1966b ( Muoz. J.M., Introduccin a la teora de conjuntos. Universidad Nacional de Colombia. a1994b ) Muoz.J.M y Snchez.J.D., Preclculo. Universidad Nacional de Colombia.a1992b ) Neal H. McCoy, Introduction to Modern Algebra. Boston. Allyn and Bacon. Inc. a1961b. DALL Espero que el lector haya obtenido algn provecho de este trabajo en el aprendizaje de la matemtica avanzada. En esta forma se completa la parte del lgebra propuesta en este proyecto de aprendizaje en matemtica avanzada. Exitos y bienvenidos a la investigacin por internet. Cualquier comentario favor hacerlo llegar a: danojuanos@hotmail.com, danojuanos@tutopia.com

Agradezco a Esperanza y Nohora el tiempo que dedicaron a revisar el castellano para que no se fueran tantos errores ya que el programa que uso para la escritura no tiene corrector .

Copyright Daro Snchez Hernndez