Set notation: Difference between revisions

Revision as of 12:49, 2 August 2019

Latest revision as of 09:55, 16 January 2020

(4 intermediate revisions by 3 users not shown)

Line 1:

{{merge|#Redirect [[Set-builder notation|date=December 2018}}]]

{{Refimprove|date=August 2008}}

[[Set (mathematics)|Sets]] are fundamental objects in [[mathematics]]. Intuitively, a set is merely a collection of [[element (mathematics)|elements]] or ''members''. There are various conventions for textually denoting sets. In any particular situation, an author typically chooses from among these conventions depending on which properties of the set are most relevant to the immediate context or on which perspective is most useful.

== Denoting a set as an object ==

Where it is desirable to refer to a set as an indivisible entity, one typically denotes it by a single capital letter. In referring to an arbitrary, generic set, a typical notational choice is {{math|''S''}}. When several sets are being discussed simultaneously, they are often denoted by the first few capitals: {{math|''A''}}, {{math|''B''}}, {{math|''C''}}, and so forth. By convention, particular symbols are reserved for the most important sets of numbers:

:{{math|'''∅'''}} – [[empty set]] (also <math>\emptyset</math> or <math>\varnothing</math> or {{math|&#123;&#125;}} are common)

:{{math|'''N'''}} – [[natural number]]s

:{{math|'''Z'''}} – [[integer]]s (from ''Zahl'', German for ''[[number]]'').

:{{math|'''Q'''}} – [[rational number]]s (from ''[[quotient]]'')

:{{math|'''R'''}} – [[real number]]s

:{{math|'''C'''}} – [[complex number]]s

Some authors use the [[blackboard bold]] font for these particular sets (<math>\mathbb{C}</math>, <math>\mathbb{N}</math>, etc.). This usage is widely accepted in handwriting, but some mathematicians, and such experts on mathematical typography as [[Donald Knuth]], advise against its use in print.<ref>Krantz, S., ''Handbook of Typography for the Mathematical Sciences'', Chapman & Hall/CRC, Boca Raton, Florida, 2001, p. 35.</ref>

== Focusing on the membership of a set ==

In many contexts one is interested more in the elements that constitute the set than in the single entity comprising those elements, for instance where stating an [[extensional definition]] of the set. Here the elements, whether expressed discretely or in some aggregate manner, are enclosed in braces.

The simplest notational approach of this type, which is feasible only for fairly small sets, is to enumerate the elements exhaustively. Thus the set of suits in a standard deck of playing cards is denoted by {♠,&nbsp;<span style="color:red">♦</span>,&nbsp;<span style="color:red">♥</span>,&nbsp;♣} and the set of even [[prime numbers]] is denoted by {{math|&#123;2&#125;}}. This approach also provides the notation {{math|&#123;&#125;}} for the empty set.

The [[semantics]] of the term ''set'' imposes certain [[syntactic]] constraints on these notations. The only information that is fundamental for a set is which particular objects are, or are not, elements. As a result, the order in which elements appear in an enumeration is irrelevant: {{math|&#123;''π'', 6, 1/2&#125;}} and {{math|&#123;1/2, ''π'', 6&#125;}} are two enumerations of the same set. Likewise, repeated mention of an element is also irrelevant, so {{math|&#123;1, 2, 2, 3, 3, 3&#125; {{=}} &#123;1, 2, 3&#125;}}. To deal with collections for which members' multiplicity ''is'' significant, there is a generalization of sets called ''[[multiset]]s''.

A variant of this explicitly exhaustive enumeration uses ranges of elements and features the [[ellipsis]]. For example, the set of the first ten natural numbers can be written as {{math|&#123;1, ..., 10&#125;}}. Here, of course, the ellipsis means "and so forth." Wherever an ellipsis is used to denote a range, it is punctuated as though it were an element of the set. If either extreme of a range is indeterminate, it may be denoted by a [[mathematical expression]] giving a formula to compute it. As an example, if {{math|''n''}} is known from context to be a positive integer, then the set of the first {{math|''n''}} [[square number|perfect squares]] may be denoted by {{math|&#123;1, 4, ..., ''n''²&#125;}}.

In general, if <math>n</math> is a natural number, then <math>\{1, \dots, n\}</math> denotes the set <math>\{i\in\mathbb N\mid 1\leq i\leq n\}</math>. A subtle special is <math>n=0</math>, in which <math>\{1, \dots, 0\}</math> is the empty set <math>\emptyset</math>.

Some [[infinite set]]s, too, can be represented in this way. An example is denoting the set of natural numbers (for which one notation described above is {{math|'''N'''}}) by {{math|&#123;1, 2, 3, ...&#125;}}. In cases where the infinitely repeating pattern is not obvious, one can insert an expression to represent a generic element of the set, as with {{math|&#123;0, 1, 3, ..., ''k''(''k''-1)/2, ...&#125;}}.

A more powerful mechanism for denoting a set in terms of its elements is [[set-builder notation]]. Here the general pattern is {{math|&#123;''x'' : ''P''(''x'')&#125;}}, which denotes the set of all elements {{math|''x''}} (from some [[universal set]]) for which the assertion {{math|''P''(''x'')}} about {{math|''x''}} is true. For example, when understood as a set of points, the circle with radius {{math|''r''}} and center {{math|(''a'', ''b'')}}, may be denoted as {{math|&#123;(''u'', ''v'') : (''u''−''a'')² + (''v''-''b'')² {{=}} ''r''²&#125;}}.

A notable exception to the braces notation is used to express [[interval (mathematics)|intervals]] on the [[real line]]. It makes use of the fact that any such interval is completely determined by its left and right endpoints: the [[unit interval]], for instance, is the set of reals between 0 and 1 (inclusive). The convention for denoting intervals uses brackets and parentheses, depending as the corresponding endpoint is included in or excluded from the set, respectively. Thus the set of reals with [[absolute value]] less than one is denoted by {{math|(−1, 1)}} — This is very different from the [[ordered pair]] with first entry −1 and second entry 1. As other examples, the set of reals {{math|''x''}} that satisfy {{math|2 < ''x'' ≤ 5}} is denoted by {{math|(2, 5]}}, and the set of nonnegative reals is denoted by {{math|[0, ∞)}}.

== Metaphor in denoting sets ==

Since so much of mathematics consists in discovering and exploiting patterns, it is perhaps not surprising that there should have arisen various set-denotational conventions that strike practitioners as obvious or natural—if sometimes only once the pattern has been pointed out.

One class comprises those notations deriving the symbol for a set from the algebraic form of a representative element of the set. As an example, consider the set of even numbers. Since a number {{math|''b''}} is even precisely if there exists some integer {{math|''a''}} such that {{math|''b'' {{=}} 2''a''}}, the following [[Set-builder_notation#Terms_more_complicated_than_a_single_variable|variation on set-builder notation]] could be used to denote this set: {{math|&#123;2''a'' : ''a''∈'''Z'''&#125;}} (compare this with the formal set-builder notation: {{math|&#123;''b''∈'''Z''' : ∃ ''a''∈'''Z''': ''b'' {{=}} 2''a''&#125;}}). Alternatively, a single symbol for the set of even numbers is {{math|2'''Z'''}}. Likewise, since any odd number must have the form {{math|2''a'' + 1}} for some integer {{math|''a''}}, the set of odd numbers may be denoted {{math|2'''Z'''+1}}.

A second class is based on a strong logical relationship between a set and a particular integer. One example is the bracket notation, in which the set {{math|&#123;1, ..., ''n''&#125;}} of the first {{math|''n''}} positive integers is denoted by {{math|[''n'']}}. (As a related point, when endowed with the standard less-than-or-equal [[Relation (mathematics)|relation]] {{math|≤}}, the set {{math|[''n'']}} yields the [[poset]] denoted by {{math|'''''n'''''}}.) Another example arises from [[modular arithmetic]], where [[equivalence classes]] are denoted by <math>\bar{a}_n</math>, which may be understood to represent the set of integers that leave remainder {{math|''a''}} on division by {{math|''n''}}. Thus yet another notation for the set of even numbers is <math>\bar{0}_2</math>.

Another set-denotational convention that relies on metaphor comes from [[enumerative combinatorics]]. It derives a symbol for a set {{math|''S''}} from an expression for the set's [[cardinality]], or size, {{math|&#124;''S''&#124;}}. Perhaps the simplest and best known example is the [[Cartesian product]] of sets {{math|''A''}} and {{math|''B''}}, which is the set {{math|&#123;(''a'', ''b'') : ''a''∈''A'', ''b''∈''B''&#125;}}. Since, in this set, every element of {{math|''A''}} gets paired exactly once with every element of {{math|''B''}}, its cardinality is {{math|&#124;''A''&#124; × &#124;''B''&#124;}}. For this reason, the set is denoted by {{math|''A''×''B''}}. In fact, that same fact about its cardinality is why this set is called a ''product''.

There are many other examples of this convention. One is the set of [[Function (mathematics)|functions]] from set {{math|''A''}} to set {{math|''B''}}. When {{math|''A''}} and {{math|''B''}} are [[Finite set|finite]], specifying any such function amounts to choosing for each element of {{math|''A''}} which element of {{math|''B''}} should be its [[image (mathematics)|image]]. So, the number of these functions is {{math|&#124;''B''&#124;^{&#124;''A''&#124;}}}. Thus, one denotes the set of all functions from {{math|''A''}} to {{math|''B''}} as {{math|''B''^''A''}}. Another example is the [[power set]] of a set {{math|''S''}}, which, having cardinality {{math|2^{&#124;''S''&#124;}}}, is denoted by {{math|2^''S''}}. Note, though, that since any [[subset]] of {{math|''S''}} may be seen as a function assigning to each element of {{math|''S''}} one or the other element of {include,&nbsp;exclude}, the notation {{math|2^''S''}} may be seen as a special case of {{math|''B''^''A''}}. The cardinality metaphor has also been used to derive from the standard notation for [[binomial coefficients]] the notation <math>\tbinom X k</math> for the set of all {{math|''k''}}-element subsets of a set {{math|''X''}}. An alternative notation to denote the all <math>k</math>-subsets of <math>X</math> is <math> [X]^k </math>

An example where this cardinality-based convention appears not to have been used yet is {{math|''X''!}} to denote the set of all [[permutations]] of a set {{math|''X''}}. Since it is usually seen as the underlying set of a [[symmetric group]], this set is typically denoted by a symbol for the group itself, either {{math|''S''_''X''}} or {{math|Sym(''X'')}}.

== Other conventions ==

Further conventions are also sometimes seen, including one based on relations. For a relation {{math|''R''}} on a set {{math|''S''}}, one may denote the set of objects related by ''R'' to some element {{math|''x''}} of {{math|''S''}} by {{math|''S''_''R''(x)}}. So from the notation | for the ''divides'' relation of [[number theory]], one may denote the set of factors of an integer {{math|''n''}} by {{math|'''Z'''_&#124;(''n'')}}. Similarly, a subset of {{math|''X''}} is a ''principal'' [[lower set]] of a poset {{math|(''X'', ≤)}} precisely if it can be denoted by {{math|''X''_≤(''x'')}} for some {{math|''x''}} in {{math|''X''}}. And since {{math|~}} is the symbol for the [[adjacency relation]], the subset of a collection {{math|''W''}} of vertices of a [[Graph (discrete mathematics)|graph]] that includes exactly those adjacent to a vertex {{math|''v''}} (namely, the [[intersection (set theory)|intersection]] of {{math|''W''}} with the [[neighbourhood (graph theory)|open neighborhood]] of {{math|''v'')}} may be denoted by {{math|''W''_~(''v'')}}.

==See also==

* [[List of mathematical symbols]]

* [[List (computing)]]

* [[Sequence]]

* [[Set-builder notation]]

* [[Mathematical notation]]

* [[Ordinal notation]]

* [[Presentation of a group|Presentations of groups]]&nbsp;– features syntax roughly analogous to that of set-builder notation

== References ==

<references/>

[[Category:Mathematical notation]]

[[Category:Set theory]]