# Diagrama de Venn

Designam-se por diagramas de Venn os diagramas usados em matemática para simbolizar graficamente propriedades, axiomas e problemas relativos aos conjuntos e sua teoria.
Os respectivos diagramas consistem de curvas fechadas simples desenhadas sobre um plano, de forma a simbolizar os conjuntos e permitir a representação das relações de pertença entre conjuntos e seus elementos (por exemplo, 4 ∈ {3,4,5}, mas 4 ∉ {1,2,3,12}) e relações de continência (inclusão) entre os conjuntos (por exemplo, {1, 3} ⊂ {1, 2, 3, 4}). Assim, duas curvas que não se tocam e estão uma no espaço interno da outra simbolizam conjuntos que possuem continência; ao passo que o ponto interno a uma curva representa um elemento pertencente ao conjunto.
Do mesmo modo, espaços internos comuns a dois ou mais conjuntos representam a sua interseção, ao passo que a totalidade dos espaços pertencentes a um ou outro conjunto indistintamente representa sua união.
John Venn desenvolveu os diagramas no século XIX, ampliando e formalizando desenvolvimentos anteriores de Leibniz e Euler. E, na década de 1960, eles foram incorporados ao currículo escolar de matemática.
Embora seja simples construir diagramas de Venn para dois ou três conjuntos, surgem dificuldades quando se tenta usá-los para um número maior. Algumas construções possíveis são devidas ao próprio John Venn e a outros matemáticos como Anthony W. F. Edwards, Branko Grünbaum e Phillip Smith. Além disso, encontram-se em uso outros diagramas similares aos de Venn, entre os quais os de Euler, Johnston, Pierce e Karnaugh.

## História

Os diagramas adotam o nome do seu criador John Venn, matemático e filósofo britânico do século XIX. Foi estudante e mais tarde professor no Caius College da Universidade de Cambridge, onde viria a desenvolver toda sua obra teórica.
Venn introduziu os diagramas em um trabalho de lógica formal publicado em Julho de 1880 na Philosophical Magazine and Journal of Science, intitulado Da representação mecânica e diagramática de proposições e raciocínios.
Embora a primeira forma de representação geométrica de silogismos seja frequentemente atribuída a Leibniz, e tenha sido retomada já durante o século XIX pelos matemáticos George Boole e Augustus De Morgan, o método de Venn superava os sistemas anteriores em termos de clareza e simplicidade, ao ponto de ser aceite como método padrão ao fim de algum tempo. Venn foi o primeiro a formalizar o seu uso e a dotá-lo de um mecanismo de generalização.
O próprio Venn não se referia aos diagramas como sendo da sua autoria, mas sim como círculos eulerianos, fazendo referência aos diagramas criados por Leonhard Euler no século XVIII. No parágrafo introdutório do seu artigo, Venn afirma:
       Esquemas de representação diagramática tem sido tão familiarmente introduzidos nos tratados de lógica durante o último século que se pode supor que muitos leitores, mesmo aqueles que não fizeram qualquer estudo profissional de lógica, possam ter familiaridade com a noção geral de tais objetos. Dentre tais esquemas, apenas um - aquele comummente chamado 'círculos eulerianos', encontrou aceitação geral... (tradução livre)
Mais tarde, Venn desenvolveu o método no livro Lógica simbólica, publicado em 1881 com o objetivo de interpretar e corrigir os trabalhos de Boole no campo da lógica formal. Em 1889, publicou uma nova expansão de seu trabalho, com o livro Princípios da lógica empírica. A primeira referência escrita conhecida do termo Diagrama de Venn surge apenas em 1918, no livro de Clarence Irving Lewis, A Survey of Symbolic Logic.
No século XX, os diagramas de conjuntos passaram por novos desenvolvimentos. D. W. Henderson demonstrou em 1963 que a existência de um diagrama de Venn para N conjuntos com N eixos de simetria implica que N deve ser um número primo. Também demonstrou que tais diagramas simétricos existem quando N é 5 ou 7. Em 2002, Peter Hamburger encontrou diagramas simétricos para N = 11 e, em 2003, Griggs, Killian e Savage mostraram que diagramas simétricos existem para todos os outros primos.
A partir da década de 1960, os diagramas de Venn foram introduzidos no ensino escolar de matemática, na aprendizagem da teoria dos conjuntos e de funções, como parte do movimento da Matemática Moderna. Desde então, seu uso foi amplamente difundido, em áreas tão distintas como a compreensão de textos.

