Diagrama de Venn

Saltar a: navegacin, bsqueda

Diagrama de Venn mostrando la interseccin de dos conjuntos. Los Diagramas de Venn son ilustraciones usadas en la rama de la Matemtica y Lgica de clases conocida como teora de conjuntos. Estos diagramas se usan para mostrar grficamente la agrupacin de cosas elementos en conjuntos, representando cada conjunto mediante un crculo o un valo. La posicin relativa en el plano de tales crculos muestra la relacin entre los conjuntos. Por ejemplo, si los crculos de los conjuntos A y B se solapan, se muestra un rea comn a ambos conjuntos que contiene todos los elementos contenidos a la vez en A y en B. Si el crculo del conjunto A aparece dentro del crculo de otro B, es que todos los elementos de A tambin estn contenidos en B.

ndice

1 Orgenes e Historia 2 Tipos de diagramas de Venn o 2.1 Diagrama de dos conjuntos o 2.2 Diagramas de tres conjuntos 3 Ms de tres conjuntos o 3.1 Diagramas de Venn de Edwards o 3.2 Otros diagramas 4 Diagramas similares o 4.1 Diagramas de Euler o 4.2 Diagrama de Johnston o 4.3 Mapa de Karnaugh o 4.4 Diagrama de Peirce 5 Referencias 6 Bibliografa 7 Vase tambin 8 Enlaces externos o 8.1 Herramientas para hacer diagramas de Venn o 8.2 Herramientas para hacer diagramas de Euler

Orgenes e Historia

Ventanal en el comedor del Gonville and Caius College, Cambridge, conmemorando la estancia de Venn y su principal creacin. Los diagramas de Venn tienen el nombre de su creador, John Venn, matemtico y filsofo britnico. Estudiante y ms tarde profesor en el Caius College de la Universidad de Cambridge, desarroll toda su produccin intelectual entre esas cuatro paredes. Venn introdujo el sistema de representacin que hoy conocemos en julio de 1880 con la publicacin de su trabajo titulado De la representacin mecnica y diagramtica de proposiciones y razonamientos1 2 3 en el Philosophical Magazine and Journal of Science, provocando un cierto revuelo en el mundo de la lgica formal. Aunque la primera forma de representacin geomtrica de silogismos lgicos se atribuye comnmente a Gottfried Leibniz, y fue luego ampliada por George Boole y Augustus De Morgan, el mtodo de Venn superaba en claridad y sencillez a los sistemas de representacin anteriores, hasta el punto de convertirse con el tiempo en un nuevo estndar. Venn fue el primero en formalizar su uso y en ofrecer un mecanismo de generalizacin para los mismos. Ms adelante desarroll algo ms su nuevo mtodo en su libro Lgica simblica, publicado en 1881 con el nimo de interpretar y corregir los trabajos de Boole en el campo de la lgica formal. Aunque no tuvo demasiado xito en su empeo, su libro se convirti en una excelente plataforma de ejemplo para el nuevo sistema de representacin. Sigui usndolo en su siguiente libro sobre lgica (Los principios de la lgica emprica, publicado en 1889), con lo que los diagramas de Venn fueron a partir de entonces cada vez ms empleados como representacin de relaciones lgicas.

La primera referencia escrita al trmino "diagrama de Venn" de la que se tiene constancia es muy tarda (1918), en el libro A Survey of Symbolic Logic, de Clarence Irving Lewis.4 5 6 Los diagramas de Venn se emplean hoy da para ensear matemticas elementales y para reducir la lgica y la Teora de conjuntos al clculo simblico puro. Se suelen usar tambin en el aula diagramas de Venn de dos o tres conjuntos como herramienta de sntesis, para ayudar a los estudiantes a comparar y contrastar dos o tres de elementos; en este uso, se incluyen dentro de cada elemento las caractersticas exclusivas, y en las intersecciones, las comunes con los otros.

Tipos de diagramas de Venn

Diagrama de dos conjuntos

