無限次元のバナッハ空間については、スメールが証明した。本定理は、高度な解析学を用いて証明される強力な定理である。つの正則点がある」という定理を導くためにたびたび使われている。1965年に、本定理はサードによってさらに一般化された。以下であるというのである。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。