[論文レビュー] Seip's differentiability concepts as a particular case of the Bertram--Gloeckner--Neeb construction

Seppo I. Hiltunen|arXiv (Cornell University)|Aug 12, 2007

Mathematical and Theoretical Analysis参考文献 2被引用数 4

ひとこと要約

この論文は、コンpactに生成された局所凸空間上の連続的微分可能性に関するSeipの理論が、$C^k$-微分可能性の一般化されたBertram–Glöckner–Neeb（BGN）構成の特別な場合であることを確立している。Seipの枠組みがBGN法から自然に生じることを証明し、他の微分理論と統合し、Seipの逆関数定理および陰関数定理の仮定が実用的使用にあまりに強い可能性があることを示す反例を提示している。

ABSTRACT

From the point of view of unification of differentiation theory, it is of interest to note that the general construction principle of Bertram, Gloeckner and Neeb leading to a C^k differentiability concept from a given C^0 one, besides subsuming the Keller--Bastiani C_c^k differentiabilities on real Hausdorff locally convex spaces, also does the same to the "arc-generated" interpretation of the Lipschitz theory of differentiation by Frolicher and Kriegl, and likewise to the "compactly generated" theory of Seip's continuous differentiabilities. In this article, we give the details of the proof for the assertion concerning Seip's theory. We also give an example indicating that the premises in Seip's various inverse and implicit function theorems may be too strong in order for these theorems to have much practical value. Also included is a presentation of the BGN--setting reformulated so as to be consistent with the Kelley--Morse--Godel--Bernays--von Neumann type approach to set theory, as well as a treatment of the function space constructions and development of their basic properties needed in the proof of the main result.

研究の動機と目的

• Seipのコンパクトに生成された連続的微分可能性理論が、$C^k$-微分可能性の一般化されたBertram–Glöckner–Neeb（BGN）構成に包含されることを示すこと。
• BGNフレームワークがケリー–モーザー–ゲーデル–バーナウス集合論的アプローチにおいて基礎的に整合的であることを明確にすること。
• 主な結果を証明するために必要な関数空間構成および指数法則を提示し、発展させること。
• Seipの逆関数定理および陰関数定理の実用的適用可能性を批判的に評価するため、その仮定が実際の検証にあまりに強い場合がある反例を構築すること。

提案手法

• 論文は、基礎的整合性を保証するため、ケリー–モーザー–ゲーデル–バーナウス集合論に整合するセット理論的基礎を用いてBGNフレームワークを再定式化している。
• コンパクトに生成された空間を定義するため、コンパクト開位相の$k$-化を用い、関数空間に伴う指数法則を確立している。
• SeipのSeipノルム条件（特に、すべての$x, z \in \upsilon_s E$に対して$z \in n$ならば$z \in \mathrm{Cl}(n(x) + n(z - x))$）が、$C^k$-微分可能性のためのBGNの公理と同値であることを示すことで、証明に依拠している。
• コンパクトに生成された設定における指数法則$\big{(}Z^X\big{)}^Y \cong Z^{X \sqcap Y}$を用いて、$E = \mathcal{D}(\mathbb{R})$上での$(x,y) \mapsto x \circ (\mathrm{id} + y)$のような写像の滑らかさを証明している。このとき$E$がコンパクトに生成されていなくてもよい。
• Seipの逆関数定理および陰関数定理を、実数直線上の非アフィン微分同相写像$\varphi$を含む反例を構築することで分析し、必要な条件が実用的な検証にあまりに強いことを示している。
• 著者らは、指数法則が$C^\infty$-設定における滑らかさの証明を簡略化するが、有限次微分可能な関数空間への拡張はできないこと、理論に根本的な矛盾が生じることを強調している。

実験結果

リサーチクエスチョン

• RQ1 Seipの連続的微分可能性理論は、$C^k$-微分可能性の一般化されたBertram–Glöckner–Neeb構成の正式な特別な場合として導出可能か？
• RQ2 SeipのSeipノルム条件とBGNの微分のための公理との間の正確な関係は何か？
• RQ3 Seipの逆関数定理および陰関数定理は、その強い仮定を考慮すると、実用的適用性はどの程度あるのか？
• RQ4 BGNフレームワークは、ケリー–モーザー–ゲーデル–バーナウスのような標準的集合論において、どのように一貫して定式化できるか？
• RQ5 指数法則は滑らかさ関数空間では有効であるが、なぜ有限次微分可能な写像の解析には拡張できないのか？

主な発見

• コンパクトに生成された局所凸空間上のSeipの連続的微分可能性理論は、正式にBertram–Glöckner–Neebの$C^k$-微分可能性構成の特別な場合である。
• Seipノルム条件$z \in n$ならばすべての$x, z \in \upsilon_s E$に対して$z \in \mathrm{Cl}(n(x) + n(z - x))$が、BGNの公理と同値であることが示され、統合が確立された。
• 仮定が極めて強く、実際の検証がほぼ不可能な反例が構築された。
• 論文は、指数法則が$C^\infty$-設定では滑らかさの証明を簡略化するが、有限次微分可能な関数空間への拡張はできないことを示している。
• 著者らは、指数法則に必要な標準的関数空間の要請が、非バナッハ設定における逆関数定理および陰関数定理の実用的適用性と根本的に矛盾することを主張している。