[論文レビュー] The triangle of operators, topologies, bornologies

Ngai‐Ching Wong|ArXiv.org|Jun 10, 2005

Advanced Banach Space Theory参考文献 19被引用数 3

ひとこと要約

本稿は、局所凸空間（LCS）における作用素イデアル、位相、およびボルノロジーの間の双対性フレームワークを確立し、グロテンディークのグロテンディーク空間およびその双対であるコグロテンディーク空間が、作用素イデアル ${\mathfrak{A}}$ に対して ${\mathfrak{A}}$-位相的および ${\mathfrak{A}}$-ボルノロジカル空間に正確に一致することを示している。主な貢献は、作用素、位相、ボルノロジーの間の同値性の可換三角形を構成し、核型、スワーツ型、コンパクト作用素に対する古典的結果を一般化することにある。

ABSTRACT

This paper discusses two common techniques in functional analysis: the topological method and the bornological method. In terms of Pietsch's operator ideals, we establish the equivalence of the notions of operators, topologies and bornologies. The approaches in the study of locally convex spaces of Grothendieck (via Banach space operators), Randtke (via continuous seminorms) and Hogbe-Nlend (via convex bounded sets) are compared.

研究の動機と目的

• 局所凸空間の研究を作用素イデアル、位相、ボルノロジーの相互作用を通じて統一すること。
• 核型、スワーツ型、コンパクト作用素に対する古典的特徴づけを、より広いクラスの局所凸空間へ一般化すること。
• 作用素イデアルを通じて、作用素、位相、ボルノロジーを結ぶ可換三角形を確立すること。
• ${\mathfrak{A}}$-位相的および ${\mathfrak{A}}$-ボルノロジカル空間の体系的双対性理論を提供すること。
• 作用素イデアル構造を用いてテンソル積、順序付きLCS、および $C^*$-代数への応用を拡張すること。

提案手法

• ${\mathfrak{A}}$-位相を、作用素イデアル ${\mathfrak{A}}$ の単位的包とされる ${\mathfrak{A}}^{\operatorname{inj}}$ を用いて、LCS $X$ 上に定義し、${\mathfrak{A}}$-連続なセミノルムを通じて定義する。
• ${\mathfrak{A}}$-ボルノロジーを、${\mathfrak{A}}$-有界な絶対凸集合を通じて、作用素イデアル ${\mathfrak{A}}$ のボルノロジカル的全射包 ${\mathfrak{A}}^{\operatorname{bsur}}$ を用いて定義する。
• LCS $X$ が ${\mathfrak{A}}$-位相的（ respectively ${\mathfrak{A}}$-ボルノロジカル）であるとは、その位相（ respectively ボルノロジー）が ${\mathfrak{A}}$-位相（ respectively ${\mathfrak{A}}$-ボルノロジー）と一致するときを指す。
• 双対性を確立：$X$ が ${\mathfrak{A}}$-位相的であることと $X^\prime_\beta$ が ${\mathfrak{A}}$-ボルノロジカルであることとは同値であり、逆も同様。
• ${\mathfrak{A}}$-作用素を通じてバナッハ空間の射影極限として、タイプ ${\mathfrak{A}}$ のグロテンディーク空間を定義する。
• このフレームワークをテンソル積、順序付きLCS、$C^*$-代数に適用し、イデアル位相および作用素モジュールとの関係を示す。

実験結果

リサーチクエスチョン

• RQ1 作用素イデアルを用いて、局所凸空間上の位相およびボルノロジーをどのように定義・特徴づけられるか。
• RQ2 ${\mathfrak{A}}$-位相的および ${\mathfrak{A}}$-ボルノロジカル空間の正確な双対性とは何か。
• RQ3 核型やスワーツ型空間といった古典的クラスが、${\mathfrak{A}}$-位相的または ${\mathfrak{A}}$-ボルノロジカル空間としてどのように生じるか。
• RQ4 作用素イデアル構造を用いて、このフレームワークをテンソル積および $C^*$-代数へ拡張可能か。
• RQ5 ${\mathfrak{A}}$-位相的および ${\mathfrak{A}}$-ボルノロジカル空間が部分空間、商空間、射影極限に関して、どの程度の性質を保つのか。

主な発見

• ${\mathfrak{A}}$-位相および ${\mathfrak{A}}$-ボルノロジーは、それぞれ作用素イデアル ${\mathfrak{A}}$ の単位的包 ${\mathfrak{A}}^{\operatorname{inj}}$ およびボルノロジカル的全射包 ${\mathfrak{A}}^{\operatorname{bsur}}$ を用いて、LCS $X$ 上に定義される。
• LCS $X$ が ${\mathfrak{A}}$-位相的であることと、その強い双対 $X^\prime_\beta$ が ${\mathfrak{A}}$-ボルノロジカルであることとは同値であり、逆も同様である。これにより双対性が確立される。
• タイプ ${\mathfrak{A}}$ のグロテンディーク空間は、正確に ${\mathfrak{A}}$-位相的空間であり、コグロテンディーク空間は ${\mathfrak{A}}$-ボルノロジカル空間である。
• 単位的イデアル ${\mathfrak{A}}$ に対して、${\mathfrak{A}}$-位相的空間の射影極限は ${\mathfrak{A}}$-位相的であり、${\mathfrak{A}}$-ボルノロジカル空間の部分空間は ${\mathfrak{A}}$-ボルノロジカルである。
• $C^*$-代数 $A$ 上の ${\mathfrak{W}}$-位相（弱コンパクト作用素によって生成）は、有界集合上で強い*作用素位相と一致する、最も細かい局所凸位相であり、その完備化は $ (A^{**}, \tau(A^{**}, A^*)) $ である。
• このフレームワークにより、スワーツ型、準スワーツ型、核型、およびコ核型空間に対して、適切なイデアル条件のもとで、部分空間、商空間、射影極限における閉包性を含む永続的性質が得られる。