CONJUNTOS

Un conjunto es una coleccin de objetos considerada como un objeto en s. Los objetos de la coleccin pueden ser cualquier cosa: personas, nmeros, colores, letras, figuras, etc. Cada uno de los objetos en la coleccin es un elemento o miembro del conjunto. Por ejemplo, el conjunto de los colores del arcoris es: A = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} Un conjunto suele definirse mediante una propiedad que todos sus elementos comparten. Por ejemplo, para los nmeros naturales, si consideramos la propiedad de ser un nmero primo, el conjunto de los nmeros primos es: P = {2, 3, 5, 7, 11, 13, ...} Un conjunto queda definido nicamente por sus miembros y por nada ms. En particular el orden en el que se representen estos es irrelevante. Adems, cada elemento puede aparecer de manera idntica una sola vez, esto es, no puede haber elementos totalmente idnticos repetidos. Por ejemplo: S = {Lunes, Martes, Mircoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes, Mircoles} AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta, Naranja} Los conjuntos pueden ser finitos o infinitos. El conjunto de los nmero naturales es infinito, pero el conjunto de los planetas en el Sistema Solar es finito (tiene ocho elementos). Adems, con los conjuntos pueden combinarse mediante operaciones, de manera similar a las operaciones con nmeros. Los elementos o miembros de un conjunto pueden ser cualquier cosa: nmeros, personas, letras, otros conjuntos, etc. Los conjuntos se denotan habitualmente por letras maysculas. La propiedad ms bsica de los conjuntos es el hecho de que un conjunto queda definido nicamente por sus elementos. Dos conjuntos A y B que tengan los mismos elemento son el mismo conjunto, A = B. A y B tienen los mismos elementos si cada elemento de A es elemento de B y cada elemento de B pertenece a A.

Descripcin de un conjunto.
Existen dos maneras de describir o especificar los elementos de un conjunto: Una de ellas es mediante una definicin intensiva, usando una regla o definicin semntica: A es el conjunto cuyos miembros son los cuatro primeros nmeros naturales. B es el conjunto de colores de la bandera de Mxico. La segunda manera es por extensin, esto es, listando cada miembro del conjunto. En una definicin extensiva se escriben los elementos del conjunto entre llaves: C = {4, 2, 3, 1} D = {blanco, rojo, verde} Puesto que un conjunto queda especificado nicamente por sus elementos, a menudo pueden usarse ambas definiciones, intensivas y extensivas, para especificar un mismo conjunto. Por ejemplo: "El conjunto de las vocales en espaol" = {e, u, a, i, o} En los ejemplos anteriores, se tiene que A = C y B = D Debido a la propiedad de la extensionalidad, el orden en el que se especifiquen los elementos de un conjunto es irrelevante (a diferencia de una tupla o una sucesin). Por ejemplo: C = {1, 2, 4, 3} es igual a C = {4, 2, 3, 1} D = {verde, blanco, rojo} es igual a D = {blanco, rojo, verde} Esto es as debido a que lo nico que define un conjunto son sus elementos. Por ejemplo, cada elemento de D es un elemento de D y viceversa, luego ambos son necesariamente el mismo conjunto. Del mismo modo, y a diferencia de un multiconjunto, cada elemento de un conjunto es nico: no puede repetirse o pertenecer "ms de una vez". Esto significa que, por ejemplo: {4, 3, 2, 4} = {4, 2, 3} ya que los elementos de ambos conjuntos son los mismos: el 4, el 3 y el 2.

Pertenencia
La relacin clave en un conjunto es la pertenencia: cundo es un elemento miembro de un conjunto. Si a es un miembro de B, se denota por a B, y si no lo es, se denota por a B.

Subconjuntos
Un conjunto A es subconjunto de un conjunto B si A "est contenido" dentro de B. Recprocamente, se dice que el conjunto B es un superconjunto de A cuando A es un subconjunto de B. Un conjunto A formado algunos de los elementos de otro conjunto B es un subconjunto de este ltimo:

