Talk:Implicit Function Theorem

From ProofWiki
Jump to navigation Jump to search

I have started transcluding theorems on this page, knowing that there are many forms (at least 10, of which 5 in real analysis alone) of the implicit function theorem: the simplest case (which I've stated now), the simple case for 2 variables, a Lipschitz, differentiable and smooth case, and then one or two versions for holomorphic functions, 2 or 3 for real/complex manifolds and at least one for Banach spaces. There are more general versions, but I am not familiar with those. --barto (talk) 08:12, 3 August 2017 (EDT)

Conclusion: transcluding everything here is unwieldy (especially since the statement of each theorem is quite long), so I won't and create separate pages instead, keeping everything together in Category:Implicit Function Theorem (plural or singular?). --barto (talk) 08:12, 3 August 2017 (EDT)

Category:Implicit Functions seems a better name. --barto (talk) 13:20, 3 August 2017 (EDT)

I didn't take into account the point-wise versions, which will make approx. 15. --barto (talk) 13:24, 7 August 2017 (EDT)