Why We Need to Talk About Sets

Before we can define a measure, we need to know what we are measuring.

A measure assigns a size to a set.

Therefore, the first question is:

What exactly is a set?

A set is simply a collection of objects.

Examples:

$$A = \{1,2,3,4,5\}$$

$$B = \{\text{red},\text{blue},\text{green}\}$$

$$C = \{x \in \mathbb{R} : x > 0\}$$

Sets are the basic building blocks of modern mathematics.

Every object in measure theory is ultimately built from sets.

---

Membership

If an object belongs to a set, we write:

$$x \in A$$

If it does not belong:

$$x \notin A$$

For example:

$$3 \in\{1,2,3,4\}$$

but

$$10 \notin \{1,2,3,4\}$$

This simple notation appears everywhere in analysis.

---

Subsets

A set may be completely contained inside another set.

We write:

$$A \subseteq B$$

meaning every element of $$A$$ belongs to $$B$$.

Example:

$$\{1,2\} \subseteq \{1,2,3,4\}$$

Measure theory constantly studies relationships between subsets.

---

Set Operations

Union

The union combines sets.

$$A \cup B$$

contains everything in either set.

Example:

$$\{1,2,3\} \cup \{3,4,5\} = \{1,2,3,4,5\}$$

---

Intersection

The intersection contains only common elements.

$$A \cap B$$

Example:

$$\{1,2,3\} \cap \{3,4,5\} = \{3\}$$

---

Difference

The difference removes elements.

$$A \setminus B$$

Example:

$$\{1,2,3,4\} \setminus \{3,4\} = \{1,2\}$$

---

Complement

Suppose the universe is:

$$\Omega$$

The complement of a set is:

$$A^c = \Omega \setminus A$$

Everything not contained in $$A$$.

Complements will become extremely important when we build sigma-algebras.

---

Finite and Infinite Sets

Some sets contain finitely many elements.

Example:

$$\{1,2,3,4,5\}$$

Others contain infinitely many.

Example:

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

At first glance, infinity may seem like a single concept.

It is not.

One of the great discoveries of mathematics is that some infinities are larger than others.

---

Countably Infinite Sets

A set is called countably infinite if its elements can be matched one-to-one with the natural numbers.

The natural numbers are:

$$\mathbb{N}=\{1,2,3,\ldots\}$$

If we can write:

$$a_1,a_2,a_3,\ldots$$

then the set is countable.

---

Example: Even Numbers

Consider:

$$E=\{2,4,6,8,\ldots\}$$

At first it seems smaller than the natural numbers.

However:

$$1 \leftrightarrow 2$$

$$2 \leftrightarrow 4$$

$$3 \leftrightarrow 6$$

and so on.

The correspondence is:

$$n \leftrightarrow 2n$$

Therefore:

$$|E| = |\mathbb{N}|$$

The set of even numbers has exactly the same size as the set of all natural numbers.

This is our first encounter with the strange nature of infinity.

---

Integers Are Countable

Consider:

$$\mathbb{Z} = \{\ldots,-2,-1,0,1,2,\ldots\}$$

It seems larger than the natural numbers.

Yet we can list them:

$$0,1,-1,2,-2,3,-3,\ldots$$

Every integer eventually appears.

Therefore:

$$|\mathbb{Z}|=|\mathbb{N}|$$

The integers are countable.

---

Rational Numbers Are Countable

Now comes a surprising result.

The rational numbers are:

$$\mathbb{Q}=\{\frac{p}{q}: p,q\in\mathbb{Z},\ q\neq 0\}$$

There are infinitely many fractions.

In fact they are densely packed throughout the real line.

Between any two rational numbers lies another rational number.

Despite this, Cantor proved:

$$|\mathbb{Q}|=|\mathbb{N}|$$

The rationals are still countable.

This is one of the most beautiful results in mathematics.

---

Uncountable Sets

Now consider:

$$[0,1]$$

