積分線形演算子

コンテンツへジャンプ

メインメニュー

メインメニュー

サイドバーに移動隠れる

ナビゲーション

• メインページ
• コンテンツ
• 時事問題
• ランダム記事
• Wikipediaについて
• お問い合わせ

貢献する

• ヘルプ
• 編集方法を学ぶ
• コミュニティポータル
• 最近の変更
• ファイルをアップロード
• 特別ページ

検索

検索

外観

• 寄付する
• アカウントを作成する
• ログイン

個人用ツール

• 寄付する
• アカウントを作成する
• ログイン

コンテンツ

サイドバーに移動隠れる

• （トップ）
• 1定義 - 単射テンソル積の双対としての整式
• 2積分線形写像
  積分線形写像サブセクションを切り替える
  • 2.1ヒルベルト空間との関係
  • 2.2十分な条件
  • 2.3プロパティ
• 3参照
• 4参考文献
• 5参考文献
• 6外部リンク

目次を切り替える

言語を追加する

リンクを追加する

• 記事
• 話す

英語

• 読む
• 編集
• 履歴を表示

ツール

ツール

サイドバーに移動隠れる

アクション

• 読む
• 編集
• 履歴を表示

一般的な

• ここへのリンク
• 関連する変更
• ファイルをアップロード
• パーマリンク
• ページ情報
• このページを引用する
• 短縮URLを取得する
• QRコードをダウンロード

印刷/エクスポート

• PDFとしてダウンロード
• 印刷可能なバージョン

他のプロジェクト

• ウィキデータ項目

外観

サイドバーに移動隠れる

フリー百科事典『ウィキペディア』より

数学関数

数学的解析において、積分線形演算子とは、積分によって与えられる線形演算子Tである。すなわち、

${\displaystyle (Tf)(x)=\int f(y)K(x,y)\,dy}$

ここで、は統合カーネルと呼ばれます。 ${\displaystyle K(x,y)}$

より一般的には、積分双線型形式とは、局所凸位相ベクトル空間（TVS）XとYの単射テンソル積である の連続双対空間に属する双線型関数である。積分線型作用素とは、積分双線型形式から標準的な方法で生じる連続線型作用素である。 ${\displaystyle X{\widehat {\otimes }}_{\epsilon }Y}$

これらの写像は、核空間と核写像の理論において重要な役割を果たします。

定義 - 単射テンソル積の双対としての整式

[編集]

参照:単射テンソル積および射影テンソル積

XとY を局所凸 TVSとし、 を射影テンソル積、をその完備化、を入射テンソル積、 をその完備化とします。 をその完備化への TVS 埋め込みとし、をその転置とします。これはベクトル空間同型です。これにより、 の連続双対空間は の連続双対空間と同一であることが示されます。 ${\displaystyle X\otimes _{\pi }Y}$ ${\displaystyle X{\widehat {\otimes }}_{\pi }Y}$ ${\displaystyle X\otimes _{\epsilon }Y}$ ${\displaystyle X{\widehat {\otimes }}_{\epsilon }Y}$ ${\displaystyle \operatorname {In} :X\otimes _{\epsilon }Y\to X{\widehat {\otimes }}_{\epsilon }Y}$ ${\displaystyle X\otimes _{\epsilon }Y}$ ${\displaystyle {}^{t}\operatorname {In} :\left(X{\widehat {\otimes }}_{\epsilon }Y\right)_{b}^{\prime }\to \left(X\otimes _{\epsilon }Y\right)_{b}^{\prime }}$ ${\displaystyle X\otimes _{\epsilon }Y}$ ${\displaystyle X{\widehat {\otimes }}_{\epsilon }Y}$

