Un diagrama de Venn constituye una representación gráfica predominante que ilustra las relaciones lógicas entre conjuntos distintos, una metodología popularizada por John Venn (1834-1923) durante la década de 1880. Estos diagramas sirven como herramientas pedagógicas para la teoría fundamental de conjuntos y aclaran relaciones sencillas entre conjuntos en diversas disciplinas, incluidas la probabilidad, la lógica, la estadística, la lingüística y la informática. Básicamente, un diagrama de Venn emplea curvas cerradas básicas, normalmente círculos o elipses, dentro de un espacio plano para indicar conjuntos.
Un diagrama de Venn es un estilo de diagrama ampliamente utilizado que muestra la relación lógica entre conjuntos, popularizado por John Venn (1834-1923) en la década de 1880. Los diagramas se utilizan para enseñar teoría de conjuntos elemental y para ilustrar relaciones de conjuntos simples en probabilidad, lógica, estadística, lingüística e informática. Un diagrama de Venn utiliza curvas cerradas simples en un plano para representar conjuntos. Las curvas son a menudo círculos o elipses.
Los precursores de la conceptualización de Venn incluyen propuestas de Christian Weise en 1712, documentadas en Nucleus Logicoe Wiesianoe, y de Leonhard Euler en 1768, presentadas en Cartas a una princesa alemana. Sin embargo, Venn avanzó y difundió significativamente este concepto en el Capítulo V, "Representación diagramamática", de su publicación de 1881, Lógica simbólica.
Descripción general detallada
Un diagrama de Venn, también denominado diagrama de conjuntos o diagrama lógico, ilustra todas las relaciones lógicas potenciales entre una agregación finita de conjuntos distintos. Estas representaciones gráficas representan elementos individuales como puntos dentro de un plano, con conjuntos delineados como regiones encerradas por curvas. Por lo general, comprende varias curvas cerradas superpuestas, a menudo circulares; cada curva en un diagrama de Venn corresponde a un conjunto específico. Los puntos situados dentro de una curva designada S significan elementos que pertenecen al conjunto S, mientras que los puntos externos a su límite denotan elementos no contenidos dentro del conjunto S. Esta metodología facilita interpretaciones visuales claras; por ejemplo, la colección de todos los elementos comunes a ambos conjuntos S y T, expresada formalmente como S ∩ T y denominada verbalmente "la intersección de S y T", se representa visualmente mediante el área superpuesta de las regiones S y T.
Los diagramas de Venn se caracterizan por la superposición completa de sus curvas constituyentes, exhibiendo así todas las relaciones imaginables entre los conjuntos. En consecuencia, representan un ejemplo específico de diagramas de Euler, que no siempre ilustran todas las relaciones potenciales. John Venn originó el concepto de diagramas de Venn aproximadamente en 1880. Su aplicación se extiende a la enseñanza de la teoría de conjuntos fundamental y la elucidación de las relaciones básicas de conjuntos en diversos campos como la probabilidad, la lógica, la estadística, la lingüística y la informática.
Una forma especializada de diagrama de Venn, donde el área de cada forma geométrica corresponde proporcionalmente a la cardinalidad de los elementos que abarca, se designa como proporcional al área (o escalado) diagrama de Venn.
Ejemplo ilustrativo
Considere un escenario ilustrativo que involucra dos conjuntos distintos de organismos, representados como círculos que se cruzan: un círculo abarca todas las especies caracterizadas por la locomoción bípeda, mientras que el otro representa criaturas capaces de volar. Cada especie individual puede conceptualizarse como un punto discreto dentro de este diagrama. Los organismos que poseen capacidades tanto de bipedismo como de vuelo (como los loros) son, por tanto, miembros de ambos conjuntos, correspondientes a puntos situados dentro de la región de superposición entre los dos círculos. Esta área compartida contiene exclusivamente elementos (en este contexto, criaturas) que son constituyentes tanto del conjunto de criaturas de dos patas como del conjunto de criaturas voladoras.
Los humanos y los pingüinos, al ser bípedos, se ubican dentro del círculo "tiene dos patas"; sin embargo, su incapacidad para volar los coloca en el segmento de ese círculo que no se cruza con el círculo de "puede volar". Por el contrario, los mosquitos poseen la capacidad de volar pero son hexápodos, no bípedos, por lo que su representación se encuentra dentro de la porción del círculo "puede volar" que no se superpone con el círculo "tiene dos patas". Los organismos que no exhiben ni bipedismo ni capacidad de vuelo (por ejemplo, ballenas y arañas) se representan como puntos situados externamente a ambos círculos.
El área agregada que abarca ambos conjuntos se denomina su unión, simbolizada como A ∪ B, donde A designa el círculo "tiene dos piernas" y B denota el círculo "puede volar". En este caso específico, la unión comprende todos los organismos vivos que son bípedos o capaces de volar (o ambos). El área común a A y B, que representa la superposición entre los dos conjuntos, se denomina intersección de A y B, expresada formalmente como A ∩ B.
Contexto histórico
John Venn introdujo formalmente los diagramas de Venn en 1880 a través de su artículo "Sobre la representación esquemática y mecánica de proposiciones y razonamientos", publicado en la Philosophical Magazine and Journal of Science. Este trabajo exploró varios métodos para representar esquemáticamente proposiciones lógicas. Si bien la aplicación de tales diagramas en la lógica formal es anterior a Venn, como lo señalaron Frank Ruskey y Mark Weston, están "correctamente asociados" con él debido a su estudio integral, formalización y generalización pionera de su uso.
Durante la Edad Media se utilizaban comúnmente diagramas de círculos superpuestos, que ilustraban uniones e intersecciones como anillos borromeos. Sin embargo, su clasificación como precursores directos de los diagramas de Venn sigue siendo un tema de debate académico. Los diagramas de Euler, conceptualmente similares a los diagramas de Venn pero que no siempre representan todas las uniones e intersecciones potenciales, recibieron su nomenclatura del matemático del siglo XVIII Leonhard Euler. A pesar de esto, estos diagramas, ampliamente considerados como antecedentes de los diagramas de Venn, proceden evidentemente del siglo XVI. Entre los primeros contribuyentes notables a la tradición del diagrama de Euler se encuentran Erhard Weigel (1625-1699) y sus alumnos Johann Christoph Sturm (1635-1703) y Gottfried Wilhelm Leibniz (1646-1716). Christian Weise (1642-1708) también merece reconocimiento, particularmente porque su alumno, Johann Christian Lange, realizó un extenso trabajo sobre estas representaciones esquemáticas. Posteriormente, Euler desarrolló estos diagramas, y Immanuel Kant (1724–1804) y sus estudiantes contribuyeron a su adopción generalizada en el siglo XIX.
El propio John Venn no empleó el término "diagrama de Venn", sino que designó el concepto como "círculos eulerianos". Su introducción a los diagramas de Euler se produjo en 1862, y más tarde señaló que la idea de los diagramas de Venn surgió "mucho más tarde" durante sus esfuerzos por adaptar los diagramas de Euler a la lógica booleana. En la declaración introductoria de su publicación de 1880, Venn afirmó que los diagramas de Euler constituían el único método diagramado para representar la lógica que había logrado "cualquier aceptación general".
Venn conceptualizó sus diagramas como un instrumento de instrucción, trazando un paralelo con la verificación empírica de los principios físicos a través de la experimentación. Ilustrando su utilidad, demostró que un diagrama de tres conjuntos podría representar eficazmente el silogismo: 'Todo A es algún B. Ningún B es ningún C. Por lo tanto, ninguna A es ninguna C.'
Charles L. Dodgson, conocido como Lewis Carroll, incorporó tanto el "Método de diagramas de Venn" como el "Método de diagramas de Euler" en un "Apéndice dirigido a los profesores" en su obra Lógica simbólica, cuya cuarta edición se publicó en 1896. La nomenclatura "Venn Diagrama" fue introducido posteriormente por Clarence Irving Lewis en 1918, apareciendo en su publicación A Survey of Symbolic Logic.
Durante el siglo XX se produjeron avances significativos en la teoría del diagrama de Venn. En 1963, David Wilson Henderson demostró que la presencia de un diagrama de Venn n que exhibía simetría rotacional n requería que n fuera un número primo. Además, estableció la existencia de diagramas de Venn simétricos para los casos en los que n es igual a cinco o siete. Posteriormente, en 2002, Peter Hamburger identificó diagramas de Venn simétricos para n = 11, y en 2003, Griggs, Killian y Savage demostraron su existencia para todos los números primos restantes. En conjunto, estos hallazgos confirman que los diagramas de Venn rotacionalmente simétricos existen exclusivamente cuando n es un número primo.
Durante la década de 1960, los diagramas de Venn y Euler se integraron en la enseñanza de la teoría de conjuntos, alineándose con el movimiento de reforma educativa de las "nuevas matemáticas". Posteriormente, su aplicación se expandió a los planes de estudio de diversas disciplinas, incluida la comprensión lectora. A través de las contribuciones de Sun-Joo Shin, los diagramas de Venn ganaron reconocimiento como un sistema lógico que posee equivalencia con la lógica simbólica. Posteriormente se adoptaron metodologías análogas en matemáticas y, más tarde, en informática.
Cultura popular
Los diagramas de Venn han aparecido con frecuencia en los memes de Internet. Además, al menos una figura política se ha enfrentado al ridículo público por su aplicación incorrecta de los diagramas de Venn.
Descripción general
Un diagrama de Venn se compone fundamentalmente de una serie de curvas cerradas simples delineadas dentro de una superficie plana. Como lo expresa Lewis, el "principio fundamental de estos diagramas es que las clases [o conjuntos] estén representadas por regiones en tal relación entre sí que todas las posibles relaciones lógicas de estas clases puedan indicarse en el mismo diagrama". Esto implica que el diagrama inicialmente da cabida a todas las relaciones imaginables entre clases, y la relación específica u observada se define posteriormente designando ciertas regiones como nulas o no nulas.
Normalmente, los diagramas de Venn constan de círculos que se cruzan. El área interna de un círculo denota los elementos que pertenecen a un conjunto específico, mientras que el área externa significa elementos no incluidos en ese conjunto. Por ejemplo, dentro de un diagrama de Venn de dos conjuntos, un círculo podría simbolizar la colección de todos los elementos de madera, mientras que el otro podría representar el conjunto de todas las mesas. En consecuencia, el área de superposición, o intersección, ilustraría el conjunto de todas las mesas de madera. También se pueden utilizar formas alternativas, más allá de los círculos, como lo demuestran los diagramas de conjuntos avanzados de Venn. Es importante señalar que los diagramas de Venn generalmente no transmiten información sobre las magnitudes relativas o absolutas (cardinalidad) de los conjuntos; son principalmente representaciones esquemáticas que normalmente no están dibujadas a escala.
Los diagramas de Venn comparten similitudes con los diagramas de Euler. Sin embargo, se requiere un diagrama de Venn diseñado para n conjuntos de constituyentes para representar las 2n zonas teóricamente posibles, cada una de las cuales corresponde a una combinación única de inclusión o exclusión en todos los conjuntos de componentes. Por el contrario, los diagramas de Euler ilustran sólo las zonas que son realmente posibles dentro de un contexto específico. Una región sombreada en un diagrama de Venn puede significar un conjunto vacío, mientras que en un diagrama de Euler, dicha región correspondiente simplemente está ausente. Por ejemplo, si un conjunto denota productos lácteos y otro quesos, el diagrama de Venn incluiría una zona para quesos que no son productos lácteos. Sin embargo, suponiendo que dentro de este contexto, queso se refiere inherentemente a un tipo de producto lácteo, el diagrama de Euler mostraría la zona del queso completamente encerrada dentro de la zona del producto lácteo, omitiendo así cualquier región para el queso no lácteo inexistente. En consecuencia, a medida que crece el número de contornos, los diagramas de Euler generalmente presentan menos complejidad visual en comparación con sus diagramas de Venn equivalentes, especialmente cuando hay pocas intersecciones no vacías.
La distinción entre los diagramas de Euler y Venn se ejemplifica en la siguiente ilustración, que involucra tres conjuntos específicos:
Los diagramas de Euler y Venn correspondientes a estos conjuntos se presentan a continuación:
Extensiones para un mayor número de conjuntos
Si bien los diagramas de Venn comúnmente ilustran dos o tres conjuntos, ciertas configuraciones acomodan una cantidad mayor. Como se muestra a continuación, cuatro esferas que se cruzan constituyen el diagrama de Venn de orden más alto que exhibe simetría simplex y es susceptible de representación visual. Las dieciséis intersecciones resultantes se correlacionan con los vértices de un teseracto o, alternativamente, con las celdas de un teseracto de 16 celdas.
Cuando se trata de un número mayor de conjuntos, se vuelve inevitable cierto grado de reducción de simetría en los diagramas. Venn buscó activamente "figuras simétricas... elegantes en sí mismas" capaces de representar conjuntos más numerosos, y finalmente concibió un elegante diagrama de cuatro conjuntos que empleaba elipses. Además, desarrolló un método para construir diagramas de Venn para cualquier cantidad de conjuntos, en el que cada curva posterior que define un conjunto se entrelaza con las curvas anteriores, comenzando desde el diagrama fundamental de tres círculos.
Diagramas de Edwards-Venn
Anthony William Fairbank Edwards desarrolló una serie de diagramas de Venn, posteriormente denominados diagramas de Edwards-Venn, segmentando la superficie de una esfera para representar un mayor número de conjuntos. Por ejemplo, se representan fácilmente tres conjuntos utilizando tres hemisferios ortogonales de la esfera (x = 0, y = 0 y z = 0). Se puede incorporar un cuarto conjunto a esta representación a través de una curva que se asemeja a la costura de una pelota de tenis, que atraviesa el ecuador en un patrón ondulado, y este método se puede ampliar aún más. Estos conjuntos resultantes pueden luego proyectarse sobre una superficie plana, produciendo diagramas de rueda dentada caracterizados por un número creciente de dientes, como se ilustra. En particular, estos diagramas fueron concebidos durante el proceso de diseño de una vidriera que conmemora a Venn.
Sistemas diagramamáticos alternativos
Los diagramas de Edwards-Venn exhiben equivalencia topológica con los diagramas desarrollados por Branko Grünbaum, que se basan en la intersección de polígonos que poseen un número creciente de lados. Además, sirven como representaciones bidimensionales de hipercubos.
Henry John Stephen Smith formuló diagramas de conjuntos n análogos empleando curvas sinusoidales, definidas por la siguiente serie de ecuaciones:
Charles Lutwidge Dodgson, también reconocido por su seudónimo Lewis Carroll, concibió un diagrama de cinco conjuntos conocido como cuadrado de Carroll. Por el contrario, Joaquín y Boyles introdujeron reglas suplementarias para el diagrama de Venn convencional para abordar escenarios problemáticos específicos. Por ejemplo, en lo que respecta a la representación de enunciados singulares, abogan por interpretar un círculo del diagrama de Venn como si denota un conjunto de entidades y aplicar la lógica de primer orden y la teoría de conjuntos para conceptualizar enunciados categóricos como afirmaciones sobre conjuntos. Además, proponen que las declaraciones singulares deberían considerarse declaraciones relativas a la pertenencia a un conjunto. Por lo tanto, para ilustrar la afirmación "a es F" dentro de este marco de diagrama de Venn modificado, la letra minúscula "a" se puede colocar dentro del círculo correspondiente al conjunto F.
Conceptos asociados
Los diagramas de Venn muestran una correspondencia con tablas de verdad para proposiciones como , , y así sucesivamente, dado que cada región distinta dentro de un diagrama de Venn se asigna a una fila única en la tabla de verdad correspondiente. Este tipo de diagrama específico también se reconoce como diagrama de Johnston. Un método alternativo para representar conjuntos implica los diagramas R de John F. Randolph.
Gráfico existencial (Charles Sanders Peirce)
- Gráfico existencial (por Charles Sanders Peirce)
- Conectivo lógico
- Diagrama de información
- Diagrama de Marquand (con derivaciones posteriores que incluyen el gráfico de Veitch y el mapa de Karnaugh)
- Octaedro esférico: la proyección estereográfica de un octaedro regular genera un diagrama de Venn de tres conjuntos, manifestado como tres grandes círculos ortogonales, cada uno de los cuales divide el espacio en dos mitades distintas.
- Demostrante Stanhope
- Modelo de tres círculos
- Triquetra
- Vésica piscis
- Trama UpSet
Notas
Referencias
- "Diagrama de Venn", en Enciclopedia de Matemáticas, EMS Press, 2001 [1994].Fuente: Archivo de la Academia TORIma