Posts tagged with diffeomorphism

population map of Scotland

population map of Scotland

(Source: Wikipedia)


differential topology lecture by John W. Milnor from the 1960’s: Topology from the Differentiable Viewpoint

  • A function that’s problematic for analytic continuations:
    exp{ − 1 / t )
  • Definitions of smooth manifold, diffeomorphism, category of smooth manifolds
  • bicontinuity condition
  • two Euclidean spaces are diffeomorphic iff they have the same dimension
  • torus ≠ sphere but compact manifolds are equivalence-classable by genus
  • Moebius band is not compact
  • Four categories of topology, which were at first thought to be the same, but by the 60’s seen to be really different (and the maps that keep you within the same category):
    diffeomorphisms on smooth manifolds;


    piecewise-linear maps on simplicial complexes;
    File:Piecewise linear function2D.svg

    homeomorphisms on sets (point-set topology)

    File:Topological vector space illust.svg

  • Those three examples of categories helped understand category and functor in general. You could work for your whole career in one category—for example if you work on fluid dynamics, you’re doing fundamentally different stuff than computer scientists on type theory—and this would filter through to your vocabulary and the assumptions you take for granted. Eg “maps” might mean “smooth bicontinuous maps” in fluid dynamics but non-surjective, discontinuous maps are possible all the time in logic or theoretical comptuer science. Functor being the comparison between the different subjects.
  • The fourth, homotopy theory, was invented in the 1930’s because topology itself was too hard.

  • Minute 38-40. A pretty slick proof. I often have a hard time following, but this is an exception.
  • Minute 43. He misspeaks! In defining the hypercube.
  • Minute 47. Homology groups relate the category of topological-spaces-with-homotopy-classes-of-mappings, to the category of groups-with-homomorphisms.

That’s the first of three lectures. Also Milnor’s thoughts almost half a century later on how differential topology had evolved since the lectures:

Hat tip to david a edwards.

What I really loved about this talk was the categorical perspective. The talks are really structured so that three categories — smooth things, piecewise things, and points/sets — are developed in parallel. Better than development of the theory of categories in the abstract, I like having these specific examples of categories and how “sameness" differs from category to category.


Question. Why do we live in a 3-dimensional universe?

Tentative Answer. Maybe because 3 dimensions is the most interesting number of dimensions? Maybe 3-D is the boundary between “too constrained” and “too free”.

The above link is to some mathematicians discussing other interesting dimensions besides 3 — because they already know 3-D is uniquely suited to complexity.

In other words, lots of “facts” are only facts in ℝᵈ when d=3. So by the anthropic principle…we live in 3-D.

Here’s one fact that’s unique to just the fourth dimension.

Exotic ℝ⁴: There are infinitely many non-diffeomorphic smooth structures on the topological space ℝᵈ if and only if d=4.

Otherwise there is only one diffeomorphism class.

^ pictures of diffeomorphisms

(A diffeomorphism preserves the relationships between neighbouring points.)