So, I’ve officially survived the first week of my (second) second year as a Ph.D. student. It’s hard to imagine sometimes that I’ve been a grad student for over three years.
I’m such an old man.
It’s been even less easy than I’d anticipated, too, which is nicht spaß; sadly, too, this is the first week where teaching responsibilities are actually a thing (we get week 1 off from such things), so now it’s difficult and time-consuming. Jajajajaja.
Rather than making this entry all about
Yours Truly, I figured I’d pit stop in and use some of my (*gasp*) unoccupied time write up a little spiel I saw for the first time in my Riemannian geometry class last week.
In topology, there’s an idea called invariance of dimension which can be stated in many different contexts, situations, etc. This can be modified in the case of manifolds with differential structures, and because the idea of the proof seemed a bit cool, I decided to throw it up here for you guys. Throughout, the notation denotes a manifold of dimension with an associated differential structure.
Claim. If and are diffeomorphic, then .
Proof. Let , respectively be a differential structure on , respectively and let be a diffeomorphism. Because compositions of differentiable mappings are all differentiable, it follows that both
are differentiable mappings.
From a well-known fact concerning differentiable manifolds, the differential map induces at each point a linear map (called the differential of at ) between the associated tangent spaces and which is actually linear. It follows, then, that the composition induces a linear map of the form
similarly, induces a linear map ,
Moreover, one can easily verify that are inverses of one another, whereby it follows that the aforementioned tangent spaces are isomorphic. Therefore, it follows that
and as a result of the usual invariance of domain from point-set topology (provable by Brouwer’s fixed point theorem, among others), if and only if . Hence, the result.
This was a bit of a cheapo entry: Not too involved, not too difficult. Maybe next time, I’ll have something more meaningful to share…or maybe I’ll just come here and gripe about how difficult it is to set up a Scientific Linux 6 workstation the way I want it from scratch.
Or maybe not.