I have seen stronger propositions that imply this, but both their statement and their proofs require more advanced tools than I’d like to use in my text, which is aimed at a general scientific audience.

I want to prove: *With $fcolon mathbb R^k to mathbb R$ smooth (infinitely differentiable) and $x$ a non-critical point (i.e. $nabla f(x) neq 0$), then the level set $f^{-1}(x)$ is a manifold*. Preferrably providing a procedure to construct charts.

It seems that there should be a proof using undergraduate calculus only. Any ideas?

MathOverflow Asked by user8948 on January 31, 2021

1 AnswersProof of the implicit function theorem in several variables calculus requires the contraction mapping theorem, so is probably not suitable for your audience. You need to use an iterative method and take a limit. You can look for a complete proof in Spivak, Calculus on Manifolds.

If you just replace one of the coordinate functions by $f$, you get a chart, but the proof that it is a chart requires the implicit function theorem.

Answered by Ben McKay on January 31, 2021

0 Asked on December 15, 2020 by shaoyang-zhou

1 Asked on December 15, 2020

1 Asked on December 14, 2020 by nahila

2 Asked on December 10, 2020 by yada

1 Asked on December 9, 2020 by neothecomputer

ac commutative algebra algebraic number theory nt number theory ra rings and algebras

1 Asked on December 9, 2020 by mb2009

0 Asked on December 8, 2020 by dbcohsmoothness

ag algebraic geometry derived algebraic geometry derived categories homological algebra

1 Asked on December 7, 2020

1 Asked on December 7, 2020 by qsh

algebraic groups geometric group theory gr group theory linear algebra rt representation theory

0 Asked on December 6, 2020 by sharpe

0 Asked on December 6, 2020 by xindaris

at algebraic topology cohomology limits and colimits sheaf cohomology

0 Asked on December 6, 2020 by winawer

lie superalgebras mp mathematical physics reference request rt representation theory vertex algebras

1 Asked on December 5, 2020 by leo-herr

ag algebraic geometry algebraic curves birational geometry blow ups

1 Asked on December 4, 2020 by lyrically-wicked

1 Asked on December 4, 2020 by andrea-marino

calculus of variations connections differential topology geodesics transversality

0 Asked on December 3, 2020 by eric-yan

0 Asked on December 3, 2020 by user164740

ag algebraic geometry at algebraic topology complex geometry dg differential geometry gt geometric topology

2 Asked on December 1, 2020 by wolfgang

big picture co combinatorics modular forms special functions

2 Asked on December 1, 2020 by bernhard-boehmler

computer algebra finite groups gr group theory ra rings and algebras rt representation theory

Get help from others!

Recent Answers

- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- eric_kernfeld on How to test consistency of responses?
- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- Philipp on How do i draw a ray in unity
- kjetil b halvorsen on How to test consistency of responses?

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

© 2022 AnswerBun.com. All rights reserved.