Wikibooksβ

Set Theory/Sets

Contents

A mathematical set is defined as an unordered collection of distinct elements. That is, elements of a set can be listed in any order and elements occurring more than once are equivalent to occurring only once.

We say that an element is a member of a set. An element of a set can be anything. It's easiest to begin with only numbers as elements. For that reason, most of the examples in this book will only include numbers, but this is only a technique to make the topic less abstract.

We specify a set by specifying its members. The curly brace notation is used for this purpose.

{1,2,3}{\displaystyle \{1,2,3\}}

is the set containing 1, 2, 3 as members. Or, {mother, this ipod, my school, the planet Jupiter, 12} is also a set. The curly brace notation can be extended to specify a set by specifying a rule for set membership. ("|" means "such that".)

{x|x=1 or x=2 or x=3}{\displaystyle {\Big \{}x{\Big |}x=1{\text{ or }}x=2{\text{ or }}x=3{\Big \}}}

is again the set containing 1, 2, and 3 as members.

{x|x is a natural number}{\displaystyle {\Big \{}x{\Big |}x{\text{ is a natural number}}{\Big \}}}

is the set of all natural numbers. This form or representing set can be generalized as:

{x|P(x)}{\displaystyle {\Big \{}x{\Big |}P(x){\Big \}}}

where P(x){\displaystyle P(x)} is a statement about the variable x{\displaystyle x} . The set defined by above notation is a set of all objects x{\displaystyle x} such that P(x){\displaystyle P(x)} is true. **** (For a concrete example, consider A={x∈R:x2=1}{\displaystyle A={\Big \{}x\in \mathbb {R} :x^{2}=1{\Big \}}} . Here the property P{\displaystyle P} is “x2=1{\displaystyle x^{2}=1}” Thus, A{\displaystyle A} is the set of all real numbers whose square is one.). EXPLANATION: [A set may be defined by a property. For instance, the set of all planets in the solar system, the set of all even integers, the set of all polynomials with real coefficients, and so on. For a property P{\displaystyle P} and an element s{\displaystyle s} of a set S{\displaystyle S} , we write P(s){\displaystyle P(s)} to indicate that s{\displaystyle s} has the property P{\displaystyle P} . Then the notation {s∈S|P(s)}{\displaystyle {\Big \{}s\in S{\Big |}P(s){\Big \}}} indicates that the set consists of all elements s{\displaystyle s} of S{\displaystyle S} having the property P{\displaystyle P} . The vertical bar | is commonly read as “such that,” and can be also written using a colon instead. So {s∈S:P(s)}{\displaystyle {\Big \{}s\in S:P(s){\Big \}}} is an alternative notation for {s∈S|P(s)}{\displaystyle {\Big \{}s\in S|P(s){\Big \}}} . For a concrete example, consider A={x∈R|x2=1}{\displaystyle A={\Big \{}x\in \mathbb {R} {\Big |}x^{2}=1{\Big \}}}. Here the property P{\displaystyle P} is x2=1{\displaystyle x^{2}=1} . Thus, A{\displaystyle A} is the set of all real numbers (x{\displaystyle x} of R{\displaystyle \mathbb {R} } (i.e. 1)) whose square (12=1){\displaystyle (1^{2}=1)} is one.] ***

A modified epsilon notation is used for set membership. Thus

x∈A{\displaystyle x\in A}

means that x{\displaystyle x} is a member of A{\displaystyle A} . We can also say that x{\displaystyle x} is not a member of A{\displaystyle A} :

{x|x is an even prime}{x|x is a positive square root of 4}{2}{\displaystyle {\begin{aligned}&{\Big \{}x{\Big |}x{\text{ is an even prime}}{\Big \}}\\&{\Big \{}x{\Big |}x{\text{ is a positive square root of }}4{\Big \}}\\&\{2\}\end{aligned}}}

Moreover, the sets A,B{\displaystyle A,B} are said to be equal if and only if every element of A{\displaystyle A} is also an element of B{\displaystyle B} , and every element of B{\displaystyle B} is an element of A{\displaystyle A} .

All the above expressions specify the same set even though the concept of an even prime is different from the concept of a positive square root. Repetition of members is inconsequential in specifying a set. The expressions

{1,2,3}{1,1,1,1,2,3}{x|x is an even prime or x is a positive square root of 4 or x=1 or x=2 or x=3}{\displaystyle {\begin{aligned}&\{1,2,3\}\\&{\Big \{}1,1,1,1,2,3{\Big \}}\\&{\Big \{}x{\Big |}x{\text{ is an even prime or }}x{\text{ is a positive square root of }}4{\text{ or }}x=1{\text{ or }}x=2{\text{ or }}x=3{\Big \}}\end{aligned}}}

A set S{\displaystyle S} is a subset of set A{\displaystyle A} if every member of S{\displaystyle S} is a member of A{\displaystyle A} . We use the horseshoe notation to indicate subsets. The expression

{1,2}⊆{1,2,3}{\displaystyle \{1,2\}\subseteq \{1,2,3\}}

says that {1,2}{\displaystyle \{1,2\}} is a subset of {1,2,3}{\displaystyle \{1,2,3\}} . The empty set is a subset of every set. Every set is a subset of itself. A proper subset of A{\displaystyle A} is a subset of A{\displaystyle A} that is not identical with A{\displaystyle A} . The expression

{1,2}⊂{1,2,3}{\displaystyle \{1,2\}\subset \{1,2,3\}}

says that {1,2}{\displaystyle \{1,2\}} is a proper subset of {1,2,3}{\displaystyle \{1,2,3\}} .

The intersection of two sets A,B{\displaystyle A,B} , written A∩B{\displaystyle A\cap B} , is the set that contains everything that is a member of both A{\displaystyle A} and B{\displaystyle B} (and nothing else). That is,

The relative complement of A,B{\displaystyle A,B} , denoted B∖A{\displaystyle B\setminus A} (sometimes B−A{\displaystyle B-A}), is the set containing all the members of B{\displaystyle B} that are not members of A{\displaystyle A} . That is,

If we define a universe, or a set containing all of the elements we wish to consider, then we can discuss the absolute complement of a set. For a universe U{\displaystyle U} , define the absolute complement of a subset A{\displaystyle A} of U{\displaystyle U} to be

U∖A{\displaystyle U\setminus A}

The absolute complement of A{\displaystyle A} is denoted by AC,∁UA,∁A,A¯{\displaystyle A^{C},\complement _{U}A,\complement A,{\overline {A}}} (according to the ISO 31-11 standard) if U{\displaystyle U} is fixed.

A set of sets is usually referred to as a family or collection of sets. Often, families of sets are written with either a script or Fraktur font to easily distinguish them from other sets. For a family of sets A{\displaystyle {\mathfrak {A}}} , define the union and intersection of the family by,

⋃A=⋃A∈AA={x:x is in some A∈A}⋂A=⋂A∈AA={x:x is in all A∈A}{\displaystyle {\begin{aligned}\bigcup {\mathfrak {A}}&=\bigcup _{A\in {\mathfrak {A}}}A=\{x:x{\text{ is in some }}A\in {\mathfrak {A}}\}\\\bigcap {\mathfrak {A}}&=\bigcap _{A\in {\mathfrak {A}}}A=\{x:x{\text{ is in all }}A\in {\mathfrak {A}}\}\end{aligned}}}

For a family of sets, we say that it is pairwise disjoint if any two distinct sets we choose from the family are disjoint.