## Diagramas

Os diagramas de Venn são feitos com coleções de curvas fechadas contidas em um plano. O interior dessas curvas representa, simbolicamente, a coleção de elementos do conjunto. De acordo com Clarence Irving Lewis, o "princípio desses diagramas é que classes [ou conjuntos] sejam representadas por regiões, com tal relação entre si que todas as relações lógicas possíveis entre as classes possam ser indicadas no mesmo diagrama. Isto é, o diagrama deixa espaço para qualquer relação possível entre as classes, e a relação dada ou existente pode então ser definida indicando se alguma região em específico é vazia ou não-vazia".
Pode-se escrever uma definição mais formal do seguinte modo: Seja ${\textbf {C}}=(C_{1},C_{2},\ldots C_{n})$ uma coleção de curvas fechadas simples desenhadas em um plano. C é uma família independente se a região formada por cada uma das interseções $X_{1}\cap X_{2}\cap \ldots \cap X_{n}$, onde cada $X_{i}$ é o interior ou o exterior de $C_{i}$, é não-vazia, em outras palavras, se todas as curvas se intersectam de todas as maneiras possíveis. Se, além disso, cada uma dessas regiões é conexa e há apenas um número finito de pontos de interseção entre as curvas, então C é um diagrama de Venn para n conjuntos.
Nos casos mais simples, os diagramas são representados por círculos que se encobrem parcialmente. As partes referidas em um enunciado específico são marcadas com uma cor diferente. Eventualmente, os círculos são representados como completamente inseridos dentro de um retângulo, que representa o conjunto universo daquele particular contexto (já se buscou a existência de um conjunto universo que pudesse abranger todos os conjuntos possíveis, mas Bertrand Russell mostrou que tal tarefa era impossível—ver paradoxo de Russell). A ideia de conjunto universo é normalmente atribuída a Lewis Carroll.

### Dois conjuntos

Considere-se o seguinte exemplo à direita: suponha-se que o conjunto A (círculo amarelo) representa os animais bípedes e o conjunto B (círculo azul) representa os animais capazes de voar. A área onde os dois círculos se sobrepõem, designada por interseção A e B ou interseção A-B, conteria todas as criaturas que ao mesmo tempo podem voar e têm apenas duas pernas motoras.
Considere-se agora que cada espécie viva está representada por um ponto situado em alguma parte do diagrama. Os humanos e os pinguins seriam marcados dentro do círculo laranja, na parte dele que não se sobrepõe com o círculo azul, já que ambos são bípedes mas não podem voar. Os mosquitos, que voam mas têm seis pernas, seriam representados dentro do círculo azul e fora da sobreposição. Os canários, por sua vez, seriam representados na interseção A-B, já que são bípedes e podem voar. Qualquer animal que não fosse bípede nem pudesse voar, como baleias ou serpentes, seria marcado por pontos fora dos dois círculos.
Assim, o diagrama de dois conjuntos representa quatro áreas distintas (a que fica fora de ambos os círculos, a parte de cada círculo que pertence a ambos os círculos (i.e. onde há sobreposição), e as duas áreas que não se sobrepõem, mas estão em um círculo ou no outro):
* Animais que possuem duas pernas e não voam (laranja sem sobreposição);
* Animais que voam e não possuem duas pernas (azul sem sobreposição);
* Animais que possuem duas pernas e voam (sobreposição);
* Animais que não possuem duas pernas e não voam (branco).
Essas configurações são representadas, respectivamente, pelas operações de conjuntos: diferença de A para B, diferença de B para A, interseção entre A e B, e conjunto complementar de A e B. Cada uma delas pode ser representada como as seguintes áreas vermelhas no diagrama:
* Diferença de A para B: $A\setminus B$
* Diferença de B para A: $B\setminus A$
* Interseção de dois conjuntos: $~A\cap B$
* Complementar de dois conjuntos: $U\setminus (A\cup B)$
Além disso, essas quatro áreas podem ser combinadas de 16 formas diferentes. Por exemplo, pode-se perguntar sobre os animais que voam ou tem duas patas (pelo menos uma das características); tal conjunto seria representado pela união de A e B. Já os animais que voam e não possuem duas patas mais os que não voam e possuem duas patas, seriam representados pela diferença simétrica entre A e B. Estes exemplos são mostrados nas imagens a seguir, que incluem também outros dois casos.
* União de dois conjuntos: $~A\cup B$
* Diferença simétrica de dois conjuntos: $A~\Delta ~B$
* Complementar de A em U:$A^{c}~=~U\setminus A$
* Complementar de B em U: $B^{c}~=~U\setminus B$

