本論文は、位相空間Σで定義されたすべての連続実数値関数の同値類のベクトル束S(Σ)の束的および位相的側面を確立し、フレリンテンソル積がアルキメデスベクトル束の非有界順序収束と順序収束の両方と適切に連携することを示すことを目的とする研究論文である。
まず、論文では、S(Σ)の要素である、開稠密集合上で定義された連続関数の同値類について考察する。補題1では、同値類に属する関数は、定義域の共通部分で値が一致することを示す。補題2では、Σが極限的に非連結な場合、S(Σ)とC∞(Σ)(Σから拡張実数への拡張連続関数の空間)の間に束同型が存在することを証明する。さらに、補題4では、Σが完全に正則な場合、Σ上のすべての連続関数の空間C(Σ)はS(Σ)において順序稠密であることを示す。
次に、論文では、フレリンテンソル積の性質について考察する。補題6では、ΣとΩが完全に正則な位相空間である場合、S(Σ)⊗S(Ω)はS(Σ×Ω)において順序稠密であることを示す。補題7では、EがS(Σ)の順序稠密なベクトル部分束であり、FがS(Ω)の順序稠密なベクトル部分束である場合、E⊗FはS(Σ)⊗S(Ω)において順序稠密であることを示す。
これらの結果に基づき、論文の主定理(定理8)では、EとFがアルキメデスベクトル束であり、(fα)がEにおいてfにuo-収束し、(gα)がFにおいてgにuo-収束する場合、(fα⊗gα)はフレリンテンソル積E⊗Fにおいてf⊗gにuo-収束することを証明する。
さらに、命題9では、(xα)がEにおいてuo-零であり、(yα)がFにおいて最終的に順序有界である場合、(xα⊗yα)はE⊗Fにおいてuo-零にuo-収束することを示す。
論文は、フレリンテンソル積がアルキメデスベクトル束の非有界順序収束と順序収束の両方と適切に連携することを示すことで、ベクトル束のテンソル積の理論に貢献するものである。
他の言語に翻訳
原文コンテンツから
arxiv.org
深掘り質問