密定義作用素の随伴とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 密定義作用素の随伴の意味・解説 

密定義作用素の随伴

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/25 02:20 UTC 版)

随伴作用素」の記事における「密定義作用素の随伴」の解説

ヒルベルト空間 H 上の密定義作用素 A は、その定義域 D(A) が H において稠密で、かつその終域が H であるようものを言う。 その随伴 A* はその定義域 D(A*)が ⟨ A x , y ⟩ = ⟨ x , z ⟩ ( ∀ x ∈ H ) {\displaystyle \langle Ax,y\rangle =\langle x,z\rangle \quad (\forall x\in H)} を満たす z ∈ H が存在するような y ∈ H 全体の成す集合与えられ、かつ A*(y) = z となるものとして定義される上記性質 1.–5. は(定義域終域適当な条件満たせば)成立する例え最後性質について、随伴作用素 (AB)* は(A, B, AB が密定義作用素ならば)作用素B*A*延長与えられる作用素 A の像とその随伴 A*との間の関係性は、 ker ⁡ A ∗ = ( im ⁡ A ) ⊥ ( ker ⁡ A ∗ ) ⊥ = im ⁡ A ¯ {\displaystyle {\begin{aligned}&\ker A^{*}=(\operatorname {im} A)^{\bot }\\&(\ker A^{*})^{\bot }={\overline {\operatorname {im} A}}\end{aligned}}} で与えられる(ここで上付き横棒集合の閉包を表す。直交補空間参照)。一つ目の式の証明は A ∗ x = 0 ⟺ ⟨ A ∗ x , y ⟩ = 0 ( ∀ y ∈ H ) ⟺ ⟨ x , A y ⟩ = 0 ( ∀ y ∈ H ) ⟺ x ⊥ im ⁡ A {\displaystyle {\begin{aligned}A^{*}x=0&\iff \langle A^{*}x,y\rangle =0\quad (\forall y\in H)\\&\iff \langle x,Ay\rangle =0\quad (\forall y\in H)\\&\iff x{\mathrel {\bot }}\operatorname {im} A\end{aligned}}} で、二つの式は一つ目の式の両辺直交補空間をとることでわかる。一般に、像は閉とは限らない連続線型作用素は常に閉である。

※この「密定義作用素の随伴」の解説は、「随伴作用素」の解説の一部です。
「密定義作用素の随伴」を含む「随伴作用素」の記事については、「随伴作用素」の概要を参照ください。

ウィキペディア小見出し辞書の「密定義作用素の随伴」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「密定義作用素の随伴」の関連用語

密定義作用素の随伴のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



密定義作用素の随伴のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの随伴作用素 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS