Académique Documents
Professionnel Documents
Culture Documents
La Teoría de Conjuntos es una división de las matemáticas que estudia las propiedades
y relaciones de 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.
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 .
Subconjuntos y Superconjuntos
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
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 ∩
entonces:
Partición
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:
Complemento
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:
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. Ley de De Morgan
14. Ley de De Morgan
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:
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:
Hemos demostrado que los dominios son iguales.
También vemos que tienen el mismo codominio, sólo nos queda ver que
: