You are on page 1of 14

T ema 1.

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 a rmaciones que consideraremos verdaderas (axiomas) y de niremos 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 a rmaciones y de niciones y, por otro, debemos tener muy claro lo que signi ca aquello de deducir. Ese lenguaje al que me re ero 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 0, 2, 4, . . ." :


por comprensin, dando una propiedad caracter o stica de los elementos del conjunto. Por ejemplo, A = {x : x es un entero no negativo, mltiplo de dos y menor que 10}. u

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.

C ON JU NTO S Y PRO POS IC IONE S

Ejercicios

1.

Escribe por extensin el conjunto o

P = {z : z es un entero no negativo, mltiplo de dos y de tres y menor que 8}. u


2.

Escribe por comprensin el conjunto M = {1, 3, 5, 7}. o

3.- Proposiciones.

Haremos muchas a rmaciones 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 a rmaciones sern llamadas proposiciones y podrn ser de tres tipos distintos y mutuamente a a excluyentes:

verdadera es una a rmaci n que, o bien es un axioma o se deduce de otras verdaderas. o falsa es una a rmaci n cuya negaci n resulta una proposici n verdadera. o o o indecidible es una a rmaci 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 re eren 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 de niciones antes de poder a rmar 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.

C ON JU NTO S Y PRO POS IC IONE S

4.- Negacin de proposiciones. o

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 a rmaci n "todas las luces del aula estn encendidas". >Cul es la a rmaci 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 a rmaci 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 veri can la propiedad P", a su negaci n ser o a "existe alguno que no veri ca P", o bien, "existe alguno que veri ca 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

Dado > 0, se veri ca K F.

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 veri ca lo otro. As que digo: 
 C I (  )

Pg. 3 a

T EMA

1.

C ON JU NTO S Y PRO POS IC IONE S

"existe un > 0 tal que K F" /

Ejem 3

Existe un nmero real tal que 2 = 8. u

Vamos a negarla. Aqu se dice que hay algn nmero real que veri ca algo, la negaci n es decir que  u u o ninguno lo veri ca; o sea, que todos veri can lo contrario: "todo nmero real veri ca 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 veri ca 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 veri ca . . .(
lo que sea

lo que sea

). . . ). . .

lo que sea

) . . .tal que para cada . . .(

) . . .se veri ca . . .(

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

Para cada x P, existe un > 0 tal que |x 2| > .

F jate en su estructura: se dice que todos los elementos de P veri can "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 veri can algo" ser "existe un elemento de P que o a no veri ca ese algo". Recordemos que ese "algo" es que "existe un > 0 tal que |x 2| > ". Si no veri ca esto veri car a lo contrario as que neguemos esta ultima frase (observa el ejercicio anterior):  
 C I (  )

Pg. 4 a

T EMA

1.

C ON JU NTO S Y PRO POS IC IONE S

para cada > 0 se veri ca |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 veri ca |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

Existe e G que veri ca a e = a (a G).

Su estructura es: existe un elemento en G que veri ca "algo", y ese "algo" es que a e = a para cada a G. Si negamos esa estructura nos dar que cualquier elemento de G veri ca lo contrario a (no veri ca 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

) . . .se veri ca. . .(

lo que sea

). . .para cada. . .(

lo que sea

). . . ). . .

lo que sea

) . . .tal que existe . . .(

lo que sea

) . . .que veri ca . . .(

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.

C ON JU NTO S Y PRO POS IC IONE S

5.- Implicaciones.

Considera dos proposiciones p y q (no olvides que son dos a rmaciones). 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 a rmaciones? 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 a rmaci n "p implica q", >es verdadera o falsa? En esa a rmaci 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 a rmaci 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 a rmar 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 a rmado 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 a rmar 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 a rmaci 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.

C ON JU NTO S Y PRO POS IC IONE S

6.- Subconjuntos y condiciones.

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 veri ca P}. Esto signi ca que si un elemento a veri ca P; esto es, la a rmaci n "a veri ca 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 veri ca P entonces x veri ca 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, signi ca que si x A (ya o o que veri ca P) entonces x B (puesto que entonces x veri ca 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 veri ca P} y B = {x : x veri ca 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 su ciente para Q" o "Q es condici n necesaria para P" o

En el ejemplo anterior podemos decir que ser mltiplo de 6 es su ciente 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 veri ca si y s lo si se veri ca Q" o "P es condici n necesaria y su ciente para Q" o

