Diagrama de Venn

De Viquipèdia
Dreceres ràpides: navegació, cerca
Diagrama de Venn que mostra la intersecció de dos conjunts.

Els diagrames de Venn són il·lustracions usades en la branca de les matemàtiques i lògica de classes anomenada teoria de conjunts. Aquests diagrames es fan servir per mostrar gràficament l'agrupació de coses elements a conjunts, representant cada conjunt mitjançant un cercle o un oval. La posició relativa en el pla d'aquests cercles mostra la relació entre els conjunts. Per exemple, si els cercles dels conjunts A i B se solapen, es mostra una àrea comuna a tots dos conjunts que conté tots els elements continguts a la vegada en A i en B. Si el cercle del conjunt A apareix dins del cercle d'un altre B, és que tots els elements de A també estan continguts en B.

Orígens i Història[modifica | modifica el codi]

Finestral al menjador de la Gonville and Caius College, Cambridge, commemorant l'estada de Venn i el seu principal descobriment

Els diagrames de Venn reben el nom del seu creador, John Venn, matemàtiques i filòsof britànic. Estudiant i més tard professor al Caius College de la Universitat de Cambridge, va desenvolupar tota la seva producció intel·lectual entre aquestes quatre parets.

Venn introduir el sistema de representació que avui coneixem el juliol de 1880 amb la publicació del seu treball titulat « De la representació mecànica i diagramàtica de proposicions i raonaments » [1][2][3] al Philosophical Magazine and Journal of Science , provocant un cert enrenou en el món de la lògica formal. Encara que la primera forma de representació geomètrica de sil·logisme s lògics s'atribueix comunament a Gottfried Leibniz, i va ser després ampliada per George Boole i Augustus De Morgan, el mètode de Venn superava en claredat i senzillesa als sistemes de representació anteriors, fins al punt de convertir-se amb el temps en un nou estàndard. Venn va ser el primer a formalitzar el seu ús i en oferir un mecanisme de generalització per als mateixos.

Més endavant va desenvolupar una mica més el seu nou mètode en el seu llibre Lògica simbòlica , publicat a 1881 amb l'ànim d'interpretar i corregir els treballs de Boole en el camp de la lògica formal. Encara que no va tenir gaire èxit en el seu afany, el seu llibre es va convertir en una excel·lent plataforma d'exemple per el nou sistema de representació. Va seguir utilitzant-lo en el seu següent llibre sobre lògica ( Els principis de la lògica empírica , publicat a 1889), de manera que els diagrames de Venn van ser a partir de llavors cada vegada més empleats com a representació de relacions lògiques.

La primera referència escrita al terme "diagrama de Venn" de la qual es té constància és molt tardana (1918), en el llibre A Survey of Symbolic Logic , Clarence Irving Lewis.[4][5][6]

Els diagrames de Venn es fan servir avui dia per ensenyar matemàtiques elementals i per reduir la lògica i la Teoria de conjunts al càlcul simbòlic pur. Se solen utilitzar a l'aula diagrames de Venn de dues o tres conjunts com a eina de síntesi, per ajudar els estudiants a comparar i contrastar dues o tres d'elements, en aquest ús, s'inclouen dins de cada element les característiques exclusives, i en les interseccions, les comunes amb els altres.

Tipus de diagrames de Venn[modifica | modifica el codi]

Diagrama de dos conjunts[modifica | modifica el codi]

Conjunts A i B

