Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CONJUNTOS Y PROPOSICIONES
1.- Introduccin. o
El anlisis matemtico real est basado en el conjunto de los nmeros reales. Ese es el motivo por a a a u el que nuestro curso tendr como primer objetivo el estudio de sus propiedades, el cual no debes a pasar por alto sino, muy al contrario, debes esforzarte para conseguir manejar sus propiedades con destreza. Puedes que est s pensando en que lo que te pido es que memorices unas pocas de propiedades o e procedimientos. No es eso. Debemos cambiar nuestro concepto de "estudiar". Dici ndolo de una e forma simple, quiz demasiado, de lo que se trata es de lo siguiente: vamos a partir de unas pocas de a armaciones que consideraremos verdaderas (axiomas) y deniremos algunos conceptos. A partir de ellos comenzaremos a realizar deducciones para llegar a un conocimiento lo ms exhaustivo posible a de los nmeros reales. u Para llevar a cabo ese "estudio" necesitaremos, por un lado, disponer de un lenguaje en el cual vamos a hacer aquellas armaciones y deniciones y, por otro, debemos tener muy claro lo que signica aquello de deducir. Ese lenguaje al que me reero ser el que nos aporta la teor de conjuntos y para la deducci n a a o usaremos la regla de la l gica. Pero ni lo uno ni lo otro vamos a estudiar aqu a pesar de ser nuestro o punto de partida; nos limitaremos a hacer una presentaci n intuitiva de lo que necesitaremos sin o pretensiones de formalizaci n. o
2.- Conjuntos.
Partiremos de los conceptos primitivos de conjunto y elemento. Cuando escribimos x A indicamos con ello que x es un elemento del conjunto A (x pertenece a A) y escribimos x A para indicar que / x no es un elemento de A (x no pertenece a A). Ningn conjunto puede ser elemento de el mismo; u esto es, A A es siempre falso si A es un conjunto y, por tanto, A A es verdadero. / Con el s mbolo representamos al conjunto que no posee ningn elemento y que llamaremos conjunto u vac . o Un conjunto est determinado cuando conocemos sus elementos y estos elementos pueden venir a dados de dos formas:
por extensin, escribiendo entre llaves los elementos del conjunto. Por ejemplo, o A = {0, 2, 4, 6, 8}.
Lo leeremos as "A es el conjunto formado por los elementos x tales que x es un entero no : negativo, mltiplo de dos y menor que 10. u
T EMA
1.
Ejercicios
1.
3.- Proposiciones.
Haremos muchas armaciones como las que venimos haciendo, por ejemplo, "8 es un entero no negativo, mltiplo de dos" u o bien, "13 es divisible por dos" Estas armaciones sern llamadas proposiciones y podrn ser de tres tipos distintos y mutuamente a a excluyentes:
verdadera es una armaci n que, o bien es un axioma o se deduce de otras verdaderas. o falsa es una armaci n cuya negaci n resulta una proposici n verdadera. o o o indecidible es una armaci n que no se deduce de los axiomas y que, de hecho, ni esa proposici n o o
ni su negaci n se contradicen con los axiomas. o La teor de conjuntos la hemos aprendido en nuestra epoca escolar de forma muy intuitiva y los a axiomas no fueron dados de forma expl cita. Tampoco creemos que este sea el momento, pero para que te sirva de ejemplo, algunos axiomas son "existe el conjunto vac o tambi n "un conjunto no o", e mismo". Esas proposiciones son, por tanto, verdaderas. Otros axiomas de puede ser elemento de s la teor de conjuntos se reeren a la existencia de conjuntos como la uni n, intersecci n, etc. que a o o veremos ms adelante. a Tendremos que dar muchos axiomas y deniciones antes de poder armar que 1 + 1 = 2, as que necesitaremos usar los conocimientos que tenemos de nuestros estudios anteriores para poder adornar los contenidos con ejemplos. La veracidad o no de las proposiciones que daremos van a depender entonces de nuestros conocimientos y no del desarrollo de nuestro tema. Seamos pacientes. Eso s lo va a ocurrir ahora, en estos preliminares y con nes puramente didcticos. De hecho ya hemos o a puesto ejemplos usando nmeros, el concepto de mltiplo, etc. . Seguiremos usando proposiciones u u que espero no tengas duda de si son verdaderas o falsas (las indecidibles no estn a nuestro alcance, a olvdalas por el momento).
C I ( )
Pg. 2 a
T EMA
1.
Si una proposici n es verdadera y la niegas resulta otra proposici n que ser falsa y si fuera falsa al o o a negarla resulta otra verdadera. Esto te parecer claro, pero no siempre es f acil hacer negaciones. a Considera la armaci n "todas las luces del aula estn encendidas". >Cul es la armaci n contraria?; o a a o esto es, >cul es su negaci n? a o El camino f acil ser colocar un "no" por delante y ya est. Bueno esto es una posibilidad, pero a a necesitamos ir ms all. Lo mejor que uno puede hacer para encontrar la negaci n es convertir en a a o pregunta la armaci n que estudiamos: o >todas las luces del aula estn encendidas? a Miro las luces y contesto s o no. >Cundo digo que no? Cuando veo alguna luz no encendida. De a esta forma he encontrado la negaci n: o alguna luz del aula no est encendida a Como sabemos que lo contrario de estar encendida es estar apagada, podemos decirlo tambi n as e : alguna luz del aula est apagada a Muchas de las proposiciones que usaremos tendrn esa estructura: "todos verican la propiedad P", a su negaci n ser o a "existe alguno que no verica P", o bien, "existe alguno que verica no P". Y si negamos frases con esta estructura obtendremos la anterior. Veamos algunos ejemplos (no pienses en si las proposiciones son o no verdaderas, no te jes en eso ahora):
Ejem 1
x 3,
x A.
En esta proposici n se dice que x es menor o igual que 3 cuando x A. En otras palabras, todos los o elementos de A son menores o iguales que 3. Como ves, esta frase tiene la estructura anterior, su negaci n es "hay algn elemento de A que no es menor o igual que 3". Pero esto mismo se puede o u decir de varias maneras, por ejemplo, si un nmero no es menor o igual que 3 entonces debe ser u mayor, luego su negaci n puede escribirse as: o existe x A tal que x > 3.
Ejem 2
Aqu se dice que sea cual sea > 0, resulta que K (no s lo que es ni me importa) est en el conjunto e a F (que tampoco s lo que es). Ahora al negarla debo decir que hay algn > 0 para el que no se e u verica lo otro. As que digo:
C I ( )
Pg. 3 a
T EMA
1.
Ejem 3
Vamos a negarla. Aqu se dice que hay algn nmero real que verica algo, la negaci n es decir que u u o ninguno lo verica; o sea, que todos verican lo contrario: "todo nmero real verica 2 = 8"; o mejor, "2 = 8, R" u
Ejercicios
3.
Niega las siguientes proposiciones (olv date de si son o no verdaderas): (a) Todos los nmeros naturales son pares. u (b)
x2 + 1 K, x S.
(c) |a| > 0 si a A. (d) Todos los elementos de Z son nmeros enteros. u (e) a e = a (a G). (f) Para ningn nmero impar q se verica que u u
q es impar.
No deber seguir si no has realizado todas las anteriores negaciones correctamente. as Demos ahora un paso ms y neguemos proposiciones con estructuras similares a las siguientes: a | Para cada. . .( | Existe. . .(
lo que sea
) . . .existe . . .(
lo que sea
) . . .que verica . . .(
lo que sea
lo que sea
). . . ). . .
lo que sea
) . . .se verica . . .(
lo que sea
C mo veremos, al negar una de ellas se obtiene la otra. o Es necesario hacer un par de observaciones. La primera es que ese tipo de proposiciones no van a aparecer siempre exactamente as en ocasiones en vez de usar, por ejemplo, "para cada", diremos , "para todos" o tambi n, "dado. . .". En n, creo que esto ya lo habrs observado en los ejercicios e a anteriores. La segunda es que estas frases se componen de dos de las que has negado en los ejercicios, as que para negarlas debes seguir el mismo esquema. Vemoslo en unos ejemplos. a
Ejem 4
F jate en su estructura: se dice que todos los elementos de P verican "algo", >y qu es ese algo?, e pues que existe un > 0 tal que |x 2| > . La negaci n de la frase: "todos los elementos de P verican algo" ser "existe un elemento de P que o a no verica ese algo". Recordemos que ese "algo" es que "existe un > 0 tal que |x 2| > ". Si no verica esto vericar a lo contrario as que neguemos esta ultima frase (observa el ejercicio anterior):
C I ( )
Pg. 4 a
T EMA
1.
para cada > 0 se verica |x 2| . Por tanto, la negaci n de la proposici n dada podr ser: o o a existe x P tal que para cada > 0 se verica |x 2| . O, en otro estilo, existe x P tal que |x 2| , para > 0. Como ves esta proposici n tiene la otra estructura. o
Ejem 5
Su estructura es: existe un elemento en G que verica "algo", y ese "algo" es que a e = a para cada a G. Si negamos esa estructura nos dar que cualquier elemento de G verica lo contrario a (no verica ese algo). Neguemos entonces ae = a (a G): "existe a G tal que ae = a". La negaci n de la proposici n o o dada quedar: a Para cada e G existe a G tal que a e = a. Ahora ya puedes imaginarte que aparecern proposiciones con otras estructuras que espero ya puedas a negarlas. Por ejemplo, las del tipo:
Para cada. . .( Existe. . .(
lo que sea
lo que sea
). . .para cada. . .(
lo que sea
). . . ). . .
lo que sea
lo que sea
) . . .que verica . . .(
lo que sea
Tambi n puedes tener proposiciones compuestas por tres o ms de las que has visto, entre los siguientes e a ejercicios te topars con alguna. a
Ejercicios
4.
Niega las siguientes proposiciones: (a) Existe u R tal que xu = x, (x R). (b) |a + b| |a| + |b|, a, b R. (c) Existe un natural M tal que para cada n0 existe n n0 con |n2 | M. (d) Dado > 0, existe > 0 tal que si |x| < entonces |x2 x| < . (e) Para todo x R y n N existe > 0 tal que
x < . n
C I ( )
Pg. 5 a
T EMA
1.
5.- Implicaciones.
Considera dos proposiciones p y q (no olvides que son dos armaciones). Es corriente decir que "q se deduce de p", o tambi n que "p implica a q", o tambi n "si p entonces q" y en el lenguaje formal e e se escribe as: pq >Pero cundo debemos hacer cualquiera de esas armaciones? No se te escapar que estamos a a hablando de una proposici n que denotamos por p q y que leemos con cualquiera de las frases o anteriores. Como tal, podremos hacerla cuando queramos, otra cosa es que sea verdadera o falsa. Pongamos un ejemplo, sup n que p es la proposici n referida a un nmero natural x que dice o o u "x es un nmero par" u Sup n tambi n que q es la proposici n o e o "x es mltiplo de 6" u Hagamos ahora la armaci n "p implica q", >es verdadera o falsa? En esa armaci n lo que decimos o o es que si x es par entonces x es mltiplo de 6. Pero, conozco casos en los que esa armaci n no es u o verdadera; por ejemplo, 8 es un nmero natural que es par y sin embargo no es mltiplo de 6. As que u u podemos armar que aquella implicaci n no es verdadera; esto es, de p no se deduce q. Analicemos o entonces cundo una implicaci n es verdadera, de tal modo, que cuando estemos en situaciones algo a o complicadas podamos usar algn mecanismo para comprobar la veracidad de nuestras deducciones u o implicaciones. >Cul ha sido el motivo por el que hemos armado que p q es falsa? Lo hemos hecho porque a hemos encontrado un caso en el que p es verdadera y q falsa. Pues tomemos entonces esta idea como referencia para armar que:
Una implicacin p q es verdadera si q es verdadera cuando p es verdadera. o
Observa que si p es falsa no importa lo que ocurra con q, en este caso la implicaci n es verdadera. o >Te parece esto extra~o? Vamos a verlo desde otro punto de vista o, ms bien, con otro lenguaje ms n a a cotidiano. La implicaci n p q se cumple (es verdadera) cuando al cumplirse p tambi n se cumple o e q, >no es esto? Pues bien, supongamos que dices a un compa~ero: n { Si Rosa va al cine yo la ver esta tarde. e Esta armaci n es una implicaci n (Rosa va al cine implica que yo la veo esta tarde) de la que vamos o o a suponer que es verdadera; esto es, t no has mentido: tienes razones para asegurar que eso es u verdad. Sup n que sabemos que Rosa no ha ido al cine, entonces la proposici n "Rosa va al cine" es o o falsa, ahora te da igual si la ves o no esta tarde (no olvides que puedes verla en cualquier otra parte menos en el cine, claro). T implicaci n es verdadera. Observa tambi n otra cosa que ms adelante u o e a trataremos: si t no la ves esta tarde entonces Rosa no ha ido al cine. u Dos proposiciones p y q se dicen equivalentes si p q y q p, en lenguaje formal se escribe:
p q
C I ( )
Pg. 6 a
T EMA
1.
Volvamos a nuestros conjuntos. Si A y B son dos conjuntos escribiremos A B para decir que los elementos de A son tambi n elementos de B; es decir, si x A entonces x B. Formalmente, e podemos escribirlo as: xA xB En tal caso se dice que A est incluido o contenido en B o tambi n que A es subconjunto de B o que a e A es parte de B. Dos conjuntos A y B son iguales si A B y B A; esto es, si tienen los mismos elementos. Hemos dicho que muchos conjuntos vendrn determinados por comprensi n a partir de una propiedad a o P que los caracteriza: A = {x : x verica P}. Esto signica que si un elemento a verica P; esto es, la armaci n "a verica P" es verdadera, o entonces a A y si es falsa entonces a A. / Sup n que A viene dado por la propiedad P y el conjunto B viene dado por la propiedad Q. o Si la implicaci n "x verica P entonces x verica Q" es verdadera, decimos tambi n en este caso que o e la condici n o propiedad P implica la condici n Q y lo escribimos P Q, signica que si x A (ya o o que verica P) entonces x B (puesto que entonces x verica Q). As que A B. Considera en el conjunto de los nmeros naturales la condici n "ser par" y llmale Q y considera la u o a condici n "ser mltiplo de 6" y llmale P. Tomemos los conjuntos o u a
A = {x : x verica P} y B = {x : x verica Q}.
Ya que P implica Q; es decir, ser mltiplo de 6 implica ser par, resulta que A B. Que es una forma u de escribir que los mltiplos de 6 son parte de los pares. u Cuando una condici n P implica una condici n Q solemos decirlo tambi n de cualquiera de las dos o o e siguientes formas:
"P es condici n suciente para Q" o "Q es condici n necesaria para P" o
En el ejemplo anterior podemos decir que ser mltiplo de 6 es suciente para ser par o que ser par u es necesario para ser mltiplo de 6. u Cuando la condici n P implica la condici n Q y tambi n Q implica P, decimos que ambas condiciones o o e son equivalentes y tambi n solemos decirlo as e :
"P se verica si y s lo si se verica Q" o "P es condici n necesaria y suciente para Q" o
En el caso de que P sea la condici n que dene el conjunto A y Q la que dene B, y si P y Q son o equivalentes entonces A = B.
C I ( )
Pg. 7 a
T EMA
1.
Ejercicios
5.
Enuncia las condiciones que intervienen en las siguientes implicaciones y se~ala cul es necesaria para cul y cul n a a a suciente: (a) Si a M entonces a a = a. (b) Si existe un > 0 tal que |x 2| > entonces x = 2. (c) Si para cada > 0 existe n N tal que
Si la condici n P implica la condici n Q, llamamos su rec o o proca a la implicaci n Q implica P. Por o ejemplo, la rec proca de la implicaci n o "si n es un nmero natural par entonces 2n es mltiplo de 4" u u es "si 2n es mltiplo de 4 entonces n es un nmero natural par" u u Una implicaci n puede ser verdadera y sin embargo su rec o proca no serlo, como ocurre en el ejemplo 3 es m ltiplo de 4 y sin embargo 3 no es par. anterior; ya que 2 u Se denomina contrarrec proca de la implicaci n "P implica Q" a la implicaci n "no Q implica no P". o o Para escribir la contrarrecproca de la implicaci n del ejemplo anterior tendremos que negar las dos o proposiciones que intervienen:
La negaci n de "n es un nmero natural par" ser "n no es un nmero natural par". o u a u La negaci n de "2n es mltiplo de 4" es "2n no es mltiplo de 4". o u u
La contrarrec proca quedar entonces a "si 2n no es mltiplo de 4 entonces n no es un nmero natural par". u u Algo que nos ser de gran utilidad para realizar demostraciones (cadena de deducciones) de implicaa ciones es el hecho de que una implicaci n (no olvides que es una proposici n) es equivalente a su o o contrarrec proca; en otras palabras, una implicaci n es verdadera si y s lo si lo es su contrarrec o o proca.
Ejercicios
6.
Escribe la rec proca y contrarrec proca de cada una de las implicaciones del ultimo ejercicio.
C I ( )
Pg. 8 a
T EMA
1.
Dados dos conjuntos A y B se llama uni n de A y B, y se escribe A B, al conjunto formado por los o elementos que estn en A o en B: a
A B = {x : x A o x B}
Observa que x A es una proposici n, si adems el conjunto A viene o a denido mediante una condici n P, decir x A es lo mismo que decir que o x verica P. Por otro lado, x B es otra proposici n, que, si adems B viene denido o a mediante la condici n Q, decir x B es lo mismo que decir que x verica o Q. >Cul ser entonces la condici n que dene el conjunto A B? a a o Segn la denici n de la uni n x A B signica que x A o x B, as pues, x verica P o Q. u o o Si A = {1, 2, 3} y B = {2, 3, 4, 5} entonces A B = {1, 2, 3, 4, 5}. Si A = {x N : x es mltiplo de dos} y B = {x N : x no es mltiplo de tres} entonces u u
A B = {x N : x es mltiplo de dos o no es mltiplo de tres}. u u
Creo que te vendr bien dar algunos elementos de B. a Y si un elemento x no est en la uni n, >qu verica? Si x A B entonces es falsa la armaci n "x a o e / o verica P o Q"; esto es, x no puede vericar ni P ni Q. La condici n que verica x ser entonces: o a "x no verica P y no verica Q". O lo que es lo mismo "x verica no P y verica no Q" Como ves, si x A B entonces x A y x B. Esta observaci n nos sirve para tener claro como / / / o negar proposiciones en las que se arma que se verica una u otra cosa. Su negaci n ser que no o a se verica ni la una ni la otra.
Ejercicios
7.
Niega las siguientes proposiciones: (a) Si x N entonces x es par o x es impar. (b) Para cada nmero real se verica que u
es un nmero real o u
es un nmero real. u
C I ( )
Pg. 9 a
T EMA
1.
Dados dos conjuntos A y B se llama intersecci n de A y B, y se escribe o A B, al conjunto formado por los elementos que estn en A y en B: a
A B = {x : x A y x B}
Como antes, si el conjunto A viene denido mediante una condici n P o y, por otro lado, B viene denido mediante la condici n Q, entonces la o condici n que dene el conjunto A B ser que x verica P y Q. o a Si A = {1, 2, 3} y B = {2, 3, 4, 5} entonces A B = {2, 3}. Si A = {x N : x es mltiplo de dos} y B = {x N : x no es mltiplo de tres} entonces u u
A B = {x N : x es mltiplo de dos y no es mltiplo de tres}. u u
De nuevo, te vendr bien dar algunos elementos de B. a Si x A B entonces es falsa la armaci n "x verica P y Q"; esto es, x no verica P o bien no / o verica Q (puede que ninguna de las dos). La condici n que verica x ser entonces: o a "x no verica P o no verica Q". O lo que es lo mismo "x verica no P o verica no Q" Como ves, si x A B entonces x A o x B. En esta ocasi n, esto nos va a servir para negar / / / o proposiciones en las que se arma que se verican simultneamente dos condiciones. Su negaci n a o ser que no se verica alguna de ellas. a
Ejercicios
8.
Niega las siguientes proposiciones: (a) Si x N entonces x es par y divisible por tres. (b) Para cada nmero real se verica que u
es un nmero real y 2 0. u
C I ( )
Pg. 10 a
T EMA
1.
Dados dos conjuntos A y B se llama diferencia del conjunto A menos el B (o tambi n, complemento de B en A), y se escribe A \ B, al conjunto e formado por los elementos que estn en A y no estn en B: a a
A \ B = {x : x A y x B} /
Si el conjunto A viene denido mediante una condici n P y, por otro lado, B viene denido mediante o la condici n Q, entonces la condici n que dene el conjunto A \ B ser que x verica P y no Q. o o a Si A = {1, 2, 3} y B = {2, 3, 4, 5} entonces A \ B = {1}. Si A = {x N : x es mltiplo de dos} y B = {x N : x no es mltiplo de tres} entonces u u
A \ B = {x N : x es mltiplo de dos y mltiplo de tres}. u u
De nuevo, te vendr bien dar algunos elementos de B. a Si x A \ B entonces es falsa la armaci n "x verica P y no Q"; esto es, x no verica P o bien / o verica Q. La condici n que verica x ser entonces: o a "x no verica P o verica Q". O lo que es lo mismo "x verica no P o verica Q"
11.- T eoremas y demostraciones.
Como te dije al comienzo, vamos a partir de unos axiomas (proposiciones verdaderas) a partir de los cuales deduciremos otras proposiciones que sern igualmente verdaderas. Todas estas proposiciones a estn formadas bsicamente por implicaciones (o dobles implicaciones) y, por tanto, tendrn la a a a estructura t pica: "si tal cosa es cierta entonces se verica tal otra". Estas proposiciones sern demostradas a partir de los axiomas y de las proposiciones que, por haber a sido demostradas antes, sean tambi n verdaderas. e En denitiva, vers que las proposiciones (resultados) las expondremos de la siguiente forma: a
1.1
Hip tesis (Dados tal y cual, si esto y lo otro ) entonces tesis (se verica tal o
y cual ).
D . Aqu probamos que la proposicin es verdadera. o Proposiciones de este tipo reciben el nombre gen rico de teoremas, en ellos se distinguen el enunciado, e formado por las hip tesis y la tesis, y la demostracin. Una proposici n no tiene el rango de teorema si no o o o ha sido demostrada. Sin embargo, es usual restringir la palabra teorema s lo a aquellas proposiciones o con cierta importancia dentro del desarrollo matemtico que se est realizando, a pesar de que, como a e
C I ( )
Pg. 11 a
T EMA
1.
he dicho, todas ellas ser teoremas. Incluso si dichos resultados tienen bastante importancia, suelen an acompa~arse esos teoremas con el de uno o ms matemticos que lo establecieron o con alguna n a a frase que describe su contenido; as por ejemplo, recordars el teorema de Pitgoras o tambi n el a a e teorema de los incrementos nitos. Algunas proposiciones se deducen directamente de otras, casi sin demostraci n, en tales casos dichas o proposiciones se llaman corolarios. Por otra parte, en ocasiones, se demuestran proposiciones que son usadas para demostrar una o ms proposiciones, y se les da el nombre de lema. El objeto de a los lemas es no desviar la atenci n del lector de los pasos fundamentales en la demostraci n de o o un teorema. Tampoco debemos abusar de esto. En ocasiones se oye decir: en tal sitio aparece una demostraci n muy cortita de tal teorema. Cuando se le hecha una mirada, vemos que hay demasiados o lemas previos. Hablemos ahora de las demostraciones. Como has visto, en general, las proposiciones son implicaciones: si es cierta la proposici n p (hip tesis) entonces se verica q (tesis). y que, como ya dijimos, viene o o enunciada en el lenguaje de condiciones necesarias o sucientes o ambas. Se usan, bsicamente, a una de las tres siguientes posibilidades para demostrar una implicaci n: o
Directamente: partimos de p y vamos usando los axiomas y los teoremas anteriores hasta llegar a q Por el contrarrec proco: partimos de no q y del mismo modo que antes llegamos a deducir no p. Por reducci n al absurdo: partimos de p y tambi n de no q y llegamos a una proposici n falsa (se o e o
contradice con los axiomas o teoremas anteriores). Pero no es posible llegar a una proposici n o que el punto de partida (p y no q) es falso, luego o bien p falsa a partir de una verdadera, as es falso o bien no q es falso. Pero p (hip tesis) es verdadera por lo que nos quedar que no q o a es falsa y, por tanto que q es verdadera.
Si A = A B entonces B A. D . (directamente) A partir de la igualdad A = A B, vamos a probar que B A, que, por denici n, signica que si o x B entonces x A. Esto es lo que debemos probar. Si x B, entonces x A B (por la denici n de uni n), como A = A B, entonces x A, como o o quer amos probar. D . (por el contrarrec proco) Ahora negamos que B A y llegaremos a que A = A B. Supongamos que B no es subconjunto de A, B A, en tal caso es falso que todo elemento de B sea elemento de A, luego existe algn u elemento z B que no est en A: z A. Pero ese elemento z estar en A B, ya que est en B, y a a a no est en A, as que A B y A no pueden ser iguales. a D . (por reducci n al absurdo) o Ahora partiremos de que A = A B y de que B A. Con esos supuestos vemos que B A y A = A B luego B A B, que se contradice con la denici n de uni n de conjuntos. o o
C I ( )
Pg. 12 a
T EMA
1.
Ejercicios
9.
Demuestra la proposicin "Si A = A B entonces A B" de tres formas diferentes: directamente, por el o contrarrec proco y por reduccin al absurdo. o
Conocimientos.
1. 2. 3. 4. 5. 6. 7.
Conocer los s mbolos del lenguaje de los conjuntos (,, . . .) Dar conjuntos por extensin y por comprensin. o o Conocer los signicados de proposiciones verdaderas, falsas e indecidibles. Saber cundo, en general, una implicacin es verdadera. a o Conocer los siguientes trminos y distinguirlos: condicin necesaria, condicin suciente, condiciones equivalentes. e o o Conocer los siguientes trminos y distinguirlos: implicacin rec e o proca y contrarrec proca. Conocer la relacin que existe entre la condicin que dene el conjunto unin y las condiciones de los conjuntos o o o que la forman. Lo mismo para la interseccin y la diferencia de conjuntos. o Negar proposiciones. Conocer los siguientes trminos y distinguirlos: axioma, denicin, proposicin, teorema, lema y corolario e o o Reconocer en una proposicin (teorema) cules son las hiptesis y cules las tesis. o a o a Reconocer y saber utilizar las demostraciones directa, por el contrarrec proco y por reduccin al absurdo. o
8. 9. 10. 11.
Procedimientos.
1.
(d) Hay un nmero racional q que verica que q R. u / (e) Existen nmeros pares n para los que n3 + 1 es par. u (f) Existe un > 0 tal que |x 2| > .
Razonamientos.
1.
C I ( )
Pg. 13 a
T EMA
1.
(b) |a + b| |a| + |b|, a, b R. (c) Existe un natural M tal que para cada n0 existe n n0 con |n2 | M. (d) Dado > 0, existe > 0 tal que si |x| < entonces |x2 x| < . (e) Para todo x R y n N existe > 0 tal que
2.
x < . n
se~ala cul es la condicin necesaria y para cul, n a o a se~ala cul es la condicin suciente y para cul, n a o a escribe la implicacin recproca, o y escribe contrarrec proca.
(a) Si para cada x T se verica x2 > 5 entonces 1 T . / (b) Si para todo z K es |z 5| > 2 entonces z P. / (c)
3.
Demuestra la proposicin "Si A = A \ B entonces A B = " de tres formas diferentes: directamente, por el o contrarrec proco y por reduccin al absurdo. o
C I ( )
Pg. 14 a