En el caso de que P sea la condici n que de ne el conjunto A y Q la que de ne B, y si P y Q son o equivalentes entonces A = B.

 C I (  )

Pg. 7 a

T EMA

1.

C ON JU NTO S Y PRO POS IC IONE S

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 su ciente: (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

1 < entonces para cada M < 0 existe n N tal que n < M. n

7.- Implicaciones rec procas y contrarrec procas.

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.

C ON JU NTO S Y PRO POS IC IONE S

8.- Unin de conjuntos. o

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 de nido mediante una condici n P, decir x A es lo mismo que decir que o x veri ca P. Por otro lado, x B es otra proposici n, que, si adems B viene de nido o a mediante la condici n Q, decir x B es lo mismo que decir que x veri ca o Q. >Cul ser entonces la condici n que de ne el conjunto A B? a a o Segn la de nici n de la uni n x A B signi ca que x A o x B, as pues, x veri ca 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 veri ca? Si x A B entonces es falsa la a rmaci n "x a o e / o veri ca P o Q"; esto es, x no puede veri car ni P ni Q. La condici n que veri ca x ser entonces: o a "x no veri ca P y no veri ca Q". O lo que es lo mismo "x veri ca no P y veri ca 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 a rma que se veri ca una u otra cosa. Su negaci n ser que no o a se veri ca 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 veri ca que u

es un nmero real o u

es un nmero real. u

 C I (  )

Pg. 9 a

T EMA

1.

C ON JU NTO S Y PRO POS IC IONE S

9.- Interseccin de conjuntos. o

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 de nido mediante una condici n P o y, por otro lado, B viene de nido mediante la condici n Q, entonces la o condici n que de ne el conjunto A B ser que x veri ca 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 a rmaci n "x veri ca P y Q"; esto es, x no veri ca P o bien no / o veri ca Q (puede que ninguna de las dos). La condici n que veri ca x ser entonces: o a "x no veri ca P o no veri ca Q". O lo que es lo mismo "x veri ca no P o veri ca 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 a rma que se veri can simultneamente dos condiciones. Su negaci n a o ser que no se veri ca 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 veri ca que u

es un nmero real y 2 0. u

 C I (  )

Pg. 10 a

T EMA

1.

C ON JU NTO S Y PRO POS IC IONE S

10.- Diferencia de conjuntos.

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 de nido mediante una condici n P y, por otro lado, B viene de nido mediante o la condici n Q, entonces la condici n que de ne el conjunto A \ B ser que x veri ca 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 a rmaci n "x veri ca P y no Q"; esto es, x no veri ca P o bien / o veri ca Q. La condici n que veri ca x ser entonces: o a "x no veri ca P o veri ca Q". O lo que es lo mismo "x veri ca no P o veri ca 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 veri ca 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 de nitiva, 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 veri ca 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.

C ON JU NTO S Y PRO POS IC IONE S

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 veri ca q (tesis). y que, como ya dijimos, viene o o enunciada en el lenguaje de condiciones necesarias o su cientes 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.

A continuaci n vamos a usar esas tres posibilidades para demostrar la siguiente: o


 1.2

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 de nici n, signi ca que si o x B entonces x A. Esto es lo que debemos probar. Si x B, entonces x A B (por la de nici 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 de nici n de uni n de conjuntos. o o

 C I (  )

Pg. 12 a

T EMA

1.

C ON JU NTO S Y PRO POS IC IONE S

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 signi cados 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 su ciente, 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 de ne 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, de nicin, 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.

Niega las siguientes proposiciones: (a) Para cada x T se veri ca x2 > 5.

r = 0. (c) Dado x R se veri ca que x es positivo.


+

(b) Existe r 0 para el que

(d) Hay un nmero racional q que veri ca 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.

Niega las siguientes proposiciones: (a) Existe u R tal que xu = x, (x R).

 C I (  )

Pg. 13 a

T EMA

1.

C ON JU NTO S Y PRO POS IC IONE S

(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

Para cada una de las siguientes implicaciones

se~ala cul es la condicin necesaria y para cul, n a o a se~ala cul es la condicin su ciente y para cul, n a o a  escribe la implicacin recproca, o y escribe contrarrec proca.
(a) Si para cada x T se veri ca x2 > 5 entonces 1 T . / (b) Si para todo z K es |z 5| > 2 entonces z P. / (c)
3.

n es un nmero natural si y slo si n es par. u o 2

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