Finite And Infinite Sets

What Is a Set in Mathematics?

A set is a well-defined collection of distinct objects, which are called the elements or members of the set. Think of a set as a container. You can put things inside it, but each thing must be unique within that container, and you must have a clear rule for what's allowed inside. We typically use capital letters to name sets, like $A$, $B$, or $S$, and enclose the elements within curly braces $$.

For example, the set of primary colors can be written as:

$$C=\{\text{red, yellow, blue}\}$$

In this set $C$, the word "red" is an element. We use the symbol $\in$ to show that an element belongs to a set, and $\notin$ to show that it does not. So, we can say:

• red $\in C$ (read as "red is an element of C")
• green $\notin C$ (read as "green is not an element of C")

Two key rules for sets are:

1. Order doesn't matter: The set $\{1,2,3\}$ is exactly the same as the set $\{3,1,2\}$. The arrangement of elements inside the braces does not change the set's identity.
2. Elements are not repeated: A set only cares about whether an object is present, not how many times it appears. The set of letters in the word "BOOK" is $\{B,O,K\}$, not $\{B,O,O,K\}$. Each element is listed only once.

What Makes a Set Finite?

A set is finite if you can, in theory, count its elements and the counting process eventually comes to an end. The number of distinct elements in a finite set is called its cardinality. We denote the cardinality of a set $A$ as $|A|$ or $n(A)$.

For example, let $V$ be the set of vowels in the English alphabet.

$$V=\{a,e,i,o,u\}$$

We can count the elements: one, two, three, four, five. The counting stops. Therefore, the set $V$ is finite, and its cardinality is $5$. We write this as:

Even a set with a huge number of elements is still finite as long as the counting process would eventually terminate. For instance, the set of all grains of sand on Earth is a finite set. While it would be impossible to actually count them, we know there is a specific, final number.

A special finite set is the empty set, which is a set containing no elements at all. It is represented by the symbol $\mathrm{\varnothing }$ or by empty curly braces $$. The empty set is finite, and its cardinality is $0$.

What Makes a Set Infinite?

A set is infinite if it is not finite. This means you can't count its elements and have the counting process ever come to an end. If you start counting the elements of an infinite set, you will continue counting forever. There is no "last" element.

The most classic example of an infinite set is the set of natural numbers, denoted by $\mathbb{N}$.

$$\mathbb{N}=\{1,2,3,4,5,...\}$$

The three dots at the end, called an ellipsis, indicate that the pattern continues without end. You can always add $1$ to any natural number to get a new, larger one. There is no largest natural number, so the set is infinite.

Other common examples of infinite sets include:

• The set of Integers ($\mathbb{Z}$): $\{...,-3,-2,-1,0,1,2,3,...\}$
• The set of Even Numbers ($E$): $\{...,-4,-2,0,2,4,...\}$
• The set of Rational Numbers ($\mathbb{Q}$): The set of all numbers that can be expressed as a fraction $\frac{p}{q}$, where $p$ and $q$ are integers and $q\ne 0$.

For an infinite set $A$, we say its cardinality is infinite, often denoted as $|A|=\mathrm{\infty }$. However, as we'll see later, the world of infinity is more complex than it first appears!

How Do We Describe and Write Sets?

Writing out every element of a set can be tedious or, in the case of infinite sets, impossible. Mathematicians use two primary methods to describe sets: the Roster Method and Set-Builder Notation.

Roster Method (or Tabular Form)

This method involves listing the elements of the set, separated by commas, inside curly braces. We've already used this method for our previous examples.

Example: The set $A$ of the first four positive odd numbers is $A=\{1,3,5,7\}$.

For infinite sets, we list the first few elements to establish a pattern and then use an ellipsis (...).

Example: The set $B$ of positive multiples of $5$ is $B=\{5,10,15,20,...\}$.

Set-Builder Notation (or Rule Method)

This method describes the elements of a set by stating a rule or property they must satisfy. It's especially powerful for large or infinite sets. The general structure is:

The vertical bar $|$ is read as "such that". (Sometimes a colon $:$ is used instead).

Example: The set $A=\{1,3,5,7\}$ can be written in set-builder notation as:

$$A=\{x\mid x\text{ is an odd positive integer and }x<8\}$$

This is read as: "$A$ is the set of all elements $x$ such that $x$ is an odd positive integer and $x$ is less than $8$."

Here is a quick comparison of the two methods:

