Home GitHub Rss
The first time you encounter a theorem concluding with “an arrow that makes the diagram commute” can be quite confusing. But with a little thought you can typically find that the idea expressed the theorem is obvious. The provided arrow is simply the one thing that could possibly fit. It may be tedious to construct, but understanding the theorem clarifies why it must always be there, revealing patterns hidden in the construction.
Let’s see how this works by studying the universal property of quotients, which was the first example of a commutative diagram I encountered. If you are familiar with topology, this property applies to quotient maps. But we will focus on quotients induced by equivalence relation on sets and ignored additional structure.
An equivalence relation
~ is a binary relation satisfying the following properties:
x ~ x
x ~ y <=> y ~ z
x ~ y and y ~ z implies x ~ z.
Examples include equality of real numbers, whether numbers are both even or odd (parity), matrix similarity, isomorphism, etc.
Exercise: Prove matrix similarity is an equivalence relation.
Given an equivalence relation ~ and an element
x we can form it’s equivalence
[x] which is the set of things equivalent to it.
The set of a equivalence classes form a new set
X/~ with an analogous
structure to the original, but with portions “grouped up” or “collapsed”
Exercise: Prove distinct equivalence classes are disjoint.
q(x) = [x] be a map from an element to it’s equivalence class.
Given a map
Y which is constant on equivalence
q(x) = q(y) => f(x) = f(y)),
we obtain a unique map from
Y making the diagram commute.
What is going on here?
f isn’t just any map,
it’s constant on equivalent elements of
So a lot of the information in
X isn’t really needed to compute the image of
Since equal elements get sent to the same place,
we could imagine picking just one element from each class and seeing where it goes.
In other words, we could define a function on each equivalence class.
This map would have the same image as
f and this is precisely what the universal property tells us
Let’s apply this theorem to a particular example and attempt to fill in the diagram. Suppose our domain is the solid disc.
To construct an equivalence relation on the disk, think of properties that make points in the disc similar to one another.
One such property is their distance from the center.
x ~ y whenever
||x|| ~ ||y||.
What does the quotient space
X/~ look like under this relation?
Each class is a ring at a particular radius
L, so denote it
The radii of course vary continuously so we get set of classes isomorphic
to a closed interval
Exercise: Find an equivalence relation on D2 without 0 (punctured disc) whose classes form the circle.
Now define a function
f(x) = x^2 + y^2 so our codomain is the real numbers R.
The graph is a multivariable calculus style paraboloid living in
the unit disc:
Can we apply the universal property?
Almost, we need to confirm
f is constant on equivalence classes.
(x, y) ~ (a, b).
sqrt(x^2 + y^2) = sqrt(a^2 + b^2).
Squaring both sides we get that
f(x, y) = f(a, b).
Ah! We can clearly see
f only depends on radius.
No matter what angle you are at
f does the same thing.
So the disc is more information than we need,
we can define a similar function on the space of equivalence classes
X/~ = [0, 1].
Can you figure out what it is?
The missing function is of course
h([L]) = L^2.
It’s graph is a parabola in 2D which carves out the same range as
f in the real numbers.
To check commutativity take a point
(x, y) and apply
f(x, y) = x^2 + y^2.
Now send it to it’s equivalence class
q(x, y) = [L] where
L = sqrt(x^2 + y^2).
h(L) = x^2 + y^2 = f(x, y).
Easy right? You probably could see right away that
f was just the square of the distance.
In other examples constructing such a function
h might be less obvious,
but the universal property tells us it is always there.
Next time you an encounter a commutative diagram proof, try a few examples to figure out what basic idea it is telling you.
Exercise: Prove that
h is unique. In other words, no other function could make the diagram commute.
Commutative diagrams are the central focus of category theory which attempts to understand
such properties at a higher level of abstraction than set theory.
From a category theory perspective the quotient set
X/~ is the co-equalizer
or co-limit of the diagram projecting and equivalent pair to it’s parts.
The book Topoi by Robert Goldblatt offers a fairly comprehensive look at category theory, starting at a basic understanding of sets and number theory.
Quotient spaces are studied in depth in Topology by Munkres.
The later chapter on Algebraic Topology have More elaborate constructions. These gave me a lot of practice with commutative diagrams, such as the chapter on Seifert-Van Kampen’s theorem.