The Goal of Measure Theory

We now have a measurable space:

$$\left(X,\mathcal{F}\right)$$

where:

• $$X$$ is a set
• $$\mathcal{F}$$ is a sigma-algebra of measurable subsets

However, we still have not assigned any notion of size.

The purpose of a measure is to answer questions such as:

• How long is an interval?
• How large is a region?
• How much probability does an event have?
• How much mass does a set contain?

A measure provides a mathematically rigorous notion of size.

---

What Is a Measure?

A measure is a function:

$$\mu:\mathcal{F}\to[0,\infty]$$

that assigns a nonnegative number to each measurable set.

Think of:

$$\mu(A)$$

as the size of the set:

$$A$$

The size may represent:

• length
• area
• volume
• probability
• mass

depending on the application.

---

The Three Axioms of a Measure

A function:

$$\mu$$

is a measure if it satisfies three properties.

---

Axiom 1: Non-Negativity

For every measurable set:

$$A\in\mathcal{F}$$

we require:

$$\mu(A)\ge0$$

Sizes cannot be negative.

---

Axiom 2: Empty Set Has Measure Zero

$$\mu(\emptyset)=0$$

If there is nothing there, its size must be zero.

---

Axiom 3: Countable Additivity

Suppose:

$$A_1,A_2,A_3,\ldots$$

are pairwise disjoint measurable sets.

This means:

$$A_i\cap A_j=\emptyset \quad \text{for } i\neq j$$

Then:

$$\mu\left(\bigcup_{n=1}^{\infty}A_n\right)=\sum_{n=1}^{\infty}\mu(A_n)$$

This is the most important axiom.

Everything in measure theory ultimately comes from countable additivity.

---

Why Countable Additivity Matters

Consider intervals:

$$A_n=\left(\frac{1}{n+1},\frac{1}{n}\right]$$

These intervals are disjoint.

Their union is:

$$\bigcup_{n=1}^{\infty}A_n=(0,1]$$

The lengths are:

$$\mu(A_n)=\frac{1}{n}-\frac{1}{n+1}$$

Adding them:

$$\sum_{n=1}^{\infty}\left(\frac{1}{n}-\frac{1}{n+1}\right)=1$$

which equals the length of:

$$(0,1]$$

This is exactly what countable additivity guarantees.

---

Measure Space

Once a measure is added, we obtain:

$$\left(X,\mathcal{F},\mu\right)$$

This triple is called a measure space.

It is the fundamental object of measure theory.

---

Example 1: Counting Measure

Let:

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

Define:

$$\mu(A)=\text{number of elements in }A$$

Examples:

$$\mu({1,2})=2$$

$$\mu({3,4,5})=3$$

$$\mu(\emptyset)=0$$

This is called the counting measure.

---

Example 2: Dirac Measure

Choose a point:

$$x_0\in X$$

Define:

$$\delta_{x_0}(A)=\begin{cases}
1,&x_0\in A\\
0,&x_0\notin A
\end{cases}$$

This measure assigns all mass to a single point.

For example:

$$\delta_3(\{1,2,3\})=1$$

but

$$\delta_3(\{1,2\})=0$$

This simple measure becomes surprisingly important in probability, PDEs, and quantum mechanics.

---

Example 3: Probability Measure

Suppose:

$$\Omega=\{H,T\}$$

for a fair coin.

Define:

$$P(H)=\frac12$$

$$P(T)=\frac12$$

Then:

$$P(\Omega)=1$$

This is a measure.

A probability measure is simply a measure satisfying:

$$P(\Omega)=1$$

Thus probability theory is a special branch of measure theory.

---

Example 4: Length on the Real Line

Consider:

$$[a,b]$$

Its measure should be:

$$b-a$$

Examples:

$$\mu([0,1])=1$$

$$\mu([2,5])=3$$

$$\mu([10,17])=7$$

This idea eventually becomes Lebesgue measure.

---

Finite and Infinite Measure

Some spaces have finite total measure.

Example:

$$[0,1]$$

has total measure:

$$1$$

Other spaces have infinite measure.

Example:

$$\mathbb{R}$$

has infinite length:

$$\mu(\mathbb{R})=\infty$$

Both situations are allowed.

---

Properties Derived From the Axioms

Many useful results follow automatically.

---

Monotonicity

If:

$$A\subseteq B$$

then:

$$\mu(A)\le\mu(B)$$

A larger set cannot have smaller measure.

---

Proof Idea

Write:

$$B=A\cup(B\setminus A)$$

The sets are disjoint.

Countable additivity gives:

$$\mu(B)=\mu(A)+\mu(B\setminus A)$$

Since measures are nonnegative:

$$\mu(B)\ge\mu(A)$$

---

Measure of a Difference

If:

$$A\subseteq B$$

and

$$\mu(A)<\infty$$

then:

$$\mu(B\setminus A)=\mu(B)-\mu(A)$$

This matches our intuition about length.

---

Why Countable Additivity Is Stronger Than Finite Additivity

Finite additivity says:

$$\mu(A\cup B)=\mu(A)+\mu(B)$$

for two disjoint sets.

Countable additivity requires this to hold for infinitely many sets.

This extra strength is what makes modern analysis possible.

Without countable additivity:

• convergence theorems fail
• probability theory breaks
• Lebesgue integration collapses

---

The Big Philosophical Shift

In elementary geometry, length comes first.

For example:

• interval → length
• rectangle → area
• box → volume

Measure theory reverses the logic.

We first define:

$$\mu$$

abstractly.

Only later do we interpret it as:

• length
• area
• volume
• probability

This abstraction is one of the great achievements of twentieth-century mathematics.

---

Why Alain Connes Cares About Measures

Classical measure theory studies:

$$\mu(A)$$

for measurable sets.

Connes asked:

Can we define measure when ordinary sets are no longer available?

In noncommutative geometry:

• spaces become algebras
• measurable sets disappear
• measures become traces on operator algebras

The measure concept survives, but in a dramatically generalized form.

Many of Connes’ deepest ideas can be viewed as extensions of measure and integration beyond classical spaces.

---

Key Concepts Learned

By the end of this lesson you should understand:

• A measure assigns size to measurable sets.
• A measure satisfies:
  • non-negativity
  • empty set equals zero
  • countable additivity
• A measure space is:

$$(X,\mathcal{F},\mu)$$

• Counting measure counts elements.
• Dirac measures concentrate mass at one point.
• Probability measures are measures with total mass 1.
• Lebesgue measure generalizes ordinary length.
• Countable additivity is the heart of measure theory.

---

Looking Ahead

In the next lesson:

Lesson 6: Lebesgue Measure

we construct the most important measure in all of analysis:

$$m$$

the Lebesgue measure, which formalizes the notion of length on the real line and serves as the foundation for modern integration, probability, functional analysis, and eventually the mathematical ideas that influenced Connes’ approach to geometry and measure.