Are All Infinite Sets the Same Size?

This is where the topic of sets becomes truly fascinating. Our intuition might tell us that infinity is just... infinity. But mathematician Georg Cantor proved in the late 19th century that there are different 'sizes' or 'levels' of infinity! This is one of the most profound ideas in all of mathematics.

The two main types of infinity you'll encounter are:

• Countably Infinite: A set is countably infinite if its elements can be put into a one-to-one correspondence with the set of natural numbers $\mathbb{N}=\{1,2,3,...\}$. This means you can 'list' all the elements in some order, even if the list goes on forever. You won't miss any elements. The set of integers $\mathbb{Z}$ and the set of rational numbers $\mathbb{Q}$ are both countably infinite.
• Uncountably Infinite: A set is uncountably infinite if it is 'bigger' than the set of natural numbers. Its elements cannot be listed out in a sequence. No matter how you try to list them, you will always miss some. The most famous example is the set of real numbers ($\mathbb{R}$), which includes all integers, fractions, and irrational numbers like $\pi$ and $\sqrt{2}$. Even the set of real numbers just between $0$ and $1$ is uncountably infinite!

Think of it this way: if you have a countably infinite hotel (a hotel with rooms 1, 2, 3, ... forever), you can always find a room for a new guest, or even for a countably infinite number of new guests! But you could never find enough rooms for an uncountably infinite number of guests. The uncountably infinite set is a higher order of infinity.

How Do We Compare the 'Size' of Infinite Sets?

We can't just 'count' the elements of infinite sets, so how did Cantor prove some are bigger than others? The key is a concept called one-to-one correspondence (also known as a bijection).

Two sets have the same cardinality (or 'size') if you can pair up every element from the first set with exactly one element from the second set, with no elements left over in either set. Think of it like a dance. If everyone in the room has a partner and no one is left standing alone, you know you have the same number of people of each group, even without counting them.

This leads to some very counter-intuitive results.

Common Mistakes to Avoid

Working with sets can be tricky at first. Here are some common pitfalls to watch out for:

1. Repeating Elements: Remember that sets only contain unique elements. Writing $\{a,b,b,c\}$ is incorrect or at least redundant. The correct representation of this set is $\{a,b,c\}$. The cardinality is $3$, not $4$.
2. Confusing Large with Infinite: A set like $\{\text{all integers from 1 to 1 trillion}\}$ is extremely large, but it is still finite. You could theoretically count all its elements. Infinity means the process never ends.
3. Incorrect Notation: Using parentheses $()$ or square brackets $[])$ instead of curly braces $\{\}$ is a common error. Parentheses are for ordered pairs (like coordinates $(x,y)$) and brackets are often for intervals on a number line. Sets always use curly braces.
4. Set-Builder Syntax Errors: When writing $\{x\mid P(x)\}$, make sure the property $P(x)$ is clear and unambiguous. For example, $\{x\mid x>5\}$ is not well-defined enough. Is $x$ an integer? A real number? You should specify the domain, like $\{x\in \mathbb{Z}\mid x>5\}$.
5. Assuming All Infinite Sets are the Same: As we've discussed, this is a major conceptual error. The set of real numbers is a 'larger' infinity than the set of integers. This is a subtle but fundamental concept in higher mathematics.

Quick Reference Guide

Here's a quick summary of the key concepts from this lesson:

• Set: A well-defined collection of distinct objects (elements). Use curly braces $$.
• Finite Set: A set whose elements can be counted, and the counting process ends.
• Infinite Set: A set whose elements cannot be counted because the process would never end.
• Cardinality ($|A|$): The number of elements in a set. For finite sets, it's a non-negative integer.
• Empty Set ($\mathrm{\varnothing }$): The unique set with no elements. Its cardinality is $0$.
• Roster Method: Describing a set by listing its elements (e.g., $\{1,2,3\}$).
• Set-Builder Notation: Describing a set by a rule (e.g., $\{x\mid x\text{ is a positive integer }\le 3\}$).
• One-to-One Correspondence: A perfect pairing of elements between two sets. It's used to show that two sets (even infinite ones) have the same cardinality.
• Countably Infinite: An infinite set that can be put into a one-to-one correspondence with the natural numbers ($\mathbb{N}$).
• Uncountably Infinite: An infinite set that is 'larger' than the natural numbers and cannot be listed (e.g., the real numbers $\mathbb{R}$).