### Três conjuntos

Na sua apresentação inicial, Venn focou-se sobretudo nos diagramas de três conjuntos. Alargando o exemplo anterior, poderia-se introduzir o conjunto C dos animais que possuem bico. Neste caso, o diagrama define oito áreas distintas (primeira imagem a seguir), que podem combinar-se de 256 (2$^8$) maneiras diferentes, algumas delas ilustradas nas imagens seguintes.
* Diagrama de Venn mostrando todas as interseções possíveis entre A, B e C.
* União de três conjuntos: $~A\cup B\cup C$
* Interseção de três conjuntos: $~A\cap B\cap C$
* $A\setminus (B\cup C)$
* $(B\cup C)\setminus A$

## Extensões para mais conjuntos

Para representar quatro ou mais conjuntos, torna-se difícil fazer uma figura simples e simétrica que mostre todas as possibilidades de interseção. É fácil perceber que não é possível faze-lo apenas com círculos, sendo necessário recorrer a outras formas de representação gráfica.

### Construção de Venn

Ao longo da sua vida, Venn procurou encontrar formas de diagramas capazes de representar mais do que três conjuntos, a que se referia como "figuras simétricas ... elegantes por si só". A sua primeira representação para quatro conjuntos foi a interseção de elipses com base no diagrama de três círculos. Desenvolveu também um método geral para qualquer número de conjuntos, em que cada curva sucessiva delimita um conjunto que perpassa todos os outros.
* O diagrama acima com quatro círculos não é um diagrama de Venn, porque nem todas as regiões possíveis são representadas. Por exemplo, não há uma região em que apenas o círculo azul e o amarelo se intersetem.
* Construção de Venn para representar quatro conjuntos com quatro elipses.
* Diagrama de Venn para cinco conjuntos usando elipses congruentes em um arranjo radialmente simétrico, desenvolvido por Branko Grünbaum. A legenda foi simplificada para melhorar a legibilidade. Por exemplo, A denota A ∩ B$^c$ ∩ C$^c$ ∩ D$^c$ ∩ E$^c$ (ou A ∩ ~B ∩ ~C ∩ ~D ∩ ~E), enquanto BCE denota A$^c$ ∩ B ∩ C ∩ D$^c$ ∩ E (ou ~A ∩ B ∩ C ∩ ~D ∩ E).
* Construção geral de Venn para 4 conjuntos
* Construção geral de Venn para 5 conjuntos
* Construção geral de Venn para 6 conjuntos

### Construção de Edwards

