# Calculus on Submanifolds Challenge

*Calculus on Manifolds* by Spivak. The more detailed the better.

## Answer

**Answers can be viewed only if**

- The questioner was satisfied and accepted the answer, or
- The answer was disputed, but the judge evaluated it as 100% correct.

1 Attachment

Persimmonl

63

The answer is accepted.

Join Matchmaticians Affiliate Marketing
Program to earn up to 50% commission on every question your affiliated users ask or answer.

- answered
- 810 views
- $50.50

### Related Questions

- Evaluate $\int \sqrt{\tan x} dx$
- Obtaining the absolute velocity of a moving train based on angle of raindrops with respect to vertical axis
- Explain why does gradient vector points in the direction of the steepest increase?
- [Help Application of Integration]Question
- Double Integrals
- Find the average of $f(x)=\sin x$ on $[0, \pi]$.
- Find the antiderrivative of $\int \frac{v^2-v_o^2}{2\frac{K_e\frac{q_1q_2}{r^2}}{m} } dr$
- Find a general solution for $\int at^ne^{bt}dt$, where $n$ is any integer, and $a$ and $b$ are real constants.

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.