Tema 1.

CONJUNTOS Y PROPOSICIONES

1.- Introducci
on.

El an
alisis matematico real est
a basado en el conjunto de los n
umeros reales. Ese es el motivo por
el que nuestro curso tendr a como primer objetivo el estudio de sus propiedades, el cual no debes
pasar por alto sino, muy al contrario, debes esforzarte para conseguir manejar sus propiedades con
destreza.

Puedes que estes pensando en que lo que te pido es que memorices unas pocas de propiedades o
procedimientos. No es eso. Debemos cambiar nuestro concepto de "estudiar". Dici endolo de una
forma simple, quiz
a demasiado, de lo que se trata es de lo siguiente: vamos a partir de unas pocas de
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 m as exhaustivo posible
de los n
umeros reales.

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 a el que nos aporta la teora de conjuntos y para la deducci on
ogica. Pero ni lo uno ni lo otro vamos a estudiar aqu a pesar de ser nuestro
usaremos la regla de la l
punto de partida; nos limitaremos a hacer una presentaci on intuitiva de lo que necesitaremos sin
pretensiones de formalizacion.

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). Ning un conjunto puede ser elemento de e l mismo;
esto es, A A es siempre falso si A es un conjunto y, por tanto, A
/ A es verdadero.

Con el smbolo representamos al conjunto que no posee ning

un elemento y que llamaremos conjunto
vaco.

Un conjunto est
a determinado cuando conocemos sus elementos y estos elementos pueden venir
dados de dos formas:

por extension, escribiendo entre llaves los elementos del conjunto. Por ejemplo,

A = {0, 2, 4, 6, 8}.

Lo leeremos as: "A es el conjunto formado por los elementos 0, 2, 4, . . ."

por comprension, dando una propiedad caracterstica de los elementos del conjunto. Por ejemplo,

A = {x : x es un entero no negativo, m
ultiplo de dos y menor que 10}.
Lo leeremos as: "A es el conjunto formado por los elementos x tales que x es un entero no
negativo, m
ultiplo de dos y menor que 10.
 T EMA 1. C ON JU NTO S Y PRO POS IC IONE S

Ejercicios

1. Escribe por extensi

on el conjunto

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

2. on el conjunto M = {1, 3, 5, 7}.

Escribe por comprensi

3.- Proposiciones.

Haremos muchas armaciones como las que venimos haciendo, por ejemplo,

"8 es un entero no negativo, m

ultiplo de dos"

o bien,

"13 es divisible por dos"

Estas armaciones ser

an llamadas proposiciones y podr
an ser de tres tipos distintos y mutuamente
excluyentes:

verdadera es una armacion que, o bien es un axioma o se deduce de otras verdaderas.

falsa es una armacion cuya negacion resulta una proposicion verdadera.
indecidible es una armacion que no se deduce de los axiomas y que, de hecho, ni esa proposicion
ni su negaci
on se contradicen con los axiomas.

La teora de conjuntos la hemos aprendido en nuestra e  poca escolar de forma muy intuitiva y los
axiomas no fueron dados de forma explcita. Tampoco creemos que e  ste sea el momento, pero para
que te sirva de ejemplo, algunos axiomas son "existe el conjunto vaco", o tambi en "un conjunto no

puede ser elemento de s mismo". Esas proposiciones son, por tanto, verdaderas. Otros axiomas de
la teora de conjuntos se reeren a la existencia de conjuntos como la union, intersecci
on, etc. que
veremos m as adelante.

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
olo va a ocurrir ahora, en estos preliminares y con nes puramente did acticos. De hecho ya hemos
puesto ejemplos usando n umeros, el concepto de m ultiplo, etc. . Seguiremos usando proposiciones
que espero no tengas duda de si son verdaderas o falsas (las indecidibles no est an a nuestro alcance,

olvdalas por el momento).

C
 I (  ) ag. 2
P
 T EMA 1. C ON JU NTO S Y PRO POS IC IONE S

4.- Negaci
on de proposiciones.

Si una proposici
on es verdadera y la niegas resulta otra proposicion que sera falsa y si fuera falsa al
negarla resulta otra verdadera. Esto te parecer
a claro, pero no siempre es f a
cil hacer negaciones.

Considera la armacion "todas las luces del aula est

