Professional Documents
Culture Documents
La Teoría de Conjuntos es una división de las matemáticas que estudia los conjuntos. El primer
estudio formal sobre el tema fue realizado por el matemático alemán Georg Cantor, Gottlob Frege y
Julius Wilhelm Richard Dedekind en el Siglo XIX y más tarde reformulada por Zermelo.
El concepto de conjunto es intuitivo y se podría definir como una "agrupación bien definida de
objetos no repetidos y no ordenados"; así, se puede hablar de un conjunto de personas, ciudades,
gafas, lapiceros o del conjunto de objetos que hay en un momento dado encima de una mesa. Un
conjunto está bien definido si se sabe si un determinado elemento pertenece o no al conjunto. El
conjunto de los bolígrafos azules está bien definido, porque a la vista de un bolígrafo se puede
saber si es azul o no. El conjunto de las personas altas no está bien definido, porque a la vista de
una persona, no siempre se podrá decir si es alta o no, o puede haber distintas personas, que
opinen si esa persona es alta o no lo es. En el siglo XIX, según Frege, los elementos de un
conjunto se definían sólo por tal o cual propiedad. Actualmente la teoría de conjuntos está bien
definida por el sistema ZFC. Sin embargo, sigue siendo célebre la definición que publicó Cantor.
A propósito de la noción de conjunto, Dedekind dijo que se los imaginaba como un saco cerrado
que contiene cosas... de las que no sabemos nada fuera de que existen y son totalmente
determinadas. Algún tiempo después, Cantor dio a conocer su idea de conjunto: elevó su colosal
figura, describió con el brazo erguido un gesto soberbio, y dijo con la mirada perdida: 'Me imagino
un conjunto como un abismo'.
Felix Bernstein, citado en las Obras Completas de Richard Dedekind
Notación
Usualmente los conjuntos se representan con una letra mayúscula:
Llamaremos elemento, a cada uno de los objetos que forman parte de un conjunto, estos
elementos tienen carácter individual, tienen cualidades que nos permiten diferenciarlos, y cada uno
de ellos es único, no habiendo elementos duplicados o repetidos. Los representaremos con una
letra minúscula:
para definir a tal conjunto . Esta notación empleada para definir al conjunto se llama notación
por extensión.
Este conjunto universal puede mencionarse explícitamente, o puede darse por supuesto según el
contexto que estemos tratando.
Existe además, un único conjunto que no tiene elementos, al que se le llama conjunto vacío y que
se denota por , esto es: . La característica importante de este conjunto es que todos
los elementos posibles no están contenidos en él:
Por otro lado, si todos los elementos de un conjunto satisfacen alguna propiedad, misma que
pueda ser expresada como una proposición p(x), con la indeterminada x, usamos la notación por
comprensión, y se puede definir:
Lo anterior se lee "A es el conjunto de elementos x, que cumplen la propiedad p(x)". El símbolo ":"
se lee "que cumplen la propiedad" o "tal que"; este símbolo puede ser remplazado por una barra .
Por ejemplo, el conjunto:
Igualdad de conjuntos
Subconjuntos y Superconjuntos
Cabe señalar que, por definición, no se excluye la posibilidad de que si A⊆B, se cumpla A = B. Si,
siendo A un subconjunto de B, B tiene por lo menos un elemento que no pertenezca al conjunto A,
entonces decimos que es un subconjunto propio de B, lo que se representa por . Es
decir
Así, el conjunto vacío es subconjunto propio de todo conjunto (excepto de sí mismo), y todo
conjunto A es subconjunto "impropio" de sí mismo.
Demostración
y también que:
La relación "ser subconjunto" ⊆ es una relación de orden entre conjuntos puesto que es reflexiva,
transitiva y antisimétrica.
Demostración
Unión ∪
Para cada par de conjuntos A y B existe un conjunto unión de los dos, que se denota como
el cual contiene todos los elementos de A y de B.
Esto siginifica que x∈A∪B si y sólo si x∈A ó x∈B.
De manera más general, para cada conjunto S existe otro conjunto denotado como de
manera que sus elementos son todos los elementos de algún elemento de S, .
entonces:
Intersección ∩
Puede definirse también la intersección de una familia de conjuntos, de forma similar al caso
de la unión. Si dos conjuntos A y B son tales que , entonces se dice que A y B son
conjuntos disjuntos.
entonces:
Partición
Dado un conjunto A, una familia de subconjuntos X={Ai} (con cada Ai⊆ A) se denomina una
partición de A si la unión de todos ellos es A y son disjuntos dos a dos:
Diferencia
Diagramas de Venn que muestran A − B y B − A respectivamente.
Los elementos de un conjunto A que no se encuentran en otro conjunto B, forman otro conjunto
llamado diferencia de A y B, representado por . Es decir:
Esto significa que x∈A\B si y sólo si x∈A y x∉B. También se denota por A-B.
se tiene:
Complemento
Diagrama de Venn que ilustra el complemento de A, AC.
El conjunto complemento siempre lo es respecto al conjunto universal que estamos tratando, esto
es, si hablamos de números enteros, y definimos el conjunto de los números pares, el conjunto
complemento de los números pares es el formado por los números impares. Si estamos hablando
de personas, y definimos el conjunto de las personas rubias, el conjunto complementario es el de
las personas no rubias.
Ejemplo. Consideremos el universo de los números naturales {1,2,3,...}, y entendamos los puntos
suspensivos "..." como "y todos los demás". Sean los conjuntos:
Se tiene entonces:
Diferencia simétrica
La diferencia simétrica de dos conjuntos A y B viene dada por los elementos que pertenecen a
uno y sólo uno de los dos:
También se denota por .
Álgebra de conjuntos
1.
2.
3.
4. Elemento neutro de la unión
5. Elemento neutro de la intersección
6.
7. Propiedad conmutativa de la intersección
8. Propiedad conmutativa de la unión
9. Propiedad de Involución.
10. Propiedad asociativa de la intersección
11. Propiedad asociativa de la unión
12. Propiedad distributiva de la intersección
13.
14.
15. Propiedad distributiva de la unión
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
Un par ordenado de números es tal si los pares y son uno mismo si y sólo si
.
Ejemplo
Sean:
Y el producto se R por S :
Ya que el producto cartesiano está formado de pares ordenados (donde el orden de los
componentes importa), Resulta que como norma general:
Y solo se da el caso:
Cuantificadores
Los cuantificadores sirven para indicar cuantos elementos de un conjunto dado cumplen con cierta
propiedad. Tales cuantificadores son
Se definen
Funciones
•
•
Para demostrar la igualdad tendremos que probar que tienen el mismo dominio, el mismo
codominio, y que sus imágenes son iguales:
También vemos que tienen el mismo codominio, sólo nos queda ver que
:
Por lo tanto queda probado que:
La teoría de conjuntos que se discute en este artículo es hasta cierto punto elemental, y se
describe de manera informal, apelando a la intuición para determinar como se comportan los
objetos llamados "conjuntos". Este manera de razonar no está exenta de problemas, puesto que es
sencillo encontrarse con paradojas como la famosa paradoja de Russell.
La teoría de conjuntos axiomática se desarrolla para evitar estas paradojas y poder estudiar en
mayor profundidad las consecuencias de la teoría. En ella, los axiomas que verifican los conjuntos
se escogen cuidadosamente. Ejemplos conocidos son:
Véase también
Bibliografía
1. González Carlomán, Antonio (6 de 2006) (en español). Retículo completo de Boole, lógica
matemática, teoría de conjuntos (2 edición). Universidad de Oviedo. Servicio de
Publicaciones. pp. 232. ISBN 978-84-8317-534-7.
2. Cantor, Georg (11 de 2005) (en español). Fundamentos para una teoría general de
conjuntos: escritos y correspondencia selecta. Ferreirós Domínguez, José; Gómez-
Caminero, Emilio F.; Ferreirós Domínguez, José (1 edición). Editorial Crítica. pp. 320. ISBN
978-84-8432-695-3.
3. Fernández Laguna, Víctor (2 de 2004) (en español). Teoría de conjuntos elemental,
Bachillerato (2 edición). Anaya. pp. 168. ISBN 978-84-667-2614-6.
4. Climent Coloma, Joan Josep (10 de 2003) (en español). Álgebra: teoría de conjuntos y
estructuras algebraicas (2 edición). Editorial Club Universitario. pp. 512. ISBN 978-84-
8454-302-2.
5. Setó, Jordi (7 de 2002) (en español). Teoría elemental de conjuntos (1 edición). Clag S.A.
pp. 168. ISBN 978-84-921847-6-7.
6. Arrieche Alvarado, Mario (7 de 2002) (en español). Iniciación de la teoría de conjuntos, en
la formación de profesores de matemáticas (1 edición). Arrieche Alvarado, Mario Jose.
pp. 169. ISBN 978-84-607-4774-1.
7. González Carlomán, Antonio (9 de 2001) (en español). Retículo completo de Boole. Lógica
matemática teoría de conjuntos (1 edición). Universidad de Oviedo. Servicio de
Publicaciones. pp. 204. ISBN 978-84-8317-264-3.
8. Climent Coloma, Joan Josep (6 de 2001) (en español). Álgebra. Teoría de conjuntos y
estructuras algebraicas (1 edición). Editorial Club Universitario. pp. 240. ISBN 978-84-
8454-081-6.
9. Alonso Jiménez, José A; Pérez Jiménez, Mario de J.; Ruiz Reina, José L. (9 de 1998) (en
español). Teoría de conjuntos (1 edición). Ediciones La Ñ, S.L.. pp. 348. ISBN 978-84-
89524-45-3.
10. Hernández Hernández, Fernando (1998). Teoría de conjuntos. México D.F.: Sociedad
Matemática Mexicana.
11. Jonsonbaugh, Richard (2005). Matemáticas Discretas Sexta Edición. Pearson Educación,
México, 2005. ISBN 970-26-0637-3.