Venn diagram: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>John R. Brews
m (→‎Examples: wording)
imported>John R. Brews
 
(35 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{subpages}}
{{subpages}}
{{TOC|right}}
{{TOC|right}}
{{Image|Venn diagrams XY.PNG|right|150px|Venn diagrams; set ''X'' is the interior of the blue circle (left), set ''Y'' is the interior of the red circle (right). The rectangle represents the universal set. The sets designated by symbols on the left are colored orange.}}
{{Image|Venn diagram for subsets of two sets.PNG|right|150px|Venn diagram showing subsets of two sets ''X'' and ''Y''. Set ''X'' is the interior of the red circle (left), set ''Y'' is the interior of the green circle (right).}}
A '''Venn diagram''' is an arrangement of intersecting circles used to visually represent logical concepts and propositions.
A '''Venn diagram''' is a graphical representation of common relationships shared by different sets, and is made from arrangements of intersecting closed curves in a plane (or possibly its generalization to higher dimensional surfaces). The Venn diagram may be viewed on its own as a subject of geometry (the geometry of intersecting shapes subject to certain aesthetic rules) or as a tool used to present logical concepts and propositions. "Mapping graphically the relationships of objects or people with something in common can produce beautiful and intricate patterns. It can also help engineers design computer chips."<ref name=A_Edwards/>
<!--   
<!--   
***************
***************
Line 10: Line 10:
****************
****************
-->
-->
==Examples==
 
Suppose X and Y are [[Set (mathematics)|sets]], for example,  collections of some description. Various operations allow us to build new sets from them, and these definitions are illustrated using the three Venn diagrams in the figure.<ref name=Oakhill/> If we assume the rims are infinitely thin and contain ''no'' points, the figure is straightforward. However, some minutiae arise if the rims are considered to be additional sets with points of their own. These details are described in a footnote.<ref name=details/>
==History==
The use of Venn diagrams was introduced by John Venn (1834-1923).<ref name=Venn/> A brief biography is found in Hurley.<ref name=Hurley/> A great many new Venn diagrams were found by Edwards using a different methodology.<ref name=Edwards/>
 
==Examples using two sets==
Suppose ''X'' and ''Y'' are [[Set (mathematics)|sets]], for example,  collections of some description. Various operations allow us to build new sets from them, and these definitions are illustrated using the Venn diagram in the figure.<ref name=Oakhill/> The use of circles is conventional, but rectangles or other closed shapes serve the same purpose.  


==== Union ====
==== Union ====


The union of X and Y, written X&cup;Y, contains all the elements in X and all those in Y.
The union of ''X'' and ''Y'', written ''X<big>&cup;</big>Y'', contains all the elements in ''X'' and all those in ''Y''. It consists of all three numbered regions ‘1’,‘2’, and ‘3’. For example, ''X'' may be "drownings" and ''Y'' may be "boating accidents". Then ''X<big>&cup;</big>Y'' represents "water-related accidents", assuming no other categories.


==== Intersection ====
==== Intersection ====


The intersection of X and Y, written X&cap;Y, contains all the elements that are common to both X and Y.
The intersection of ''X'' and ''Y'', written ''X<big>&cap;</big>Y'', contains all the elements that are common to both ''X'' and ''Y''. It consists of only the numbered region ‘2’. For example, ''X'' may be "drownings" and ''Y'' may be "boating accidents". Then ''X<big>&cap;</big>Y'' represents "drownings involving boating accidents".
 
==== Difference ====
 
The difference ''X'' minus ''Y'', written ''X&minus;Y'' or ''X\Y'', contains all those elements in ''X'' that are not also in ''Y''. It consists of the numbered region ‘1’. Likewise, ''Y&minus;X'' consists of the region numbered ‘3’. For example, ''X'' may be "drownings" and ''Y'' may be "boating accidents". Then ''X−Y'' represents "drownings not involving boating accidents".
 