を恒等写像、をその転置写像とします。これは連続的な単射です。は 上の連続双線型写像の空間である と正準的に同一視されることを思い出してください。このように、 の連続双対空間はのベクトル部分空間 と正準的に同一視でき、 と表記されます。 の元は上の整形式（双線型）と呼ばれます。次の定理は「積分」という言葉の正当性を証明しています。 ${\displaystyle \operatorname {Id} :X\otimes _{\pi }Y\to X\otimes _{\epsilon }Y}$ ${\displaystyle {}^{t}\operatorname {Id} :\left(X\otimes _{\epsilon }Y\right)_{b}^{\prime }\to \left(X\otimes _{\pi }Y\right)_{b}^{\prime }}$ ${\displaystyle \left(X\otimes _{\pi }Y\right)^{\prime }}$ ${\displaystyle B(X,Y)}$ ${\displaystyle X\times Y}$ ${\displaystyle X\otimes _{\epsilon }Y}$ ${\displaystyle B(X,Y)}$ ${\displaystyle J(X,Y)}$ ${\displaystyle J(X,Y)}$ ${\displaystyle X\times Y}$

定理^{[ 1 ] [ 2 ]} —の双対J ( X , Y )は、次の形式の 連続双線型形式uのちょうど 2 倍である。 ${\displaystyle X{\widehat {\otimes }}_{\epsilon }Y}$ ${\displaystyle X\times Y}$

${\displaystyle u(x,y)=\int _{S\times T}\langle x,x'\rangle \langle y,y'\rangle \;d\mu \!\left(x',y'\right),}$

ここで、SとTはそれぞれ、双対と の弱閉かつ等連続な（したがって弱コンパクト）部分集合であり、は（コンパクト）集合 上の（必然的に有界な）正のラドン測度です。 ${\displaystyle X^{\prime }}$ ${\displaystyle Y^{\prime }}$ ${\displaystyle \mu }$ ${\displaystyle S\times T}$

また、上記の定理には密接に関連した定式化^{[ 3 ]}もあり、これは積分双線型形式という用語の説明にも使用できる。局所凸空間の積上の連続双線型形式が積分であるための 必要十分条件は、（必然的に有界な）正のラドン測度とバナッハ空間との間の連続線型写像を備えたコンパクト位相空間が存在し、 ${\displaystyle u}$ ${\displaystyle X\times Y}$ ${\displaystyle \Omega }$ ${\displaystyle \mu }$ ${\displaystyle \alpha }$ ${\displaystyle \beta }$ ${\displaystyle X}$ ${\displaystyle Y}$ ${\displaystyle L^{\infty }(\Omega ,\mu )}$

${\displaystyle u(x,y)=\langle \alpha (x),\beta (y)\rangle =\int _{\Omega }\alpha (x)\beta (y)\;d\mu }$、

つまり、この形式は、コンパクト空間上の（本質的に有界な）関数を積分することによって実現できます。 ${\displaystyle u}$

積分線形写像

[編集]

連続線型写像は、それに対応する双線型形式が整双線型形式である場合に積分写像と呼ばれる。ここで、この形式は によって定義される。^{[ 4 ]}従って、積分写像は次の形式となる。^{[ 4 ]} ${\displaystyle \kappa :X\to Y'}$ ${\displaystyle (x,y)\in X\times Y\mapsto (\kappa x)(y)}$ ${\displaystyle \kappa :X\to Y'}$

${\displaystyle x\in X\mapsto \kappa (x)=\int _{S\times T}\left\langle x',x\right\rangle y'\mathrm {d} \mu \!\left(x',y'\right)}$

およびの適切な弱閉部分集合Sおよび等連続部分集合Tと、全質量 ≤ 1 の何らかの正のラドン測度に対して、等式が成り立ちます。上記の積分は弱積分であるため、任意の に対して の場合のみ、等式が成り立ちます。 ${\displaystyle X'}$ ${\displaystyle Y'}$ ${\displaystyle \mu }$ ${\displaystyle y\in Y}$ ${\textstyle \left\langle \kappa (x),y\right\rangle =\int _{S\times T}\left\langle x',x\right\rangle \left\langle y',y\right\rangle \mathrm {d} \mu \!\left(x',y'\right)}$