the entire interval from 0 to 1.

Cantor showed that this set is fundamentally larger than the natural numbers.

There is no possible listing:

$$x_1,x_2,x_3,\ldots$$

that contains every real number in the interval.

The interval is uncountable.

---

Cantor’s Diagonal Argument

Suppose we attempt to list every number in:

$$[0,1]$$

as decimal expansions:

$$x_1=0.a_{11}a_{12}a_{13}\ldots$$

$$x_2=0.a_{21}a_{22}a_{23}\ldots$$

$$x_3=0.a_{31}a_{32}a_{33}\ldots$$

and so on.

Now construct a new number:

$$y=0.b_1b_2b_3\ldots$$

where:

$$b_n \neq a_{nn}$$

for every digit.

This new number differs from:

• $$x_1$$ in the first digit
• $$x_2$$ in the second digit
• $$x_3$$ in the third digit

and so on.

Therefore:

$$y$$

cannot be anywhere in the list.

This contradicts the assumption that we listed all real numbers.

Thus:

$$[0,1]$$

is uncountable.

---

Why Measure Theory Cares

Countable and uncountable sets behave very differently.

Consider a single point:

$${x}$$

Its Lebesgue measure will eventually be:

$$0$$

Now consider the rational numbers:

$$\mathbb{Q} \cap [0,1]$$

This set is countable.

Since it consists of countably many points:

$$m(\mathbb{Q}\cap[0,1])=0$$

Yet:

$$[0,1]$$

has measure:

$$1$$

The missing mass comes from the uncountably many irrational numbers.

This fact sits at the heart of modern measure theory.

---

Infinite Processes

Measure theory is fundamentally about infinite operations.

Examples include:

Infinite unions

$$\bigcup_{n=1}^{\infty} A_n$$

---

Infinite intersections

$$\bigcap_{n=1}^{\infty} A_n$$

---

Infinite sums

$$\sum_{n=1}^{\infty} a_n$$

---

Infinite limits

$$\lim_{n\to\infty} f_n(x)$$

Much of measure theory exists because finite intuition often fails when infinity enters the picture.

---

Why Infinity Creates Problems

Consider:

$$A_n=\left(0,\frac{1}{n}\right)$$

Then:

$$A_1 \supseteq A_2 \supseteq A_3 \supseteq \cdots$$

and:

$$m(A_n)=\frac{1}{n}$$

As $$n \to \infty$$:

$$m(A_n)\to 0$$

The intersection is:

$$\bigcap_{n=1}^{\infty} A_n=\emptyset$$

Everything works as expected.

But many infinite processes do not behave so nicely.

A major goal of measure theory is to determine:

When can limits and measures be exchanged safely?

The Dominated Convergence Theorem, Monotone Convergence Theorem, and Fatou’s Lemma will eventually answer this question.

---

Why Connes and Marcolli Care

The transition from finite to infinite structures is one of the central themes of modern analysis.

Connes studies:

• infinite-dimensional spaces
• operator algebras
• noncommutative measures
• generalized geometries

Marcolli studies:

• arithmetic structures
• quantum statistical systems
• infinite-dimensional geometric objects

All of these ultimately depend on understanding how infinite collections behave.

The language of countability, limits, and infinite operations is therefore foundational.

---

Key Concepts Learned

By the end of this lesson you should understand:

• Sets are the objects measured by measure theory.
• Union, intersection, complement, and difference are fundamental operations.
• Infinite sets can have different sizes.
• Countable sets can be listed.
• Uncountable sets cannot be listed.
• The rational numbers are countable.
• The real numbers are uncountable.
• Measure theory exists largely because infinite processes behave differently from finite ones.

---

Looking Ahead

In the next lesson we introduce the most important structure in all of measure theory:

Lesson 3: Sigma-Algebras

Here we will answer a crucial question:

Which sets are we actually allowed to measure?

The answer leads to the concept of a sigma-algebra, the true foundation of modern measure theory.