Teoría de conjuntos

De Wikipedia, la enciclopedia libre

Saltar a navegación, búsqueda

Diagrama de Venn que muestra un conjunto A contenido en otro

conjunto U y su complemento

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.

Se entiende por conjunto a la agrupación en un todo de objetos

bien diferenciados de nuestra intuición o nuestro pensamiento.
Georg 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
Contenido

[ocultar]

• 1 Notación
• 2 Igualdad entre conjuntos. Subconjuntos y Superconjuntos
o 2.1 Igualdad de conjuntos
o 2.2 Subconjuntos y Superconjuntos
• 3 Operaciones con conjuntos
o 3.1 Unión ∪
o 3.2 Intersección ∩
 3.2.1 Partición
o 3.3 Diferencia
o 3.4 Complemento
o 3.5 Diferencia simétrica
• 4 Álgebra de conjuntos
o 4.1 Producto cartesiano de conjuntos o producto cruz
o 4.2 Cuantificadores
o 4.3 Funciones
 • 5 Teoría axiomática de conjuntos
• 6 Véase también
• 7 Bibliografía

• 8 Enlaces externos

[editar] Notación

Usualmente los conjuntos se representan con una letra

mayúscula: A, B, K,...

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: a, b, k,...

De esta manera, si es un conjunto, y todos sus

elementos, es común escribir:

para definir a tal conjunto A. Esta notación empleada para definir

al conjunto A se llama notación por extensión.

Para representar que un elemento pertenece a un conjunto A,

escribimos (léase "x en A", "x pertenece a A" o bien "x es un
elemento de A"). La negación de se escribe (léase "
no pertenece a A").

El conjunto universal, que representaremos como U (u

mayúscula), es el conjunto de todas las cosas sobre las que
estemos tratando. Así, si hablamos de números enteros entonces
U es el conjunto de los números enteros; si hablamos de
ciudades, U es el conjunto de todas las ciudades. Todos los
elementos posibles están en este conjunto:
Para todo

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:

Para todo .

Por otro lado, si todos los elementos de un conjunto A satisfacen

alguna propiedad, misma que pueda ser expresada como una
proposición , con la indeterminada , 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 puede definirse por:

donde el símbolo representa al conjunto de los números

naturales.

[editar] Igualdad entre conjuntos. Subconjuntos y

Superconjuntos

[editar] Igualdad de conjuntos

Dos conjuntos A y B se dicen iguales, lo que se escribe A = B si
constan de los mismos elementos. Es decir, si y solo si todo
elemento de A está también contenido en B y todo elemento de B
está contenido en A. En símbolos:

[editar] Subconjuntos y Superconjuntos

Diagrama de Venn que muestra

Un conjunto A se dice que es subconjunto de otro B, si cada

elemento de A es también elemento de B, y se denota . Es
decir:

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.
 [mostrar]Demostración

Si A es un subconjunto de B, decimos también que B es un

superconjunto de A, lo que se escribe . Así pues

y también que:

significando que B es superconjunto propio de A.

La relación "ser subconjunto" ⊆ es una relación de orden entre

conjuntos puesto que es reflexiva, transitiva y antisimétrica.

[mostrar]Demostración

[editar] Operaciones con conjuntos

[editar] Unión ∪

Diagrama de Venn que ilustra

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, .

De esta manera es el caso especial donde .

Ejemplo. Si tenemos los conjuntos

entonces:

[editar] Intersección ∩

Diagrama de Venn que ilustra

Los elementos comunes a A y B forman un conjunto denominado
intersección de A y B, representado por . Es decir, es
el conjunto que contiene a todos los elementos de A que al
mismo tiempo están en B:

Esto siginifica que x∈A∩B si y sólo si x∈A y x∈B.

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 se dice que son conjuntos disjuntos.

Ejemplo. Si tenemos los conjuntos

entonces:

[editar] 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:

[editar] 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.

Ejemplo. Dados los conjuntos

se tiene:
[editar] Complemento

Diagrama de Venn que ilustra el complemento de A, AC.

El complemento de un conjunto A es el conjunto de todos los

elementos que no pertenecen a A.

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:

(los números impares).

Se tiene entonces:

(los números pares).

[editar] Diferencia simétrica

Diagrama de Venn que ilustra la diferencia simétrica de A y B,

AΔB.

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 .

[editar] Álgebra de conjuntos

Sean A, B, y C conjuntos cualesquiera y U un conjunto tal que

, y entonces:

•
•
•
• Elemento neutro de la unión
• Elemento neutro de la intersección
•
• Propiedad conmutativa de la
intersección
• Propiedad conmutativa de la unión

• Propiedad de Involución.
• Propiedad asociativa de
la intersección
• Propiedad asociativa de
la unión
• Propiedad
distributiva de la intersección
•
• Propiedad
distributiva de la unión
•
•
•
•

•
•
•
•
•
•
•
•
•
•

•
•
[editar] Producto cartesiano de conjuntos o producto cruz

Artículo principal: Producto cartesiano

Un par ordenado de números es tal si los pares y

son uno mismo si y sólo si .

Dados dos conjuntos y , definimos al conjunto producto ( o

producto cartesiano) de y (en ese orden), representado por
, como el conjunto

Ejemplo
Sean y . Así,

Ya que el producto cartesiano está formado de pares ordenados

(donde el orden de los componentes importa), resulta

[editar] Cuantificadores

Los cuantificadores sirven para indicar cuantos elementos de un

conjunto dado cumplen con cierta propiedad. Tales
cuantificadores son

• El cuantificador universal, representado por .

Este cuantificador se emplea para afirmar que todos los
elementos de un conjunto cumplen con determinada
propiedad. Se escribe
 • El cuantificador existencial se usa para indicar que
al menos un elemento de un conjunto cumple con una
propiedad. Se escribe

Se definen

[editar] Funciones

Artículo principal: Función matemática

Sean y dos conjuntos. Un subconjunto , se dice

aplicación o función de en , lo que se representa por

siempre que se verifique

•
•

Si , el elemento se dice imagen de por , y el elemento

se llama antecedente de por .

Sea una función . Se emplea la notación para

representar a la imagen de por , y por tanto .

Sean las funciones y . Se define

y se dice que es el producto de composición de las funciones

y .
Sean , y tres funciones. Entonces
.

Para demostrar la igualdad tendremos que probar que tienen el

mismo dominio, el mismo codominio, y que sus imágenes son
iguales:

Hemos demostrado que los dominios son iguales.

También vemos que tienen el mismo codominio, sólo nos queda

ver que :

Por lo tanto queda probado que:

[editar] Teoría axiomática de conjuntos

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:

• La teoría de conjuntos de Zermelo-Fraenkel

• La teoría de conjuntos de Neumann-Bernays-Gödel

[editar] Véase también

• Hipótesis del continuo

• Diagrama de Venn
• Conjunto
• Intersección de conjuntos
• Unión de conjuntos
• Diferencia de conjuntos

[editar] 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.