Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Mate Matic A Basic A
Mate Matic A Basic A
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
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
proposicionales.
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
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
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
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.
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.
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.
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.
C b
es un tringulo rectngulo
J. Daro Snchez H.
MATEMTICA BASICA
18
A c
b a C
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.
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.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
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 \ .
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 \ ] \ ]
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
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
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 $
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.
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.
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.
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 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
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 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.
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
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 !+!