Parte I

Teora de conjuntos
1
Captulo 1
Conjuntos y subconjuntos
En una demostraci on la meta es concluir que B es una consecuencia logica de haber supuesto
que A es verdadero.
1.1 Denicion intuitiva y denicion de conjunto
Denici on intuitiva de conjunto: Un conjunto es una colecci on o clase de objetos
bien denidos. Estos objetos se llaman elementos o miembros del conjunto. Los
conjuntos se estudian como entidades abstractas.
Los conjuntos pueden ser nitos o innitos. Denici on de conjunto: Los conjuntos
pueden quedar determinados de dos distintas formas.
Por extension: Por la efectiva enumeraci on de todos sus elementos.
A = {1, 3, 7, 9}
Por comprension o forma constructiva: El conjunto se dene enunciando
propiedades que deben tener sus elementos.
B = {x | x es par}
Notaci on: Los conjuntos se denotan por letras may usculas. A, B, X, Y ... y sus
elementos se representan por letras min usculas. a, b, x, y... Si un objeto x es elemento
de un conjunto A se escribe x A por el contrario si un objeto x no es elemento de
un conjunto A se denota por x / A
1.2 Igualdad de conjuntos
El conjunto A es igual al conjunto B si ambos tienen los mismos elementos, es decir,
si cada elemento que pertenece al conjunto A tambien pertenece al conjunto B y si
cada elemento que pertenece al conjunto B tambien pertenece al conjunto A.
A = B si x, x A x B y x, x B x A
por lo que:
x , x A x B
El orden o la repetici on de los elementos no cambia un conjunto.
Es decir, los conjuntos
{x, y, z} {z, y, x, z} {y, z, y, x} {z, x, z, y}
3
4 CAP

ITULO 1. CONJUNTOS Y SUBCONJUNTOS

son iguales entre si.
Teniendo en cuenta la denici on de subconjunto se puede dar otra denicion de igual-
dad de conjuntos. Dos cojuntos A y B son iguales si A es subconjunto de B y B es
subconjunto de A.
A = B A B B A
Tabla de verdad igualdad de conjuntos A B
A = B x A x B (x A) (x B) (A = B) (x A x B)
V V V V V
V V F F F
V F V F F
F V V V V
V F F V V
F V F F V
F F V F V
F F F V V
1.3 Conjunto vaco
Conjunto vaco o conjunto nulo es aquel que no tiene ning un elemento, este con-
junto se denota por .
A = {},
tambien se puede denotar como
= {x | x = x}
ya que se da por sentado que todo objeto es igual a si mismo. Se deben tener en cuenta
ciertos aspectos que pueden inducir a error, observemos los siguientes tres conjuntos
, {0}, {}
cada uno es diferente de los otros, el conjunto no contiene elementos, es el conjunto
vaco; el conjunto {0} contiene un elemento, el n umero cero; el conjunto {} tiene
tambien un elemento que es el conjunto vaco; es un conjunto de conjuntos.
El es subconjunto propio de cualquier conjunto; algunos textos no consideran el
conjunto vaco como subconjunto propio por lo que los conjuntos de un solo elemento
no tendran subconjunto propio.
Si A entonces A = ya que es subconjunto de todo conjunto; en particular
A; como por hip otesis A y por la denici on de igualdad de conjuntos
A = B A B B A
A = A A
tenemos que si A entonces A = .
1.4 Subconjuntos
Si todo elemento de un conjunto A es tambien elemento de un conjunto B entonces se
dice que A es subconjunto de B o que A est a contenido en B. Se denota por A B
A B si , x A x B
1.5. CONJUNTOS COMPARABLES 5
Tabla de verdad inclusi on conjuntos A B
A B x A x B (x A) (x B) (A B) (x A x B)
V V V V V
V V F F F
V F V V V
F V V V V
V F F V V
F V F F V
F F V V V
F F F V V
N otese que A no es subconjunto de B si existe al menos en A un elemento que no est a
en B.
A B x A x B (x A) (x B) (A B) (x A x B)
V V V F F
Con esta denici on de subconjunto se puede dar otra denici on de igualdad de
conjuntos, (vease Igualdad de conjutos). Si A es subconjunto de B tambien se puede
escribir
B A
que se lee como B es superconjunto de A, o B contiene a A.
1.4.1 Subconjunto propio
Dado que todo conjunto A es subconjunto de si mismo, se dice que un conjunto B es
subconjunto propio de A si
A B B = A
Algunos textos B es subconjunto de A se denota por:
B A
y B es subconjunto propio de A se denota por:
B A
seguiremos la notaci on que no distingue entre subconjunto y subconjunto propio.
A modo de curiosidad veremos que los conjuntos que poseen un solo elemento tienen
solamente al conjunto vaco como subconjunto propio.
1.5 Conjuntos comparables
Dos conjuntos A y B se dicen comparables si
A B B A
por denici on de inclusi on de conjuntos A y B son comparables si
(x A x B) ( x B x A)
6 CAP

