Conjuntos: Dos Conjuntos Son Iguales Si Tienen Los Mismos Elementos
Conjuntos: Dos Conjuntos Son Iguales Si Tienen Los Mismos Elementos
Conjuntos: Dos Conjuntos Son Iguales Si Tienen Los Mismos Elementos
Esta definición tiene algunos problemas cuando los conjuntos son muy grandes, pero lo
importante es que cada conjunto está determinado por sus elementos:
Ejemplos.
Aunque los conjuntos pueden ser muy heterogéneos, los conjuntos mas útiles están formados por
elementos con alguna propiedad en común, algo como
Ejemplos:
• El conjunto de las canciones de los Beatles = {x /x es canción y x fue escrita por los Beatles}
Un conjunto vacío es un conjunto que no tiene elementos, así que todos los conjuntos vacíos
son iguales, lo denotamos por {} o por ∅.
Ejemplos.
• El conjunto de todos los perros voladores = ∅ = El conjunto de los triángulos con 4 lados.
• ∅ = {} ≠ {{}} = {∅}
A ⊂ B ⇔ ∀x, x ∈ A → x ∈ B
A ⊄ B ⇔ ∃x, x ∈ A x ∉ B
Ejemplos.
Entonces A ⊂ B , B ⊄ A , B ⊄ C , C ⊂ B , A ⊄ C , C ⊄ A .
• Las rectas y los planos son conjuntos de puntos. Los puntos son elementos del plano mientras que
las rectas son subconjuntos del plano.
Afirmación. A = B si y solo si A ⊂ B y B ⊂ A
def
Demostración. A = B ⇔ A y B tienen los mismos elementos ⇔
def
⇔ ∀x (x ∈ A → x ∈ B) ∧ (x ∈ B → x ∈ A) ⇔ A⊂ByB⊂A □
A U B = { x / x ∈ A ∨ x ∈ B}
La intersección de dos conjuntos A y B es el conjunto AUB formado por los elementos de A y los
elementos de B, es decir
A ∩ B = { x / x ∈ A ∧ x ∈ B}
La diferencia entre dos conjuntos A y B es el conjunto A-B formado por los elementos de A que
no son elementos de B.
A – B = { x / x ∈A ∧ x ∉B }
2. A ∩B = B ∩ A La intersección es conmutativa
Demostración.
3. Hay que ver que (AUB) U C y A U (BUC) tienen los mismos elementos:
x ∈ (AUB) U C ⇔ x ∈ AUB ∨ x ∈ C ⇔ (x ∈ A ∨ x ∈ B) ∨ x ∈ C ⇔
⇔ x ∈ A ∨ (x ∈ B ∨ x ∈ C) ⇔ x ∈ A ∨ x ∈ (BUC) ⇔ x ∈ A U (BUC) □
x ∈ A ∩ (BUC) ⇔ x ∈ A ∧ x ∈ (BUC) ⇔ x ∈ A ∧ (x ∈ B ∨ x ∈ C) ⇔
⇔ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ C) ⇔ x ∈ (A∩B) U (A∩C) □
El producto cartesiano de dos conjuntos A y B es el conjunto AxB cuyos elementos son todas
las parejas (a,b) formadas por un elemento a de A y un elemento b de B:
A x B = { (x,y) / x ∈ A , y ∈ B }
Ejemplos.
1. ¿Es verdad que AUB = AUC ⇔ B=C ? ¿Y que A∩B = A∩C ⇔ B=C?
Demuéstralo o da contraejemplos.
5. Encuentra 3 conjuntos A, B y C tales que A∩B, A∩C y B∩C no sean vacíos, pero A∩B∩C = ∅.
Ac = {x ∈ U / x ∉ A} = U - A
Ojo: aunque Ac depende del conjunto universal U, este no se escribe si se adivina del contexto.
Ejemplos.
• Si pensamos en el universo A de todos los animales, el conjunto de los animales que vuelan es
Pc = {n ∈ N / n no es primo}
Las relaciones entre la unión, la intersección y el complemento están dadas por las
Leyes de De Morgan:
1. (AUB)c = Ac ∩ Bc
2. (A∩B)c = Ac U Bc
Demostración.
2. Ejercicio.
Ejercicios.
Conjuntos de conjuntos.
• El conjunto formado por todas las rectas en el plano (este conjunto no es el plano, que es un
conjunto de puntos, sino un conjunto cuyos elementos son las rectas!)
Si A es cualquier conjunto, el conjunto potencia de A, es el conjunto cuyos elementos son todos
los subconjuntos de A, y es denotado por 2A.
Ejemplos.
Familias de conjuntos.
A veces es necesario considerar familias grandes de conjuntos y hacer operaciones con ellos,
como intersectarlos o unirlos todos.
Ejemplos.
G = {g / g es un grupo de la facultad}
c
Ug = el conjunto de alumnos que toman todos sus cursos en la tarde
g∈M
∩ g = el conjunto de todos los alumnos que llevan todas sus clases con a.
a∈g
Ejercicios.
Conjuntos y lógica.
Todas las matemáticas modernas están construidas de conjuntos, que están íntimamente ligados
a la lógica. Si a cada conjunto A le asociamos la proposición
P(A)= x es elemento de A
entonces las operaciones lógicas corresponden a operaciones con conjuntos:
= x es elemento de A∩B
= P(A∩B)
= x es elemento de A∪B
= P(A∪B)
• ┐P(A) = x no es elemento de A
= x es elemento de AC
= P(AC )
= A⊂B
Sea V el conjunto cuyos elementos son todos los conjuntos que no son elementos de si mismos.
Entonces podemos preguntarnos si V es elemento de sí mismo, o si no lo es.
Esta es la paradoja de Russell, que muestra que no puede existir un “conjunto universal” que
contenga a todos los conjuntos y que es necesario definir a los conjuntos de manera mucho mas
cuidadosa. Pero también siembra la duda de que los conjuntos, aun definidos con mucho mas
cuidado, no lleven a otras contradicciones lógicas, y que las matemáticas, que están basadas en
los conjuntos, no vayan a ser ilógicas En los últimos 100 años se ha trabajado muchísimo para
mostrar que los conjuntos definidos cuidadosamente no llevan a ninguna contradicción lógica
(esto se expresa diciendo que la teoría de conjuntos es consistente).
No sólo los conjuntos definidos de manera arbitraria llevan a contradicciones lógicas, las
proposiciones definidas de manera arbitraria también. Considerar por ejemplo la afirmación:
Observar que esa afirmación no puede ser cierta (porque entonces sería falsa!) y tampoco puede
ser falsa (porque entonces sería cierta!). Así que no cualquier afirmación es una proposición (algo
que es o cierto o falso, pero no ambas o ninguna), y tenemos que tener cuidado en que clase de
afirmaciones permitimos.
Axiomas.
Definir lo que son los conjuntos y los elementos con precisión no es nada fácil (es como tratar de
definir lo que son los puntos y las rectas), pero resulta que tampoco es necesario, porque lo que
importa realmente son sus propiedades.
Para estudiar conjuntos no necesitamos saber exactamente que son, siempre y cuando sepamos
cuales son sus propiedades fundamentales, que hacen que se comporten como los conjuntos que
conocemos. Una lista de estas propiedades, a partir de las cuales solo necesitamos usar la lógica
para averiguar todas las demás, es un sistema axiomático para los conjuntos.
Algunos axiomas de los conjuntos (faltan muchos mas):
• Existe un conjunto que no tiene elementos.
• Dos conjuntos son iguales si y solo si tienen los mismos elementos.
• Ningún conjunto es elemento de sí mismo.
• Si A es un conjunto y P es una propiedad entonces {x∈A / P(x)} también es un conjunto.
• Si A es un conjunto entonces existe un conjunto cuyos elementos son los subconjuntos de
A.
Ejercicios de repaso.