Diagrama de Venn

Saltar a: navegacin, bsqueda

Artculo bueno

Diagramas de Venn que corresponden respectivamente a las relaciones topolgicas d

e interseccin, inclusin y disyuncin entre dos conjuntos
Los diagramas de Venn son esquemas usados en la teora de conjuntos, tema de inters
en matemtica, lgica de clases y razonamiento diagramtico. Estos diagramas muestran
colecciones (conjuntos) de cosas (elementos) por medio de lneas cerradas. La lnea
cerrada exterior abarca a todos los elementos bajo consideracin, el conjunto uni
versal U.
ndice [ocultar]
1 Introduccin 1.1 Interseccin
1.2 Inclusin
1.3 Disyuncin
2 Orgenes e historia
3 Diagramas de Venn de enunciados
4 Diagramas de Venn y cantidad de definiciones 4.1 Diagrama de un conjunto
4.2 Diagrama de dos conjuntos
4.3 Diagrama de tres conjuntos
4.4 Diagramas de ms de tres conjuntos 4.4.1 Diagramas de Edwards
4.4.2 Otros diagramas
5 Otras representaciones 5.1 Lneas de Leibniz
5.2 Crculos de Euler
5.3 Mapas de Karnaugh
5.4 Grficos de Peirce
6 Vase tambin
7 Referencias
8 Enlaces externos
Introduccin[editar]
Con los diagramas de Venn es posible representar las relaciones de interseccin, i
nclusin y disyuncin sin cambiar la posicin relativa de los conjuntos
Interseccin[editar]
Dado que los conjuntos pueden tener elementos comunes, las regiones encerradas p
or sus lneas lmite se superponen. El conjunto de los elementos que pertenecen simu
ltneamente a otros dos es la interseccin de ambos.1
A = {1; 2; 3; 4; 6; 12}
B = {1; 3; 5; 15}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16} Diagrama de Venn - i

nterseccin con elementos

A = {x | x es divisor natural de 12}
B = {x | x es divisor natural de 15}
U = {x | x es natural menor o igual que 16} Diagrama de Venn - interseccin sin el
ementos
Inclusin[editar]
Si todos los elementos de un conjunto son parte de los elementos de otro, se dic
e que el primero es un subconjunto del segundo o que est incluido en el segundo.1
En los diagramas de Venn, todas las regiones de superposicin posibles deben ser
representadas. Y, cuando hay regiones que no contienen elementos (regiones vacas)
, la situacin se indica anulndolas (con un color de fondo distinto).2
A = {1; 2;
B = {1; 2;
U = {1; 2;
ntos
A = {x | x
B = {x | x
U = {x | x
ntos

3; 4; 6; 12}
3; 6}
3; 4; 5; 6; 7; 8; 9; 10; 11; 12} Diagrama de Venn - inclusin con eleme
es divisor natural de 12}
es divisor natural de 6}
es natural menor o igual que 12} Diagrama de Venn - inclusin sin eleme

Disyuncin[editar]
Cuando los conjuntos no tienen elementos comunes, la regin de superposicin queda v
aca.
A = {2; 4;
B = {1; 3;
U = {1; 2;
A = {x | x
B = {x | x
U = {x | x
ntos

6;
5;
3;
es
es
es

8}
7; 9}
4; 5; 6; 7; 8; 9; 10} Diagrama de Venn - inclusin con elementos
par y de una cifra}
impar y de una cifra}
natural menor o igual que 10} Diagrama de Venn - inclusin sin eleme

A la izquierda de los diagramas, las definiciones de los conjuntos por enumeracin

y por comprensin.
Orgenes e historia[editar]

Vitral del comedor del Caius College (Cambridge) en homenaje a John Venn y su c
reacin
Los diagramas de Venn tienen el nombre de su creador, John Venn, matemtico y filso
fo britnico.3 Estudiante y ms tarde profesor del Caius College de la Universidad d
e Cambridge, Venn desarroll toda su produccin intelectual en ese mbito.4
Los diagramas que hoy conocemos fueron presentados en julio de 1880 en el trabaj
o titulado De la representacin mecnica y diagramtica de proposiciones y razonamient
os,5 que tuvo gran repercusin en el mundo de la lgica formal. Los diagramas de Ven
n tienen varios antecedentes. La primera representacin grfica de deducciones lgicas
y, en particular, de silogismos se atribuye comnmente a Gottfried Leibniz. Variant
es de la misma fueron empleadas luego por George Boole y Augustus De Morgan, per
o fue el gran matemtico suizo Leonhard Euler quien primero introdujo una notacin c
lara y sencilla.2 El siguiente diagrama muestra de otro modo la relacin de inclus
in del ejemplo dado en la introduccin.

