単位元添加
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/02/17 03:29 UTC 版)
「擬環#単位元の添加」も参照 (単位的とは限らない)任意の K-ノルム代数 A は、その「単位化」(unitalization) の閉イデアルになる。この「単位化」は線型空間の直和 A ⊕ K 上にノルムと積を ( a , λ ) ( b , μ ) = ( a b + λ b + μ a , λ μ ) , ‖ ( a , λ ) ‖ = ‖ a ‖ + | λ | {\displaystyle (a,\lambda )(b,\mu )=(ab+\lambda b+\mu a,\lambda \mu ),\quad \|(a,\lambda )\|=\|a\|+|\lambda |} 入れて得られる単位的ノルム代数である(ただし、ノルムは max(‖ a ‖, |λ|) など同値なノルムに取り換えてよい)。 バナッハ代数の単位化はふたたびバナッハである。 C*-環の単位化は自然な対合とノルム ‖ (a,λ) ‖ = supb∈A,‖ b ‖≤1 ‖ ab + λb ‖ のもとで C*-環である。例えば、X を局所コンパクト空間とするとき、X 上の連続なスカラー値函数で無限遠で消えているもの全体に一様収束のノルムを入れた C*-環 C0(X) の単位化は X のアレクサンドロフコンパクト化(英語版) X+ 上の連続函数環 C(X+) である。その具体例として C0(ℝn) の単位化は C(Sn) になる。
※この「単位元添加」の解説は、「ノルム代数」の解説の一部です。
「単位元添加」を含む「ノルム代数」の記事については、「ノルム代数」の概要を参照ください。
- 単位元添加のページへのリンク