Conjuntos A y B. Considrese el ejemplo a la derecha: supngase que el conjunto A (el crculo anaranjado) representa, por ejemplo, a todas las criaturas vivas con solo dos piernas motrices y que el conjunto B (el crculo azul) contiene a todas las criaturas que pueden volar. El rea donde ambos crculos se superponen (que recibe el nombre de interseccin entre A y B, o interseccin A - B) contendra por tanto todas las criaturas que, al mismo tiempo, pueden volar y tienen slo dos piernas motrices. Imaginemos ahora que cada tipo distinto de criatura viva est representado con un punto situado en alguna parte del diagrama. Los humanos y los pinginos estaran dentro del crculo naranja (el conjunto A) en la parte en la que no se superpone con el crculo azul (el conjunto B), ya que ambos son bpedos y no pueden volar. Los mosquitos, que tienen seis piernas motrices y pueden volar, estaran representados con un punto dentro del crculo azul fuera de la interseccin A - B. Los loros, que tienen dos piernas motrices y pueden volar, estaran representados por un punto dentro de la interseccin A - B. Cualquier tipo de criatura que ni tuviera dos piernas ni pudiera volar (como por ejemplo las ballenas o las serpientes), estara representado mediante puntos fuera de ambos crculos. El diagrama de Venn representado en el ejemplo 1 puede describirse como la relacin entre el conjunto A y el conjunto B. El rea combinada de ambos conjuntos recibe el nombre de unin de los conjuntos A y B. La unin en este caso contiene todos los tipos de criaturas que tienen dos piernas, pueden volar, o ambas cosas a la vez. El rea donde los conjuntos A y B se solapan se define como la interseccin de A y B. Contiene todos los tipos de criaturas que pertenecen a la vez a A y a B, es decir, que tienen dos piernas y pueden volar.

Diagrama de Venn mostrando todas las intersecciones posibles entre tres conjuntos A, B y C. Un diagrama de Venn de dos conjuntos define 4 reas diferentes (la cuarta es la exterior), que pueden unirse en 6 posibles combinaciones:

A (dos patas) B (vuelan) A y B (dos patas y vuelan) A y no B (dos patas y no vuelan) no A y B (ms o menos de dos patas, y vuelan) no A y no B (ni tienen dos patas ni vuelan)

A veces se incluye un rectngulo alrededor del diagrama de Venn, que recibe el nombre de universo de discurso (antes se crea en la existencia de un conjunto universal pero Bertrand Russell descubri que con tal concepto el sistema es inconsistente, vase paradoja de Russell). Se usa para representar el conjunto de todas las cosas posibles. La definicin del universo, al igual que la de los conjuntos, depende del diagrama sobre el que se representa. La idea de conjunto universal, aunque fue apuntada por el propio Venn, se atribuye habitualmente a Charles Dodgson, ms conocido como Lewis Carroll.

Diagramas de tres conjuntos

Los diagramas de tres conjuntos fueron los ms corrientes elaborados por Venn en su presentacin inicial. Las distintas intersecciones de los tres conjuntos A, B y C definen siete (7) reas diferentes, cuyas posibles uniones suponen 256 combinaciones distintas de los tres conjuntos iniciales.

Ms de tres conjuntos
La dificultad de representar ms de tres conjuntos mediante diagramas de Venn (o cualquier otra representacin grfica) es evidente. Venn senta aficin a la bsqueda de diagramas para ms de tres conjuntos, a los que defina como "figuras simtricas, elegantes en s mismas". A lo largo de su vida dise varias de estas representaciones usando elipses, as como indicaciones para la creacin de diagramas con cualquier cantidad de curvas, partiendo del diagrama de tres crculos.

Diagramas de Venn de Edwards

A. W. F. Edwards dise representaciones para diagramas de Venn de ms de tres conjuntos, proyectando el diagrama sobre una esfera. Se pueden representar fcilmente tres conjuntos tomando tres hemisferios en ngulos rectos (x=0, y=0 y z=0). Un cuarto conjunto se puede representar tomando una curva similar a la juntura de una pelota de tenis que suba y baje alrededor del ecuador. Los conjuntos resultantes pueden proyectarse de nuevo sobre el plano para mostrar diagramas de engranaje, con cantidades cada vez mayores de dientes. Edwards ide estos diagramas mientras diseaba la ventana acristalada en memoria de Venn que hoy adorna el comedor de su colegio.

Diagrama para tres conjuntos.

Diagrama para cuatro Diagrama para cinco Diagrama para seis conjuntos. conjuntos. conjuntos.