[論文レビュー] Uniform structures on differential spaces

Diana Dziewa-Dawidczyk, Zbigniew Pasternak-Winiarski|arXiv (Cornell University)|Mar 14, 2011

Advanced Mathematical Modeling in Engineering参考文献 1被引用数 5

ひとこと要約

本稿は、微分構造の生成子族を用いて微分空間上の一様構造を定義するフレームワークを確立する。一様完備化の概念を導入し、微分構造が空間の完備化に連続的に拡張できることを示し、生成子の積空間への埋め込みを通じて滑らかな関数の自然な拡張を提供する。

ABSTRACT

The uniform structure on a differential space defined by a family of generators is considered.

研究の動機と目的

• 微分構造の生成子族を用いて微分空間上の一様構造を定義すること。
• このような一様構造を備えた微分空間の完備化を調査すること。
• 部分集合からその位相的完備化への微分構造の連続的拡張理論を構築すること。
• 部分集合上の微分構造がより大きな位相空間に拡張可能となる条件を確立すること。

提案手法

• すべての生成子が連続であることを保証する最も弱い位相を用いて、生成子族によって微分空間上に一様構造を定義する。
• 完備化を最小のコーシー被覆の集合として構成し、自然な一様構造を備える。
• 関数族 F によって生成される一様構造に関して微分空間の完備化が、生成子埋め込み φ_F による R^F への像の閉包に一様同相であることを示す。
• 完備化上の微分構造が、元の稠密部分空間上の構造を自然に拡張することを証明する。
• 標準的一様完備化の構成を用いて、微分空間を完備一様空間に埋め込む。
• 完備化上の拡張された構造が、一様構造によって誘導される位相に関して連続であることを示す。

実験結果

リサーチクエスチョン

• RQ1 微分構造の生成子族から、微分空間上に一様構造を自然に定義する方法は何か？
• RQ2 このような一様構造に関して微分空間の完備化と、生成子埋め込みの像の閉包との関係は何か？
• RQ3 部分集合上の微分構造がその位相的完備化に連続的に拡張可能となる条件は何か？
• RQ4 生成子によって誘導される一様構造に関して微分空間の完備化は、元の構造を拡張する自然な微分構造を備えているか？
• RQ5 異なる生成子族が、同じ微分空間に対して非同型な完備化をもたらすことがあるか？

主な発見

• 関数族 F によって生成される微分空間上の一様構造は、F のすべての関数が連続である最も弱い位相であり、空間に一様構造を誘導する。
• 関数族 F によって生成される一様構造に関して微分空間の完備化は、生成子埋め込み φ_F による R^F への像の閉包に一様同相である。
• R^F 上の滑らかな関数によって誘導される完備化上の微分構造は、元の稠密部分空間から完備化への微分構造の自然な連続的拡張を提供する。
• 完備化の過程では微分構造が保存され、すなわち完備化上の拡張された構造は滑らかな合成と局所化に関して閉じている。
• 標準的な滑らかさを持つ実数直線 R に対して、恒等関数によって誘導される完備化は R 自身であるが、arctan(x) によって誘導される完備化は [−π/2, π/2] に一致する。これは、異なる生成子族が同型でない完備化をもたらす例である。
• 部分集合 M 上の微分構造が位相空間 N に拡張可能であるための必要十分条件は、M への制限が元の M 上の構造を回復するような N 上の微分構造が存在することである。