== Universal set ==
The universal set (if it exists), usually denoted ''U'', is a set of which everything under discussion is a member. In pure set theory, sets in the abstract often are themselves the objects considered. In that case, ''U'' would be the [[Set_(mathematics)#Set_of_sets|set of all sets]], a so-called ''impredicatively'' defined object that underlies some [[Set_theory#The_paradoxes|paradoxes in set theory]]. The idea of a universe ''U'' need not be paradoxical, however, if one considers sets that are collections of specific items, such as numbers, or colors, or books, for example; see [[Set (mathematics)]].
 
===Complement of a set===
In the presence of a universal set we can define ''A&prime;'', the ''complement'' of ''A'', to be ''U&minus;A''. Set ''A&prime;'' contains everything in the universe apart from the elements of ''A''. This concept also is denoted by ''Ā'' and read ''not A''. As a result:
::<math>\overline{\overset{\_\_}{A }} = A \ . </math>
 
==Multiple sets==
{{Image|Venn diagram for three sets.PNG|left|100px|Venn diagram for three sets ''X'', ''Y'', and ''Z''.}}
{{Image|Venn diagram for four sets.PNG|right|150px|Venn diagram for four sets ''X'', ''Y'', ''Z'', and ''W''.}}
{{Image|Venn diagram for five sets.PNG|right|250px|Venn diagram for five sets ''X'', ''Y'', ''Z'', ''V'' and ''W''.}}
The various possible subsets of three sets ''X'', ''Y'' and ''Z'' are shown in the left-hand figure as numbered spaces. For example, the area labeled ‘1’ is the subset of all points that are in ''X'' but in neither ''Y'' nor ''Z''. The subset labeled ‘3’ is the set of all points common to all of ''X'', ''Y'' and ''Z''. Every conceivable arrangement of inclusion and exclusion from any combination of ''X'', ''Y'' and ''Z'' can be assembled from the numbered subsets in the diagram.
 
The use of circles cannot be extended to more than three sets, however, because insufficient regions can be created to house all the possibilities for subsets. For four sets, ellipses can be used as shown in the figure at right. The numbers correspond to the figure for three sets, but the extra subsets related to set ''W'' have not been numbered. For example, as before, the subset labeled ‘3’ is the set of all points common to all of ''X'', ''Y'' and ''Z'', but not in ''W''. The asterisk ‘*’ labels the subset of all points common to all four sets ''X'', ''Y'', ''Z'', and ''W''.
 
As the number of sets increases, the Venn diagrams become more complicated and harder to follow. An example is shown for five sets as devised by Edwards by mapping first onto a sphere and then projecting the results on a plane.<ref name=Edwards/> The numbered regions correspond to the cases in the figure for three sets, and are all in the upper left quadrant. The symmetry of the diagram shows that the lower left quadrant repeats these cases but with set ''V'' included, the upper right quadrant does the same for set ''W'' and the lower right quadrant includes both ''V'' and ''W''. The asterisk locates the region common to all five sets.


==== Set difference ====
As the number of sets increases, the curves become more convoluted, and a simple visualization becomes difficult, or perhaps impossible, to achieve.


The difference X minus Y, written X&minus;Y or X\Y, contains all those elements in X that are not also in Y.
==Logic gates==
{{Image|Logic gate with Venn diagram.PNG|right|200px|A three-input logic gate (center) with its Venn diagram (top) and truth table (bottom).}}
The figure at right shows a three-input logic gate (symbol in the center panel of three panels) that has as output the function ''f = ABC'' that is one only when all three inputs are logic ‘1’ and is zero if any input is logic ‘0’. The values of the function for various inputs is listed in the so-called '''truth table''' at the bottom of the figure. Corresponding to this truth table is the Venn diagram at the top, in which the various regions are labeled according to the notation explaining which subset a point in each region corresponds to. For example, the region ''ABC'' is the region of points that are simultaneously in all three sets ''A'', ''B'' and ''C''. Likewise, the region ''ĀBC'' is the set of points in ''B'' and ''C'' but not in ''A''. The outer rectangle is considered to enclose the Universe, so
:<math>{\bar{A}\bar{B}\bar{C}}</math>
denotes all the points not in any of ''A, B, C''. The shaded region corresponds to the output of the gate.


==== Complement and universal set ====
It is evident that a mapping exists between all possible logic gates with three inputs and this Venn diagram, with the output of the gate corresponding to one or another region (or combination of regions) of the Venn diagram.


The universal set (if it exists), usually denoted U, is a set of which everything under discussion is a member. In pure set theory, normally sets are the only objects considered. In that case, U would be the set of all sets. However, one may also consider sets that are collections of numbers, or colors, or books, for example; see [[Set (mathematics)]].
The Venn diagram is found useful for simplifying circuits with many logic gates. For example, a Venn diagram for some complex arrangement of logic gates may be found to have the same Venn diagram as that of a simpler gate array, allowing replacement by the simpler circuit.  


In the presence of a universal set we can define X&prime;, the complement of X, to be U&minus;X. Set X&prime; contains everything in the universe apart from the elements of X.
A simplification example for a switching network is shown below.
{{Gallery-mixed
|width=200
|lines=2
|Venn diagram for switch network A.PNG|Five-switch network with Venn diagrams for branches
|Venn diagram for switch network B.PNG|Equivalent three-switch network with Venn diagrams for branches
}}
Two contacts are connected by a switch array, and signals ''A'', ''B'', and ''C'' and their negations determine whether a switch is open or closed. For example, the switch controlled by ''A'' is closed when ''A'' is present, while the switch controlled by ''Ā'' is closed when ''Ā'' is present, and ''vice versa''. The Venn diagram for each branch shows all possible inputs, and the shaded region shows inputs that result in a connection between the left and right contacts.


==History==
For the five-switch network, the branch with input ''A'' never contributes because the series switch ''Ā'' is open whenever input ''A'' is present. Hence, Venn diagrams are presented only for the other two branches. Although one of the two active branches of the five-switch network differs from one in the three-switch network, the superposition of the Venn diagrams for each network is the same, showing the circuits are equivalent, and the simpler three-switch network can be used instead.
The use of Venn diagrams was introduced by John Venn (1834-1923).<ref name=Venn/> A brief biography is found in Hurley.<ref name=Hurley/>


==References==
==References==
<!-- '''''Note''''': [[CZ:List-defined references]] methodology is used for references here. -->
{{Reflist|refs=
{{Reflist|refs=


<ref name=details>
<ref name=A_Edwards>  
If we suppose the perimeters of the circles to contain ''no'' points, no complication occurs. If, on the other hand, we consider them to have non-zero width, the figure contains ''four'' sets (besides the universal set), set ''A'' (white) of points interior to the blue circle, set ''B'' (also white) of points interior to the red circle, set ''RimA'' (blue) and  set ''RimB'' (red). These sets are not disjoint when the two circles overlap, for example, as they do in the figure. In cases of overlap such as the depicted union ''A&cup;B'', the red rim enters the interior of the blue circle. Hence, those points in set ''RimB'' that are also inside the blue circle are also in set ''A''. They have dual identity, and can be taken either as red or as white points. The figure shows points in the designated union ''A&cup;B'' as orange. It includes all points in ''A'' or in ''B'' or in both, and thus includes the ambiguous, dual-identity points of set ''RimB''. Accordingly, these dual-identity points are part of the union ''A&cup;B'' and are colored orange, as are all the points in the union. Likewise for the dual-identity points of set ''RimA'' that are part of ''A&cup;B''.
{{cite journal |title=Venn diagrams |url=http://books.google.com/books?id=ifuMlg2PUHsC&pg=PA51 |pages=pp. 51 ''ff'' |date=Jan. 7, 1989 |journal=The New Scientist |volume=121 |issue=1646 |publisher=Reed Business Information |author=Anthony Edwards }}
</ref>
</ref>
<ref name=Edwards>
{{cite book |url=http://www.amazon.com/Cogwheels-Mind-Story-Venn-Diagrams/dp/0801874343/ref=sr_1_1?s=books&ie=UTF8&qid=1310492417&sr=1-1#reader_0801874343 |chapter=Figure 3.6: Edwards-Venn diagrams for three to eight sets |title=Cogwheels of the mind: the story of Venn diagrams |pages=pp. 36 ''ff'' |author=Anthony William Fairbank Edwards |isbn=0801874343 |year=2004 |publisher=JHU Press}}</ref>
<ref name=Hurley>
<ref name=Hurley>
{{cite book |title=A concise introduction to logic |author=Patrick J. Hurley |chapter=Eminent logicians: John Venn |url=http://books.google.com/books?id=XzWWcritSFoC&pg=PT278 |isbn=0495503835 |pages=p. 252 |publisher=Cengage learning |year=2007 |edition=10th ed}}
{{cite book |title=A concise introduction to logic |author=Patrick J. Hurley |chapter=Eminent logicians: John Venn |url=http://books.google.com/books?id=XzWWcritSFoC&pg=PT278 |isbn=0495503835 |pages=p. 252 |publisher=Cengage learning |year=2007 |edition=10th ed}}
Line 54: Line 95:


}}
}}
'''''Note''''': [[CZ:List-defined references]] methodology is used for references here.

Latest revision as of 09:20, 15 June 2012

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.
(PD) Image: John R. Brews
Venn diagram showing subsets of two sets X and Y. Set X is the interior of the red circle (left), set Y is the interior of the green circle (right).

A Venn diagram is a graphical representation of common relationships shared by different sets, and is made from arrangements of intersecting closed curves in a plane (or possibly its generalization to higher dimensional surfaces). The Venn diagram may be viewed on its own as a subject of geometry (the geometry of intersecting shapes subject to certain aesthetic rules) or as a tool used to present logical concepts and propositions. "Mapping graphically the relationships of objects or people with something in common can produce beautiful and intricate patterns. It can also help engineers design computer chips."[1]

History

The use of Venn diagrams was introduced by John Venn (1834-1923).[2] A brief biography is found in Hurley.[3] A great many new Venn diagrams were found by Edwards using a different methodology.[4]

Examples using two sets

Suppose X and Y are sets, for example, collections of some description. Various operations allow us to build new sets from them, and these definitions are illustrated using the Venn diagram in the figure.[5] The use of circles is conventional, but rectangles or other closed shapes serve the same purpose.

Union

The union of X and Y, written XY, contains all the elements in X and all those in Y. It consists of all three numbered regions ‘1’,‘2’, and ‘3’. For example, X may be "drownings" and Y may be "boating accidents". Then XY represents "water-related accidents", assuming no other categories.

Intersection

The intersection of X and Y, written XY, contains all the elements that are common to both X and Y. It consists of only the numbered region ‘2’. For example, X may be "drownings" and Y may be "boating accidents". Then XY represents "drownings involving boating accidents".

Difference

The difference X minus Y, written X−Y or X\Y, contains all those elements in X that are not also in Y. It consists of the numbered region ‘1’. Likewise, Y−X consists of the region numbered ‘3’. For example, X may be "drownings" and Y may be "boating accidents". Then X−Y represents "drownings not involving boating accidents".

Universal set

The universal set (if it exists), usually denoted U, is a set of which everything under discussion is a member. In pure set theory, sets in the abstract often are themselves the objects considered. In that case, U would be the set of all sets, a so-called impredicatively defined object that underlies some paradoxes in set theory. The idea of a universe U need not be paradoxical, however, if one considers sets that are collections of specific items, such as numbers, or colors, or books, for example; see Set (mathematics).

Complement of a set

In the presence of a universal set we can define A′, the complement of A, to be U−A. Set A′ contains everything in the universe apart from the elements of A. This concept also is denoted by Ā and read not A. As a result:

Multiple sets

(PD) Image: John R. Brews
Venn diagram for three sets X, Y, and Z.
(PD) Image: John R. Brews
Venn diagram for four sets X, Y, Z, and W.
(PD) Image: John R. Brews
Venn diagram for five sets X, Y, Z, V and W.

The various possible subsets of three sets X, Y and Z are shown in the left-hand figure as numbered spaces. For example, the area labeled ‘1’ is the subset of all points that are in X but in neither Y nor Z. The subset labeled ‘3’ is the set of all points common to all of X, Y and Z. Every conceivable arrangement of inclusion and exclusion from any combination of X, Y and Z can be assembled from the numbered subsets in the diagram.

The use of circles cannot be extended to more than three sets, however, because insufficient regions can be created to house all the possibilities for subsets. For four sets, ellipses can be used as shown in the figure at right. The numbers correspond to the figure for three sets, but the extra subsets related to set W have not been numbered. For example, as before, the subset labeled ‘3’ is the set of all points common to all of X, Y and Z, but not in W. The asterisk ‘*’ labels the subset of all points common to all four sets X, Y, Z, and W.

As the number of sets increases, the Venn diagrams become more complicated and harder to follow. An example is shown for five sets as devised by Edwards by mapping first onto a sphere and then projecting the results on a plane.[4] The numbered regions correspond to the cases in the figure for three sets, and are all in the upper left quadrant. The symmetry of the diagram shows that the lower left quadrant repeats these cases but with set V included, the upper right quadrant does the same for set W and the lower right quadrant includes both V and W. The asterisk locates the region common to all five sets.

As the number of sets increases, the curves become more convoluted, and a simple visualization becomes difficult, or perhaps impossible, to achieve.

Logic gates

(PD) Image: John R. Brews
A three-input logic gate (center) with its Venn diagram (top) and truth table (bottom).

The figure at right shows a three-input logic gate (symbol in the center panel of three panels) that has as output the function f = ABC that is one only when all three inputs are logic ‘1’ and is zero if any input is logic ‘0’. The values of the function for various inputs is listed in the so-called truth table at the bottom of the figure. Corresponding to this truth table is the Venn diagram at the top, in which the various regions are labeled according to the notation explaining which subset a point in each region corresponds to. For example, the region ABC is the region of points that are simultaneously in all three sets A, B and C. Likewise, the region ĀBC is the set of points in B and C but not in A. The outer rectangle is considered to enclose the Universe, so

denotes all the points not in any of A, B, C. The shaded region corresponds to the output of the gate.

It is evident that a mapping exists between all possible logic gates with three inputs and this Venn diagram, with the output of the gate corresponding to one or another region (or combination of regions) of the Venn diagram.

The Venn diagram is found useful for simplifying circuits with many logic gates. For example, a Venn diagram for some complex arrangement of logic gates may be found to have the same Venn diagram as that of a simpler gate array, allowing replacement by the simpler circuit.

A simplification example for a switching network is shown below.

Five-switch network with Venn diagrams for branches
(PD) Image: John R. Brews
Five-switch network with Venn diagrams for branches
Equivalent three-switch network with Venn diagrams for branches
(PD) Image: John R. Brews
Equivalent three-switch network with Venn diagrams for branches

Two contacts are connected by a switch array, and signals A, B, and C and their negations determine whether a switch is open or closed. For example, the switch controlled by A is closed when A is present, while the switch controlled by Ā is closed when Ā is present, and vice versa. The Venn diagram for each branch shows all possible inputs, and the shaded region shows inputs that result in a connection between the left and right contacts.

For the five-switch network, the branch with input A never contributes because the series switch Ā is open whenever input A is present. Hence, Venn diagrams are presented only for the other two branches. Although one of the two active branches of the five-switch network differs from one in the three-switch network, the superposition of the Venn diagrams for each network is the same, showing the circuits are equivalent, and the simpler three-switch network can be used instead.

References

  1. Anthony Edwards (Jan. 7, 1989). "Venn diagrams". The New Scientist 121 (1646): pp. 51 ff.
  2. John Venn (1883). "On the employment of geometrical diagrams for the sensible representation of logical propositions". Proceedings of the Cambridge Philosophical Society: Mathematical and physical sciences 4: pp. 47 ff. and also John Venn (1881). “Chapter V: Diagrammatic representation”, Symbolic logic. Macmillan, pp. 100 ff.  Symbolic Logic available also from Chelsea Pub. Co. ISBN 0828402515 (1979) and from the American Mathematical Society ISBN 0821841998 (2006).
  3. Patrick J. Hurley (2007). “Eminent logicians: John Venn”, A concise introduction to logic, 10th ed. Cengage learning, p. 252. ISBN 0495503835. 
  4. 4.0 4.1 Anthony William Fairbank Edwards (2004). “Figure 3.6: Edwards-Venn diagrams for three to eight sets”, Cogwheels of the mind: the story of Venn diagrams. JHU Press, pp. 36 ff. ISBN 0801874343. 
  5. Alan Garnham, Jane Oakhill (1994). “§6.2.3b: Venn diagrams”, Thinking and reasoning. Wiley-Blackwell, pp. 105 ff. ISBN 0631170030.