Sean A y B dos conjuntos tal que cada elemento de A es tambin elemento de B. Entonces se dice que: A es un subconjunto de B, y se denota A B B es un superconjunto de A, y se denota B A

Otras maneras de decirlo son "A est incluido en B", "B incluye a A", etc. Ejemplos. El "conjunto de todos los hombres" es un subconjunto del "conjunto de todas las personas". {1, 3} {1, 2, 3, 4} {2, 4, 6, ...} {1, 2, 3, ..} = N ( {Nmeros pares} {Nmeros naturales} )

Subconjunto propio
Es obvio que cada elemento de un conjunto A es un elemento de A (es una afirmacin tautolgica). Por tanto se tiene el siguiente teorema: Todo conjunto A es subconjunto de s mismo. As, dados dos conjuntos A B, cabe la posibilidad de que sean iguales, A = B. Por otro lado, es posible tambin que A contenga algunos, pero no todos los elementos de B: Sea A un subconjunto de B tal que A B. Entonces se dice que A es un subconjunto propio de B, y se denota por A B. (A su vez, se dice que B es un superconjunto propio de A, B A) Todos los ejemplos de subconjunto mostrados arriba son de hecho subconjuntos propios.

Operaciones con conjuntos

Existen varias operaciones que pueden realizarse para, partiendo de ciertos conjuntos dados, obtener nuevos conjuntos.

Unin
Dos conjuntos pueden "sumarse". Dados A y B, la unin de A con B es el conjunto que contiene todos los elementos de ambos: La unin de A y B, que se denota por A B, contiene a todos los miembros que estn slo en A, a todos los miembros que estn slo en B, y todos los que estn en ambos.

Ejemplos. {1, a, 0} {2, b} = {2, b, 1, a, 0} {5, z, } {, a} = {z, , a, 5} {3, #} {3, #} = {3, #}

Interseccin
Dados dos conjuntos, estos pueden tener algunos elementos en comn. La interseccin de dos conjuntos es otro conjunto que contiene todos estos elementos comunes:

La interseccin de A y B, que se denota A B, contiene a todos los miembros de A que lo son tambin de B, y slo estos.

Si dos conjuntos no tienen miembros en comn, entonces su interseccin es el conjunto vaco, y se dicen disjuntos. Ejemplos. {1, a, 0} {2, b} = {5, z, } {, a} = {} {3, #} {3, #} = {3, #}

Diferencia de conjuntos
Los conjuntos tambin pueden "restarse". La diferencia de A menos B contiene los elementos de A que no lo son de B: La diferencia de A menos B, que se denota por A \ B ( tambin A - B), contiene todos los elementos de A que no lo sean de B, y slo estos.

Ejemplos. {1, a, 0} \ {2, b} = {1, a, 0} {5, z, } \ {, a} = {5, z} {3, #} \ {3, #} =

Complemento de un conjunto Dado el conjunto A dentro de un universo U, se llama complemento del conjunto A a todos los elementos que pertenezcan al universo y no pertenezcan a A, o bien, que estn fuera de A y dentro del universo. Es decir "A'={x:xU ; x A}".

Diferencia simtrica de conjuntos Dados los conjuntos A y B la diferencia simtrica es el conjunto de elementos de A y B, exceptuando los elementos pertenecientes a la interseccin de A y B. Es decir: "AB={x:xA ; x B ; x AB}"

Bibliografia Colaboradores de Wikipedia. Conjunto [en lnea]. Wikipedia, La enciclopedia libre, 2011 [fecha de consulta: 12 de septiembre del 2011]. Disponible en <http://es.wikipedia.org/w/index.php?title=Conjunto&oldid=49700915>. Matematica Discreta. Seymour Lipschutz, Marc Lars Lipson. The McGrawHill Companies, 2004