0747132人目の素数さん垢版 | 大砲2018/09/04(火) 20:31:08.54ID:eW7aTdZu 亀谷俊司著『解析学入門』を読んでいます。 不動点定理を使って、陰関数の定理、逆関数の定理を証明しているようです。 Tietze の連続関数延長定理とかいう定理も書いてありますね。