線型写像 が与えられれば、によって上の付随双線型形式と呼ばれる標準双線型形式 を定義できる。連続写像は、その付随双線型形式が整双線型形式であるとき、整写と呼ばれる。 ^{[ 5 ]}整写は、任意のおよびに対して、 の形式である。 ${\displaystyle \Lambda :X\to Y}$ ${\displaystyle B_{\Lambda }\in Bi\left(X,Y'\right)}$ ${\displaystyle X\times Y'}$ ${\displaystyle B_{\Lambda }\left(x,y'\right):=\left(y'\circ \Lambda \right)\left(x\right)}$ ${\displaystyle \Lambda :X\to Y}$ ${\displaystyle \Lambda :X\to Y}$ ${\displaystyle x\in X}$ ${\displaystyle y'\in Y'}$

${\displaystyle \left\langle y',\Lambda (x)\right\rangle =\int _{A'\times B''}\left\langle x',x\right\rangle \left\langle y'',y'\right\rangle \mathrm {d} \mu \!\left(x',y''\right)}$

および の適切な弱閉部分集合および等連続部分集合、および全質量の何らかの正のラドン測度に対して。 ${\displaystyle A'}$ ${\displaystyle B''}$ ${\displaystyle X'}$ ${\displaystyle Y''}$ ${\displaystyle \mu }$ ${\displaystyle \leq 1}$

ヒルベルト空間との関係

[編集]

次の結果は、積分写像がヒルベルト空間を「因数分解する」ことを示しています。

命題: ^{[ 6 ]}がYハウスドルフの局所凸TVSと完備な写像である とする。ヒルベルト空間Hと2つの連続線型写像とが存在し、となる。 ${\displaystyle u:X\to Y}$ ${\displaystyle \alpha :X\to H}$ ${\displaystyle \beta :H\to Y}$ ${\displaystyle u=\beta \circ \alpha }$

さらに、2つのヒルベルト空間間のすべての積分作用素は核作用素である。^{[ 6 ]}したがって、2つのヒルベルト空間間の連続線型作用素は、それが積分である場合に限り核作用素である。

十分な条件

[編集]

すべての核写像は積分である。^{[ 5 ]} 重要な部分逆は、2つのヒルベルト空間間のすべての積分作用素は核であるということである。^{[ 6 ]}

A、B、C、Dがハウスドルフ局所凸TVSであり、、 、 がすべて連続線型作用素であるとする。が積分作用素であれば、合成 も積分作用素である。^{[ 6 ]} ${\displaystyle \alpha :A\to B}$ ${\displaystyle \beta :B\to C}$ ${\displaystyle \gamma :C\to D}$ ${\displaystyle \beta :B\to C}$ ${\displaystyle \gamma \circ \beta \circ \alpha :A\to D}$

が2つのノルム空間間の連続線型作用素である場合、 が整数であるとき、かつその場合に限り、が整数である。^{[ 7 ]} ${\displaystyle u:X\to Y}$ ${\displaystyle u:X\to Y}$ ${\displaystyle {}^{t}u:Y'\to X'}$

が局所凸TVS間の連続線型写像であるとする。が整列しているならば、その転置も整列している。^{[ 5 ]}ここで、連続線型写像の 転置が 整列しているとしよう。すると、（ xにおける値で定義される）標準射影とがTVS埋め込みであるならば（例えば、とが樽型または計量化可能であるならば）、は整列している。^{[ 5 ]} ${\displaystyle u:X\to Y}$ ${\displaystyle u:X\to Y}$ ${\displaystyle {}^{t}u:Y_{b}^{\prime }\to X_{b}^{\prime }}$ ${\displaystyle {}^{t}u:Y_{b}^{\prime }\to X_{b}^{\prime }}$ ${\displaystyle u:X\to Y}$ ${\displaystyle u:X\to Y}$ ${\displaystyle \operatorname {In} _{X}:X\to X''}$ ${\displaystyle x\mapsto }$ ${\displaystyle \operatorname {In} _{Y}:Y\to Y''}$ ${\displaystyle X}$ ${\displaystyle Y_{b}^{\prime }}$

プロパティ

[編集]

A , B , C , Dがハウスドルフ局所凸TVSで、BとDが 完全であるとする。もし、、、がすべて整線型写像であれば、それらの合成は核写像となる。^{[ 6 ]} したがって、特に、Xが無限次元フレシェ空間であれば、連続線型射影は積分作用素にはなり得ない。 ${\displaystyle \alpha :A\to B}$ ${\displaystyle \beta :B\to C}$ ${\displaystyle \gamma :C\to D}$ ${\displaystyle \gamma \circ \beta \circ \alpha :A\to D}$ ${\displaystyle u:X\to X}$

参照

[編集]

• 補助規範空間
• 最終トポロジー
• 入射テンソル積
• 原子力事業者
• 核空間
• 射影テンソル積
• 位相テンソル積

参考文献

[編集]

1. シェーファー＆ウォルフ 1999、168ページ。
2. Treves 2006、500–502 ページ。
3. グロタンディーク 1955、124–126頁。
4. シェーファー＆ウォルフ 1999、169ページ。
5. Treves 2006、502–505 ページ。
6. Treves 2006、506–508 ページ。
7. Trèves 2006、505頁。

参考文献

[編集]

• ディーステル、ジョー (2008). 『テンソル積の計量理論：グロタンディークの概論再考』 第16巻. プロビデンス、ロードアイランド州:アメリカ数学会. ISBN 9781470424831. OCLC  185095773 .
• エド・デュビンスキー(1979)。核フレシェ空間の構造。数学の講義ノート。 Vol. 720. ベルリン ニューヨーク: Springer-Verlag。ISBN 978-3-540-09504-0. OCLC  5126156 .
• グロタンディーク、アレクサンダー(1955). 「位相テンソル積と核空間」.アメリカ数学会誌シリーズ(フランス語). 16 . プロビデンス: アメリカ数学会. MR  0075539 ​​. OCLC  9308061 .
• Husain, Taqdir; Khaleelulla, SM (1978).位相的ベクトル空間と順序付きベクトル空間におけるバレル性. Lecture Notes in Mathematics . Vol. 692. ベルリン、ニューヨーク、ハイデルベルク: Springer-Verlag . ISBN 978-3-540-09096-0. OCLC  4493665 .
• カレルラ, SM (1982).位相ベクトル空間における反例.数学講義ノート. 第936巻. ベルリン、ハイデルベルク、ニューヨーク:シュプリンガー・フェアラーク. ISBN 978-3-540-11565-6. OCLC  8588370 .
• ナリシ, ローレンス; ベッケンシュタイン, エドワード (2011). 『位相ベクトル空間』 純粋数学と応用数学（第2版） ボカラトン, フロリダ州: CRC Press. ISBN 978-1584888666. OCLC  144216834 .
• ホグベ＝ンレンド、アンリ(1977).ボルノロジーと関数解析：双対性位相幾何学理論入門コース-ボルノロジーと関数解析におけるその応用. ノースホランド数学研究. 第26巻. アムステルダム, ニューヨーク, ノースホランド. ISBN 978-0-08-087137-0. MR  0500064 . OCLC  316549583 .
• ホグベ＝ンレンド、アンリ、モスカテリ、VB (1981) 『核空間と共核空間：双対性「位相-誕生論」の観点から見た核空間と共核空間入門』ノースホランド数学研究第52巻、アムステルダム、ニューヨーク、ノースホランド。ISBN 978-0-08-087163-9. OCLC  316564345 .
• ピエチュ、アルブレヒト(1979)。核の局所的に凸な空間。 Ergebnisse der Mathematik および ihrer Grenzgebiete。 Vol. 66（第2版）。ベルリン、ニューヨーク: Springer-Verlag。ISBN 978-0-387-05644-9. OCLC  539541 .
• ロバートソン, アレックス・P.; ロバートソン, ウェンディ・J. (1980).位相ベクトル空間.ケンブリッジ数学トラクト. 第53巻. ケンブリッジ, イギリス:ケンブリッジ大学出版局. ISBN 978-0-521-29882-7. OCLC  589250 .
• ルディン、ウォルター(1991).関数解析. 国際純粋・応用数学叢書. 第8巻（第2版）. ニューヨーク：McGraw-Hill Science/Engineering/Math . ISBN 978-0-07-054236-5. OCLC  21163277 .
• ライアン、レイモンド・A. (2002).バナッハ空間のテンソル積入門.シュプリンガー数学モノグラフ. ロンドン・ニューヨーク:シュプリンガー. ISBN 978-1-85233-437-6. OCLC  48092184 .
• Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Topological Vector Spaces . GTM . Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC  840278135 .
• トレヴ、フランソワ(2006) [1967]。トポロジカル ベクトル空間、ディストリビューション、およびカーネル。ニューヨーク州ミネオラ：ドーバー出版。ISBN 978-0-486-45352-1. OCLC  853623322 .
• ウォン、ヤウ・チュエン(1979).シュワルツ空間、核空間、テンソル積.数学講義ノート. 第726巻. ベルリン、ニューヨーク:シュプリンガー・フェアラーク. ISBN 978-3-540-09513-2. OCLC  5126158 .

外部リンク

[編集]

• ncatlabの核空間

Retrieved from "https://en.wikipedia.org/w/index.php?title=Integral_linear_operator&oldid=1262615920"

• This page was last edited on 12 December 2024, at 08:33 (UTC).
• テキストはクリエイティブ・コモンズ 表示-継承4.0ライセンスの下で利用可能です。追加の条件が適用される場合があります。このサイトを利用することにより、利用規約とプライバシーポリシーに同意したことになります。Wikipedia®は、非営利団体であるウィキメディア財団の登録商標です。

• プライバシーポリシー
• Wikipediaについて
• 免責事項
• Wikipediaへのお問い合わせ
• 法的および安全に関する連絡先
• 行動規範
• 開発者
• 統計
• クッキーに関する声明
• モバイルビュー

• 
• 

検索

検索

目次を切り替える

積分線形演算子

言語を追加するトピックを追加

Mathematical function

数学的解析において、積分線形演算子とは、積分によって与えられる線形演算子Tである。すなわち、

${\displaystyle (Tf)(x)=\int f(y)K(x,y)\,dy}$

ここで、は統合カーネルと呼ばれます。 ${\displaystyle K(x,y)}$

より一般的には、積分双線型形式とは、局所凸位相ベクトル空間（TVS）XとYの単射テンソル積である の連続双対空間に属する双線型関数である。積分線型作用素とは、積分双線型形式から標準的な方法で生じる連続線型作用素である。 ${\displaystyle X{\widehat {\otimes }}_{\epsilon }Y}$

これらの写像は、核空間と核写像の理論において重要な役割を果たします。

定義 - 単射テンソル積の双対としての整式

XとY を局所凸 TVSとし、 を射影テンソル積、をその完備化、を入射テンソル積、 をその完備化とします。 をその完備化への TVS 埋め込みとし、をその転置とします。これはベクトル空間同型です。これにより、 の連続双対空間は の連続双対空間と同一であることが示されます。 ${\displaystyle X\otimes _{\pi }Y}$ ${\displaystyle X{\widehat {\otimes }}_{\pi }Y}$ ${\displaystyle X\otimes _{\epsilon }Y}$ ${\displaystyle X{\widehat {\otimes }}_{\epsilon }Y}$ ${\displaystyle \operatorname {In} :X\otimes _{\epsilon }Y\to X{\widehat {\otimes }}_{\epsilon }Y}$ ${\displaystyle X\otimes _{\epsilon }Y}$ ${\displaystyle {}^{t}\operatorname {In} :\left(X{\widehat {\otimes }}_{\epsilon }Y\right)_{b}^{\prime }\to \left(X\otimes _{\epsilon }Y\right)_{b}^{\prime }}$ ${\displaystyle X\otimes _{\epsilon }Y}$ ${\displaystyle X{\widehat {\otimes }}_{\epsilon }Y}$

を恒等写像、をその転置写像とします。これは連続的な単射です。は 上の連続双線型写像の空間である と正準的に同一視されることを思い出してください。このように、 の連続双対空間はのベクトル部分空間 と正準的に同一視でき、 と表記されます。 の元は上の整形式（双線型）と呼ばれます。次の定理は「積分」という言葉の正当性を証明しています。 ${\displaystyle \operatorname {Id} :X\otimes _{\pi }Y\to X\otimes _{\epsilon }Y}$ ${\displaystyle {}^{t}\operatorname {Id} :\left(X\otimes _{\epsilon }Y\right)_{b}^{\prime }\to \left(X\otimes _{\pi }Y\right)_{b}^{\prime }}$ ${\displaystyle \left(X\otimes _{\pi }Y\right)^{\prime }}$ ${\displaystyle B(X,Y)}$ ${\displaystyle X\times Y}$ ${\displaystyle X\otimes _{\epsilon }Y}$ ${\displaystyle B(X,Y)}$ ${\displaystyle J(X,Y)}$ ${\displaystyle J(X,Y)}$ ${\displaystyle X\times Y}$

定理^{[1] [2]} —の双対J ( X , Y )は、次の形式の 連続双線型形式uのちょうど1つから構成される。 ${\displaystyle X{\widehat {\otimes }}_{\epsilon }Y}$ ${\displaystyle X\times Y}$

${\displaystyle u(x,y)=\int _{S\times T}\langle x,x'\rangle \langle y,y'\rangle \;d\mu \!\left(x',y'\right),}$

ここで、SとTはそれぞれ、双対と の弱閉かつ等連続な（したがって弱コンパクト）部分集合であり、は（コンパクト）集合 上の（必然的に有界な）正のラドン測度です。 ${\displaystyle X^{\prime }}$ ${\displaystyle Y^{\prime }}$ ${\displaystyle \mu }$ ${\displaystyle S\times T}$

また、上記の定理と密接に関連する定式化^[3]もあり、これは積分双線型形式という用語の説明にも使用できる。局所凸空間の積上の連続双線型形式が積分であるための必要十分条件は、（必然的に有界な）正のラドン測度とバナッハ空間との間の連続線型写像を備えたコンパクト位相空間が存在し、 ${\displaystyle u}$ ${\displaystyle X\times Y}$ ${\displaystyle \Omega }$ ${\displaystyle \mu }$ ${\displaystyle \alpha }$ ${\displaystyle \beta }$ ${\displaystyle X}$ ${\displaystyle Y}$ ${\displaystyle L^{\infty }(\Omega ,\mu )}$

${\displaystyle u(x,y)=\langle \alpha (x),\beta (y)\rangle =\int _{\Omega }\alpha (x)\beta (y)\;d\mu }$、

つまり、この形式は、コンパクト空間上の（本質的に有界な）関数を積分することによって実現できます。 ${\displaystyle u}$

積分線形写像

連続線型写像は、それに対応する双線型形式が整双線型形式である場合に積分写像と呼ばれます。ここで、この形式は によって定義されます。^[4]したがって、積分写像は次の形式になります。^[4] ${\displaystyle \kappa :X\to Y'}$ ${\displaystyle (x,y)\in X\times Y\mapsto (\kappa x)(y)}$ ${\displaystyle \kappa :X\to Y'}$

${\displaystyle x\in X\mapsto \kappa (x)=\int _{S\times T}\left\langle x',x\right\rangle y'\mathrm {d} \mu \!\left(x',y'\right)}$

およびの適切な弱閉部分集合Sおよび等連続部分集合Tと、全質量 ≤ 1 の何らかの正のラドン測度に対して、等式が成り立ちます。上記の積分は弱積分であるため、任意の に対して の場合のみ、等式が成り立ちます。 ${\displaystyle X'}$ ${\displaystyle Y'}$ ${\displaystyle \mu }$ ${\displaystyle y\in Y}$ ${\textstyle \left\langle \kappa (x),y\right\rangle =\int _{S\times T}\left\langle x',x\right\rangle \left\langle y',y\right\rangle \mathrm {d} \mu \!\left(x',y'\right)}$

線型写像 が与えられれば、によって上の付随双線型形式と呼ばれる標準双線型形式 を定義できる。連続写像は、その付随双線型形式が整双線型形式であるとき、整写と呼ばれる。 ^[5]整写は、任意のおよびに対して、 の形式である。 ${\displaystyle \Lambda :X\to Y}$ ${\displaystyle B_{\Lambda }\in Bi\left(X,Y'\right)}$ ${\displaystyle X\times Y'}$ ${\displaystyle B_{\Lambda }\left(x,y'\right):=\left(y'\circ \Lambda \right)\left(x\right)}$ ${\displaystyle \Lambda :X\to Y}$ ${\displaystyle \Lambda :X\to Y}$ ${\displaystyle x\in X}$ ${\displaystyle y'\in Y'}$

${\displaystyle \left\langle y',\Lambda (x)\right\rangle =\int _{A'\times B''}\left\langle x',x\right\rangle \left\langle y'',y'\right\rangle \mathrm {d} \mu \!\left(x',y''\right)}$

および の適切な弱閉部分集合および等連続部分集合、および全質量の何らかの正のラドン測度に対して。 ${\displaystyle A'}$ ${\displaystyle B''}$ ${\displaystyle X'}$ ${\displaystyle Y''}$ ${\displaystyle \mu }$ ${\displaystyle \leq 1}$

ヒルベルト空間との関係

次の結果は、積分写像がヒルベルト空間を「因数分解する」ことを示しています。

命題: ^[6]がYハウスドルフの局所凸TVSと完備な写像である とする。ヒルベルト空間Hと2つの連続線型写像とが存在し、となる。 ${\displaystyle u:X\to Y}$ ${\displaystyle \alpha :X\to H}$ ${\displaystyle \beta :H\to Y}$ ${\displaystyle u=\beta \circ \alpha }$

さらに、2つのヒルベルト空間間のすべての積分作用素は核作用素である。^{[6]したがって、2つの}ヒルベルト空間間の連続線型作用素が核作用素となるのは、それが積分である場合に限る。

十分な条件

全ての核写像は積分である。^[5] 重要な部分逆は、２つのヒルベルト空間間の全ての積分作用素は核であるということである。^[6]

A、B、C、Dがハウスドルフ局所凸TVSであり、、 、 がすべて連続線型作用素であるとする。が積分作用素であれば、合成 も積分作用素である。^[6] ${\displaystyle \alpha :A\to B}$ ${\displaystyle \beta :B\to C}$ ${\displaystyle \gamma :C\to D}$ ${\displaystyle \beta :B\to C}$ ${\displaystyle \gamma \circ \beta \circ \alpha :A\to D}$

が2つのノルム空間間の連続線型作用素である場合、 が整数であるとき、かつその場合に限り、が整数である。^[7] ${\displaystyle u:X\to Y}$ ${\displaystyle u:X\to Y}$ ${\displaystyle {}^{t}u:Y'\to X'}$

が局所凸TVS間の連続線型写像であると仮定する。が整列しているならば、その転置も整列している。^[5]ここで、連続線型写像の 転置が 整列していると仮定する。そして、（ xにおける値で定義される）標準射影とがTVS埋め込みであるならば（例えば、とが樽型または計量化可能である場合）、は整列している。^[5] ${\displaystyle u:X\to Y}$ ${\displaystyle u:X\to Y}$ ${\displaystyle {}^{t}u:Y_{b}^{\prime }\to X_{b}^{\prime }}$ ${\displaystyle {}^{t}u:Y_{b}^{\prime }\to X_{b}^{\prime }}$ ${\displaystyle u:X\to Y}$ ${\displaystyle u:X\to Y}$ ${\displaystyle \operatorname {In} _{X}:X\to X''}$ ${\displaystyle x\mapsto }$ ${\displaystyle \operatorname {In} _{Y}:Y\to Y''}$ ${\displaystyle X}$ ${\displaystyle Y_{b}^{\prime }}$

プロパティ

A、B、C、Dがハウスドルフ局所凸TVSで、BとDが 完全であるとする。、、がすべて整線型写像であれば、それらの合成は核写像となる。^[6] したがって、特にXが無限次元フレシェ空間であれば、連続線型射影は積分作用素にはなり得ない。 ${\displaystyle \alpha :A\to B}$ ${\displaystyle \beta :B\to C}$ ${\displaystyle \gamma :C\to D}$ ${\displaystyle \gamma \circ \beta \circ \alpha :A\to D}$ ${\displaystyle u:X\to X}$

参照

• 補助規範空間
• 最終トポロジー
• 入射テンソル積
• 原子力事業者
• 核空間
• 射影テンソル積
• 位相テンソル積

参考文献

1. シェーファー＆ウォルフ 1999、168ページ。
2. Treves 2006、500–502 ページ。
3. グロタンディーク 1955年、124–126頁。
4. Schaefer & Wolff 1999、169ページより。
5. Treves 2006、502–505 ページ。
6. Treves 2006、506–508 ページ。
7. Trèves 2006、505頁。

参考文献

• ディーステル、ジョー (2008). 『テンソル積の計量理論：グロタンディークの概論再考』 第16巻. プロビデンス、ロードアイランド州:アメリカ数学会. ISBN 9781470424831. OCLC  185095773.
• エド・デュビンスキー (1979)。核フレシェ空間の構造。数学の講義ノート。 Vol. 720. ベルリン ニューヨーク: Springer-Verlag。ISBN 978-3-540-09504-0OCLC  5126156 。
• グロタンディーク、アレクサンダー(1955). 「位相テンソル積と核空間」.アメリカ数学会誌シリーズ(フランス語). 16 . プロビデンス: アメリカ数学会. MR  0075539. OCLC  9308061.
• Husain, Taqdir; Khaleelulla, SM (1978).位相的ベクトル空間と順序付きベクトル空間におけるバレル性. Lecture Notes in Mathematics . Vol. 692. ベルリン、ニューヨーク、ハイデルベルク: Springer-Verlag . ISBN 978-3-540-09096-0. OCLC  4493665。
• カレルラ, SM (1982).位相ベクトル空間における反例.数学講義ノート. 第936巻. ベルリン、ハイデルベルク、ニューヨーク:シュプリンガー・フェアラーク. ISBN 978-3-540-11565-6. OCLC  8588370。
• ナリシ, ローレンス; ベッケンシュタイン, エドワード (2011). 『位相ベクトル空間』 純粋数学と応用数学（第2版） ボカラトン, フロリダ州: CRC Press. ISBN 978-1584888666. OCLC  144216834.
• ホグベ＝ンレンド、アンリ(1977).ボルノロジーと関数解析：双対性位相幾何学理論入門コース-ボルノロジーと関数解析におけるその応用. ノースホランド数学研究. 第26巻. アムステルダム, ニューヨーク, ノースホランド. ISBN 978-0-08-087137-0. MR  0500064. OCLC  316549583.
• ホグベ＝ンレンド、アンリ、モスカテリ、VB (1981) 『核空間と共核空間：双対性「位相-誕生論」の観点から見た核空間と共核空間入門』ノースホランド数学研究第52巻、アムステルダム、ニューヨーク、ノースホランド。ISBN 978-0-08-087163-9. OCLC  316564345。
• ピエチュ、アルブレヒト (1979)。核の局所的に凸な空間。 Ergebnisse der Mathematik および ihrer Grenzgebiete。 Vol. 66（第2版）。ベルリン、ニューヨーク: Springer-Verlag。ISBN 978-0-387-05644-9. OCLC  539541。
• ロバートソン, アレックス・P.; ロバートソン, ウェンディ・J. (1980).位相ベクトル空間. ケンブリッジ数学トラクト第53巻. ケンブリッジ、イギリス:ケンブリッジ大学出版局. ISBN 978-0-521-29882-7. OCLC  589250。
• ルディン、ウォルター(1991). 関数解析. 国際純粋・応用数学叢書. 第8巻（第2版）. ニューヨーク：McGraw-Hill Science/Engineering/Math . ISBN 978-0-07-054236-5. OCLC  21163277。
• ライアン、レイモンド・A. (2002).バナッハ空間のテンソル積入門. シュプリンガー数学モノグラフ. ロンドン・ニューヨーク:シュプリンガー. ISBN 978-1-85233-437-6. OCLC  48092184。
• Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Topological Vector Spaces . GTM . Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC  840278135。
• トレヴ、フランソワ(2006) [1967]。トポロジカル ベクトル空間、ディストリビューション、およびカーネル。ニューヨーク州ミネオラ：ドーバー出版。ISBN 978-0-486-45352-1. OCLC  853623322。
• ウォン、ヤウ・チュエン (1979).シュワルツ空間、核空間、テンソル積.数学講義ノート. 第726巻. ベルリン、ニューヨーク:シュプリンガー・フェアラーク. ISBN 978-3-540-09513-2OCLC  5126158 。

外部リンク

• ncatlabの核空間

Retrieved from "https://en.wikipedia.org/w/index.php?title=Integral_linear_operator&oldid=1262615920"

Original text

Rate this translation

Your feedback will be used to help improve Google Translate