Notes:Tangent space

From Maths
Revision as of 19:42, 15 August 2016 by Alec (Talk | contribs) (Saving work, messy though.)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Motivating example

Consider the "manifold":

  • [ilmath]M:=\{p\in\mathbb{R}^3\ \vert\ p=(x,y,x^2+y^2)\}\subset\mathbb{R}^3[/ilmath] (with the subspace topology) and the two charts:
    1. [ilmath]i:\mathbb{R}^2\rightarrow M[/ilmath] by [ilmath]i:(x,y)\mapsto(x,y,x^2+y^2)[/ilmath] (think of it as like the "identity chart" it is what the manifold is)
    2. [ilmath]c:(\underbrace{\mathbb{R}_{>0}\times([0,2\pi)\subset\mathbb{R})}_{\text{polar coordinates} })\rightarrow M[/ilmath] by [ilmath]c:(r,\theta)\mapsto(r\cos(\theta),r\sin(\theta),r^2)[/ilmath] ([ilmath]c[/ilmath] for chart)

Pick a [ilmath]p\in M[/ilmath], suppose we pick [ilmath](x,y,x^2+y^2)[/ilmath] then we see:

  1. [ilmath]i^{-1}(x,y,x^2+y^2)=(x,y)[/ilmath] and we'll define [ilmath]p_i:=i^{-1}(p)=(x,y)[/ilmath]
  2. [ilmath]c^{-1}(x,y,x^2+y^2)=(\sqrt{x^2+y^2},\arctan(\frac{y}{x}))[/ilmath] and we'll define [ilmath]p_c:=c^{-1}(p)=(\sqrt{x^2+y^2},\arctan(\frac{y}{x}))[/ilmath]

Notice that we're sort of using the "identity" chart when we're dealing with [ilmath]c[/ilmath] anyway; this is the point.

Questions

  1. The image of the tangent space under the derivative is really important, as that is what makes this manifold more than just a topological one, however I don't see how we can shrug off the manifold being in some [ilmath]\mathbb{R}^N[/ilmath] and have MEANINGFUL tangent spaces.
    • [ilmath]\mathrm{d}i\vert_{(x,y)}:T_{(x,y)}(\mathbb{R}^2)\rightarrow T_{i(x,y)}(\mathbb{R}^3)[/ilmath] and [ilmath]\mathrm{d}c\vert_{(r,\theta)}:T_{(r,\theta)}(\mathbb{R}^2)\rightarrow T_{c(r,\theta)}(\mathbb{R}^3)[/ilmath]
    • I claim that the image of these too is "the same space with a different basis (if you consider the image of the standard basis)" - not just isomorphic, obviously any two planes are isomorphic, that's too weak.
  2. Suppose we want to integrate to find the surface area of a region, how do we do this without it just being a standard calculus "change of coordinates" question?
    • Suppose we pick a region in [ilmath]\mathbb{R}^2[/ilmath], in this example there's a natural choice of chart, but other charts could go much faster, eg [ilmath]:(x,y)\mapsto(x^3,y^3,x^6+y^6)[/ilmath], at [ilmath](2,2)[/ilmath] this is moving much faster than [ilmath]i[/ilmath] would!
    • In a manifold there is no natural chart like our [ilmath]i[/ilmath], it is clear that "1 unit squared" in [ilmath]i[/ilmath] is different to 1 unit squared somewhere else!
  3. There's a lot of talk about immersing manifolds and such, if we move and stretch bits of it around so it doesn't self intersect for example, surely we change the results of certain integrals?
  4. Take the unit sphere, and take the sphere of double the radius, using charts how can we distinguish these?
  5. What is the point? I do see that when I've done calculus exercises and integrated something in chunks that that's sort of like a chart, and that you can change coordinates, but there's a natural choice of coordinates then! "the unit area/volume/length" is defined relative to something
  6. Where does length come from? Take a circle with 4 charts (that each cover "almost" half of the circle), suppose chart [ilmath]A[/ilmath] covers the half above the x-axis.
    • "some length" in the chart that maps to [ilmath]x=0[/ilmath] and [ilmath]y=1[/ilmath] is worth less than "some length" that maps to the edge of the chart. (See picture)
