Diagrama de Venn
Un diagrama de Venn es una representación visual de conjuntos que usa círculos superpuestos dentro de un rectángulo para mostrar uniones, intersecciones y complementos.
Definition
Un diagrama de Venn usa círculos superpuestos para mostrar cómo se relacionan los conjuntos: los elementos compartidos por ambos conjuntos van en la región central superpuesta, y los elementos de un solo conjunto van en las partes no superpuestas. Un diagrama de Venn de dos conjuntos divide el universo $U$ en cuatro regiones: solo en $A$, solo en $B$, en ambos ($A \cap B$), y en ninguno (complemento de $A \cup B$); los diagramas de tres conjuntos producen ocho regiones, y se usan para verificar o descubrir identidades de conjuntos visualmente. Los diagramas para $n$ conjuntos requieren regiones para las $2^n$ combinaciones de intersección posibles, y construir diagramas de Venn válidos para $n \ge 4$ requiere formas no circulares; los diagramas de Venn simétricos para $n$ primo tienen una elegante simetría rotacional.
Example
Dibuja dos círculos superpuestos etiquetados "puede nadar" y "puede volar": los patos van en el medio, los peces van en la región de solo nadar, las águilas van en la región de solo volar. Para verificar la ley de De Morgan $(A \cup B)' = A' \cap B'$: sombrea $A \cup B$ y luego toma su complemento, y por separado sombrea $A'$ y $B'$ y luego intersécalos, ambos producen la misma región fuera de ambos círculos. Un diagrama de Venn simétrico para $5$ conjuntos usa cinco elipses congruentes, y para $n = 11$, un diagrama simétrico con simetría rotacional de $11$ pliegues se descubrió apenas en 2004.
Key Insight
Los diagramas de Venn hacen visibles y concretas las relaciones abstractas entre conjuntos, la herramienta más usada para visualizar la lógica y las operaciones de conjuntos; demuestran identidades contando regiones, ya que si dos expresiones siempre sombrean las mismas regiones, son iguales para todos los conjuntos $A, B$. La complejidad combinatoria y geométrica de los diagramas de Venn de varios conjuntos se conecta con la teoría de grafos (ciclos Hamiltonianos en el retículo booleano) y la combinatoria.