An Intro to Manifolds

Joseph Mellor
20 min readApr 11, 2023

Euclidean space is the natural environment for Calculus, but manifolds allow us to extend Calculus to curved spaces.

This is stop 18 on the Road to Quantum Mechanics. I made a little guy out of these locally Euclidean maps on accident.

We’ve been working with manifolds since the first article in this series, but we didn’t say we were working with manifolds until An Intro to Differential Geometry. Even then, we only said that a manifold had to be locally Euclidean, but that’s only one of three requirements we want of manifolds.

More specifically, we’re going to want a manifold to be a mathematical space

  • that’s locally Euclidean,
  • that has unique limits,
  • and that we can integrate over.

If we have a space that satisfies all these conditions, we’ll have a manifold.

Check Your Understanding

There’s not too much to do here because I’m trying to explain why manifolds are defined as they are. If you want more questions, look up all the bold terms in this article and read what you find. You can also go through some of the resources linked in the Further Reading section.

Spaces That Aren’t Manifolds

None of the following spaces are manifolds.

  • A figure eight
  • A cone
  • The Cantor set
  • The union of a line and a disk (filled circle) where the line intersects the disk.
  • The particular point topology, where the open sets consist of all sets that contain the point p.
  • The Rational Numbers
  • A sphere with hair.

Explain why.

Partitions of Unity

Prove that the integration on a manifold does not depend on the specific partition of unity you choose.

Existences of Riemannian Metrics on Arbitrary Smooth Manifolds*

--

--

Joseph Mellor

BS in Physics, Math, and CS with a minor in High-Performance Computing. You can find all my articles at https://josephmellor.xyz/articles/.