an encendidas". >Cu
al es la armaci
on contraria?;
esto es, >cu
al es su negaci
on?

cil sera colocar un "no" por delante y ya est

El camino f a a. Bueno esto es una posibilidad, pero
necesitamos ir m as all
a. Lo mejor que uno puede hacer para encontrar la negaci
on es convertir en
pregunta la armaci on que estudiamos:

>todas las luces del aula est

an encendidas?

Miro las luces y contesto s o no. >Cu

ando digo que no? Cuando veo alguna luz no encendida. De
esta forma he encontrado la negaci on:

alguna luz del aula no est

a encendida

en as:
Como sabemos que lo contrario de estar encendida es estar apagada, podemos decirlo tambi

alguna luz del aula est

a apagada

Muchas de las proposiciones que usaremos tendr

an esa estructura: "todos verican la propiedad P",
su negaci
on ser
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
on se dice que x es menor o igual que 3 cuando x A. En otras palabras, todos los
elementos de A son menores o iguales que 3. Como ves, esta frase tiene la estructura anterior, su
negacion es "hay alg
un elemento de A que no es menor o igual que 3". Pero esto mismo se puede
decir de varias maneras, por ejemplo, si un numero no es menor o igual que 3 entonces debe ser
mayor, luego su negaci 
on puede escribirse as:

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
e lo que es ni me importa) est
a en el conjunto
F (que tampoco s e lo que es). Ahora al negarla debo decir que hay alg un > 0 para el que no se
verica lo otro. As que digo:

C
 I (  ) ag. 3
P
 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 numero real tal que 2 = 8.

Vamos a negarla. Aqu se dice que hay alg

un numero real que verica algo, la negaci
on es decir que
ninguno lo verica; o sea, que todos verican lo contrario:

"todo n
umero real verica 2 6= 8"; o mejor, "2 6= 8, R"

Ejercicios

3. Niega las siguientes proposiciones (olvdate de si son o no verdaderas):

(a) Todos los n

umeros naturales son pares.

(b) x2 + 1 K, x S.
(c) |a| > 0 si a A.
(d) Todos los elementos de Z son n
umeros enteros.
(e) a e = a (a G).

(f) Para ning
un n
umero impar q se verica que q es impar.

No deberas seguir si no has realizado todas las anteriores negaciones correctamente.

Demos ahora un paso m

as y neguemos proposiciones con estructuras similares a las siguientes:

| Para cada. . .( lo que sea ) . . .existe . . .(

lo que sea ) . . .que verica . . .( lo que sea ). . .
| Existe. . .( lo que sea ) . . .tal que para cada . . .( lo que sea ) . . .se verica . . .( lo que sea ). . .

C
omo veremos, al negar una de ellas se obtiene la otra.

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 en, "dado. . .". En n, creo que esto ya lo habr
as observado en los ejercicios
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. Ve amoslo en unos ejemplos.

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

Fjate en su estructura: se dice que todos los elementos de P verican "algo", >y qu
e es ese algo?,
pues que existe un > 0 tal que |x 2| > .

La negaci
on de la frase: "todos los elementos de P verican algo" ser
a "existe un elemento de P que
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 u
ltima frase (observa el ejercicio anterior):

C
 I (  ) ag. 4
P
 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 on dada podra ser:

on de la proposici

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

on tiene la otra estructura.

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
a que cualquier elemento de G verica lo contrario
(no verica ese algo).

Neguemos entonces ae = a (a G): "existe a G tal que ae 6= a". La negaci

on de la proposici
on
dada quedar
a:

Para cada e G existe a G tal que a e 6= a.

Ahora ya puedes imaginarte que aparecer

an proposiciones con otras estructuras que espero ya puedas
negarlas. Por ejemplo, las del tipo:

Para cada. . .( lo que sea ) . . .se verica. . .( lo que sea ). . .para cada. . .(
lo que sea ). . .
Existe. . .(
lo que sea ) . . .tal que existe . . .( lo que sea ) . . .que verica . . .( lo que sea ). . .

Tambien puedes tener proposiciones compuestas por tres o m

as de las que has visto, entre los siguientes
ejercicios te topar
as con alguna.

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| < .
x
(e) Para todo x R y n N existe > 0 tal que   < .
 
n

C
 I (  ) ag. 5
P
 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
en que "p implica a q", o tambi
en "si p entonces q" y en el lenguaje formal

