TEORIA DE CONJUNTOS Introduccin Los conjuntos estn relacionados con el proceso de contar y por tanto permiten resolver preguntas

que implican la nocin de cantidad. Los conceptos geomtricos y aritmticos pueden ser formulados de una manera clara y concisa en trminos de conjuntos. Desde que se introdujo formalmente la teora de conjuntos, se facilit el desarrollo de diversas ramas de la matemtica como la geometra, la aritmtica, el anlisis y la topologa. Las ideas de conjunto y elemento son ideas primitivas y se presentan en forma intuitiva. Un conjunto es una coleccin de objetos o entidades distinguibles y bien definidas. Los objetos (nmeros, letras, puntos, etc.) que constituyen un conjunto se llaman miembros o elementos del conjunto. Para denotar los conjuntos se utilizan con frecuencia letras maysculas: A, B, C; y para denotar los elementos, letras minsculas: a, b, c,; nmeros, smbolos o variables subindizadas. Ejemplo 1
a) A= {1, 3, 5, 7} significa que el conjunto A se compone de los primeros cuatro

nmeros naturales impares. b) B= {a, b, c} los elementos del conjunto B son las tres primeras letras del alfabeto. c) C= {x | x es una vocal} la notacin x | x se lee x tal que x, o sea que C es el conjunto de los x tal que x es una vocal. d) D= {x | x es un nmero natural par} el conjunto D consta de todos los naturales pares. Observaciones
a) Para indicar que un determinado objeto es miembro o elemento de un conjunto dado, se emplea el smbolo , de pertenencia. En el Ejemplo 1 se puede escribir: 5 A que se lee 5 pertenece a A, tambin a B, u C, 6 D. El smbolo se lee no pertenece a o no es el elemento de. Observe que d C, 3 D. b) En el Ejemplo 1 no surgen dudas acerca de si un miembro pertenece o no a cada uno de los conjuntos dados. Son conjuntos bien definidos pues se puede afirmar de manera inequvoca si un objeto dado es o no elemento de los conjuntos considerados. En los casos a) y b) se ha dado la lista explcita de los elementos de los conjuntos, y se dice que A y B se han determinado por extensin. En los casos c) y d) se ha establecido una regla que permite decidir si un objeto es miembro o no de los conjuntos, se dice que C y D se han determinado por compresin.

c) Los conjuntos A, B y C son finitos. El conjunto C tambin se puede determinar por extensin. El conjunto D es finito, no se puede determinar por extensin.

Relaciones entre conjuntos

Subconjunto
Un conjunto A es un subconjunto B, lo cual se escribe A B y se lee A es subconjunto de B, si todo elemento de A es elemento de B. Es decir x A x B. Ejemplo 2 a) A= {6, 9, 12} y B= {x | x es un mltiplo de tres} A B.

b) G= {x | x es un nmero natural divisible por tres} y H= {x | x es un nmero natural G H se lee G es un subconjunto de H. Observar que G H pero H G. (El smbolo se lee no es subconjunto de). c) A= {a, m, p} y B= {p, a, m} Observaciones a) En el ejemplo 2, a) A B pero A B, en este caso se dice que A es subconjunto propio de B. b) En el mismo ejemplo, c) A B y B A ya que los conjuntos son iguales. Este caso permite afirmar que todo conjunto es subconjunto de s mismo A A. A B.

Igualdad de conjuntos
Dos conjuntos A y B son iguales si todos los elementos de A pertenecen a B y todos los elementos de B pertenecen a A. O sea A= B Ejemplo 3 El conjunto C= {m, a, a, p, m} = {a, m, p} es igual a los conjuntos A y B del ordinal c) del Ejemplo 2. Esto sugiere que no interesa el orden en que se enumeran los elementos ni si stos aparecen repetidos. A B^B A

Conjuntos especiales
Conjunto vaco

Es el que carece de elementos, se simboliza por {} o por . El conjunto cuyos miembros son los hombres que viven actualmente con ms de 500 aos de edad es un ejemplo de conjunto vaco.

Conjunto universal
Cuando se habla o se piensa acerca de los conjuntos, es conveniente saber que los miembros se un conjunto dado pertenecen a alguna poblacin determinada. Por ejemplo, si se habla de conjuntos de nmeros es til establecer una poblacin general de nmeros denominada conjunto universal o conjunto de referencia, cuyos elementos son los posibles candidatos para formar los conjuntos que intervienen en una discusin determinada. El conjunto universal se denota