TEORA DE CONJUNTOS (Y LGICA)

DEFINICIN DE CONJUNTO Y PERTENENCIA

El concepto de conjunto es un concepto primitivo en matemticas. Un conjunto es simplemente una coleccin de elementos distintos. Los conjuntos estn nicamente determinados por sus miembros. As, dos conjuntos son iguales ssi tienen exactamente los mismos miembros (ste se conoce como el axioma de extensionabilidad). Definimos x A como el elemento x pertenece al conjunto A, y xA como el elemento x no pertenece al conjunto A.

SMBOLOS
COMUNES

DEFINICIONES BSICAS
Sean A, B, conjuntos, y U el universo. Igualdad de conjuntos: A = B ssi (x : xA xB). Def. unin (). A B = {x | x AxB} Def. interseccin (). A B = {x | x A x B} Def. diferencia de conjuntos: A \ B = A B = { x | x A x B} Def. Subconjunto: A B ssi (x | x A : x B). Def. Subconjunto propio: A B ssi (A B) (A B). Def. Complemento: Sea U el universo. Ac = U A Def. Partes de A (en ingls, power set of A): (A) = { B | B A}. Def. Conjuntos disyuntos: A y B con disyuntos ssi A B = Def. Coleccin: Una coleccin es un conjuntos cuyos elementos son conjuntos (ej. Partes de A). Def. Predicado caracterstico de A: Sea A = { x | P }, con P un predicado. Entonces P es el predicado caracterstico de A. Def. Particin: Un conjunto A de conjuntos es una particin de B si todo elemento de B est en uno y slo uno de los elementos de A. Def. Producto cartesiano: El producto cartesiano de A y B se denota A x B, y se tiene que A x B = { (a,b) | a A b B }

, {}: El conjunto
vaco. U: El universo de discurso (notado tambin como I). (A) : Partes de A. ~(A), A, Ac : El complemento de A.

UNIN () Y DISYUNCIN ()

| (A B B A ) simetra: A B = B A. asociatividad: (A B) C = A (B C) | (A B) C A (B C) | AAA idempotencia: A A = A | A falso A identidad de /: A = A | A verdadero verdadero cero de /: A U = U | AAB debilitamiento: A A B C | A A verdadero medio excluido: A A = U

INTERSECCIN ()Y CONJUNCIN ()

| ABBA simetra: A B = B A asociatividad: (A B) C = A (B C) | (A B) C A (B C) | AAA idempotencia: A A = A | A verdadero A identidad de /: A U = A | A falso falso cero de /: A = | ABA fortalecimiento: A B A C | A A falso contradiccin: A A =

TEOREMAS
Distribucin de / sobre / y de / sobre / : a) A (B C) = (A B) (B C) | A (B C) (A B) (B C) b) A (B C) = (A B) (B C) | A (B C) (A B) (B C)

ABCDABCD ABCDABCD ABAB=B ABAB=A A B = U (x | x U: x A x B) AB=A= B= AB=UA=U B=U A B = (x |: x A x B)

TEOREMAS (CONTINUACIN)
Leyes de De Morgan: a) (A B) = A B
c c c

RELACIN DE TEORA DE CONJUNTOS CON LGICA

Ntese que muchas propiedades de teora de conjuntos tienen mucha similitud con propiedades lgicas. Por ejemplo, considere la similitud de A A B, con A A B. De la primera podramos construir la segunda reemplazando con y con . Adems (y esto no es una casualidad), ambas son vlidas (es decir, siempre verdaderas). Definicin: Sea E[C] una expresin construida con variables de tipo conjunto (es decir, letras que denotan conjuntos), , U, ~ (complemento), y . Entonces para E[C] definimos E[L] como una expresin construida a partir de E[C] mediante el reemplazo de por falso, U por verdadero, ~ por , por , y por . Ejemplos: Si E[C] es (~A B) , E[L] es (A B) falso. Si F[C] es ~(U A), F[L] es (verdadero A). Teorema: Sean E[C] y F[C] expresiones con sus correspondientes E[L] y F[L] segn la definicin anterior. Entonces: i) E[C] = F[C] es vlida ssi E[L] F[L] es vlida ii) E[C] F[C] es vlido ssi E[L] F[L] es vlida iii) E[C] = U ssi E[L] es vlido.
[ NOTA: la prueba de este teorema es por induccin matemtica. ]

(A B) A B c c c b) (A B) = A B (A B) A B
Propiedades del complemento: (A ) = A
c c

=U Uc =
c

| (A) A | (falso) verdadero | (verdadero) falso

Unicidad de :

es nico.

Propiedades de : a) () = { } b) A (A) |A| c) |(A) | = 2 . Propiedades de la diferencia de conjuntos:

A B = A Bc AB A A =A A (B A) = A (B A) = A B A (B C) = (A B) (A C) A (B C) = (A B) (A C)
Propiedades de subconjuntos

La importancia de este teorema es que relaciona la lgica con la teora de conjuntos, mostrando su similitud estructural. Adems si por ejemplo usted ha probado (A B) c = Ac Bc , por el teorema anterior ha probado tambin (A B) A B.

EJEMPLO DE UN DIAGRAMA DE HASSE

Sea A = {1, 2, 3}. El diagrama de Hasse de ((A), ) es:
De un elemento X sale una flecha a Y ssi Y X. es un elemento minimal, y A es un elemento maximal. A

(x |: P Q) {x | P} { x | Q } Antisimetra de : A B B A A = B Reflexividad de : A A Transitividad de : A B B C A C A ABAB

{1,2}

{1,3}

{2,3}

{1}

{2}

{3}