Set (mathematics): Difference between revisions
imported>Howard C. Berkowitz (Moved see also and related articles to subpage) |
mNo edit summary |
||
(98 intermediate revisions by 10 users not shown) | |||
Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
{{TOC|right}} | |||
<!-- | |||
*************** | |||
NOTE: Footnotes in this article are formatted using the [[CZ:List-defined references]] methodology for reducing clutter in the edit window. | |||
**************** | |||
--> | |||
Informally, a '''set''' is thought of as any collection of distinct elements. They may be defined in two ways: by enumeration of their members (a definition by ''extension''), for example by identifying a room of students by listing their names, or by a defining property (a definition by ''intension''), for example, by speaking of the set of all students in Room 101.<ref name=Newman/> | |||
Sets are axiomatized and investigated in general by a branch of [[mathematics]] known as [[set theory]]. In particular, set theory studies what conditions must apply to a defining property in order that the elements with that property in fact form a set. (Some choices of property lead to paradoxes,<ref name=Kline/> and this topic still is not fully resolved.) The very existence of various sets introduced below is addressed by set theory, for example by the [[Zermelo-Fraenkel axioms]].<ref name=Jech/> | |||
==Introduction== | ==Introduction== | ||
The basic property of sets is that they are solely determined by the elements they contain (this is called ''[[extensionality]]''). Thus, we can identify sets by listing their elements. For instance, we can talk about the set that has as its elements the numbers 1, 2 and 3. This set is denoted {1, 2, 3}. | |||
A consequence of this basic property is that a set cannot contain an element twice. The set {1, 2, 2, 3} contains the elements 1, 2 and 3 and is thus the same as the set {1, 2, 3}. This is the difference between sets and [[multiset]]s; when considered as multisets, {1, 2, 2, 3} and {1, 2, 3} are taken as different. | |||
Because only the members matter, the order in which the elements are listed does not matter. The sets {1, 2, 3} and {3, 2, 1} have the same elements and thus these two sets are equal. However, there are many contexts in which we want to consider structures that have elements in a certain order and these elements may be the same. Such a structure is called a [[tuple]] or a [[sequence]] or an [[ordered set]]. The tuple containing the elements 1, 2 and 3 (in that order) is different from the tuple containing the elements 3, 2 and 1. These tuples are denotes (1, 2, 3) and (3, 2, 1) respectively, with round brackets (or angle brackets) instead of curly brackets to emphasize the difference between tuples and sets. | |||
==Notation== | Despite the intuitive definition, a set is usually not defined formally in terms of other mathematical objects; rather it is defined by the laws (called [[axiom]]s) that is satisfies. For instance, one commonly requires that no set may be an element of itself. Because sets are defined by themselves, they are fundamental structures in mathematics and [[logic]]. Mathematicians have found ways to define many mathematical objects, such as the real numbers, in terms of sets. | ||
Some sets can be denoted by a list of objects separated with commas, enclosed with curly brackets. | |||
The number of elements that a set contains does not have to be [[finite]]. Sets that contain a finite number of elements are called finite sets. Sets that contain an infinite number of elements are called infinite sets. The number of elements that a finite set contains is called that set's [[cardinality]]. The concept of cardinality can also be applied to infinite sets, though the concept is less intuitive, and relies upon [[bijection]]s between sets. | |||
==Notation and terminology== | |||
Some sets can be denoted by a list of objects separated with commas, enclosed with curly brackets. As mentioned before, {1, 2, 3} is the set of the numbers 1, 2, and 3. We say that 1, 2, and 3 are its ''members'' or its ''elements''. The set with no elements at all is called the [[Empty set|''empty set'']], denoted by {{nowrap|∅<nowiki> = { }</nowiki>.}} | |||
There are many other ways to write out sets. For example, | There are many other ways to write out sets. For example, | ||
Line 32: | Line 44: | ||
:|''A''| = 8 | :|''A''| = 8 | ||
===Some special sets | ===Subsets=== | ||
A set ''A'' is a ''subset'' of another set ''B'' if each element of ''A'' is an element of ''B''. One says "''A'' is ''contained'' in ''B''" and writes ''A'' ⊂ ''B'', alternatively that "''B'' ''contains'' ''A''" or ''B'' ⊃ ''A''. If ''A'' ⊂ ''B'' and ''B'' ⊂ ''A'', then ''A'' = ''B''. Set ''A'' is a ''proper subset'' of set ''B'' if ''A'' ⊂ ''B'' and ''A'' ≠ ''B''. Sometimes, for emphasis, the notation ''A''⊆''B'' is used when the possibility that ''A=B'' is allowed, and ''A''⊂''B'' is reserved for the case when ''A=B'' is excluded.<ref name=Rao/> If ''A'' is a subset of ''B'', then ''B'' is a ''superset'' of ''A''. | |||
===Set of sets=== | |||
A set whose elements are also sets is called a '''set of sets'''. An important example is the set called the [[Power set|'''power set''']], a set whose elements consist of ''all'' the subsets of a set. (It may be observed for a set that is not expressed in the form of an explicit list of all its elements, there may be some complexity in discussing its subsets.) If ''A'' is a set, the power set of ''A'' often is denoted as {{nowrap|℘(''A'')}} or ''P(A)'' or <math>\mathcal{P}(A)</math>. | |||
One might simplemindedly imagine labeling some individual subset of ''A'' as ''A<sub>i</sub>'' with some index ''i'' from an ''index set'' ''I'', and then referring to the collection of these subsets {''A<sub>i</sub>''|''i∈I''} as a ''family of subsets'' of ''A''. In a more elaborate formulation of this notion, one defines a family of subsets in terms of the set of all subsets of ''A'', {{nowrap|℘(''A'')}}, and a labeling scheme for designating each of the subsets in {{nowrap|℘(''A'')}} as ''A<sub>i</sub>'' with some ''i''∈''I'', using a mapping function ''f'', itself called the ''family''. Then the set {''A<sub>i</sub>''} is called a ''family of subsets'' of ''A'', and of course, depends upon the labeling family function ''f''.<ref name=Halmos/> | |||
A famous letter from [[Georg Cantor|Cantor]] to [[Richard Dedekind|Dedekind]] in 1899 pointed out that the notion of a "set of '''''all''''' sets" leads to a contradiction (it cannot include its own power set).<ref name=Craig/> Some sets include themselves (so-called ''impredicative'' definitions), and some do not: The set of all ideas is an idea. The set of all wikis is not a wiki. Impredicative definitions underlie [[Set_theory#The_paradoxes|paradoxes]]. | |||
===Union, intersection, difference=== | |||
{{Image|Venn Diagrams.PNG|right|200px|Set A is the interior of the blue circle (left), set B is the interior of the red circle (right). The sets designated on the left are colored orange.}} | |||
The [[Union|''union'']] or ''sum'' of two sets ''A'' and ''B'', written ''A'' <big>∪</big> ''B'', is the set with elements that appear in ''A'' or ''B'' or both. That is: | |||
:<math>A\ \cup \ B = \{x | x \in A \ \text{or} \ x \in B \} \ .</math> | |||
The [[Intersection|''intersection'']] or ''product'' of ''A'' and ''B'', written ''A'' ∩ ''B'' is the set with elements that appear in both set ''A'' and in set ''B''. That is: | |||
:<math>A\ \cap \ B = \{x | x \in A \ \text{and} \ x \in B \} \ .</math> | |||
The [[Complement (logic)|''difference'']] of two sets ''A'' and ''B'', written ''A'' − ''B'', is the set with elements of ''A'' that are not elements of ''B''. It also is called the ''relative complement'' of ''B'' in set ''A''. That is: | |||
:<math>A\ - \ B = \{x | x \in A \ \text{and} \ x \not\in B \} \ .</math> | |||
The ''absolute complement'' of ''A'', denoted ~''A'', is the set of all elements not contained in ''A'': | |||
:<math>\sim A = \{x | x \not\in A \} \ , </math> | |||
which suggests there exists a broader ''universal'' set ''U'' that includes ''A'' and all other sets under discussion. Evidently it holds that: | |||
:<math>\sim \sim A = A \ . </math> | |||
These notions are visualized in the [[Venn diagram]] of the figure, in which the circles represent subsets ''A'' and ''B'' of the universal set ''U'', the rectangle.<ref name=Umaparvathi/> It is usual to consider the rims of the circles as containing no points of their own, but simply identifying the separation of the sets ''A'' and ''B'' from ''not A'' (~''A'') and ''not B'' (~''B''). If the rims are considered to have points of their own, minutiae of interpretation are introduced, as discussed in a footnote below.<ref name=details/> | |||
The union and the intersection are [[commutative]], that is: | |||
:<math>A \ \cup \ B \ = \ B \ \cup \ A \ </math> | |||
<math> \text {and}\ A\ \cap \ B \ =\ B \ \cap \ A \ , </math> | |||
and [[associative]]: | |||
:<math>\left(A \ \cup \ B \right)\ \cup \ C \ = \ A \ \cup \ \left(\ B\ \cup \ C \right) \ \text {and}</math>   <math> \left(A \ \cap \ B \right)\ \cap \ C \ = \ A \ \cap \ \left(\ B\ \cap \ C \right)\ . </math> | |||
Two sets ''A'' and ''B'' are said to be ''disjoint'' if ''A'' ∩ ''B'' = ∅. Also of interest are the ''absorption law'': | |||
:<math> A\ \cup \ \left(\ A\ \cap\ B\ \right) = A ;\ \ A\ \cap \ \left(\ A\ \cup\ B\ \right) = A \ ,</math> | |||
and the ''distributive law'': | |||
:<math>A \ \cup \ \left( \ B \ \cap \ C \ \right)\ = \ \left( \ A \ \cup \ B \ \right)\ \cap \ \left( A\ \cup \ C \ \right) ;</math>   <math> \ \ A \ \cap \ \left( \ B \ \cup \ C \ \right)\ = \ \left( \ A \ \cap \ B \ \right)\ \cup \ \left( \ A\ \cap \ C \ \right) \ . </math> | |||
Other relations involving set operations between multiple sets ''A'', ''B'', ''C'' ... are known.<ref name=Kelley/> | |||
===Cartesian products=== | |||
The '''Cartesian product''' or '''direct product''' of two sets ''A'' and ''B'' is the set defined by: | |||
:<math> A\mathbf{\times}B = \{(a, \ b) | a \in A, \ b\in B\} \ . </math> | |||
This definition can be extended to any number of sets. The couple ''(a, b)'' is called an ''ordered pair'', because the order of the two entries is significant, indicating which set the element comes from. The set {{nowrap|''A'' '''×''' ''B'' <nowiki>=</nowiki> ∅}} if and only if either {{nowrap|''A'' <nowiki>=</nowiki> ∅}} or {{nowrap|''B'' <nowiki>=</nowiki> ∅.}} | |||
===Mappings or functions=== | |||
Given two sets ''A'' and ''B'', a '''mapping''' (or ''map'') also called a '''function''' or '''transformation''' from ''A'' into ''B'', is a rule associating each element of ''A'' to an element of ''B''. Common notations for a mapping ''f'' are: | |||
:<math> f:A \rightarrow B \ \text{or}\ A\ \xrightarrow{f} \ B \ , </math> | |||
where the element ''a''∈''A'' is associated by the mapping ''f'' to an element ''b''∈''B'', that is: | |||
:<math>b = f(a) \ \ \text{or} \ f:a \mapsto b, </math> | |||
and ''b'' is called the ''image'' of ''a'' in ''B'' under ''f''. The set ''A'' is called the ''domain'' of the mapping ''f'', and the subset of ''B'' consisting of all the image points is the ''image'' (or sometimes ''range'') of ''f'', denoted as the subset of ''B'' given by: | |||
:<math> f(A) = \{ f(a)|a \in A \} \ . </math> | |||
The set ''B'' to which ''A'' is mapped is called the ''co-domain''. Evidently, the image is a subset of the co-domain. | |||
<!-- <ref name=Cheney> | |||
For example, see {{cite book |title=Linear algebra: Theory and applications |author=Ward Cheney, David Kincaid |chapter=§2.3: Linear transformations; Domain, co-domain, and range |pages=p. 135 |isbn=1449613527 |year=2011 |publisher=Jones & Bartlett Publishers |edition=2nd ed |url=http://books.google.com/books?id=S0imN2tl1qwC&pg=PA135}} </ref> --> | |||
*If the mapping {{nowrap|''f : A→B''}} satisfies ''f(A) = B'', then ''f'' is [[surjective function |''surjective'']]; we say ''f'' maps ''A'' '''''onto''''' ''B'', and the image equals the co-domain. | |||
*The mapping ''f'' is [[injective function |''injective'']] (or ''one-to-one'') if ''a<sub>1</sub> ≠ a<sub>2</sub>'' means ''f(a<sub>1</sub>) ≠ f(a<sub>2</sub>)'' for all ''a<sub>1</sub>,a<sub>2</sub> ∈ A''. | |||
*A [[bijective function]] (or '''invertible function''') is one which is both surjective and injective (''onto'' and ''one-to-one''). | |||
Two functions ''f'' and ''g'' are equal if they have the same domain ''A'', the same co-domain ''B'', and if ''f(a)'' = ''g(a)'' for all ''a''∈''A''. | |||
==Some special sets== | |||
Some sets that are ubiquitous in the mathematical literature have special symbols: | Some sets that are ubiquitous in the mathematical literature have special symbols: | ||
Line 40: | Line 129: | ||
*<math>\mathbb{Q}</math>, the set of [[rational number|rational numbers]] | *<math>\mathbb{Q}</math>, the set of [[rational number|rational numbers]] | ||
*<math>\mathbb{R}</math>, the set of [[real number|real numbers]] | *<math>\mathbb{R}</math>, the set of [[real number|real numbers]] | ||
*<math>\mathbb{F}</math>, the set of [[irrational number|irrational numbers]] | |||
*<math>\mathbb{C}</math>, the set of [[complex number|complex numbers]] | |||
*<math>\mathbb{P}</math>, the set of [[prime number|prime numbers]] | |||
Among other such well known sets are the [[ | Among other such well known sets are the [[fibonacci numbers]], [[even numbers]], [[odd numbers]], [[quaternions]], [[octonions]] and the [[Hamiltonian integers]]. | ||
==Some examples of sets== | |||
*The set consisting of all tuples (a,b), where a is any real number and ditto for b. This set is known as | *The set consisting of all tuples (a,b), where a is any real number and ditto for b. This set is known as {{nowrap|ℝ'''×'''ℝ}} or {{nowrap|ℝ<sup>2</sup>}}. | ||
*The three element set {Red, Yellow, Green}. | *The three element set {Red, Yellow, Green}. | ||
*The set consisting of the two elements Brake, Accelerate. | *The set consisting of the two elements Brake, Accelerate. | ||
*The set consisting of all tuples (a,b) where a is any element in the set {Red, Yellow, Green} and b is any element in the set {Brake, Accelerate}. | *The set consisting of all tuples (a,b) where a is any element in the set {Red, Yellow, Green} and b is any element in the set {Brake, Accelerate}. | ||
*The set of all [[function | functions]] from the set {Red, Yellow, Green} to the set {Brake, Accelerate}. | *The set of all [[function | functions]] from the set {Red, Yellow, Green} to the set {Brake, Accelerate}. | ||
== References== | == References== | ||
{{reflist}} | {{reflist|refs= | ||
<!-- | |||
*************** | |||
NOTE: Footnotes in this article are formatted using the [[CZ:List-defined references]] methodology for reducing clutter in the edit window. | |||
NOTE: In alphabetical order by name to make locating these sources easier when editing. | |||
**************** | |||
--> | |||
<ref name=Craig> | |||
See {{cite book |title=Routledge Encyclopedia of Philosophy, Volume 1 |author=Edward Craig |chapter=Paradoxes of set and property; §3 Cantor: side-stepping the paradoxes |url=http://books.google.com/books?id=mxpFwcAplaAC&pg=PA215 |pages=p. 215 |isbn= 0415073103 |publisher=Taylor & Francis |year=1998}} | |||
</ref> | |||
<ref name=details> | |||
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. As an instance, in the depicted union ''A<big>∪</big>B'', the red rim enters the interior of the blue circle. These 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. To make this point, the dual-identity points of the perimeters are shown dashed, with the dashes and spaces colored to represent both identities. | |||
</ref> | |||
<ref name=Halmos> | |||
See {{cite book |title=Naive set theory |author=Paul Richard Halmos |chapter=Section 9: Families |url=http://books.google.com/books?id=x6cZBQ9qtgoC&pg=PA34 |pages=pp. 34 ''ff'' |isbn= 9780387900926 |publisher=Springer |year=1998 |edition=Reprint of 1960 ed }} | |||
</ref> | |||
<ref name=Jech> | |||
For example, see {{cite book |title=Set theory |chapter=Chapter 1: Axioms of set theory - Axioms of Zermelo-Fraenkel |url=http://books.google.com/books?id=pLxq0myANiEC&pg=PA1 |pages=pp. 1 ''ff'' |isbn=0123819504 |year=1978 |publisher=Academic Press |author=Thomas J. Jech}} | |||
</ref> | |||
<ref name=Kelley> | |||
See, for example, {{cite book |title= General topology |author=John L Kelley |url=http://www.amazon.com/General-Topology-Graduate-Texts-Mathematics/dp/0387901256/ref=sr_1_1?s=books&ie=UTF8&qid=1305235401&sr=1-1#reader_0387901256 |chapter=Chapter 0: Preliminaries |isbn=0387901256 |year=1985 |pages=pp. 1 ''ff'' |edition=2nd ed |publisher=Birkhäuser}} | |||
</ref> | |||
<ref name=Kline> | |||
For a brief discussion, see {{cite book |title=Mathematical thought from ancient to modern times, Volume 3 |chapter=§2: The paradoxes of set theory |url=http://books.google.com/books?id=8YaBuGcmLb0C&pg=PA1183 |author=Morris Kline |isbn=0195061373 |year=1990 |pages=pp. 1183 ''ff'' |publisher=Oxford University Press}} | |||
</ref> | |||
<ref name=Newman> | |||
{{cite book |title=Introduction to mathematical philosophy |author=Bertrand Russell |url=http://books.google.com/books?id=aibPAAAAMAAJ&pg=PA12 |pages=p. 12 |year=1920 |edition=2nd ed |publisher=Allen & Unwin }} | |||
</ref> | |||
<ref name=Rao> | |||
For example see {{cite book |title=Discrete Mathematical Structures |author=G Shanker Rao |pages=pp. 40 ''ff'' |url=http://books.google.com/books?id=TJfm2GJPXf8C&pg=PA40 |isbn=8122414249 |year=2002 |publisher=New Age International |chapter=2.3: Subsets}} | |||
</ref> | |||
<ref name=Umaparvathi> | |||
See, for example, {{cite book |title=Discrete Mathematics |author=N. Chandrasekaran, M. Umaparvathi |pages=p. 11 |chapter=§1.3.3 Representation by Venn diagrams |url=http://books.google.com/books?id=XSOpel7NCccC&pg=PA11 |isbn=812033938X |publisher=PHI Learning Pvt. Ltd.}} | |||
</ref> | |||
}} | |||
[[ | ''Editing note: ''For guidance in formatting of footnotes as done in this article, see [[CZ:List-defined references]].[[Category:Suggestion Bot Tag]] | ||
[[Category: |
Latest revision as of 12:00, 17 October 2024
Informally, a set is thought of as any collection of distinct elements. They may be defined in two ways: by enumeration of their members (a definition by extension), for example by identifying a room of students by listing their names, or by a defining property (a definition by intension), for example, by speaking of the set of all students in Room 101.[1]
Sets are axiomatized and investigated in general by a branch of mathematics known as set theory. In particular, set theory studies what conditions must apply to a defining property in order that the elements with that property in fact form a set. (Some choices of property lead to paradoxes,[2] and this topic still is not fully resolved.) The very existence of various sets introduced below is addressed by set theory, for example by the Zermelo-Fraenkel axioms.[3]
Introduction
The basic property of sets is that they are solely determined by the elements they contain (this is called extensionality). Thus, we can identify sets by listing their elements. For instance, we can talk about the set that has as its elements the numbers 1, 2 and 3. This set is denoted {1, 2, 3}.
A consequence of this basic property is that a set cannot contain an element twice. The set {1, 2, 2, 3} contains the elements 1, 2 and 3 and is thus the same as the set {1, 2, 3}. This is the difference between sets and multisets; when considered as multisets, {1, 2, 2, 3} and {1, 2, 3} are taken as different.
Because only the members matter, the order in which the elements are listed does not matter. The sets {1, 2, 3} and {3, 2, 1} have the same elements and thus these two sets are equal. However, there are many contexts in which we want to consider structures that have elements in a certain order and these elements may be the same. Such a structure is called a tuple or a sequence or an ordered set. The tuple containing the elements 1, 2 and 3 (in that order) is different from the tuple containing the elements 3, 2 and 1. These tuples are denotes (1, 2, 3) and (3, 2, 1) respectively, with round brackets (or angle brackets) instead of curly brackets to emphasize the difference between tuples and sets.
Despite the intuitive definition, a set is usually not defined formally in terms of other mathematical objects; rather it is defined by the laws (called axioms) that is satisfies. For instance, one commonly requires that no set may be an element of itself. Because sets are defined by themselves, they are fundamental structures in mathematics and logic. Mathematicians have found ways to define many mathematical objects, such as the real numbers, in terms of sets.
The number of elements that a set contains does not have to be finite. Sets that contain a finite number of elements are called finite sets. Sets that contain an infinite number of elements are called infinite sets. The number of elements that a finite set contains is called that set's cardinality. The concept of cardinality can also be applied to infinite sets, though the concept is less intuitive, and relies upon bijections between sets.
Notation and terminology
Some sets can be denoted by a list of objects separated with commas, enclosed with curly brackets. As mentioned before, {1, 2, 3} is the set of the numbers 1, 2, and 3. We say that 1, 2, and 3 are its members or its elements. The set with no elements at all is called the empty set, denoted by ∅ = { }.
There are many other ways to write out sets. For example,
- A = {x | 1 < x < 10, x is a natural number}
can be read as follows: A is the set of all x, where x is between 1 and 10, and x is a natural number. A could also be written as:
- A = {2, 3, 4, 5, 6, 7, 8, 9}
Membership in a set is expressed with the ∈ symbol. To say that the set A contains the 2 as an element (or that 2 is an element of A), we write
- 2 ∈ A
The cardinality of a set is expressed by placing bars around the name of the set. For example, one would express the cardinality of the above set as such:
- |A| = 8
Subsets
A set A is a subset of another set B if each element of A is an element of B. One says "A is contained in B" and writes A ⊂ B, alternatively that "B contains A" or B ⊃ A. If A ⊂ B and B ⊂ A, then A = B. Set A is a proper subset of set B if A ⊂ B and A ≠ B. Sometimes, for emphasis, the notation A⊆B is used when the possibility that A=B is allowed, and A⊂B is reserved for the case when A=B is excluded.[4] If A is a subset of B, then B is a superset of A.
Set of sets
A set whose elements are also sets is called a set of sets. An important example is the set called the power set, a set whose elements consist of all the subsets of a set. (It may be observed for a set that is not expressed in the form of an explicit list of all its elements, there may be some complexity in discussing its subsets.) If A is a set, the power set of A often is denoted as ℘(A) or P(A) or .
One might simplemindedly imagine labeling some individual subset of A as Ai with some index i from an index set I, and then referring to the collection of these subsets {Ai|i∈I} as a family of subsets of A. In a more elaborate formulation of this notion, one defines a family of subsets in terms of the set of all subsets of A, ℘(A), and a labeling scheme for designating each of the subsets in ℘(A) as Ai with some i∈I, using a mapping function f, itself called the family. Then the set {Ai} is called a family of subsets of A, and of course, depends upon the labeling family function f.[5]
A famous letter from Cantor to Dedekind in 1899 pointed out that the notion of a "set of all sets" leads to a contradiction (it cannot include its own power set).[6] Some sets include themselves (so-called impredicative definitions), and some do not: The set of all ideas is an idea. The set of all wikis is not a wiki. Impredicative definitions underlie paradoxes.
Union, intersection, difference
The union or sum of two sets A and B, written A ∪ B, is the set with elements that appear in A or B or both. That is:
The intersection or product of A and B, written A ∩ B is the set with elements that appear in both set A and in set B. That is:
The difference of two sets A and B, written A − B, is the set with elements of A that are not elements of B. It also is called the relative complement of B in set A. That is:
The absolute complement of A, denoted ~A, is the set of all elements not contained in A:
which suggests there exists a broader universal set U that includes A and all other sets under discussion. Evidently it holds that:
These notions are visualized in the Venn diagram of the figure, in which the circles represent subsets A and B of the universal set U, the rectangle.[7] It is usual to consider the rims of the circles as containing no points of their own, but simply identifying the separation of the sets A and B from not A (~A) and not B (~B). If the rims are considered to have points of their own, minutiae of interpretation are introduced, as discussed in a footnote below.[8]
The union and the intersection are commutative, that is:
and associative:
Two sets A and B are said to be disjoint if A ∩ B = ∅. Also of interest are the absorption law:
and the distributive law:
Other relations involving set operations between multiple sets A, B, C ... are known.[9]
Cartesian products
The Cartesian product or direct product of two sets A and B is the set defined by:
This definition can be extended to any number of sets. The couple (a, b) is called an ordered pair, because the order of the two entries is significant, indicating which set the element comes from. The set A × B = ∅ if and only if either A = ∅ or B = ∅.
Mappings or functions
Given two sets A and B, a mapping (or map) also called a function or transformation from A into B, is a rule associating each element of A to an element of B. Common notations for a mapping f are:
where the element a∈A is associated by the mapping f to an element b∈B, that is:
and b is called the image of a in B under f. The set A is called the domain of the mapping f, and the subset of B consisting of all the image points is the image (or sometimes range) of f, denoted as the subset of B given by:
The set B to which A is mapped is called the co-domain. Evidently, the image is a subset of the co-domain.
- If the mapping f : A→B satisfies f(A) = B, then f is surjective; we say f maps A onto B, and the image equals the co-domain.
- The mapping f is injective (or one-to-one) if a1 ≠ a2 means f(a1) ≠ f(a2) for all a1,a2 ∈ A.
- A bijective function (or invertible function) is one which is both surjective and injective (onto and one-to-one).
Two functions f and g are equal if they have the same domain A, the same co-domain B, and if f(a) = g(a) for all a∈A.
Some special sets
Some sets that are ubiquitous in the mathematical literature have special symbols:
- , the empty set, sometimes written {}.
- , the set of natural numbers
- , the set of integers
- , the set of rational numbers
- , the set of real numbers
- , the set of irrational numbers
- , the set of complex numbers
- , the set of prime numbers
Among other such well known sets are the fibonacci numbers, even numbers, odd numbers, quaternions, octonions and the Hamiltonian integers.
Some examples of sets
- The set consisting of all tuples (a,b), where a is any real number and ditto for b. This set is known as ℝ×ℝ or ℝ2.
- The three element set {Red, Yellow, Green}.
- The set consisting of the two elements Brake, Accelerate.
- The set consisting of all tuples (a,b) where a is any element in the set {Red, Yellow, Green} and b is any element in the set {Brake, Accelerate}.
- The set of all functions from the set {Red, Yellow, Green} to the set {Brake, Accelerate}.
References
- ↑ Bertrand Russell (1920). Introduction to mathematical philosophy, 2nd ed. Allen & Unwin, p. 12.
- ↑ For a brief discussion, see Morris Kline (1990). “§2: The paradoxes of set theory”, Mathematical thought from ancient to modern times, Volume 3. Oxford University Press, pp. 1183 ff. ISBN 0195061373.
- ↑ For example, see Thomas J. Jech (1978). “Chapter 1: Axioms of set theory - Axioms of Zermelo-Fraenkel”, Set theory. Academic Press, pp. 1 ff. ISBN 0123819504.
- ↑ For example see G Shanker Rao (2002). “2.3: Subsets”, Discrete Mathematical Structures. New Age International, pp. 40 ff. ISBN 8122414249.
- ↑ See Paul Richard Halmos (1998). “Section 9: Families”, Naive set theory, Reprint of 1960 ed. Springer, pp. 34 ff. ISBN 9780387900926.
- ↑ See Edward Craig (1998). “Paradoxes of set and property; §3 Cantor: side-stepping the paradoxes”, Routledge Encyclopedia of Philosophy, Volume 1. Taylor & Francis, p. 215. ISBN 0415073103.
- ↑ See, for example, N. Chandrasekaran, M. Umaparvathi. “§1.3.3 Representation by Venn diagrams”, Discrete Mathematics. PHI Learning Pvt. Ltd., p. 11. ISBN 812033938X.
- ↑ 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. As an instance, in the depicted union A∪B, the red rim enters the interior of the blue circle. These 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. To make this point, the dual-identity points of the perimeters are shown dashed, with the dashes and spaces colored to represent both identities.
- ↑ See, for example, John L Kelley (1985). “Chapter 0: Preliminaries”, General topology, 2nd ed. Birkhäuser, pp. 1 ff. ISBN 0387901256.
Editing note: For guidance in formatting of footnotes as done in this article, see CZ:List-defined references.