Pitfalls of circle chart.JPG

"Tangent planes"

[ilmath]T_p(V)[/ilmath] is the tangent space to a point, it's a vector space and consists of tuples of the form [ilmath](p,v)[/ilmath] for [ilmath]v\in V[/ilmath]. These are quite literally arrows that start at [ilmath]p[/ilmath] and point from [ilmath]p[/ilmath] in direction [ilmath]v[/ilmath].

  1. [ilmath]\mathrm{d}i\vert_{(x,y)}(u,v)=\left(\begin{array}{c} u\\ v \\ 2xu + 2yv\end{array}\right)[/ilmath]
    • Now we see the "tangent space" is the plane: [ilmath]\left(\begin{array}{c}x\\y\\x^2+y^2\end{array}\right)+\alpha\left(\begin{array}{c}1\\ 0 \\ 2x\end{array}\right)+\beta\left(\begin{array}{c}0\\ 1 \\ 2y\end{array}\right)[/ilmath] for [ilmath]\alpha,\beta\in\mathbb{R} [/ilmath]
  2. [ilmath]\mathrm{d}c\vert_{(r,\theta)}(u,v)=\left(\begin{array}{c}u\cos(\theta)-r v \sin(\theta)\\ u\sin(\theta)+rv\cos(\theta)\\2ru\end{array}\right)[/ilmath] ([ilmath]u[/ilmath] and [ilmath]v[/ilmath] are different now, but can take any value in [ilmath]\mathbb{R}^2[/ilmath])
    • The tangent space is the plane: [ilmath]\left(\begin{array}{c}r\cos(\theta)\\r\sin(\theta)\\r^2\end{array}\right)+\alpha\left(\begin{array}{c}\cos(\theta)\\ \sin(\theta)\\ 2r\end{array}\right)+\beta\left(\begin{array}{c}-r\sin(\theta)\\ r\cos(\theta) \\ 0\end{array}\right)[/ilmath] - Caution:I've checked and these are the same plane, provided I haven't copied from my notes wrongly, what I've written here is the same plane!

Moving between charts

  1. [math]\mathrm{d}(c^{-1}\circ i)\vert_{(x,y)}(u,v)=\left(\begin{array}{c}\frac{xu+yv}{\sqrt{x^2+y^2} }\\\frac{-yu + xv}{x^2+y^2}\end{array}\right)[/math]
  2. [math]\mathrm{d}(i^{-1}\circ c)\vert_{(r,\theta)}(u,v)=\left(\begin{array}{c}u\cos(\theta)-rv\sin(\theta)\\u\sin(\theta)+rv\cos(\theta)\end{array}\right)[/math]

Again I've checked these with a few values and they seem to be correct. For example:

  1. Take (so [ilmath]x=5[/ilmath] and [ilmath]y=0[/ilmath]) going in the direction [ilmath](1,0)[/ilmath] (1 [ilmath]x[/ilmath] unit per unit ....time?), then we get
    • [ilmath](1,0)[/ilmath] - [ilmath]r[/ilmath] increasing by 1 per unit time and theta not changing
  2. Take again but now the direction [ilmath](0,1)[/ilmath] (vertical), we get [ilmath](0,\frac{1}{5})[/ilmath] (note that only at this instant is change in [ilmath]r[/ilmath] per unit time [ilmath]0[/ilmath], after that [ilmath]r[/ilmath] has to get bigger to keep going vertical)
  3. I also checked [ilmath](r=1,\theta=\frac{\pi}{4})[/ilmath] in direction [ilmath](1,0)[/ilmath] and got [ilmath](\frac{\sqrt{2} }{2},\frac{\sqrt{2} }{2})[/ilmath] as expected. This is elementary calculus though so not a big deal