ITULO 1. CONJUNTOS Y SUBCONJUNTOS

Tabla de verdad de conjuntos comparables
Proposicion A Proposicion B
(A B) (x A x B) (B A) (x B x A) Proposicion A Proposicion B
V V V
V F V
F V V
F F F
Dos conjuntos no son comparables si
A B B A
Por denici on de subconjunto, un conjunto A y un conjunto B no son comparables si
x A | x B x B | x A
Ejemplo:
A = {x, 1, 2, b} B = {x, 1, 5, b}
x A | x / B x B | x / A
Por denici on de igualdad dos conjuntos iguales no son comparables ya que no
x A | xA
Los conjuntos no comparables pueden ser disjuntos o no disjuntos ya que como se
vera m as adelante la denicion de conjunto disjuntos podra consederarse como una
denici on de conjuntos no comparables ampliada.
Tabla de verdad de conjuntos no comparables
Proposicion A Proposicion B
(A B) (x A x B) (B A) (x B x A) Proposicion A Proposicion B
V V V
V F F
F V F
F F F
Teorema: Si A B B C A C
Demostraci on: Si A B por denici on de inclusion de conjuntos x A x B
y como por hip otesis B C esto implica que x B x C por lo que x A
x C con lo cual A B c.q.d.
1.6 Conjunto de conjuntos
Los elementos de un conjunto pueden ser a su vez conjuntos, a estos se les llaman
familia o calse de conjuntos y para designarlos se utilizan las letras
A, B...
y las may usculas se reservan para designar sus elementos. Por ejemplo, en geometra
es corriente hablar de familias de rectas y familias de curvas, pues rectas y curvas son
a su vez conjuntos de puntos.
Ejemplo:
X = {A, B, C}; X = {{1, 3, 7, 9}, {2, 4, 6, 8}, {x, y, z}}
siendo
A = {1, 3, 7, 9} B = {2, 4, 6, 8} C = {x, y, z}
1.7. CONJUNTO UNIVERSAL 7
En teora es posible que un conjunto tenga entre sus elementos algunos que sean a su
vez conjuntos y otros que no lo sean, aunque este caso es raro en teora de conjuntos.
Ejemplo: X = {10, {A}, {B}, x} no es una clase de conjuntos ya que unos elementos
son conjuntos y otros no lo son.
Hay una fundamental diferencia entre un elemento x y el conjunto {x}.
Veamos un ejemplo.
A = {x |2x = 6} b = 3
El n umero 3 es un elemento de A pero no es igual a A ya que este es un conjunto que
consta de un unico elemento A = {3}
1.7 Conjunto universal
En teora de conjuntos todo conjunto es subconjunto de un mismo conjunto dado, este
conjunto es el llamado conjunto universal o universo del discurso y se denotar a por U.
1.8 Conjunto potencia
La familia de todos los subconjuntos de un conjunto S se llama conjunto potencia
de S y se denota por
2
S
Ejemplos:
M = {a, b} 2
M
= {{a, b}, {a}, {b}, }
T = {4, 7, 8} 2
T
= {T, {4, 7}, {4, 8}, {7, 8}, {4}, {7}, {8}, }
Si un conjunto S es nito, digamos que S tenga n elementos, entonces el conjunto
potencia de S tendr a 2
n
elementos.
Algunas propiedades:
S 2
S
{S} 2
S
1.9 Conjuntos disjuntos
Si dos conjuntos A y B no tienen elementos comunes, si ning un elemento de A est a en
B y ning un elemento de B est a en A, se dice que A y B son disjuntos.
A y B son disjuntos si:
x A x / B x B x / A
Atendiendo a la denici on dada anteriormente de conjuntos no comparables, vemos
que basta con un elemento de un conjunto A que no pertenezca al un conjunto B y
un elemento del conjunto B que no pertenezca al conjunto A, para que A y B no sean
comparables, por lo que por denici on de conjuntos disjuntos vemos que estos no son
comparables.
1.10 Diagramas de Venn-Euler
1.11 Diagramas lineales
Una manera de ilustrar las relaciones entre conjuntos es el empleo de los llamados
diagramas lineales; para su desarrollo se tendr a en cuenta si los conjuntos son o no
comparables. Si tenemos un conjunto S y otro A tal que S A diremos que S est a
contenido en A o S es subconjunto de A o S es comparable con A. El superconjunto A
8 CAP

ITULO 1. CONJUNTOS Y SUBCONJUNTOS

