B*-環
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/04/19 12:33 UTC 版)
函数解析学における B*-環(ビー・スターかん、英: B*-algebra; B*-代数)は、両立するバナッハ環と *-環の構造を持ち、B*-条件と呼ばれる恒等式を満足するものである。言葉を変えれば、完備なノルムと双線型かつ連続な乗法を備える複素ベクトル空間であって、適当な条件を満足する対合を備えた代数系である。
定義
バナッハ *-環
バナッハ *-環 A は複素数体 C 上のバナッハ環であって、対合と呼ばれる写像 ∗: A → A で以下の条件を満足するものを備える代数系である。x, y ∈ A, λ ∈ C は任意、上付きバー • は複素共軛を表すものとして
- (x + y)∗ = x∗ + y∗.
- (λx)∗ = λ x∗.
- (xy)∗ = y∗x∗.
- (x∗)∗ = x.
B*-環
- B*-条件
- (B*) ‖xx∗‖ = ‖x‖2 (∀x ∈ A)
を満足するバナッハ *-環 A を表すのに1946年、C. E. Rickart は B*-環を導入した。
注意: B* と C*
- C*-条件
- (C*) ‖x∗x‖ = ‖x‖‖x∗‖ (∀x ∈ A)
を満足するバナッハ *-環 A は C*-環と呼ばれる[* 1] 。条件 (B*) から自動的に、対合 ∗ が等距、すなわち ‖x‖ = ‖x∗‖ であることが従う。従ってこのとき (C*) が満足されるから、故に B*-環は C*-環である。実は (C*) から (B*) が導かれる(これは自明なことではない、が条件 ‖x‖ = ‖x∗‖ を用いることなくそれを証明することができる[4])。そのような理由から、現在の用語法では「B*-環」と呼ぶことは稀で、「C*-環」と呼ぶようになっている。
注
注釈
出典
- ^ Doran & Belfi 1986, p. 6, Google Books.
- ^ Segal 1947
- ^ Segal 1947, p. 75
- ^ Doran & Belfi 1986, pp. 5–6, Google Books.
参考文献
- Doran, Robert S.; Belfi, Victor A. (1986), Characterizations of C*-algebras: The Gelfand-Naimark Theorems, CRC Press, ISBN 978-0-8247-7569-8.
- Segal, Irving (1947), “Irreducible representations of operator algebras”, Bulletin of the American Mathematical Society 53 (2): 73–88, doi:10.1090/S0002-9904-1947-08742-5.
関連項目
B環
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/08 21:42 UTC 版)
B環は、半径、明るさ、質量とも最大の環である。厚さは5 mから15 m、質量は約2.8 × 1019 kg、光学的深さは0.4から2.5と推定されている。B環の密度や明るさは大きな多様性があるが、ほぼ全て説明がついていない。B環の中には、間隙は存在しない。
※この「B環」の解説は、「土星の環」の解説の一部です。
「B環」を含む「土星の環」の記事については、「土星の環」の概要を参照ください。
- >> 「B環」を含む用語の索引
- B環のページへのリンク