Considerem l'exemple a la dreta: suposem que el conjunt A (el cercle taronja) representa, per exemple, totes les criatures vives amb només dues cames motrius i que el conjunt B (el cercle blau) conté totes les criatures que poden volar. L'àrea on tots dos cercles se superposen (que rep el nom d'intersecció entre A i B, o intersecció A-B) contindria per tant totes les criatures que, al mateix temps, poden volar i tenen només dues cames motrius.

Imaginem ara que cada tipus diferent de criatura viva està representat amb un punt situat en algun lloc del diagrama. Els humans i els pingüins estarien dins del cercle taronja (el conjunt A) a la part en què no se superposa amb el cercle blau (el conjunt B), ja que ambdós són bípedes i no poden volar. Els mosquits, que tenen sis cames motrius i poden volar, estarien representats amb un punt dins del cercle blau fora de la intersecció A-B. Els lloros, que tenen dues cames motrius i poden volar, estarien representats per un punt dins de la intersecció A-B. Qualsevol tipus de criatura que ni tingués dues cames ni pogués volar, com per exemple les balenes o les serps, estaria representats per punts fora de tots dos cercles.

El diagrama de Venn representat en l'exemple 1 pot descriure's com la relació entre el conjunt A i el conjunt B . L'àrea combinada de tots dos conjunts rep el nom d' unió dels conjunts A i B . La unió en aquest cas conté tot tipus de criatures que tenen dues cames, poden volar, o totes dues coses alhora. L'àrea on els conjunts A i B se solapen es defineix com la intersecció de A i B. Conté tot tipus de criatures que pertanyen a la vegada a A i a B, és a dir, que tenen dues cames i poden volar.

Diagrama de Venn que mostra totes les interseccions possibles entre tres conjunts A , B i C .

Un diagrama de Venn de dos conjunts defineix 4 àrees diferents (la quarta és l'exterior), que poden unir-se en 6 possibles combinacions:

  • A (dues potes)
  • B (capacitat de volar)
  • A i B (dues potes i volen)
  • A i no B (dues potes i no volen)
  • No A i B (més o menys de dues potes, i volen)
  • No A i no B (ni tenen dues potes ni volen)
  • B (volen)

De vegades s'inclou un rectangle al voltant del diagrama de Venn, que rep el nom de univers de discurs (abans es creia en l'existència d'un conjunt universal, però Bertrand Russell va descobrir que amb aquest concepte el sistema és inconsistent vegeu paradoxa de Russell). Es fa servir per representar el conjunt de totes les coses possibles. La definició de l'univers, igual que la dels conjunts, depèn del diagrama sobre el qual es representa. La idea de conjunt universal, encara que va ser apuntada pel mateix Venn, s'atribueix habitualment a Charles Dodgson, més conegut com Lewis Carroll.

Diagrames de tres conjunts[modifica | modifica el codi]

Els diagrames de tres conjunts van ser els més corrents elaborats per Venn en la seva presentació inicial. Les diferents interseccions dels tres conjunts A , B i C defineixen SET àrees diferents, les possibles unions suposen 256 combinacions diferents dels tres conjunts inicials.

Més de tres conjunts[modifica | modifica el codi]

La dificultat de representar més de tres conjunts mitjançant diagrames de Venn (o qualsevol altra representació gràfica) és evident. Venn sentia afició a la recerca de diagrames per a més de tres conjunts, als quals definia com "figures simètriques, elegants en si mateixes". Al llarg de la seva vida va dissenyar diverses d'aquestes representacions usant lipses, així com indicacions per a la creació de diagrames amb qualsevol quantitat de corbes, partint del diagrama de tres cercles.

Diagrames de Venn d'Edwards[modifica | modifica el codi]

A. W. F. Edwards va dissenyar representacions per diagrames de Venn de més de tres conjunts, projectant el diagrama sobre una esfera. Es poden representar fàcilment tres conjunts prenent tres hemisferis en angle recte ( x = 0, i = 0 i z = 0). Un quart conjunt es pot representar prenent una corba semblant a la juntura d'una pilota de tennis que pugi i baixi al voltant de l'equador. Els conjunts resultants poden projectar-se de nou sobre el plànol per mostrar diagrames de engranatge , amb quantitats cada vegada majors de dents. Edwards va idear aquests diagrames mentre dissenyava la finestra de vidre en memòria de Venn que avui adorna el menjador de la seva escola.

Diagrama per a tres conjunts
Diagrama per a quatre conjunts
Diagrama per a cinc conjunts
Diagrama per a sis conjunts

Altres diagrames[modifica | modifica el codi]

Els diagrames d'Edwards són topològicament equivalents als diagrames dissenyats per Branko Grünbaum, que es basaven en polígons interseca, amb quantitats creixents de costats. Phillip Smith va idear diagrames similars de n conjunts utilitzant corbes sinusoïdals en equacions com i = sin (2 i x )/2 i , 0 ≤ i ≤ n -2. Per la seva banda, Lewis Carroll va dissenyar un diagrama de cinc conjunts.

Vegeu també: Carta de Smith i Diagrama de Carroll

Diagrames similars[modifica | modifica el codi]

Diagrames d'Euler[modifica | modifica el codi]

Diagrama d'Euler

Els diagrames d'Euler són similars als de Venn, però no necessiten totes les possibles relacions. Els diagrames d'Euler permeten representar inclusió d'una classe en una altra. Per exemple, en el representat a la dreta un conjunt (l'A) està totalment inclòs en un altre (el B), mentre que un altre (el C) no té cap relació amb els dos anteriors.

Els diagrames d'Euler precedeixen als diagrames de Venn,[7] però són diferents. Van ser introduïts per Euler per ajudar en la comprensió. John Venn intenta rectificar algunes deficiències a través dels Diagrames de Venn.

Suposem que el conjunt A representa tots els tipus de formatge que poden trobar-se al món, i el B representa tots els comestible s existents en el món. Segons el diagrama, es veu clarament que tots els formatges són comestibles, però no tots els comestibles són formatges. Si definim el conjunt C com el de les coses fetes de metall, el diagrama ens permet representar de forma evident dues afirmacions addicionals: els comestibles no estan fets de metall, i les coses fetes de metall no són comestibles.

Diagrama de Johnston[modifica | modifica el codi]

Diagrama de Johnston per a l'expressió ni A ni B són certes

Els diagrames de Johnston es fan servir per il lustrar afirmacions lògiques com ni A ni B són certes , i són una forma visual de il·lustrar taules de veritat. Poden ser idèntics en aparença a diagrames de Venn, però no representen conjunts d'elements.

Mapa de Karnaugh[modifica | modifica el codi]

Article principal: Mapa de Karnaugh

Els Mapes de Karnaugh o Diagrames de Veitch són una altra manera de representar de forma visual expressions de àlgebra booleana.

Diagrama de Peirce[modifica | modifica el codi]

Els diagrames de Peirce, creats per Charles Peirce, són extensions dels diagrames de Venn amb informació de tots afirmacions existencials, disjuntives, de probabilitats i altres relacions.[8]

Referències[modifica | modifica el codi]

  1. Venn, John. «On the Diagrammatic and Mechanical Representation of Propositions and Reasonings». The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science, 9, 1.880.
  2. Ruskey, Frank i Weston, Mark. «What is a Venn Diagram?». pàg. principal: A Survey of Venn Diagrams , The Electronic Journal of Combinatorics, 2005. [Consulta: agost 2007].
  3. Otte, Andreas. «Venn-Diagramme: Einleitung». Begriffslogik.de, 1.998. [Consulta: agost 2007].
  4. Oxford English Dictionary , 2 ª edició.
  5. Darling, David. «Venn Diagram». The Internet Encyclopedia of Science, --. [Consulta: agost 2007].
  6. Bogomolny, Alexander. «Lewis Carroll's Logic Game». Cut-the-Knot.org, 1996-2007. [Consulta: agost 2007].
  7. Euler, Leonard (traduït per Sir David Brewster). Lettres à une Princesse d'Allemagne. Sant Petersburg, Edimburg (traducció): W & C Tait, i Longman et al., 1.768, 1823: traducció. Veure en particular en el vol. 1. les cartes CII - CVIII a les pàgines 337-366).
  8. de diagrames de Peirce

.

Bibliografia[modifica | modifica el codi]

  • Edwards, Anthony W. F.. Cogwheels of the Mind: The Story of Venn Diagrams. Baltimore (Maryland): The Johns Hopkins University Press, 2004. ISBN 0-8018-7434-3. 
  • Stewart, Ian. Another Fine Math You've Got Me Into. Dover Publications, 1992. ISBN 0-486-43181-9. 
  • Thomas, Katherine. Cogwheels of the Mind. Reviewed by Katherine Thomas. 

Vegeu també[modifica | modifica el codi]

Enllaços externs[modifica | modifica el codi]

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Diagrama de Venn

Eines per fer diagrames de Venn[modifica | modifica el codi]

Eines per fer diagrames d'Euler[modifica | modifica el codi]