Documente Academic
Documente Profesional
Documente Cultură
y
Teora de Conjuntos
1.
1.1.
Rudimentos de Lgica
El mtodo axiomtico
1.2.
Proposiciones
V
V
V
V
V
V
F
F
F
V
F
V
V
F
V
F
F
V
F
V
1.3.
Predicados
Usualmente los enunciados simples discutidos hasta ahora no son suficientes 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 acotadas 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 trminos. 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 renombrarse 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 variable 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)
Con ayuda de estas frmulas (y notando que A A) es fcil escribir
la negacin de cualquier frmula con cuantificadores. Por ejemplo
((x)(y)(z)F(x, y, z)) (x)(y)(z)(F(x, y, z))
1.4.
Demostraciones
2.
2.1.
Conjuntos
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 ;
8
A (A B) = A.
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;
2.2.
A A = .
Producto Cartesiano
2.3.
Aplicaciones
10
f |A (a) = f (a), a A,
11
g : Y Z,
2.4.
Relaciones de Equivalencia
x = X =
xX
xX/R
13
x.
(2.1)
y por tanto x = y.
Por ltimo, se tiene que
x y =
dados x, y X entonces
x = y
Entonces
En efecto, si x y , , entonces existe un elemento z x y.
z x y z y. Usando la propiedad simtrica, la propiedad transitiva
pR (x) = x
14
x X.