se colocar a para su representaci on en el diagrama a un nivel superior al subconjunto
S y se conectar an por un segmento. As siguiendo las lineas conectoras de forma
ascendente obtendremos los superconjuntos de cada conjunto, y siguiendolas de forma
descendente, los subconjuntos o conjuntos comparables.
Los conjuntos no comparables no est an conectados por ninguna lnea y este tipo de
diagramas no ofrece informaci on sobre si este tipo de conjuntos son o no disjuntos.
Parte II
Teora axiomatica de
conjuntos
9
11
Desarrollo axiomatico de la teora de conjuntos En un desarrollo axiom atico
de una rama de las matem aticas, se comienza por:
1. Terminos no denidos
2. Relaciones no denidas
3. Axiomas que relacionan los terminos no denidos y las relaciones no denidas.
Entonces se desarrollan teoremas basado en los teoremas y axiomas.
En este caso:
1. Elemento y conjunto son terminos no denidos.
2. Pertenencia de un elemento a un conjunto es relaci on no denida.
3. Dos de los axiomas son:
Axioma de extensi on: Dos conjuntos A y B son iguales si:
A = B si x, x A x B
A = B A B B A
Axoma de especicacion: Sea P(x) y sea A un conjunto, existe entonces un
conjunto
B = {a | a A , P(a) es cierto}
P(x) es un enunciado en una variable para la cual P(a) es verdadero o falso con a A.
12
Parte III
ARITM

ETICA
13
15
Sistema de numeracion: Es el conjunto de elementos, (smbolos o n umeros)
operaciones y relaciones que por intermedio de reglas propias permite establecer el
papel de tales relaciones y operaciones.
Un sistema de numeraci on puede representarse como:
N = (S, R)
N es el sistema de numeraci on considerado (decimal, binario...)
S el conjunto de smbolos permitidos en el sistema.
R son las reglas que nos indican que n umeros son v alidos en el sistema y cuales no.
Notaci on posicional: Los sistemas de numeraci on de notaci on posicional son aque-
llos en los que cada dgito posee un valor que depende de su posici on relativa, la cual
viene determinada por la base, siendo esta el n umero de unidades que dene el orden
de magnitud en que se ve incrementada cada una de las unidades de orden inmedi-
ato superior que componen el n umero. Es tambien la cantidad de smbolos presentes
en dicho sistema. Si un sistema de numeraci on posicional tiene base b signica que
disponemos de b smbolos diferentes para escribir los n umeros, y que b unidades for-
man una unidad de orden superior.
Teorema fundamental de la numeracion: Este teorema establece la forma gen-
eral de construir n umeros en un sistema de numeraci on posicional. Denimos:
N n umero v alido en el sistema de numeraci on.
b base del sistema de numeracion. N umero de smbolos permitidos en el sistema.
d
i
un smbolo cualquiera de los permitidos en el sistema de numeraci on.
n n umero de dgitos de la parte entera.
, coma fraccionaria.
k n umero de digitos de la parte digital.
La f ormula general para construir un n umero N, con un n umero nito de decimales,
en un sistema de numeraci on posicional de base b es la siguiente:
N = d
n
d
(n1)
...d
(nn)
, d
1
...d
k
=
d
n
b
n
+d
(n1)
b
(n1)
+... +d
(nn)
b
(nn)
+d
1
b
1
+... +d
k
b
k
=
N =
n

i=k
= d
i
b
i
Ejemplo en sistema decimal:
7213

695
N =
4

