One of the most beautiful ideas in measure theory is that sets and functions are deeply connected.

At first, a set and a function seem like completely different objects.

A set is simply a collection of points.

A function takes inputs and produces outputs.

Yet measure theory reveals a remarkable bridge between the two:

Every measurable set can be represented by a special function called its indicator function.

This simple idea becomes one of the foundations of Lebesgue integration.

The Set View

Suppose we have the set:

$$
A=[2,5].
$$

This set contains all numbers between 2 and 5.

We can think of it as answering a simple question:

Is (x) in (A)?

The answer is either:

Yes

or

No

Nothing more.

Turning the Set Into a Function

Instead of answering with words, we can answer using numbers.

Define:

$$
\mathbf{1}_A(x)=
\begin{cases}
1,&x\in A\\
0,&x\notin A
\end{cases}
$$

This is called the indicator function of (A).

Now the question:

Is (x) in (A)?

becomes:

Yes → 1
No  → 0

For example:

$$
\mathbf{1}_A(3)=1
$$

because:

$$
3\in[2,5].
$$

Meanwhile:

$$
\mathbf{1}_A(10)=0
$$

because:

$$
10\notin[2,5].
$$

A Visual Interpretation

The graph of an indicator function is extremely simple.

For:

$$
A=[2,5],
$$

The function jumps up to 1 on the set and remains 0 everywhere else.

The indicator function acts like a spotlight.

It illuminates exactly the points belonging to the set.

Are the Set and the Indicator Function the Same Thing?

Not quite.

They are different mathematical objects.

The set:

$$
A
$$

is a collection of points.

The indicator function:

$$
\mathbf{1}_A
$$

is a function.

However, they contain exactly the same information.

Recovering the Set From the Function

Suppose someone gives you only the function:

$$
\mathbf{1}_A.
$$

Can you reconstruct the original set?

Yes.

Simply look at where the function equals 1:

$$
A={x:\mathbf{1}_A(x)=1}.
$$

Equivalently:

$$
A=\mathbf{1}_A^{-1}({1}).
$$

Thus the entire set can be recovered from the indicator function.

Recovering the Function From the Set

Conversely, if you know the set:

$$
A,
$$

you immediately know the indicator function:

$$
\mathbf{1}_A.
$$

Simply assign:

$$
1
$$

to points inside the set and:

$$
0
$$

to points outside.

Thus:

Set  → Indicator Function

and

Indicator Function → Set

are both possible.

The two descriptions are equivalent.

Why Measure Theory Prefers Functions

At this point a natural question arises:

If sets already exist, why bother turning them into functions?

The answer is that functions can do things that sets cannot.

Functions can be:

• Added
• Multiplied
• Approximated
• Integrated

Sets cannot.

This transformation allows us to bring the tools of analysis into the study of sets.

The Most Important Formula

One of the fundamental formulas of measure theory is:

$$
\int \mathbf{1}_A,d\mu=\mu(A).
$$

This says:

The integral of the indicator function equals the measure of the set.

The measure of a set can therefore be viewed as a special integral.

This idea is the foundation of Lebesgue integration.

Example

Take:

$$
A=[0,3].
$$

Its indicator function is:

$$
\mathbf{1}_A(x)=
\begin{cases}
1,&0\le x\le3\
0,&\text{otherwise}
\end{cases}
$$

Integrating gives:

$$
\int \mathbf{1}_A,dx.
$$

The graph is simply a rectangle of:

$$
\text{height}=1
$$

and

$$
\text{width}=3.
$$

Thus:

$$
\int \mathbf{1}_A,dx=1\times3=3$$

But:

$$
m([0,3])=3.
$$

The integral reproduces the measure of the set.

Simple Functions Are Built From Indicator Functions

Recall the definition of a simple function:

$$
\phi=\sum_{i=1}^{n}
a_i
\mathbf{1}_{A_i}.
$$

Each indicator function selects a measurable set.

The constants:

$$
a_1,a_2,\ldots,a_n
$$

assign values to those sets.

Thus a simple function is nothing more than a weighted collection of measurable sets.

This is why indicator functions are considered the building blocks of Lebesgue integration.

Why Indicator Functions Are Measurable

Suppose:

$$
A\in\mathcal F.
$$

Then:

$$
\mathbf{1}_A
$$

is measurable.

The reason is simple.

The function only takes the values:

$$
0
$$

and

$$
1.
$$

Every Borel set pulls back to one of:

$$
\emptyset,
\quad
A,
\quad
A^c,
\quad
X.
$$

All of these belong to the sigma algebra.

Therefore:

$$
\mathbf{1}_A
$$

is measurable.

This makes indicator functions the simplest nontrivial measurable functions.

The Deep Insight

Indicator functions reveal one of the central themes of modern analysis:

Sets and functions are two languages describing the same mathematical reality.

A measurable set:

$$
A
$$

can be viewed as a function:

$$
\mathbf{1}_A.
$$

Conversely, the function remembers the entire set.

This correspondence allows measure theory to transform geometric questions about sets into analytic questions about functions.

Lebesgue integration is built upon this idea.

In a very real sense, indicator functions are the atoms from which the entire theory of integration is constructed.

References

1. Tao, T. (2011). An Introduction to Measure Theory. American Mathematical Society.
2. Rudin, W. (1987). Real and Complex Analysis (3rd ed.). McGraw-Hill.
3. Royden, H. L., & Fitzpatrick, P. M. (2010). Real Analysis (4th ed.). Pearson.
4. Cohn, D. L. (2013). Measure Theory (2nd ed.). Birkhäuser.
5. Billingsley, P. (1995). Probability and Measure (3rd ed.). Wiley.
6. Folland, G. B. (1999). Real Analysis: Modern Techniques and Their Applications (2nd ed.). Wiley.
7. Kallenberg, O. (2021). Foundations of Modern Probability (3rd ed.). Springer.
8. Adams, M., & Guillemin, V. (1996). Measure Theory and Probability. Birkhäuser.
9. Capinski, M., & Kopp, E. (2004). Measure, Integral and Probability (2nd ed.). Springer.
10. Pollard, D. (2001). A User’s Guide to Measure Theoretic Probability. Cambridge University Press.