Diagrama de Euler - inclusin

diagrama de Euler
Los diagramas de Euler se distinguen de los de Venn en dos aspectos:
en ellos no aparecen las regiones vacas y
el conjunto universal no se representa.
Si bien fue Venn quien introdujo la expresin "universo del discurso", l nunca repr
esent al universal en sus trabajos.3 Por eso la idea de conjunto universal se atr
ibuye habitualmente a Charles Dodgson, ms conocido como Lewis Carroll, el lgico y
autor de cuentos para ninos que populariz el concepto de conjunto complementario.
1 El conjunto universal fue cuestionado por Bertrand Russell, quien mostr que con
tal concepto la teora de conjuntos resultaba inconsistente (vase paradoja de Russ
ell). Sin embargo, dicha definicin fue rescatada y aun justificada en una recient
e extensin de los diagramas de Venn que distingue al universal del Todo (universo
del discurso).6 Por las dos razones recin mencionadas, los diagramas de Venn lle
garon a convertirse en el nuevo estndar para la formalizacin de operaciones lgicas
y los sistemas de representacin anteriores cayeron en desuso.2
Tiempo despus de la aparicin del primer artculo, Venn desarroll algo ms su nuevo sist
ema en el libro Lgica simblica, publicado en 1881 y cuyo propsito era interpretar y
revisar los trabajos de Boole en el campo de la lgica formal. Este libro sirvi so
bre todo para presentar ejemplos del uso de los diagramas.7 Otro libro de Venn q
ue ayud a divulgar el nuevo sistema de representacin fue el titulado Los principio
s de la lgica emprica o inductiva, publicado en 1889.8
La primera constancia escrita del uso de la expresin "diagrama de Venn" es muy ta
rda (1918) y se encuentra en el libro A Survey of Symbolic Logic de Clarence Irvi
ng Lewis.9
Diagramas de Venn de enunciados[editar]
Como se mostr en la introduccin, los diagramas de Venn pueden ser definidos por en
umeracin de sus elementos o por indicacin de una caracterstica comn que los identifi
ca unvocamente.1 De ah que haya dos tipos de diagramas de Venn: los que muestran e
lementos reunidos por lneas cerradas y los que simplemente muestran enunciados o
conceptos. Estos ltimos son ms interesantes porque permiten operar de manera abstr
acta y llegar a conclusiones ms generales.10
Los siguientes diagramas del segundo tipo muestran los resultados de cuatro oper
aciones bsicas con conjuntos usando el cdigo del semforo de dos colores.11
Venn operaciones 2 Venn operaciones 1 Venn operaciones 3 Venn operaciones 4
A A ? B A ? B = ((A) ? (B)) A
B = A ? (B)
Como se desprende de las igualdades, con las dos primeras operaciones (negacin y
conjuncin), es posible hacer las otras dos (disyuncin y sustraccin).
El cdigo de dos colores puede ser interpretado en el sistema binario de numeracin:
rojo = 0; verde = 1. A los resultados de las operaciones se los puede entonces
digitalizar. Y a los trminos que participan de las operaciones, tambin. De este mo
do, las operaciones con conjuntos se convierten en operaciones con nmeros.12
Diagramas de Venn y cantidad de definiciones[editar]
Los siguientes diagramas muestran la cantidad de regiones en que queda dividido
el conjunto universal con una, dos y tres definiciones.
Diagrama de Venn - 1 conjunto Diagrama de Venn - 2 conjuntos Diagrama de Venn -