se escribe as:
pq
>Pero cuando debemos hacer cualquiera de esas armaciones? No se te escapar a que estamos
hablando de una proposici on que denotamos por p q y que leemos con cualquiera de las frases
anteriores. Como tal, podremos hacerla cuando queramos, otra cosa es que sea verdadera o falsa.

Pongamos un ejemplo, sup

on que p es la proposici
on referida a un n
umero natural x que dice

"x es un n
umero par"

Sup
on tambi
en que q es la proposici
on

"x es m
ultiplo de 6"

Hagamos ahora la armaci on "p implica q", >es verdadera o falsa? En esa armacion lo que decimos
es que si x es par entonces x es multiplo de 6. Pero, conozco casos en los que esa armaci on no es
verdadera; por ejemplo, 8 es un n
umero natural que es par y sin embargo no es m ultiplo de 6. As que
podemos armar que aquella implicaci on no es verdadera; esto es, de p no se deduce q. Analicemos
entonces cuando una implicaci
on es verdadera, de tal modo, que cuando estemos en situaciones algo
complicadas podamos usar alg un mecanismo para comprobar la veracidad de nuestras deducciones
o implicaciones.

>Cu
al ha sido el motivo por el que hemos armado que p q es falsa? Lo hemos hecho porque
hemos encontrado un caso en el que p es verdadera y q falsa. Pues tomemos entonces esta idea
como referencia para armar que:

on p q es verdadera si q es verdadera cuando p es verdadera.

Una implicaci

Observa que si p es falsa no importa lo que ocurra con q, en este caso la implicacion es verdadera.
>Te parece esto extra~no? Vamos a verlo desde otro punto de vista o, m
as bien, con otro lenguaje m
as
cotidiano. La implicaci
on p q se cumple (es verdadera) cuando al cumplirse p tambi en se cumple
q, >no es esto? Pues bien, supongamos que dices a un compa~ nero:

{ Si Rosa va al cine yo la ver

e esta tarde.

Esta armaci on es una implicacion (Rosa va al cine implica que yo la veo esta tarde) de la que vamos
a suponer que es verdadera; esto es, t u no has mentido: tienes razones para asegurar que eso es
verdad. Supon que sabemos que Rosa no ha ido al cine, entonces la proposici on "Rosa va al cine" es
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 u implicaci
on es verdadera. Observa tambi en otra cosa que m as adelante
trataremos: si t
u no la ves esta tarde entonces Rosa no ha ido al cine.

Dos proposiciones p y q se dicen equivalentes si p q y q p, en lenguaje formal se escribe:

p q

C
 I (  ) ag. 6
P
 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 tambien elementos de B; es decir, si x A entonces x B. Formalmente,

podemos escribirlo as:
xA xB
En tal caso se dice que A est
a incluido o contenido en B o tambi
en que A es subconjunto de B o que
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 vendr

an determinados por comprensi
on a partir de una propiedad
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
on "a verica P" es verdadera,
entonces a A y si es falsa entonces a
/ A.

Sup
on que A viene dado por la propiedad P y el conjunto B viene dado por la propiedad Q.

Si la implicaci
on "x verica P entonces x verica Q" es verdadera, decimos tambien en este caso que
la condicion o propiedad P implica la condicion Q y lo escribimos P Q, signica que si x A (ya
que verica P) entonces x B (puesto que entonces x verica Q). As que A B.

Considera en el conjunto de los n umeros naturales la condici

on "ser par" y ll
amale Q y considera la
condici
on "ser m
ultiplo de 6" y ll
amale P. Tomemos los conjuntos

A = {x : x verica P} y B = {x : x verica Q}.

Ya que P implica Q; es decir, ser m ultiplo de 6 implica ser par, resulta que A B. Que es una forma
de escribir que los m
ultiplos de 6 son parte de los pares.

Cuando una condicion P implica una condici

on Q solemos decirlo tambi
en de cualquiera de las dos
siguientes formas:

"P es condici
on suciente para Q"

"Q es condici
on necesaria para P"

En el ejemplo anterior podemos decir que ser m

ultiplo de 6 es suciente para ser par o que ser par
es necesario para ser multiplo de 6.

Cuando la condici
on P implica la condici
on Q y tambi
en Q implica P, decimos que ambas condiciones
en solemos decirlo as:
son equivalentes y tambi

"P se verica si y s
olo si se verica Q"

"P es condici
on necesaria y suciente para Q"

En el caso de que P sea la condici

on que dene el conjunto A y Q la que dene B, y si P y Q son
equivalentes entonces A = B.

C
 I (  ) ag. 7
P
 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~

nala cual es necesaria para cual y cual
suciente:

(a) Si a M entonces a a = a.
(b) Si existe un > 0 tal que |x 2| > entonces x 6= 2.
1
(c) Si para cada > 0 existe n N tal que < entonces para cada M < 0 existe n N tal que n < M.
n

7.- Implicaciones rec

procas y contrarrec
procas.

Si la condici
on P implica la condici on Q, llamamos su recproca a la implicaci
on Q implica P. Por
ejemplo, la recproca de la implicaci
on

"si n es un n
umero natural par entonces 2n es m
ultiplo de 4"

es "si 2n es m
ultiplo de 4 entonces n es un n
umero natural par"

Una implicacion puede ser verdadera y sin embargo su recproca no serlo, como ocurre en el ejemplo
anterior; ya que 23 es m
ultiplo de 4 y sin embargo 3 no es par.

Se denomina contrarrecproca de la implicaci on "P implica Q" a la implicaci

on "no Q implica no P".

Para escribir la contrarrecproca de la implicaci
on del ejemplo anterior tendremos que negar las dos
proposiciones que intervienen:

La negaci
on de "n es un n
umero natural par" ser
a "n no es un n
umero natural par".

La negaci
on de "2n es m
ultiplo de 4" es "2n no es m
ultiplo de 4".

La contrarrecproca quedar
a entonces

"si 2n no es m
ultiplo de 4 entonces n no es un n
umero natural par".

Algo que nos ser a de gran utilidad para realizar demostraciones (cadena de deducciones) de implica-
ciones es el hecho de que una implicaci on (no olvides que es una proposici on) es equivalente a su
contrarrecproca; en otras palabras, una implicaci olo si lo es su contrarrecproca.
on es verdadera si y s

Ejercicios

6. Escribe la recproca y contrarrecproca de cada una de las implicaciones del u

ltimo ejercicio.

C
 I (  ) ag. 8
P
 T EMA 1. C ON JU NTO S Y PRO POS IC IONE S

8.- Uni
on de conjuntos.

Dados dos conjuntos A y B se llama uni

on de A y B, y se escribe A B, al conjunto formado por los
elementos que est
an en A o en B:

A B = {x : x A o x B}

Observa que x A es una proposici on, si ademas el conjunto A viene

denido mediante una condici
on P, decir x A es lo mismo que decir que
x verica P.

Por otro lado, x B es otra proposici

on, que, si adem
as B viene denido
mediante la condici
on Q, decir x B es lo mismo que decir que x verica
Q.

>Cu
al ser
a entonces la condici
on que dene el conjunto A B?

Seg
un la denici on x A B signica que x A o x B, as pues, x verica P o Q.
on de la uni

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 m
ultiplo de dos} y B = {x N : x no es m
ultiplo de tres} entonces

A B = {x N : x es m
ultiplo de dos o no es m
ultiplo de tres}.

Creo que te vendra bien dar algunos elementos de B.

Y si un elemento x no esta en la uni

on, >qu
e verica? Si x
/ A B entonces es falsa la armaci
on "x
verica P o Q"; esto es, x no puede vericar ni P ni Q. La condicion que verica x sera entonces:

"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

/Ayx / B. Esta observaci
on nos sirve para tener claro como
negar proposiciones en las que se arma que se verica una u otra cosa. Su negacion ser
a que no
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 n
umero real se verica que es un numero real o es un numero real.

C
 I (  ) ag. 9
P
 T EMA 1. C ON JU NTO S Y PRO POS IC IONE S

9.- Intersecci
on de conjuntos.

Dados dos conjuntos A y B se llama intersecci

on de A y B, y se escribe
A B, al conjunto formado por los elementos que est
an en A y en B:

A B = {x : x A y x B}

Como antes, si el conjunto A viene denido mediante una condici on P

y, por otro lado, B viene denido mediante la condici
on Q, entonces la
condici
on que dene el conjunto A B sera que x verica P y Q.

