The concept of a set serves as a fundamental part of present-day mathematics. Today, this concept is used in almost every branch of mathematics, particularly to define the concepts of relations, functions, geometry, sequences, and probability.
Historical Chronicle: Georg Cantor (1845-1918)
Epigraph: G.H. Hardy on Mathematics
"In these days of conflict between ancient and modern studies; there must surely be something to be said for a study which did not begin with Pythagoras and will not end with Einstein; but is the oldest and the youngest."
A set is a well-defined collection of objects. "Well-defined" means that we can definitely decide whether a given particular object belongs to the collection or not.
The following symbols are standard representations for specific sets of numbers:
| Symbol | Description | Mathematical Definition / Elements | Systemic Role |
|---|---|---|---|
| $\mathbf{N}$ | Set of all natural numbers | $\{1, 2, 3, 4, \dots\}$ | Fundamental counting numbers |
| $\mathbf{Z}$ | Set of all integers | $\{\dots, -3, -2, -1, 0, 1, 2, 3, \dots\}$ | Closed under subtraction |
| $\mathbf{Q}$ | Set of all rational numbers | $\{x : x = \frac{p}{q}, p, q \in \mathbf{Z}, q \neq 0\}$ | Closed under division (except by zero) |
| $\mathbf{R}$ | Set of all real numbers | Union of rational and irrational numbers | Continuous number line |
| $\mathbf{Z}^+$ | Set of positive integers | $\{1, 2, 3, \dots\}$ | Equivalent to $\mathbf{N}$ |
| $\mathbf{Q}^+$ | Set of positive rational numbers | $\{x \in \mathbf{Q} : x > 0\}$ | Positive fractional values |
| $\mathbf{R}^+$ | Set of positive real numbers | $\{x \in \mathbf{R} : x > 0\}$ | Positive continuous domain |
There are two primary methods of representing a set:
Mathematical Problem Statement: Write the solution set of the equation $x^2 + x - 2 = 0$ in roster form.
Step-by-Step Algorithmic Solution Trace:
- Factorize the quadratic equation: $x^2 + x - 2 = 0 \implies (x - 1)(x + 2) = 0$.
- Solve for $x$: $x = 1$ or $x = -2$.
- Represent the solutions as elements of a set enclosed in braces.
Final Evaluation Output: $\{1, -2\}$
Mathematical Problem Statement: Write the set $\{x : x \text{ is a positive integer and } x^2 < 40\}$ in the roster form.
Step-by-Step Algorithmic Solution Trace:
- Identify positive integers: $1, 2, 3, 4, 5, 6, 7, \dots$
- Evaluate their squares: $1^2=1, 2^2=4, 3^2=9, 4^2=16, 5^2=25, 6^2=36, 7^2=49$.
- Select those whose squares are strictly less than $40$: $1, 2, 3, 4, 5, 6$.
Final Evaluation Output: $\{1, 2, 3, 4, 5, 6\}$
Mathematical Problem Statement: Write the set $\left\{\frac{1}{2}, \frac{2}{3}, \frac{3}{4}, \frac{4}{5}, \frac{5}{6}, \frac{6}{7}\right\}$ in the set-builder form.
Step-by-Step Algorithmic Solution Trace:
- Observe the pattern of the elements: each fraction has a numerator $n$ and a denominator $n+1$.
- Identify the domain of $n$: $n$ is a natural number starting from $1$ up to $6$ ($1 \le n \le 6$).
- Formulate the characteristic property: $x = \frac{n}{n+1}$ where $n \in \mathbf{N}$ and $1 \le n \le 6$.
Final Evaluation Output: $\left\{x : x = \frac{n}{n+1}, \text{ where } n \in \mathbf{N} \text{ and } 1 \le n \le 6\right\}$
Sets can be classified into various categories based on the number of elements they contain and their relationships with other sets.
A set which does not contain any element is called the empty set, null set, or void set.
Two sets $A$ and $B$ are said to be equal if they have exactly the same elements, and we write $A = B$. Otherwise, they are unequal ($A \neq B$).
Mathematical Problem Statement: State which of the following sets are finite or infinite:
(i) $\{x : x \in \mathbf{N} \text{ and } (x - 1)(x - 2) = 0\}$
(ii) $\{x : x \in \mathbf{N} \text{ and } x^2 = 4\}$
(iii) $\{x : x \in \mathbf{N} \text{ and } 2x - 1 = 0\}$
(iv) $\{x : x \in \mathbf{N} \text{ and } x \text{ is prime}\}$
Step-by-Step Algorithmic Solution Trace:
- For (i), the solutions are $x = 1, 2$. Both are natural numbers. The set is $\{1, 2\}$, which is finite.
- For (ii), $x^2 = 4 \implies x = 2$ (since $x \in \mathbf{N}$). The set is $\{2\}$, which is finite.
- For (iii), $2x - 1 = 0 \implies x = 1/2$, which is not a natural number. The set is $\phi$, which is finite.
- For (iv), the set of prime numbers is $\{2, 3, 5, 7, 11, \dots\}$, which is infinite.
Final Evaluation Output: (i) Finite, (ii) Finite, (iii) Finite, (iv) Infinite
Understanding how sets can be contained within other sets is a core concept in set theory, especially when dealing with real numbers.
A set $A$ is said to be a subset of a set $B$ if every element of $A$ is also an element of $B$. We write $A \subset B$.
The relationships between standard number systems can be expressed using subset notation:
$$\mathbf{N} \subset \mathbf{Z} \subset \mathbf{Q} \subset \mathbf{R}$$
Additionally, if $\mathbf{T}$ is the set of all irrational numbers, then:
$$\mathbf{T} \subset \mathbf{R}, \quad \mathbf{N} \not\subset \mathbf{T}$$
Let $a, b \in \mathbf{R}$ and $a < b$. We define the following types of intervals:
| Interval Type | Notation | Set-Builder Definition | Boundary Inclusion |
|---|---|---|---|
| Open Interval | $(a, b)$ | $\{x \in \mathbf{R} : a < x < b\}$ | Excludes both endpoints $a$ and $b$. |
| Closed Interval | $[a, b]$ | $\{x \in \mathbf{R} : a \le x \le b\}$ | Includes both endpoints $a$ and $b$. |
| Semi-Open (Right-Open) | $[a, b)$ | $\{x \in \mathbf{R} : a \le x < b\}$ | Includes $a$, excludes $b$. |
| Semi-Closed (Left-Open) | $(a, b]$ | $\{x \in \mathbf{R} : a < x \le b\}$ | Excludes $a$, includes $b$. |
The number $(b - a)$ is called the length of any of these intervals.
Visualizing sets and defining the context of discussion are essential for solving complex set-theoretic problems.
The Universal Set is a basic set containing all possible objects under consideration for a particular context. It is denoted by $U$, and all other sets are treated as its subsets.
Relationships between sets can be represented geometrically using Venn diagrams, named after the English logician John Venn (1834-1883).
Just as arithmetic operations exist for numbers, algebraic operations exist for sets to combine, intersect, or subtract them.
The union of two sets $A$ and $B$ is the set which consists of all elements of $A$ and all elements of $B$, with common elements taken only once. Denoted by $A \cup B$.
$$A \cup B = \{x : x \in A \text{ or } x \in B\}$$
Mathematical Problem Statement: Let $A = \{2, 4, 6, 8\}$ and $B = \{6, 8, 10, 12\}$. Find $A \cup B$.
Step-by-Step Algorithmic Solution Trace:
- List all elements of $A$: $2, 4, 6, 8$.
- List all elements of $B$: $6, 8, 10, 12$.
- Combine the lists, ensuring common elements ($6, 8$) are written only once.
Final Evaluation Output: $\{2, 4, 6, 8, 10, 12\}$
The intersection of two sets $A$ and $B$ is the set of all elements which are common to both $A$ and $B$. Denoted by $A \cap B$.
$$A \cap B = \{x : x \in A \text{ and } x \in B\}$$
Mathematical Problem Statement: Let $A = \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\}$ and $B = \{2, 3, 5, 7\}$. Find $A \cap B$ and show that $A \cap B = B$.
Step-by-Step Algorithmic Solution Trace:
- Identify elements common to both $A$ and $B$: $2, 3, 5, 7$.
- Construct the intersection set: $A \cap B = \{2, 3, 5, 7\}$.
- Observe that this set is identical to $B$.
Final Evaluation Output: $A \cap B = \{2, 3, 5, 7\} = B$
The difference of two sets $A$ and $B$ (written as $A - B$) is the set of elements which belong to $A$ but not to $B$.
$$A - B = \{x : x \in A \text{ and } x \notin B\}$$
Mathematical Problem Statement: Let $A = \{1, 2, 3, 4, 5, 6\}$ and $B = \{2, 4, 6, 8\}$. Find $A - B$ and $B - A$.
Step-by-Step Algorithmic Solution Trace:
- To find $A - B$, remove all elements of $B$ from $A$: remove $2, 4, 6$ from $\{1, 2, 3, 4, 5, 6\} \implies \{1, 3, 5\}$.
- To find $B - A$, remove all elements of $A$ from $B$: remove $2, 4, 6$ from $\{2, 4, 6, 8\} \implies \{8\}$.
Final Evaluation Output: $A - B = \{1, 3, 5\}$ and $B - A = \{8\}$
| Property / Law | Union ($\cup$) Formulation | Intersection ($\cap$) Formulation |
|---|---|---|
| Commutative Law | $A \cup B = B \cup A$ | $A \cap B = B \cap A$ |
| Associative Law | $(A \cup B) \cup C = A \cup (B \cup C)$ | $(A \cap B) \cap C = A \cap (B \cap C)$ |
| Identity Law | $A \cup \phi = A$ | $A \cap U = A$ |
| Idempotent Law | $A \cup A = A$ | $A \cap A = A$ |
| Distributive Law | $A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$ | $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$ |
The complement of a set represents everything outside that set within the boundaries of the universal set.
Let $U$ be the universal set and $A$ be a subset of $U$. The complement of A (denoted by $A'$) is the set of all elements of $U$ which are not elements of $A$.
$$A' = U - A = \{x : x \in U \text{ and } x \notin A\}$$
Mathematical Problem Statement: Let $U = \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\}$ and $A = \{1, 3, 5, 7, 9\}$. Find $A'$.
Step-by-Step Algorithmic Solution Trace:
- Identify elements in $U$ that are not in $A$.
- The elements are $2, 4, 6, 8, 10$.
- Construct the complement set: $A' = \{2, 4, 6, 8, 10\}$.
Final Evaluation Output: $A' = \{2, 4, 6, 8, 10\}$
| Property Name | Mathematical Formulation | Description |
|---|---|---|
| Complement Laws | $A \cup A' = U$ $A \cap A' = \phi$ |
A set and its complement partition the universal set and share no elements. |
| De Morgan's Laws | $(A \cup B)' = A' \cap B'$ $(A \cap B)' = A' \cup B'$ |
The complement of a union is the intersection of complements; the complement of an intersection is the union of complements. |
| Double Complementation | $(A')' = A$ | Complementing a complement returns the original set. |
| Laws of Empty & Universal Sets | $\phi' = U$ $U' = \phi$ |
The complement of the empty set is the universal set, and vice versa. |
Mathematical Problem Statement: Let $U = \{1, 2, 3, 4, 5, 6\}$, $A = \{2, 3\}$ and $B = \{3, 4, 5\}$. Verify that $(A \cup B)' = A' \cap B'$.
Step-by-Step Algorithmic Solution Trace:
- Compute $A \cup B = \{2, 3, 4, 5\}$.
- Find the complement of $A \cup B$: $(A \cup B)' = U - \{2, 3, 4, 5\} = \{1, 6\}$.
- Compute $A' = U - A = \{1, 4, 5, 6\}$.
- Compute $B' = U - B = \{1, 2, 6\}$.
- Find the intersection of $A'$ and $B'$: $A' \cap B' = \{1, 4, 5, 6\} \cap \{1, 2, 6\} = \{1, 6\}$.
- Compare the results: $(A \cup B)' = A' \cap B' = \{1, 6\}$.
Final Evaluation Output: Verified that $(A \cup B)' = A' \cap B' = \{1, 6\}$