InicioMatematicasTeoria de Conjuntos
Matematicas · ~25,000/mes

Teoria de Conjuntos
Axiomas, Operaciones y Aplicaciones

Aprende la teoria de conjuntos: axiomas de Zermelo-Fraenkel, operaciones, cardinalidad, conjuntos infinitos y sus aplicaciones en matematicas y logica.

AprenderJugar gratis

Los Fundamentos de la Teoria de Conjuntos

La teoria de conjuntos, desarrollada por Georg Cantor en la decada de 1870, es la fundacion de toda la matematica moderna. Todo en matematicas puede definirse en terminos de conjuntos: los numeros naturales son conjuntos de conjuntos, las funciones son conjuntos de pares ordenados, el espacio 3D es el conjunto de triples (x,y,z). La teoria de conjuntos es el lenguaje universal de las matematicas.

Operaciones Fundamentales

Union A∪B
Todo de A o B
Interseccion A∩B
Solo lo de ambos
Diferencia A-B
En A pero no en B
Complemento A'
Lo que no esta en A
Producto A×B
Todos los pares (a,b)
Conjunto potencia P(A)
Todos los subconjuntos de A

Cardinalidad — El Tamaño de un Conjunto

La cardinalidad de A={1,2,3,4} es |A|=4. Para conjuntos finitos, la cardinalidad es simplemente la cantidad de elementos. Para conjuntos infinitos, Cantor descubrio que existen diferentes tamaños de infinito: el conjunto de naturales N tiene cardinalidad ℵ₀ (aleph-cero). El conjunto de reales R tiene cardinalidad 2^ℵ₀, que es estrictamente mayor. Hay mas numeros reales que naturales aunque ambos sean infinitos.

El Conjunto Potencia

El conjunto potencia P(A) contiene todos los subconjuntos de A, incluyendo el conjunto vacio y el propio A. Si A={1,2,3}: P(A)={∅,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}. Con 3 elementos, hay 2³=8 subconjuntos. En general, si |A|=n, entonces |P(A)|=2^n. El conjunto potencia de un conjunto infinito es siempre de cardinalidad mayor — este teorema de Cantor implica que hay infinitamente muchos diferentes tamaños de infinito.

La teoria de conjuntos tiene aplicaciones directas en programacion: las bases de datos SQL usan operaciones de conjuntos (UNION, INTERSECT, EXCEPT = union, interseccion, diferencia). Las consultas SELECT son esencialmente operaciones sobre conjuntos de registros. Python tiene un tipo set con las mismas operaciones. Las expresiones regulares definen conjuntos de cadenas de texto. Entender la teoria de conjuntos es entender la logica que subyace a los sistemas de informacion modernos.

Pon a prueba lo que aprendiste

Puntos: 0 | Racha: 0

Sigue aprendiendo

Practica con Math Battle!

Matematicas en batallas epicas con ranking global.

Jugar Gratis

Fundamentos de la Teoría de Conjuntos

La teoría de conjuntos, desarrollada por Georg Cantor en el siglo XIX, es el fundamento de toda la matemática moderna. Un conjunto es una colección bien definida de objetos distintos, llamados elementos. Se representa entre llaves: A = {2, 4, 6, 8} es el conjunto de los primeros cuatro números pares positivos.

Notación y Símbolos Esenciales

∈ "pertenece a"

3 ∈ {1,3,5} → sí

∉ "no pertenece"

2 ∉ {1,3,5} → no

⊆ "subconjunto"

{1,2} ⊆ {1,2,3,4}

|A| "cardinalidad"

|{a,b,c}| = 3 elementos

∅ "conjunto vacío"

Sin elementos. |∅| = 0

U "universal"

Contiene todo el universo del problema

Las 4 Operaciones con sus Diagramas

Unión A ∪ B — todo lo de A o B

A={1,2,3,4}, B={3,4,5,6} → A∪B={1,2,3,4,5,6}
|A∪B| = |A| + |B| − |A∩B| = 4+4−2 = 6

Intersección A ∩ B — solo lo que está en ambos

A={1,2,3,4}, B={3,4,5,6} → A∩B={3,4}

Diferencia A − B — lo de A que no está en B

A={1,2,3,4}, B={3,4,5,6} → A−B={1,2}  |  B−A={5,6}

Complemento Aᶜ — lo del universal que no está en A

U={1..10}, A={2,4,6,8,10} → Aᶜ={1,3,5,7,9}

Problema Tipo COMIPEMS

De 50 estudiantes: 30 hablan inglés, 20 hablan francés, 10 hablan ambos. ¿Cuántos hablan solo uno? ¿Ninguno?

Solo inglés: 30−10=20  |  Solo francés: 20−10=10
Al menos uno: 20+10+10=40  |  Ninguno: 50−40=10

15 Ejercicios