Si A = {1, 2, 3} y B = {2, 3, 4, 5} entonces A B = {2, 3}.

Si A = {x N : x es m
ultiplo de dos} y B = {x N : x no es m
ultiplo de tres} entonces

A B = {x N : x es m
ultiplo de dos y no es m
ultiplo de tres}.

De nuevo, te vendra bien dar algunos elementos de B.

Si x
/ A B entonces es falsa la armaci
on "x verica P y Q"; esto es, x no verica P o bien no
verica Q (puede que ninguna de las dos). La condici
on que verica x ser
a entonces:

"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 / Aox / B. En esta ocasi
on, esto nos va a servir para negar
proposiciones en las que se arma que se verican simult
aneamente dos condiciones. Su negaci on
ser
a que no se verica alguna de ellas.

Ejercicios

8. Niega las siguientes proposiciones:

(a) Si x N entonces x es par y divisible por tres.

(b) Para cada n
umero real se verica que es un numero real y 2 0.

C
 I (  ) ag. 10
P
 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
en, complemento de B en A), y se escribe A \ B, al conjunto
formado por los elementos que est
an en A y no est
an en B:

A \ B = {x : xAyx
/ B}

Si el conjunto A viene denido mediante una condicion P y, por otro lado, B viene denido mediante
la condicion Q, entonces la condici
on que dene el conjunto A \ B sera que x verica P y no Q.

Si A = {1, 2, 3} y B = {2, 3, 4, 5} entonces A \ B = {1}.

Si A = {x N : x es m
ultiplo de dos} y B = {x N : x no es m
ultiplo de tres} entonces

A \ B = {x N : x es m
ultiplo de dos y m
ultiplo de tres}.

De nuevo, te vendra bien dar algunos elementos de B.

Si x
/ A \ B entonces es falsa la armaci
on "x verica P y no Q"; esto es, x no verica P o bien
verica Q. La condici
on que verica x ser
a entonces:

"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.- Teoremas y demostraciones.

Como te dije al comienzo, vamos a partir de unos axiomas (proposiciones verdaderas) a partir de los
cuales deduciremos otras proposiciones que ser an igualmente verdaderas. Todas estas proposiciones
est
an formadas b asicamente por implicaciones (o dobles implicaciones) y, por tanto, tendr an la
estructura tpica: "si tal cosa es cierta entonces se verica tal otra".

Estas proposiciones ser

an demostradas a partir de los axiomas y de las proposiciones que, por haber
sido demostradas antes, sean tambi
en verdaderas.

En denitiva, ver
as que las proposiciones (resultados) las expondremos de la siguiente forma:

 1.1

Hipotesis (Dados tal y cual, si esto y lo otro ) entonces tesis (se verica tal
y cual ).

 . Aqu probamos que la proposicion es verdadera.

D

Proposiciones de este tipo reciben el nombre gen erico de teoremas, en ellos se distinguen el enunciado,
formado por las hip
otesis y la tesis, y la demostracion. Una proposici
on no tiene el rango de teorema si no
ha sido demostrada. Sin embargo, es usual restringir la palabra teorema s olo a aquellas proposiciones
con cierta importancia dentro del desarrollo matem atico que se est
e realizando, a pesar de que, como

C
 I (  ) ag. 11
P
 T EMA 1. C ON JU NTO S Y PRO POS IC IONE S

he dicho, todas ellas seran teoremas. Incluso si dichos resultados tienen bastante importancia, suelen
acompa~ narse esos teoremas con el de uno o m as matem aticos que lo establecieron o con alguna
frase que describe su contenido; as por ejemplo, recordar as el teorema de Pit
agoras o tambien el
teorema de los incrementos nitos.

Algunas proposiciones se deducen directamente de otras, casi sin demostraci

on, en tales casos dichas
proposiciones se llaman corolarios. Por otra parte, en ocasiones, se demuestran proposiciones que
son usadas para demostrar una o m as proposiciones, y se les da el nombre de lema. El objeto de
los lemas es no desviar la atencion del lector de los pasos fundamentales en la demostraci on de
un teorema. Tampoco debemos abusar de esto. En ocasiones se oye decir: en tal sitio aparece una
demostraci
on muy cortita de tal teorema. Cuando se le hecha una mirada, vemos que hay demasiados
lemas previos.

