# The Unapologetic Mathematician

## Standard Differentiable Structures

It’s high time we introduced the “standard” smooth structures on real vector spaces, which are (of course) our models for all other smooth manifolds.

The easiest one to discuss is $\mathbb{R}$. The standard smooth structure is given by starting with an extremely simple atlas: the single coordinate patch $U$ contains all of $\mathbb{R}$, and the coordinate map $\phi_U:U\to\mathbb{R}$ is just the identity! But we don’t just have this patch, of course. We also have all coordinate patches which are compatible with it.

Since the inverse $\phi_U^{-1}$ is again the identity, it’s easy to pick these out. A coordinate patch is a subset $V\subseteq\mathbb{R}$ and a real-valued function $\phi_V$ on $V$. The two transition functions between $U$ and $V$ are $\phi_V\circ\phi_U^{-1}=\phi_V$ and $\phi_U\circ\phi_V^{-1}=\phi_V^{-1}$. Both of these functions must be differentiable for the patch to fit into the standard differentiable structure. They must both be smooth to fit into the standard smooth structure.

Now, consider a finite-dimensional real vector space $V$. Again, the standard smooth structure starts with using all of $V$ as a coordinate patch. For the coordinate map, we can choose any linear isomorphism $T:V\to\mathbb{R}^n$. Of course, we know that finding such a $T$ is equivalent to picking a basis — given a basis of $V$ we can just send it to the standard basis of $\mathbb{R}^n$, and given a linear isomorphism we can use the preimages of the standard basis to get a basis of $V$.

So there’s a choice to be made: which linear isomorphism to start with. Does it matter? no! If $T_1$ and $T_2$ are two such linear isomorphisms, then $T_2\circ T_1^{-1}$ is a linear automorphism on $\mathbb{R}^n$. And clearly this transition function is smooth. Thus all the possible choices are compatible with each other and generate the same smooth — and thus the same differentiable — structure.

We say “standard” structures here. This is because — and I know this might sound sort of hard to believe — there actually do exist “nonstandard” or “wild” differentiable structures as well. The proofs establishing these examples are tremendously complicated and I’m not about to go into them now. But the fact remains: there do exist manifolds which are homeomorphic to $\mathbb{R}^4$ — they are equivalent to $\mathbb{R}^4$ as topological spaces — and yet they are not equivalent as differentiable manifolds. Any homeomorphism from one topological space to the other will not be smooth.

### Like this:

Posted by John Armstrong | Differential Topology, Topology

## 5 Comments	»

1. “Of course, we know that finding such a T is equivalent to picking a basis — given a basis of V we can just send it to the standard basis of \mathbb{R}^n, and given a linear isomorphism we can use the preimages of the standard basis to get a basis of V.”
This is where there seems to be a chicken/egg problem. It seems that the existence of the isomorphism T depends on already having a coordinate system in V, so what is the purpose of getting yet another coordinate system in V by using the preimage?

Comment by | March 2, 2011 | Reply

2. This converse pair is just a quick rundown of the equivalence that we’ve already pointed out before. It’s not that we’re trying to get new coordinate systems on $V$; we’re showing that the coordinate systems we’ve been using in linear algebra work as coordinate systems in differential topology and geometry. Further, we’re showing that they’re all compatible with each other as smooth coordinate maps.

Comment by | March 2, 2011 | Reply

3. [...] a smooth manifold is nothing but a smooth map , where is some interval in the real line with its standard differentiable structure. The interval can, in principle, be half-infinite or infinite, but commonly we just consider [...]

Pingback by | April 8, 2011 | Reply

4. [...] bundle to a Euclidean space. That is, we let be a finite-dimensional real vector space with its standard differentiable structure and see what these constructions look [...]

Pingback by | April 11, 2011 | Reply

5. [...] we can conclude that is an open submanifold of , which comes equipped with the standard differentiable structure on . Matrix multiplication is clearly smooth, since we can write each component of a product matrix [...]

Pingback by | June 9, 2011 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 26, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9249977469444275, "perplexity_flag": "head"}