A={1,3,5}, B={2,3,4}. A∪B=?
{1,2,3,4,5}
A={1,3,5}, B={2,3,4}. A∩B=?
{3}
A={1,3,5}, B={2,3,4}. A−B=?
{1,5}
U={1..8}, A={2,4,6,8}. Aᶜ=?
{1,3,5,7}
|A|=8, |B|=6, |A∩B|=3. |A∪B|=?
11
A⊆B y B⊆A implica...
A=B
A∩∅=?
A∪∅=?
A
¿{3}⊆{1,2,3,4}?
Subconjuntos de {a,b}
∅,{a},{b},{a,b}=4
Subconjuntos de {a,b,c}
2³=8
¬(A∪B)=? (De Morgan)
Aᶜ∩Bᶜ
25 gustan helado, 18 pizza, 8 ambos. Solo helado
17
Mismo ejercicio. ¿Solo pizza?
10
Diferencia simétrica A△B=?
(A−B)∪(B−A)

La teoría de conjuntos es la base de la lógica matemática, la probabilidad y la computación. Los diagramas de Venn son una herramienta visual poderosa para resolver problemas de clasificación y conteo que aparecen en el COMIPEMS.

Teoria de conjuntos — La base del razonamiento matematico

Un conjunto es una coleccion bien definida de objetos (elementos). La teoria de conjuntos es la base formal de toda la matematica moderna y tambien de la logica computacional. Cada vez que programas una condicion IF/AND/OR, estas usando logica de conjuntos.

OperacionSimboloDefinicionEjemplo con A={1,2,3} y B={2,3,4}
UnionA ∪ BTodos los elementos que estan en A, en B, o en ambosA ∪ B = {1,2,3,4}
InterseccionA ∩ BSolo los elementos que estan tanto en A como en BA ∩ B = {2,3}
DiferenciaA - BLos elementos que estan en A pero NO en BA - B = {1}
ComplementoA' o AᶜLos elementos del universo que NO estan en ASi U={1,2,3,4,5}, A'={4,5}
SubconjuntoA ⊆ BTodos los elementos de A tambien estan en B{2,3} ⊆ {1,2,3,4} ✓

Si A = {vocales} = {a,e,i,o,u} y B = {letras del nombre "Mario"} = {m,a,r,i,o}, ¿cual es A ∩ B?

A ∩ B = elementos en AMBOS conjuntos. A tiene {a,e,i,o,u} y B tiene {m,a,r,i,o}. Los que aparecen en ambos son: a, i, o. Por lo tanto A ∩ B = {a,i,o}. La e y la u son vocales pero no estan en "Mario". La m y la r estan en Mario pero no son vocales.

Temas relacionados:

→ Teoria de conjuntos — Union, interseccion y mas→ Conjuntos numericos — Naturales, enteros, racionales→ Diagramas de Venn — Para visualizar conjuntos→ Logica matematica — Conectivos y tablas de verdad→ Probabilidad — Los eventos como conjuntos→ Algebra — Usa la logica de conjuntos

Teoria de conjuntos — Mas alla de las operaciones basicas

La teoria de conjuntos no es solo para matemáticas puras — es la base de la logica computacional, las bases de datos relacionales y el diseno de algoritmos. Cada consulta SQL usa logica de conjuntos (WHERE, AND, OR, NOT). Cada diagrama de Venn en un analisis de negocios es teoria de conjuntos aplicada.

Ley / PropiedadEnunciadoEjemplo
ConmutativaA ∪ B = B ∪ A y A ∩ B = B ∩ ALa union y la interseccion no dependen del orden
Asociativa(A ∪ B) ∪ C = A ∪ (B ∪ C)Se pueden reagrupar los conjuntos
DistributivaA ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)La interseccion distribuye sobre la union
De Morgan 1(A ∪ B)' = A' ∩ B'El complemento de la union = interseccion de complementos
De Morgan 2(A ∩ B)' = A' ∪ B'El complemento de la interseccion = union de complementos
Doble complemento(A')'= AEl complemento del complemento es el conjunto original
AbsorcionA ∪ (A ∩ B) = ALa union con una parte de A siempre es A
IdempotenteA ∪ A = A y A ∩ A = AUnion o interseccion consigo mismo = el mismo conjunto

En un grupo de 30 estudiantes, 18 estudian matematicas y 15 estudian fisica. Si 8 estudian ambas, ¿cuantos estudian solo matematicas o solo fisica (pero no ambas)?

Solo matematicas = 18 - 8 = 10. Solo fisica = 15 - 8 = 7. Total (solo una materia) = 10 + 7 = 17. Pero la pregunta pregunta "cuantos estudian solo matematicas o solo fisica" = 10 + 7 = 17. Espera — "cuantos estudian al menos una" = 10 + 8 + 7 = 25. La respuesta es 25 por la formula: |A ∪ B| = |A| + |B| - |A ∩ B| = 18 + 15 - 8 = 25.

Temas relacionados:

→ Teoria de conjuntos — Operaciones y leyes→ Diagramas de Venn — Visualizacion de conjuntos→ Logica matematica — Conectivos y tablas de verdad→ Probabilidad — Eventos como conjuntos→ Algebra — Usa la logica de conjuntos en su base→ Conjuntos numericos — Naturales, enteros, racionales, reales
🎓 ¿Eres maestro? Llévate 3 exámenes listos para imprimir — GRATIS

Te los enviamos a tu correo al instante, en PDF profesional con hoja de respuestas. Sin costo.

¿Quieres generar exámenes ilimitados de cualquier tema? Prueba el generador →

¿También estudias? 🇬🇧 Inglés gratis 📜 Historia gratis 🎯 Simulador COMIPEMS