1.1INTRODUCCIN A LA TEORA DE CONJUNTOS Un conjunto es una coleccin de objetos.

Los objetos de un conjunto se conocen como elementos del conjunto y se dice que pertenecen o que estn en el conjunto. Ejemplo: a) Los das de la semana b) Los nmeros enteros c) Las vocales del alfabeto, etc. En general usamos letras maysculas para denotar los conjuntos y letras minsculas para representar sus elementos. Para simbolizar que un objeto es elemento de un conjunto escribimos x es elemento del conjunto A o por el contrario del conjunto A.

x A

x A

que se lee

que se lee x no es elemento

Para expresar un conjunto se usan bsicamente dos maneras. La primera consiste en escribir la lista de todos los elementos, encerradas entre llaves. Por ejemplo el inciso a: A = {lunes, martes, mircoles, jueves, viernes, sbado, domingo} Esta forma es conocida con el nombre enumerativa o extensin. La segunda se obtiene al escribir entre llaves expresiones que caracterizan a los elementos del conjunto, este tipo de notacin es llamada descripcin o comprensin. Ejemplo anterior quedara: A = {das de la semana}

Tambin utilizamos una forma de notacin llamada oracin abierta, en esta aparece una variable, por ejemplo: A = { x | x sea un da de la semana} Esta variable puede tomar valores de cualquier conjunto existente. Cuando una oracin abierta esta restringida tomar valores de un conjunto en especfico, entonces la llamamos notacin para formas conjuntos por ejemplo: A = { x S | x sea un da de la semana} Lo cual se lee el conjunto A es igual a x que es elemento del conjunto S tal que x sea un da de la semana En el ejemplo anterior, S es un conjunto de remplazamiento, los elementos de este conjunto hacen que la oracin sea verdadera, formando un conjunto que llamamos conjunto de verdad. Ejemplo: P = { x B | x sea un nmero} notacin para crear conjuntos B = {3, botn,rojo,1,papel} conjunto de remplazamiento P = {3,1} conjunto de verdad Conjunto finito: Sin importar la dificultad que se presente para determinar el nmero de elementos de un conjunto, diremos que se trata de un conjunto finito. Conjunto infinito: Es aquel en que no es posible elementos. terminar de enumerar a sus

Conjunto universal (U): Es el conjunto formado por la totalidad de los elementos considerados para una determinada operacin. Es equivalente al conjunto de remplazamiento. Conjunto vaco o nulo ( ): En este tipo de conjuntos no existen elementos que satisfagan las condiciones dadas, y se representa por o bien por {}.

Conjunto equivalentes: Estos son dos conjuntos que poseen la misma cardinalidad es decir tienen el mismo nmero de elementos y puede establecerse entre ambos una correspondencia de uno a uno o biunvoca. Por ejemplo: C = {verde,blanco,rojo} relacin biunvoca F={ 5, 4, 3} Cardinalidad: Es el conteo de los elementos contenidos en un conjunto y la expresamos como n(nombre del conjunto)=totalidad de elementos. Por ejemplo: V = {1,2,4,6,9} n(V) = 5 Conjuntos iguales: Se dice que son conjuntos iguales cuando los elementos del conjunto A y B son iguales cuando cada elemento de A es a la vez elemento de B y viceversa, por lo tanto, son tambin conjuntos equivalentes. Por ejemplo: A representa al conjunto formado por las letras a, o, e, u, i. B representa al conjunto de vocales del alfabeto. A = {a,o,e,u,i} B = {a,e,i,o,u} A=B Subconjunto ( ): Es cuando todos los elementos de un conjunto A pertenecen al conjunto B, entonces decimos que a es subconjunto de B, esto se representa con el smbolo el cual significa es subconjunto de ,

AB

Para negar que es subconjunto de otro, basta con tacharlo con una diagonal lo cual significa no es subconjunto de Por ejemplo: C = {nmeros pares} D = {todos los nmeros} Entonces podemos decir que:

C D

Esta representacin se lee el conjunto C es subconjunto del conjunto D Subconjunto propio ( ): Dados dos conjuntos A y B, decimos que A es subconjunto de B, si A es subconjunto de B y existe a lo menos un elemento de B que no pertenecen al conjunto A. su smbolo es y significa es subconjunto propio de , para negarlo basta con trazar el smbolo con una diagonal quedando lo cual se lee no es subconjunto propio de . La idea de subconjunto propio nos sirve tambin para establecer entre los conjuntos las ideas de mayor que (>) y menor que (<). Por ejemplo: E = {a,b,c,d} n(E) = 4 F = {a,b,c} n(F) = 3 3<4 n(F) < n(E) E = {a,b,c,d} n(E) = 4 G = {r,s,t} n(F) = 3 n(G) < n(E)

EF

GE