Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lgica Conjuntos PDF
Lgica Conjuntos PDF
y
Teora de Conjuntos
1. Rudimentos de Lgica
1.1. El mtodo axiomtico
Matemticas es el estudio de las relaciones entre ciertos objetos ideales
como nmeros, funciones y figuras geomtricas. Estos objetos no existen
en el mundo real sino que son modelos abstractos de situaciones fsicas.
Para que un sistema matemtico sirva como modelo de la realidad
debemos tener en principio un mtodo para reconocer enunciados verda-
deros, aunque en la prctica alguno puede ser difcil de demostrar. Cuando
los objetos de estudio nos son intuitivamente familiares (como los nme-
ros enteros), tomamos como axiomas ciertas propiedades intuitivamente
verdaderas e intentamos deducir a partir de ellas todas las restantes pro-
piedades del sistema. Una vez elegidos los axiomas, podemos olvidar la
interpretacin intuitiva y vemos a nuestros objetos como entidades abs-
tractas sujetas a los axiomas dados. Cuando vayamos a aplicar nuestro
sistema a un caso concreto, debemos buscar una interpretacin para cada
nocin introducida y verificar que en esta interpretacin todos los axiomas
son verdad. Entonces podemos concluir que todos los enunciados deri-
vados de los axiomas tambin son ciertos. Esta consideracin subraya la
necesidad de mantener el sistema de axiomas lo mas pequeo posible.
Dos ventajas de este mtodo axiomtico es que podemos examinar el
efecto sobre nuestro sistema de variar los axiomas y que las demostraciones
son mas trasparentes cuanto mas abstracto es el sistema. Por otra parte
cuesta algn tiempo familiarizarse con las nociones abstractas. En esto
puede ayudar el modelo mas o menos concreto en que se basa nuestro
sistema, aunque no es estrictamente necesario y ciertamente no forma
parte de la teora.
1
Estudiar estas nociones abstractas es como aprender un idioma nuevo.
Pero hay un aspecto en el que este proceso difiere de aprender un lengua-
je: Debemos razonar sobre los nuevos conceptos y esto requiere atencin
cuidadosa a la interrelacin lgica de los enunciados. Naturalmente es
cierto que an en la vida cotidiana podemos despreciar la lgica slo bajo
nuestra responsabilidad, pero la evidencia patente de lo absurdo de las
conclusiones normalmente nos fuerza a abandonar una lnea falsa de razo-
namiento. Por contra cuando seguimos una lnea abstracta de pensamiento
sobre conceptos no familiares, podemos alcanzar por razonamiento lgico
conclusiones que no podemos tamizar por el sentido comn. Por tanto es
importante estar totalmente familiarizado con las reglas lgicas que nece-
sitamos y ser conscientes de que estas reglas pueden aplicarse sin mirar el
significado actual de los enunciados a los que las aplicamos. Por esta razn
empezamos describiendo brevemente algunos conceptos y notaciones de
la lgica.
1.2. Proposiciones
Para nuestro propsito podemos suponer que cada proposicin es o
verdadera o falsa. Usamos V para verdadero y F para falso. El corres-
pondiente valor V o F se llama el valor de verdad de la proposicin.
La Lgica Proposicional describe las formas en que podemos combi-
nar enunciados (tambin llamados proposiciones) verdaderos para producir
otros enunciados verdaderos. Usualmente se consideran cinco operaciones
principales de ese tipo (llamados conectivos lgicos), aunque tcnicamente
podemos derivarlas todas de una o dos de ellas. Estas operaciones son:
Sean A y B dos enunciados (no necesariamente distintos). Definimos la
expresin A y B tambin escrito A B, y llamada la conjuncin de A y B
mediante una tabla de verdad
A V V F F
B V F V F
AB V F F F
2
Esto quiere decir que A B es verdad si lo es A o B o ambas.
A partir de cualquier proposicin podemos formar su opuesta o ne-
gacin insertando no en los lugares adecuados. En general si A es una
proposicin su negacin es no A denotada tambin A que es verdadera
precisamente cuando A es falsa. Su tabla de verdad es
A V F
A F V
3
Por ejemplo consideremos (A (A B)) B:
A V V F F
B V F V F
AB V F V V
A (A B) V F F F
(A (A B)) B V V V V
1.3. Predicados
Usualmente los enunciados simples discutidos hasta ahora no son su-
ficientes para tratar las situaciones matemticas.
Adems de las proposiciones necesitamos funciones proposicionales o
predicados. Por ejemplo x es un nmero impar (x recorre los nmeros
naturales) o x es mayor que y (x, y son nmeros naturales). En contraste
con las proposiciones, un predicado ya no es verdadero o falso sino que slo
llega a serlo cuando se sustituyen valores particulares para las variables:
2 es un nmero impar, 3 es mayor que 2.
En la prctica con frecuencia queremos decir que alguna afirmacin P(x)
sobre x es verdadera para todo x (en el universo de discurso). Denotamos
esto por
(x)P(x)
que se lee Para todo x se verifica P(x). Decimos que la variable x est
acotada por el cuantificador universal .
Para expresar que P(x) se verifica para algn x escribimos
(x)P(x)
que leemos Existe un x tal que P(x). Aqu x est acotado por el cuantificador
existencial .
Finalmente para expresar que P(x) se verifica exactamente para un slo
valor de x escribimos
(1 x)P(x)
que leemos Existe un nico x tal que P(x). Ahora x est acotado por el
cuantificador existencial especial 1 .
Cuando todas las variables que aparecen en un predicado estn aco-
tadas por cuantificadores, tenemos una proposicin. Por ejemplo en el
dominio de los nmeros naturales (x)(y)(x + y = y + x) significa que para
4
cualesquiera x, y la suma x + y es independiente del orden de los trmi-
nos. De la misma manera (x)(y)(x < y) dice que para todo x existe un
y mayor que x, es decir que no existe un nmero mximo. Ntese que si
aplicamos los cuantificadores en orden inverso obtenemos la proposicin
(y)(x)(x < y) que dice que existe un y mayor que todo x. Evidentemente
esto es falso mientras que lo anteriores verdad, as que se debe prestar
atencin al orden en que se aplican los cuantificadores.
Ntese tambin que una variable acotada puede siempre renombrar-
se sin cambiar el significado. As (x)P(x) significa exactamente lo mismo
que (y)P(y); por esta razn una variable acotada se llama tambin varia-
ble muda. Con frecuencia usamos esta libertad para evitar conflictos de
notacin.
Por ejemplo en lugar de (a = x + y) (x)(a , 2x) es preferible (a =
x + y) (z)(a , 2z). Ambas formas significan lo mismo, pero la segunda
es menos propicia a las malas interpretaciones.
Los cuantificadores universal y existencial estn relacionados por las
equivalencias siguientes, que nos permiten definir uno de ellos en trminos
del otro:
(x)P(x) (x)P(x)
(x)P(x) (x)P(x)
1.4. Demostraciones
En cualquier teora matemtica hay axiomas de los que se derivan los
teoremas mediante deducciones lgicas (demostraciones) usando tambin
los teoremas lgicos (tautologas). No es necesario ni apropiado describir
en detalle la forma que tendra una tal demostracin. La presentacin
usual de las demostraciones, lgicamente informal pero matemticamente
rigurosa, se asimila mejor estudiando diversos ejemplos. Pero puede ser
til exponer rpidamente los principales mtodos de demostracin.
Una demostracin directa usualmente tiene la forma: A es verdad y
A B es verdad, luego B es verdad. En la lgica escolstica este proceso
se llama modus ponens.
5
Es importante distinguir entre A B por un lado y A, de donde B
por otro. La distincin puede parecer pedante cuando A es verdad, pero
ignorarla puede llevar a confusin.
A partir del enunciado A B podemos formar otros tres:
El recproco o inverso B A.
El contrario A B.
El contrarrecprocoB A.
6
En la prctica aparece con frecuencia la frase si y slo si. Muchas
veces se abrevia por sii (en ingls iff ).
Tambin es til tener un signo para indicar el final de una demostracin.
Tradicionalmente se utilizaban las abreviaturas QED (quod erat demos-
trandum) o CQD (como queramos demostrar). Pero en la literatura
matemtica mas moderna se usa o .
7
conjunto es enumerando todos sus elementos, as el conjunto formado por
los elementos a, b, c, d y e lo representaremos por {a, b, c, d, e}.
A partir de un conjunto X podemos formar un nuevo conjunto P(X),
que es el formado por todos los subconjuntos de X. P(X)lo llamaremos el
conjunto potencia de X o el conjunto de las partes de X.
Lema 2.3. Para cada conjunto X se tiene X.
Dados A, B P(X), definimos
La unin de A y B como
A B = {x X/x A x B}.
La interseccin de A y B como
A B = {x X/x A y x B}.
El complementario de A en X como
AB=BA; A B = B A.
2. Propiedad Asociativa:
A (B C) = (A B) C ; A (B C) = (A B) C.
3. Propiedad de Idempotencia:
AA=A; A A = A.
4. Propiedad de Absorcin:
A (A B) = A ; A (A B) = A.
8
5. Propiedad Distributiva:
A (B C) = (A B) (A C) ; A (B C) = (A B) (A C).
6. Leyes de Morgan:
(A B) = A B ; (A B) = A B.
7.
A X = X ; A = A ; A X = A ; A = .
8.
A = A ; X = ; = X.
9.
AA=X; A A = .
1. A Y X Y.
2. (A B) Y = (A Y) (B Y).
3. (A B) Y = (A Y) (B Y).
4. A Y = (A Y).
5. (A C) (B D) = (A B) (C D).
9
2.3. Aplicaciones
Dados dos conjuntos X e Y, una relacin de X en Y es un subconjunto
del producto cartesiano X Y.
Una aplicacin de X en Y, representada por f : X Y (o tambin en
f
la forma X Y) es una relacin f X Y que verifica que x X !y Y
tal que (x, y) f .
De manera mas informal, se tiene entonces que una aplicacin de X en
Y es una regla que asocia a cada elemento x de X un nico elemento
de Y, al que llamamos f (x). En una aplicacin distinguimos los siguientes
elementos y conceptos:
Dominio de f : es el conjunto X.
Codominio de f : es el conjunto Y.
f (A) = { f (a)/a A} Y.
1. f (A B) = f (A) f (B).
2. f (A B) f (A) f (B).
3. A f ( f (A)).
10
Lema 2.7. Sea f : X Y una aplicacin y sean C, D subconjuntos de Y. Se
verifican las siguientes propiedades:
1. f (C D) = f (C) f (D).
2. f (C D) = f (C) f (D).
3. f ( f (C)) C.
1X : X X ; 1X (x) = x, x X.
iA : A , X ; iA (a) = a, a A.
f |A : A Y ; f |A (a) = f (a), a A,
pX : X Y X ; pX (x, y) = x, (x, y) X Y,
pY : X Y Y ; pY (x, y) = y, (x, y) X Y.
A lo largo del curso nos aparecern numerosos ejemplos de aplicacio-
nes.
11
Dada una aplicacin f : X Y, diremos que
f :XYy g : Y Z,
12
Propiedad Transitiva: Si (x, y) R e (y, z) R entonces (x, z) R.
Sea R XX es una relacin de equivalencia sobre X, si el par (x, y) R,
decimos que x es equivalente a y, por la relacin R y escribimos x y
xRy. Esto es
x y ( xRy) (x, y) R.
Con esta notacin las propiedades anteriores se escriben:
x x, x X .
Si x y = y x.
Si x y e y z = x z.
A lo largo del curso nos aparecern numerosos ejemplos de relaciones
de equivalencia. Destacamos ahora le siguiente ejemplo:
Ejemplo 2.10. Sea f : X X0 una aplicacin. Entonces f define la siguiente
relacin de equivalencia sobre el conjunto X
x R f y f (x) = f (y).
x , para todo x X.
Y adems [ [
x = X = x.
xX xX/R
13
Observamos tambin que, para x, y X, se tiene
x = y x y. (2.1)
pR : X X/R ; pR (x) = x x X.
14