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 paradoja de Russell (1901) sacudio los fundamentos de la matematica. Russell consideró el conjunto R de todos los conjuntos que no se contienen a si mismos. Si R se contiene a si mismo, por definicion no deberia estar en R. Pero si R no se contiene a si mismo, deberia estar en R. Esta contradiccion mostro que la teoria de conjuntos intuitiva era inconsistente. Para resolverla, Zermelo y Fraenkel desarrollaron la teoria axiomatica de conjuntos ZFC con reglas precisas sobre que conjuntos pueden existir, descartando el conjunto universal. La matematica moderna descansa sobre estos axiomas, elegidos precisamente para evitar las paradojas.
Los diagramas de Venn tienen una aplicacion directa en el analisis de datos con SQL. SELECT A UNION B es la union de conjuntos, SELECT A INTERSECT B es la interseccion, SELECT A EXCEPT B es la diferencia. En analisis de marketing: cuantos clientes compraron el producto A pero no el B (diferencia), cuantos compraron ambos (interseccion), cuantos compraron al menos uno (union). Estas operaciones se ejecutan millones de veces al dia en bases de datos de empresas como Amazon, Netflix y Mercado Libre para segmentar clientes, recomendar productos y medir el exito de campañas publicitarias.