Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
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
[editar] 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 .
[mostrar]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.
[mostrar]Demostración
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:
[editar] Intersección ∩
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.
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:
[editar] Complemento
Se tiene entonces:
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:
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.
Ejemplo
Sean:
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:
[editar] Cuantificadores
Los cuantificadores sirven para indicar cuantos elementos de un conjunto dado cumplen
con cierta propiedad. Tales cuantificadores son
Se definen
[editar] Funciones
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
:
[editar] Bibliografía