i=3
= 5 10
3
+ 9 10
2
+ 6 10
1
+ 3 10
0
+ 1 10
1
+ 2 10
2
+ 7 10
3
Principios del sistema de numeraci on posicional:
Es aditivo. El valor que se representa en un n umero equivale a la suma de las
cifras considerando su valor de posicion. Esto hace que el n umero tambien se
pueda escribir como suma de sus unidades de diferente orden.
Es multiplicativo. Cada una de las cifras del n umero es un factor que multi-
plica a la potencia de la base.
Es posicional. El valor de las cifras en el n umero es relativo, depende de su
lugar de posici on en el mismo.
16
Parte IV
DEMOSTRACIONES
17
19
Denici on: Una demostraci on es un metodo para comunicar una verdad matem atica
a alguien quen conoce el lenguaje matem atico Una demostraci on es un argumento con-
viencente expresado en el lenguaje de las matem aticas. Dadas dos proposicones A y
B, cada una de las cuales puede ser verdadero o falso, un problema de interes funda-
mental en matem aticas es demostrar que si A es verdadero entonces B es verdadero.
Una demostraci on es un metodo formal para realizar esta tarea. La forma particular
tanto de A como de B puede indicar a menudo el camino a seguir.
Hacer y enumerar demostraciones mediante identicacion de las tecnicas que se
han utilizado en ellas.
Desarrollar y comunicar demostraciones propias de verdades matem aticas cono-
cidas. (Seleccionar correctamente las tecnicas de demostraci on).
Descubrir y comunicar verdades matem aticas anteriormente desconocidas.
Se hace necesario la necesidad de una demostraci on cuando las proposiciones no son
obvias:
Ejemplos de proposiciones:
1 = 0
3X = 5 y y = 1
x no es > 0
existe un angulo t tal que cos(t) = t
La primera es falsa, la segunda y tercera puede ser verdadera o falsa pero no es tan
obvio que la proposic on cuarta sea siempre verdadera, por lo tanto, es necesario alg un
metodo para demostrar que ciertas proposiciones son verdaderas. Para poder hacer
una demostraci on se necesita saber exactamente lo que signica demostrar que si
la proposicion A es verdadera entonces la proposici on B es tambien verdadera. La
proposici on A se llama hip otesis y el postulado B se llama conclusi on.
si A es verdadero entonces B es verdadero
si A entonces B
A B
hip otesis conclusi on
Las condiciones bajo las cuales A B es verdadero depender an de si A y B
son verdadero. Hay cuatro posibles casos:
1. A es verdadero y B es verdadero.
2. A es verdadero y B es falso.
3. A es falso y B es verdadero.
4. A es falso y B es falso.
Se deben examinar todas las posibles valores de verdad para las proposiciones in-
dividuales.
Tabla de verdad para A B .
Una tabla de verdad es un metodo para determinar cuando una proposici on compleja
A B es verdadera, debiendo examinar todos los posibles valores de la verdad de
las proposiciones individuales. El condicional material es un operador que opera
sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de falso s olo cuando la primera proposici on es verdadera y la se-
gunda falsa, y verdadero en cualquier otro caso. La tabla de verdad del condicional
material es la siguiente:
20
A B A B
verdadero verdadero verdadero
verdadero falso falso
falso verdadero verdadero
falso falso verdadero
En una demostracion la meta es concluir que B es una consecuencia
l ogica de haber supuesto que A es verdadero. Por lo que si la proposicion B
o conclusi on son verdaderas nos es indiferente la evaluaci on de la proposi-
cion A ya que la conclusi on l ogica sera verdadera. Por lo tanto la de-
mostraci on no es el intento de vericar si A y B son verdaderos. Si A es
verdadero entonces B es verdadero tambien; si B es verdadero entonces nada se dice
sobre A. Finalmente habr a que descubrir la relaci on entre A y B.
Explicaci on tabla verdad condici on material: Si suponemos que la proposicion
B es una consecuencia l ogica de suponer la proposici on A verdadera, que en denitiva,
esta es la meta de una demostraci on. Se no podran dar dos casos:
Que la proposici on B sea falsa. Recordemos que no nos interesa que la proposici on
sea falsa individualmente sino que sea falsa como consecuencia de que la proposici on
A sea a su vez verdadera.
Pongamos un ejemplo: Si corres entonces llegas antes.
La hip otesis Si corres en ese caso corresponde a la Ay la damos por verdadera.
La conclusi on llegas antes en este caso corresponde a la B y la damos por
falsa.
Si damos la hip otesis por verdadera y la conclusi on por falsa, entonces corro y
no llego antes, con lo cual toda la consecuencia l ogica es mentira.
Que la proposici on B sea verdadera, por lo que si la hip otesis es verdadera y la
conclusi on tambien la consecuencia l ogica ser a tambien verdadera.
Si la proposici on A es falsa, ya no pasamos a evaluar la proposici on B, ya que
esta sera siempre verdadera.
1.11.1 Ejercicios
Si usted est a tratando de demostrar que A B es verdadero y sabe que la
proposicion B es falsa, quiere demostrar que la proposici on B es verdadera o
falsa?.
Soluci on: La una posibilidad de que A B sea verdadera, es que la
proposicion A sea falsa como la proposici on B.
Utilizando la tabla de laverdad A B evalue:
Si 2 > 7 entonces 1 > 3
Si 2 < 7 entonces 1 < 3
Si x = 3 entonces 1 < 2
Si x = 3 entonces 1 > 2
Soluci on:
21
2 > 7 1 > 3 A B
falso falso falso
2 < 7 1 < 3 A B
verdad verdad verdad
x = 3 1 < 2 A B
verdad verdad verdad
falso verdad verdad
x = 3 1 > 2 A B
verdad falso falso
falso falso verdad
Desarrolle la tabla de la verdad para las siguientes proposiciones:
A (B C)
(A B) C
Soluci on:
A B C (B C) A (B C)
V V V V V
V V F F F
V F V V V
F V V V V
V F F V V
F V F F V
F F V V V
F F F V V
A B C (A B) (A B) C
V V V V V
V V F V F
V F V F V
F V V V V
V F F F V
F V F V F
F F V V V
F F F V F
pooooooooooooooooooooooopo