Intuition The ONE core ideaWe want to attach a number called "length" to sets of points on the number line, in a way that agrees with ordinary intervals but also works for weird, scattered sets. Every symbol below is a tool for one job: cover a set with tiny intervals, add up their lengths, and squeeze the total as small as possible.
This page assumes nothing . If you have seen a number line and can add fractions, you can read every line here. We will meet each symbol the parent note (Measure theory — Lebesgue measure (intro) ) throws at you, one at a time, and never use one before it is built.
R R infinite straight line of all numbers : whole numbers, fractions, and the endless in-between ones like 2 π 0
Why the topic needs it. Everything we measure lives inside R collection of dots chosen from this line. Measuring means: how much line does this collection of dots take up?
Intuition A "point" is a dot with no widthA single number, say p = 0.5 zero width — you cannot fit any interval around just it without also grabbing neighbours. Hold that thought: it is why a single point ends up with measure 0
⊆ ∅ set is a collection of points. We write A ⊆ R A R every dot of A . The symbol ∅ empty set — the collection with no dots at all.
∪ ∩ E c
A ∪ B union ): all dots that are in A or B A ∩ B intersection ): dots in A and B E c complement ): all dots of R not in E E
Why the topic needs these. The Carathéodory test in the parent splits a set A E A ∩ E E A ∩ E c grammar of the whole subject.
Definition Disjoint sets and⨆ disjoint if they share no dots (A ∩ B = ∅ ⨆ n E n pairwise disjoint " — it warns you the pieces do not overlap, so their lengths are safe to just add.
Definition Interval notation
[ a , b ] closed interval : all points from a b including the endpoints a b ( a , b ) open interval : all points strictly between a b excluded .
Picture: a solid segment on the number line. A filled dot means "endpoint included", a hollow dot means "excluded".
ℓ ℓ length of an interval: ℓ ( ( a , b ) ) = b − a ℓ ( [ a , b ] ) = b − a
Why the topic needs it. Intervals are the only sets whose length we already agree on. Every clever length we ever compute is built by covering a set with intervals and adding up their ℓ does not change the length (a single endpoint is a zero-width dot) — that is why the parent freely uses open intervals in covers but keeps closed intervals for the answer μ ([ a , b ]) = b − a
A set is countable if you can line its dots up in a list q 1 , q 2 , q 3 , … Q
A set is uncountable if no such list can ever catch every dot — there are strictly "more" of them than the counting numbers. The whole interval [ 0 , 1 ]
See Countable vs uncountable for the full story.
Intuition Why this split rules the whole subjectOur measuring machine allows countably many intervals in a cover — one for each item in a list. If a set is countable, we can hand each of its dots its own tiny shrinking interval and make the grand total as small as we like . That is the entire secret behind "Q [ 0 , 1 ] 1
∞ ∑ ∑ n = 1 ∞ x n x 1 + x 2 + x 3 + ⋯ converges ), sometimes it grows without bound. ∞
Worked example The one infinite sum you must trust∑ n = 1 ∞ 2 n 1 = 2 1 + 4 1 + 8 1 + ⋯ = 1. approach 1 geometric series is the engine of the ε / 2 n
ε ε positive number you are allowed to make as small as you please . Read "for all ε > 0 "no matter how tight a tolerance you demand, I can meet it."
inf inf infimum ) is the smallest value you can squeeze down to — the floor the numbers approach but may not touch.
Picture a set of numbers as dots on the line; inf
Example: the lengths 2 ε ( p − ε , p + ε ) 0.2 , 0.02 , 0.002 , … 0 inf = 0
Intuition WHY infimum and not minimum?A minimum must be achieved by some element. But the tightest cover of a set often does not exist — you can always shave a hair more. There is no smallest positive length. So we use inf "what value do the cover-totals crowd down to?" even when nothing hits it exactly. This is the precise reason the parent's outer measure is written with inf
Why the topic needs both. The outer measure μ ∗ ( A ) defined as an inf ε → 0
Now every piece of the parent's headline definition is defined. Read it slowly:
You now hold every symbol the parent note uses. Nothing beyond this is assumed.
Union Intersection Complement
Infinite sum with geometric budget
Infimum squeezes the total
Lebesgue measure and measurable sets
Cover the right side. If you can answer each, you are ready for the parent note.
What does R The infinite number line of all real numbers.
What is a "point" and how wide is it? A single number / dot on the line, with zero width.
Read A ⊆ B Every element of A B A B
What is E c The complement — all points of R E
What does ⨆ n E n ⋃ The pieces are pairwise disjoint (no overlap), so lengths may simply be added.
Give ℓ ( 3 , 7 ) 7 − 3 = 4
Does including or excluding endpoints change an interval's length? No — a single endpoint is a zero-width point.
What does it mean for a set to be countable? Its elements can be listed q 1 , q 2 , q 3 , …
Evaluate ∑ n = 1 ∞ 2 n 1 1
What does "for all ε > 0 You can meet any positive tolerance, however tiny.
Why inf min The tightest cover may never be achieved; inf
In A ⊆ ⋃ n I n I n They are open intervals forming a countable cover of A
