2.1: Subsets and Equality
- Page ID
- 4867
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)For this section, let A and B be sets.
Subsets
Definition: Subset
A is a subset of B, (denoted \(A \subseteq B\)), if every element of A is also an element of B.
TEMPLATE To prove \(A \subseteq B\):
We NEED to show If \(x \in A\) then \(x \in B.\)
Example \(\PageIndex{1}\):
Let \(A\) be a set. Then \(\emptyset\) and \(A\) are subsets of \(A\).
So \(A, \, \emptyset \subseteq A\).
We can use set notation to specify and help describe our standard number systems. The following first four standard sets are given from smallest to biggest:
- \(\mathbb{N}\) represents the set of all natural numbers: \(\mathbb{N} = \{1, 2, 3, 4...\}\)
- \(\mathbb{W}\) represents the set of all whole numbers: \( \mathbb{W} = \{0, 1, 2, 3...\} \)
- \(\mathbb{Z}\) represents the set of all integers: \(\mathbb{Z} = \{ ...-2, -1, 0, 1, 2...\}\). \(i\) is not used because it is used for complex numbers.
- \(\mathbb{Q}\) represents the set of all rational numbers: \(\mathbb{Q} = \{0, \pm1, \pm\frac{1}{2}, \pm\frac{1}{3}...\}\)
- \(\mathbb{Q}\)c represents the set of all irrational numbers
- \(\mathbb{R}\) represents the set of all real numbers
- \(\mathbb{U}\) represents the universal set, the set to which all others are a subset.
Equal Sets
Definition: Equal Set
A is equal to B, denoted \(A = B\), if \(A \subseteq B\) and \(B \subseteq A\).
Proper Subsets
Definition: Subset
A is a proper subset of B (denoted \(A \subset B\)) if \(A \subseteq B\) and \(A \neq B\).
Example \(\PageIndex{2}\):
Let \(A = \{1, 3, 5\}, \, B = \{1, 5\}, \, C = \{1, 3, 5\}, \, D = \{1, 4\}\)
- \(B \subset A\). since \(3 \notin B, B \ne A.\)
- \(C \subseteq A\), and \(C = A\).
- \(D \nsubseteq A\) because \(4 \notin A\).
Example \(\PageIndex{3}\):
Consider \( \mathbb{N} \) and \( \mathbb{W} \), the sets of natural and whole numbers.
\(\mathbb{N} \subset \mathbb{W}\) because all elements of \( \mathbb{N} \) are present in \( \mathbb{W} \).
However, since \(0 \notin \mathbb{N}\), \(\mathbb{N} \nsubseteq \mathbb{W}\).
Power Sets
Definition: Power set
Let \(A\) be a set. Then the set of all subsets of \(A\) is called power set of \(A\), and is denoted by \(P(A)\).
Example \(\PageIndex{4}\):
Let set \(A = \{Alex, Billy, Casey\}\)
\(P(A)\):
{Alex} | {Alex, Billy} | {Alex, Billy, Casey} |
{Billy} | {Alex, Casey} | \(\emptyset\) |
{Casey} | {Billy, Casey} |
Cardinality
Definition: Cardinality
Let \(A\) be a set. then the number of elements in the set \(A\) is called cardinality of the set \(A\), and is denoted by \(|A|\) or \(n(A)\). If \(n(A)\) is finite then \(A\) is called finite set, otherwise, it is called infinite set.
Example \(\PageIndex{5}\):
Let \(A = \{1, 2, 3, 4, 5, 6, 7 \}\). Then \(\mid A \mid = 7\).
Example \(\PageIndex{6}\):
Let \(A\) be a set with \(|A|=n\). Then \(|P(A)|=2^n.\)
New Notations & Definitions
\(\subseteq\): denotes that a set is a subset of another set.
\(\subset\): denotes that a set is a proper subset of another set.
\(\mid\): denotes for "such that" or "divides," depending on context.
{ } or \(\emptyset\): denotes an empty set
Equal sets: \(A = B\) if \(A \subseteq B\) and \(B \subseteq A\)