Hablemos ahora de las demostraciones. Como has visto, en general, las proposiciones son implicacio-
nes: si es cierta la proposici
on p (hip
otesis) entonces se verica q (tesis). y que, como ya dijimos, viene
enunciada en el lenguaje de condiciones necesarias o sucientes o ambas. Se usan, b asicamente,
una de las tres siguientes posibilidades para demostrar una implicaci on:

Directamente: partimos de p y vamos usando los axiomas y los teoremas anteriores hasta llegar a q
Por el contrarrecproco: partimos de no q y del mismo modo que antes llegamos a deducir no p.
Por reduccion al absurdo: partimos de p y tambien de no q y llegamos a una proposicion falsa (se
contradice con los axiomas o teoremas anteriores). Pero no es posible llegar a una proposici on

falsa a partir de una verdadera, as que el punto de partida (p y no q) es falso, luego o bien p
otesis) es verdadera por lo que nos quedara que no q
es falso o bien no q es falso. Pero p (hip
es falsa y, por tanto que q es verdadera.

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

 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
on, signica que si
x B entonces x A. Esto es lo que debemos probar.

Si x B, entonces x A B (por la denici

on de uni
on), como A = A B, entonces x A, como
queramos probar.
 . (por el contrarrecproco)
D
Ahora negamos que B A y llegaremos a que A 6= A B. Supongamos que B no es subconjunto
de A, B 6 A, en tal caso es falso que todo elemento de B sea elemento de A, luego existe alg un
elemento z B que no est a en A: z 6 A. Pero ese elemento z estar
a en A B, ya que est
a en B, y
a en A, as que A B y A no pueden ser iguales.
no est

D  . (por reducci
on al absurdo)
Ahora partiremos de que A = A B y de que B 6 A. Con esos supuestos vemos que B 6 A y
A = A B luego B 6 A B, que se contradice con la denici
on de uni
on de conjuntos.

C
 I (  ) ag. 12
P
 T EMA 1. C ON JU NTO S Y PRO POS IC IONE S

Ejercicios

9. Demuestra la proposici on "Si A = A B entonces A B" de tres formas diferentes: directamente, por el
contrarrecproco y por reducci
on al absurdo.

Conocimientos.

1. Conocer los smbolos del lenguaje de los conjuntos (,, . . .)

2. Dar conjuntos por extensi
on y por comprensi
on.
3. Conocer los signicados de proposiciones verdaderas, falsas e indecidibles.
4. Saber cuando, en general, una implicaci
on es verdadera.
5. Conocer los siguientes t
erminos y distinguirlos: condici
on necesaria, condici
on suciente, condiciones equivalentes.
6. Conocer los siguientes t on recproca y contrarrecproca.
erminos y distinguirlos: implicaci
7. Conocer la relaci
on que existe entre la condici
on que dene el conjunto uni
on y las condiciones de los conjuntos
que la forman. Lo mismo para la intersecci
on y la diferencia de conjuntos.
8. Negar proposiciones.
9. Conocer los siguientes t
erminos y distinguirlos: axioma, denici
on, proposici
on, teorema, lema y corolario
10. Reconocer en una proposici
on (teorema) cuales son las hip
otesis y cuales las tesis.
11. Reconocer y saber utilizar las demostraciones directa, por el contrarrecproco y por reducci
on al absurdo.

Procedimientos.

1. Niega las siguientes proposiciones:

(a) Para cada x T se verica x2 > 5.

(b) Existe r 0 para el que
r = 0.

(c) Dado x R se verica que x es positivo.
+

(d) Hay un n
umero racional q que verica que q
/ R.
(e) Existen n
umeros pares n para los que n3 + 1 es par.
(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 (  ) ag. 13
P
 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| < .
x
(e) Para todo x R y n N existe > 0 tal que   < .
 
n
2. Para cada una de las siguientes implicaciones

se~nala cual es la condicion necesaria y para cual,

se~nala cual es la condicion suciente y para cual,
escribe la implicacion recproca,
y escribe contrarrecproca.

(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.
n
(c) es un n
umero natural si y s
olo si n es par.
2
3. Demuestra la proposici on "Si A = A \ B entonces A B = " de tres formas diferentes: directamente, por el
contrarrecproco y por reducci
on al absurdo.

C
 I (  ) ag. 14
P