Anthony W. F. Edwards também desenvolveu um método para diagramas de Venn com números arbitrários de conjuntos, usando projeção estereográfica. Por exemplo, pode-se representar três conjuntos tomando três hemisférios de uma esfera, em ângulos retos (x=0, y=0 y z=0). Para adicionar um quarto conjunto, pode-se desenhar uma curva similar à junção de uma bola de tênis. Os conjuntos resultantes podem ser projetados novamente sobre o plano para mostrar diagramas de engrenagens, com quantidades cada vez maiores de dentes.
* Diagrama de Edwards para três conjuntos.
* Diagrama de Edwards para quatro conjuntos.
* Diagrama de Edwards para cinco conjuntos.
* Diagrama de Edwards para seis conjuntos.
Os diagramas de Edwards são topologicamente equivalentes aos diagramas desenhados por Branko Grünbaum, que se baseiam em polígonos intersetados, com quantidades crescentes de lados. Phillip Smith montou diagramas similares para n conjuntos, usando curvas senoidais em equações da forma y=sin(2$^i$x)/2$^i$, 0 ≤i ≤n-2.

### Representações com mais dimensões

Outra maneira de representar diagramas usando computadores é por meio de sólidos de dimensão superior. Abaixo, quatro esferas intersetadas, em uma figura completamente simétrica. As 16 interseções correspondem aos vértices de um tesserato.

## Diagramas similares
### Diagramas de Euler

Os diagramas de Euler, criados antes dos diagramas de Venn, são similares a estes, usando normalmente círculos intersetados; sua diferença é que eles não precisam mostrar todas as possíveis relações, mas apenas as relações específicas de cada problema. Isso torna a representação, na maioria dos casos, visualmente mais simples.
Por exemplo, chamando-se de A o conjunto de todas as marcas de chocolate, de B todas as marcas de comida e de C todas as marcas de querosene, é fútil usar um diagrama de Venn. Sabe-se que todos os chocolates são comestíveis, então A é um subconjunto de B; por outro lado, sabe-se que nenhum querosene é comestível, então a interseção entre B e C (e consequentemente entre A e C) é nula. Assim, o diagrama de Euler ao lado é uma figura mais explicativa.

### Diagrama de Johnston

Os diagramas de Johnston são visualmente iguais aos de Venn, mas, em vez de conjuntos, são utilizados para representar proposições e suas operações lógicas. Assim, sendo A e B duas sentenças, a interseção entre os círculos representa a sentença A e B, enquanto a união representa a sentença A ou B e o conjunto complementar a ambos representa nem A nem B.

### Mapa de Karnaugh

Os Mapas de Karnaugh ou Diagramas de Veitch são outra forma de representar visualmente expressões de álgebra booleana.

### Diagrama de Peirce

Os diagramas de Peirce, criados por Charles Peirce, são extensões dos diagramas de Venn, que incluem informações sobre afirmações existenciais, disjuntivas, de probabilidade e outras.

## Aplicações
### Circuitos Digitais

O diagrama de Venn também é usado em Sistemas Digitais para a representação de funções lógicas de circuitos. Usamos o preenchimento colorido para representar onde o resultado da função será 1 (com energia), ou sem preenchimento quando o resultado for 0(sem energia). Onde temos:
* Constante 1
* Constante 0
Em sistemas digitais o diagrama de Venn é usado para a representação de circuitos, como:
S = (/A . B ) + C
O resultado dessa expressão utilizando o diagrama é obtido da seguinte maneira:
* 1º Passo: Fragmentar a expressão em varias expressões menores: S1 = (/A . B ) e S2 = C;
* 2º Passo: Montar o diagrama de Venn para S1 e S2:
* S1 = /A . B
* S2 = C
* 3º Passo: Unir os dois diagramas para chegar ao resultado da Expressão:
* S = S1 + S2 = (/A . B ) + C
Seguindo esses três passos, conseguimos a representação gráfica do resultado de qualquer função logica.