3 conjuntos
1 conjunto (2 colores) 2 conjuntos (4 colores) 3 conjuntos (8 colores)
Entre los colores se cuenta el gris, que en todos los casos corresponde a los el
ementos que no caen en ninguna definicin.
Diagrama de un conjunto[editar]
Tiene slo 2 regiones: la de los elementos que responden a la definicin A y la de l
os que se oponen a ella.1
Diagrama de dos conjuntos[editar]
Tiene 4 regiones. Considrese el siguiente ejemplo: el conjunto A es el de los ani
males bpedos y el conjunto B es el de los animales que pueden volar. El rea donde
las dos regiones se superponen contiene por lo tanto a todos los animales que, a
l mismo tiempo, son bpedos y pueden volar. En resumen:
A (regiones amarilla y verde): animales bpedos,
B (regiones azul y verde): animales que pueden volar,
A y B (regin verde): animales bpedos que pueden volar,
A y no B (regin amarilla): animales bpedos que no pueden volar,
no A y B (regin azul): animales no bpedos (que no tienen dos patas) que pueden vol
ar,
no A y no B (regin gris): animales no bpedos que no pueden volar,
A o B (regiones amarilla, azul y verde): animales bpedos o que pueden volar.
Los pinginos, que tienen dos patas y no pueden volar, estn en la regin amarilla; lo
s mosquitos, que tienen seis patas y pueden volar, estn en la regin azul; los loro
s, que tienen dos patas y pueden volar, estn en la regin verde; las ballenas, que
no tienen patas ni pueden volar, estn en la regin gris.
Diagrama de tres conjuntos[editar]
Tienen 8 regiones. Los diagramas de tres conjuntos fueron los ms usados por Venn
en toda su obra. Un ejemplo de aplicacin podra ser el siguiente: dado un grupo de
personas, A es el conjunto de las de sexo masculino, B el conjunto de las mayore
s de 18 anos y C el conjunto de las que trabajan. De este modo, la regin verde se
ra la de las personas de sexo masculino, mayores de 18 anos, que no trabajan.13
Diagramas de ms de tres conjuntos[editar]
La dificultad de representar ms de tres conjuntos mediante diagramas de Venn es e
vidente. Venn senta aficin por los diagramas de ms de tres conjuntos, a los que def
ina como "figuras simtricas, elegantes en s mismas". A lo largo de su vida, disen va
rias representaciones usando elipses, y dej indicaciones para la construccin de di
agramas con cualquier cantidad de curvas, partiendo del diagrama de tres crculos.
14
Diagramas de Edwards[editar]
Anthony William Fairbank Edwards propuso diagramas para ms de tres conjuntos, pro
yectando el diagrama sobre una esfera. Tres conjuntos pueden ser representados fc
ilmente tomando tres hemisferios en ngulos rectos (x = 0, y = 0 y z = 0). Un cuar
to conjunto puede ser representado tomando una curva similar a la juntura de una
pelota de tenis que suba y baje alrededor del ecuador. Los conjuntos resultante
s pueden ser proyectados de nuevo sobre el plano para mostrar diagramas de tipo
engranaje, con cantidades cada vez mayores de dientes. Edwards ide estos diagrama
s mientras disenaba la ventana acristalada en memoria de Venn que hoy adorna el
comedor del Caius College.15

Diagrama de
3 conjuntos
Diagrama de
5 conjuntos

Edwards de 3 conjuntos Diagrama de Edwards de 4 conjuntos

4 conjuntos
Edwards de 5 conjuntos Diagrama de Edwards de 6 conjuntos
6 conjuntos

Otros diagramas[editar]
Los diagramas de Edwards son topolgicamente equivalentes a los diagramas disenado
s por Branko Grnbaum, que se basan en la interseccin de polgonos con cantidades cre
cientes de lados.16 17 18 Phillip Smith ide diagramas similares de n conjuntos us
ando curvas senoidales con ecuaciones del tipo y = sen(2i x)/2i, 0 ? i ? n
2. Po
r su parte, Lewis Carroll disen un diagrama de cinco conjuntos.
Otras representaciones[editar]
A continuacin se hace referencia a representaciones relacionadas con los diagrama
s de Venn.
Lneas de Leibniz[editar]
Las lneas de Leibniz fueron las primeras representaciones de conceptos lgicos. Lei
bniz tambin represent los conceptos con crculos, pero prefera las lneas.
Crculos de Euler[editar]
Artculo principal: Diagrama de Euler
Los crculos de Euler preceden histricamente a los diagramas de Venn y en algunas a
plicaciones son todava usados.
La diferencia entre los diagramas de Euler y de Venn se observa sobre todo en la
s relaciones de inclusin y de disyuncin.
inclusin disyuncin
Leibniz Diagrama de Venn Euler 5 Diagrama de Venn Euler 6
Euler Diagrama de Venn Euler 3 Diagrama de Venn Euler 4
Venn Diagrama de Venn Euler 1 Diagrama de Venn Euler 2
Los diagramas de Venn muestran la topologa del sistema sin que sea necesario modi
ficar la posicin relativa de los conjuntos, a costa de introducir una nueva conve
ncin: el sombreado de las regiones vacas.
Mapas de Karnaugh[editar]
Artculo principal: Mapa de Karnaugh
Los mapas de Karnaugh o diagramas de Veitch son una representacin visual de expre
siones del lgebra de Boole.19
Grficos de Peirce[editar]
Artculo principal: Grficos existenciales
Los grficos de Peirce son extensiones de los diagramas de Venn que incluyen infor
macin sobre afirmaciones existenciales, disyuntivas, de probabilidades y otras re
laciones.2
Vase tambin[editar]
Diagramas
Teora de conjuntos

