# Calculus on Submanifolds Challenge

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

Ssvnormandysr1

211

## 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
- 730 views
- $50.50

### Related Questions

- Improper integral
- Calculus problem
- (a) Find the coordinates (x,y) which will make the rectangular area A = xy a maximum. (b) What is the value of the maximum area?
- Volume of solid of revolution
- Equations of Motion and Partial Fractions
- Find the domain of the function $f(x)=\frac{\ln (1-\sqrt{x})}{x^2-1}$
- Two short calculus questions - domain and limits
- The cross sectional area of a rod has a radius that varies along its length according to the formula r = 2x. Find the total volume of the rod between x = 0 and x = 10 inches.

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.