chevron_left Empty set: A set with no elements chevron_right

The Empty Set: Exploring Nothingness in Mathematics

What is a Set? The Foundation

Before we can understand the empty set, we must understand what a set is. In mathematics, a set is a well-defined collection of distinct objects. These objects are called elements or members of the set. Sets are usually denoted by capital letters like $A$, $B$, or $C$, and their elements are listed inside curly braces $\{ \}$.

For example:

• The set of primary colors: $C = \{ \text{red, yellow, blue} \}$.
• The set of even numbers less than 10: $E = \{ 2, 4, 6, 8 \}$.
• The set of vowels in the English alphabet: $V = \{ a, e, i, o, u \}$.

We say an element "belongs to" a set. For instance, $2 \in E$ (2 is an element of E). If something is not in the set, we use the symbol $\notin$. For example, $3 \notin E$.

Defining the Empty Set

Now, consider a very special collection: a collection with no objects at all. This is the empty set. It is a set, but it has zero elements. Think of it like an empty bag. The bag itself exists (it is a bag), but there is nothing inside it.

The empty set is unique. There is only one empty set, because all sets with no elements are identical. Whether you think of an empty bag of fruits or an empty box of toys, their "emptiness" is the same.

The Empty Set as a Universal Subset

One of the most important properties of the empty set involves the concept of a subset. A set $A$ is a subset of a set $B$ if every element of $A$ is also an element of $B$. We write this as $A \subseteq B$.

For example, if $B = \{1, 2, 3\}$, then $\{1, 2\}$ is a subset of $B$.

Now, is the empty set a subset of $B$? To check, we ask: "Is every element of $\emptyset$ also an element of $B$?" Since the empty set has no elements, this statement is vacuously true. There are no elements in $\emptyset$ to violate the condition. Therefore, the empty set is a subset of every set, including itself.

This can be written as: For any set $S$, $\emptyset \subseteq S$.

Operations with the Empty Set

What happens when we perform basic set operations^[1] with the empty set? Let's explore using two example sets: $A = \{ 1, 2 \}$ and $B = \emptyset$.

• Union ($\cup$): The union of two sets is a set containing all elements from both. The union of any set with the empty set is just the original set. $A \cup \emptyset = \{1, 2\} \cup \{ \} = \{1, 2\} = A$. In general, $S \cup \emptyset = S$.
• Intersection ($\cap$): The intersection is the set of elements common to both sets. The empty set has no elements, so it can share none. The intersection of any set with the empty set is empty. $A \cap \emptyset = \{1, 2\} \cap \{ \} = \{ \} = \emptyset$. In general, $S \cap \emptyset = \emptyset$.
• Set Difference ($\setminus$): $A \setminus B$ is the set of elements in $A$ that are not in $B$. Removing "nothing" from a set leaves it unchanged. $A \setminus \emptyset = \{1, 2\} \setminus \{ \} = \{1, 2\} = A$. However, $\emptyset \setminus A = \{ \} \setminus \{1, 2\} = \{ \} = \emptyset$. You can't take elements from an empty set.
• Cartesian Product^[2] ($\times$): The product $A \times B$ is the set of all ordered pairs where the first element is from $A$ and the second from $B$. If one set is empty, there are no possible pairs. $A \times \emptyset = \{1, 2\} \times \{ \} = \emptyset$.

Real-World and Mathematical Examples

The empty set isn't just a theoretical idea; it describes real situations and solves mathematical problems.

Example 1: School Clubs
Imagine a school has a "Chess Club." At the start of the year, before anyone signs up, the set of members is the empty set: $M = \emptyset$. After three students, Anna, Ben, and Chloe, join, the set becomes $M = \{ \text{Anna, Ben, Chloe} \}$. The empty set represented the initial state of the club.

Example 2: Solutions to Equations
Consider the equation $x + 1 = x$. If you try to solve it, you get $1 = 0$, which is false. This equation has no solution. We can say the solution set is the empty set: $S = \emptyset$. In contrast, the equation $x^2 = 4$ has the solution set $\{-2, 2\}$.

Example 3: Prime Numbers Between Two Composites
Find all prime numbers strictly between $24$ and $28$. The numbers are $25, 26, 27$. None are prime. Therefore, the set of such primes is $\emptyset$.

Example 4: In Computer Science
In programming, a data structure called a "list" or "array" can be empty. An empty list is a concrete representation of the empty set. Functions that return "no results" often return an empty collection.

Cardinality and the Power Set

The cardinality of a set is the number of elements it contains, denoted by $|A|$. For the empty set, $|\emptyset| = 0$.

A more advanced concept is the power set. The power set of a set $A$, written as $\mathcal{P}(A)$, is the set of all possible subsets of $A$. This includes the empty set and $A$ itself.

Let's see the power set of a small set, $X = \{ a, b \}$:

• Subsets of $X$: $\emptyset$, $\{a\}$, $\{b\}$, $\{a, b\}$.
• Therefore, $\mathcal{P}(X) = \{ \emptyset, \{a\}, \{b\}, \{a, b\} \}$.

Notice that the empty set $\emptyset$ is always an element of every power set. The cardinality of a power set is $2^n$, where $n$ is the cardinality of the original set. For $X$, $|X|=2$, so $|\mathcal{P}(X)| = 2^2 = 4$, which matches our list.

What is the power set of the empty set?

Important Questions

Conclusion

Footnote

^[1] Set Operations: Standard ways to combine or compare sets, such as union (combining), intersection (common elements), and difference (elements in one but not the other).
^[2] Cartesian Product: An operation that returns a set of all ordered pairs from two given sets. Denoted by $A \times B$.