Aprende la teoria de conjuntos: axiomas de Zermelo-Fraenkel, operaciones, cardinalidad, conjuntos infinitos y sus aplicaciones en matematicas y logica.
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.
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 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.
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.
3 ∈ {1,3,5} → sí
2 ∉ {1,3,5} → no
{1,2} ⊆ {1,2,3,4}
|{a,b,c}| = 3 elementos
Sin elementos. |∅| = 0
Contiene todo el universo del problema
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
A={1,2,3,4}, B={3,4,5,6} → A∩B={3,4}
A={1,2,3,4}, B={3,4,5,6} → A−B={1,2} | B−A={5,6}
U={1..10}, A={2,4,6,8,10} → Aᶜ={1,3,5,7,9}
Solo inglés: 30−10=20 | Solo francés: 20−10=10
Al menos uno: 20+10+10=40 | Ninguno: 50−40=10
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.