Crculos de Euler
Mapas de Karnaugh
Cartas de Smith
Diagramas de Carroll
Grficos existenciales
Razonamiento diagramtico
Camino del Ser
lgebra de Boole
Referencias[editar]
1.^ Saltar a: a b c d e Juan Jos Luetich, "Ser o ser no, se es el dilema", Actas
S
uplemento 1, 1 (1) 1, Rosario, Academia Luventicus, 2001
2.^ Saltar a: a b c d Edward N. Zalta
Uri Nodelman Colin Allen (editores), artcul
o: "Diagrams", Stanford Encyclopedia of Philosophy, Stanford, Metaphysics Resear
ch Lab Center for the Study of Language and Information
Stanford University, 200
1 2013
3.^ Saltar a: a b Margaret E. Baron, "A Note on the Historical Development of Lo
gic Diagrams: Leibniz, Euler and Venn", The Mathematical Gazette, Vol. 53 No. 38
4, Leicester, The Mathematical Association, 1969
4.Volver arriba ^ Annimo, "Obituary Notices of Fellows Deceased: Rudolph Messel,
Frederick Thomas Trouton, John Venn, John Young Buchanan, Oliver Heaviside, Andr
ew Gray", Proceedings of the Royal Society A: Mathematical, Physical and Enginee
ring Sciences, Vol. 110 No. 756, Londres, The Royal Society, 1926
5.Volver arriba ^ John Venn, "On the Diagrammatic and Mechanical Representation
of Propositions and Reasonings", The London, Edinburgh, and Dublin Philosophical
Magazine and Journal of Science, 10 (58) 1 18, Escocia, Taylor & Francis, 1880
6.Volver arriba ^ "Camino del ser y diagrama total", Actas
Editoriales, Rosario,
Academia Luventicus, 2013
7.Volver arriba ^ John Venn, Symbolic Logic, Londres, Macmillan, 1881
8.Volver arriba ^ Clarence Irving Lewis, A survey of symbolic logic, Berkeley, U
niversity of California Press, 1918
9.Volver arriba ^ John Venn, The Principles Of Empirical Or Inductive Logic, Lon
dres, Macmillan, 1907
10.Volver arriba ^ Juan Jos Luetich, "Ser y pertenecer", Actas
Suplemento 1, 1 (2
) 1, Rosario, Academia Luventicus, 2008
11.Volver arriba ^ Javier R. Movellan, "Tutorial on axiomatic ser theory", Tutor
ial on axiomatic ser theory, Kolmogorov Project, 2003
12.Volver arriba ^ A. Calini E. Jurisich
S. Shields, "Set Theory and Logic", Set
Theory and Logic, College of Charleston, 2008
13.Volver arriba ^ Juan Jos Luetich, "Operaciones con tres conjuntos", Luventicus
Universidad, Rosario, Academia Luventicus, 2003
14.Volver arriba ^ Frank Ruskey
Mark Weston, "A Survey of Venn Diagrams", "What
is a Venn Diagram?", The Electronic Journal of Combinatorics, combinatorics.org,
2005
15.Volver arriba ^ Anthony W. F. Edwards, "Cogwheels of the Mind: The Story of V
enn Diagrams", Baltimore (Mriland), The Johns Hopkins University Press, 2004
16.Volver arriba ^ Branko Grnbaum, "Venn Diagrams I", Geombinatorics, Vol. 1 No.
4, 1992
17.Volver arriba ^ Branko Grnbaum, "Venn Diagrams II", Geombinatorics, Vol. 2 No.
2, 1992
18.Volver arriba ^ Branko Grnbaum, "The search for symmetric Venn diagrams", Geom
binatorics, Vol. 8 No. 1, 1999
19.Volver arriba ^ Andreas Otte, "Venn-Diagramme: Einleitung", Begriffslogik.de,
1998