Calculus on Submanifolds Challenge
Two multi-part questions about submanifolds given to my class as challenges based on the book Calculus on Manifolds by Spivak. The more detailed the better.
-
What is the formal definition of parameterization you are using in class?
-
Hey, give me a minute to type it up. Is there anyway I could send a pdf to you? If not there should not be any issue with using wichever definition you want as long as you announce it first.
-
Well the issue is usually my definition would be a local C^\infty diffeomorphism \phi from an open U in R^n onto an open V inside of M, but this makes the first part of the problem trivial. Maybe you can just type it here? If you know latex I can just read it when it's uncompiled.
-
If you're using a textbook you could just refer me to the definition so that what I write will be consistent with the notions you are familiar with.
-
Oh, got it. Here goes: Let E, G be Banach spaces and M ⊂ G a non-empty subset. The following are equivalent. i) M is a C^k E-submanifold of G. ii) For each p ∈ M, there exists a embeddening C^k ϕ : U ⊂ E → G (U is open) such that p ∈ ϕ(U) ⊂ M and ϕ(U) is open of M in the induced topology. ϕ is called a C^k E-local parameterization of M in p.
-
Great, got it. Can I assume that all manifolds are C^\infty manifolds?
-
Just checked, we proved that after the challenge was issued. So no, can't assume, unfortunately.
-
Okay finally: have you proved the inverse function theorem on Banach spaces?
-
Yes, we did.
-
Hey, just checking on this. Doing alright? Will you be able to finish it in time?
-
Any other info you need, just ask.
-
Yes, it's pretty easy. However I just lost all my progress when the website reloaded so I'll type it up somewhere else and upload it in a couple hours.
-
As I submitted I noticed a typo: in 1.d.) I write "the embedded close submanifold U on which x_2^2 + y_2^2" but this should read "... on which x_2^2 + y_2^2 = 1". Somehow that got left out.
-
Another important thing to note: in 2.a.) the conditions "cos(a) \neq 0" and "sin(a) \neq 0" should be switched, that was a typo.
-
Finally: "parallelization" in 2.c.) is more accurately a local basis of sections at every point, it is not a parallelization.
Answer
- The questioner was satisfied and accepted the answer, or
- The answer was disputed, but the judge evaluated it as 100% correct.
1 Attachment
- answered
- 482 views
- $50.50
Related Questions
- Integration
- A function satifying $|f(x)-f(y)|\leq |x-y|^2$ must be constanct.
- Find the area under the graph of $y=\sin x$ between $x=0$ and $x=\pi$.
- Calculus / imaginary numbers and S^2
- Riemann Sums for computing $\int_0^3 x^3 dx$
- Find the limit as x-->0 for y = (e^x- 1)/[sin(nx)]
- Volume of the solid of revolution
- Find the average value of the function $\frac{\sin x}{1+\cos^2 x}$ on the interval $[0,1]$
