バナッハ空間
線形作用素、同型性編集
XとYが同じ基底場K上のノルム空間であるとき、すべての連続K線型写像T : X → Yの集合はB(X, Y)で示される。 無限次元空間では、すべての線形写像が連続であるとは限らない。 ノルム空間Xから別のノルム空間への線形写像は、それがXの閉じた単位球上で有界である場合にのみ連続である。したがって、ベクトル空間B（X，Y）は演算子ノルム
‖ T ‖ = sup { ‖ T x ‖ Y∣ x∈X ,‖ x ‖ X≦1 } で与えることができる。 {displaystyle \|T|=sup \left {{Tx´ω`|_{Y}mid xin X,}} ⑭x|_{X}レク 1right}.} ⑭x|_{X}レク 1right}} .
For Y a Banach space, the space B(X, Y) is a Banach space with respect to this norm.Bは、このノルムに関する空間です。
XがBanach空間であれば、空間B(X) = B(X, X)はunital Banach algebraを形成し、乗算演算は線形写像の合成によって与えられる。
XとYがノルム化空間ならば、Tとその逆T -1が連続するように線形双射T : X → Yが存在すれば同形のノルム化空間であるとする。 2つの空間XまたはYの一方が完全（または反射的、分離可能など）であれば、他方の空間もそうである。 2つのノルム空間XとYは、さらにTがアイソメトリーであれば、すなわち同型である。 ||同型だが同相ではない2つの空間XとYの間のBanach-Mazur距離d(X, Y)は、2つの空間XとYがどれだけ異なるかの尺度を与える。
基本概念Edit
二つのノルム空間のデカルト積X×Yには正準的にノルが備わってはいない。 しかし、いくつかの等価なノルムが一般に用いられており、例えば
‖ ( x , y ) ‖ 1 = ‖ x ‖ + ‖ y ‖ , ‖ ( x , y ) ‖∞ ( ‖ x‖ , ‖ y‖ ) {displaystyle \|(x,y)}=\|x|+|y|,\qquad
and give rise to isomorphic normed spaces.とあるように、同型のノルム空間が生成される。 この意味で、積X×Y（または直和X⊕Y）は二つの因子が完全である場合にのみ完全である。
Mがノルム化空間Xの閉じた線形部分空間であれば、商空間X / Mに自然ノルム
‖ x + M‖ = inf m∈M‖ x + m ‖ が存在する。 {Όταμμα για για για για για για για για για για για για για για για
X / Mの商がBanach空間であるのはXが完全なときである。 Xのxをそのクラスx + Mに送る、XからX / Mへの商写像は、M = Xの場合を除き、線形、オン、ノルム1を持ち、その場合商はヌル空間である。
Xの閉じた線形部分空間Mは、MがXからMへの有界線形射影Pの範囲であればXの補完部分空間と言われる。 この場合、空間XはMと射影PのカーネルであるKer(P)の直和に同型となる。
XとYがBanach空間で、T∈B（X，Y）であると仮定する。 T = T 1 ∘ π , T : X ⟶ π X / Ker ( T ) ⟶ T 1 Y {displaystyle T=T_{1}circ \pi ,\ T:X} {overset {pi }{longrightarrow} X/operatorname {Ker} {X} {X} {X}の正則化(canonical factorization) が存在する。 (T){overset {T_{1}}{longrightarrow }} Y} ୧୧⃛(๑⃙⃘◡̈๑⃙⃘)
ここで、最初の写像πは商写像、第2の写像T1は商における全てのクラスx + Ker(T)をYにおける像T(x)に送る。 写像T1はX / Ker(T)から範囲T(X)への線形双射であり、その逆は有界である必要はない。
古典空間編集
バナッハ空間の基本的な例として、以下のものがある。 Lp空間とその特殊例、Nを指標とするスカラー列からなる列空間ℓp、その中でも絶対和数列の空間ℓ1、平方和数列の空間ℓ2など。 ゼロに向かう数列の空間 c0 と有界数列の空間 ℓ∞； コンパクトなハウスドルフ空間 K 上の連続スカラ関数の空間 C(K) で max ノルム
f ‖ C ( K ) = max { | f ( x ) | : x ∈ K } とする。 , f ∈ C ( K ) . {ㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ ㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ
Banach-Mazur theoremに従い、全てのBanach space isometrically isomorphic to a subspace of some C(K).は、或る特定のKの空間と等質である。 すべての分離可能なバナッハ空間Xに対して、X ≅ ℓ1/M となるようなℓ1の閉じた部分空間Mが存在する。 K=R, C上のヒルベルト空間Hは、
‖ x ‖ H = ⟨ x , x ⟩ , {displaystyle \|x|_{H}={\sqrt { ⟨langle x,xrangle }},}
where
⟨ ⋅ , ⋅ ⟩ ． H × H → K {displaystyle \langle ,\cdot \rangle :Http Hto｜｜mathbf {K}｜displaystyle｜｜displaystyle｜｜k {displaystyle｜｜displaystyle｜k }
は以下を満たす第一引数の線形内積である。
∀ x , y∈H : ⟨ y , x ⟩ = ⟨ x , y ⟩ ¯ , ∀ x∈H : ⟨ x , x ⟩ ≥ 0, ⟨ x , x ⟩ = 0⇔x = 0 を満たす一次の一乗内積。 {ㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ 17日…(´・ω・`)ショボーン!
バナッハ代数Edit
バナッハ代数はK=RまたはC上のバナッハ空間Aで、K上の代数構造とともに、積写像A × A ∋ (a, b) ↦ ab∈A が連続であるようなものである。 すべてのa,b∈Aに対して｜ab｜≦｜a｜｜｜b｜｜となるように、A上の等価ノルムが求められる。
ExamplesEdit
- 点積を持つバナッハ空間C（K）は、バナッハ代数である。
- ディスク代数A(D)は、開いた単位ディスクD⊂Cに同相で、その閉路に連続な関数で構成される。 D上の最大ノルムを備え、ディスク代数A(D)はC(D)の閉じた部分代数である。
- ウィーナー代数A(T)は絶対収束フーリエ級数を持つ単位円T上の関数の代数である。 T上の関数をそのフーリエ係数の列に関連づける写像によって、この代数はバナッハ代数ℓ1(Z)に同型であり、積は数列の畳み込みとなる。
- あらゆるバナッハ空間Xについて、写像の合成を積とするX上の有界線形作用素の空間B(X)はバナッハ代数である。
- C*-代数は、｜a｜＝｜a｜｜2である反線型インボルーションa↦a｜を持つ複素バナッハ代数Aである。 ヒルベルト空間H上の有界線形作用素の空間B(H)は、C*-代数の基本的な例である。 Gelfand-Naimarkの定理は、すべてのC*-algebraがあるB(H)のC*-subalgebraに同相的に同化することを述べています。 コンパクトなHausdorff空間K上の複素連続関数の空間C(K)は可換C*-代数の例で、インボリューションはすべての関数fにその複素共役fを結合する
Dual spaceEdit
Xがノルム空間、Kが基底場（実数または複素数のいずれか）である場合、連続双対空間はXからKへの連続線形写像の空間、または連続線形汎関数と呼ばれるものである。 本稿では連続双対空間の表記をX ′ = B(X, K)とする。 Kはバナッハ空間（絶対値をノルムとする）なので、すべてのノルム空間Xについて、双対X ′はバナッハ空間である。
連続線形関数の存在を証明する主な道具はハーン-バナッハの定理である。 XをK＝R，C上のベクトル空間とし、さらに
- Y⊆Xを線形部分空間
- p : X → R を部分線形関数とし、
- f : Y → K を、Y のすべての y に対して Re( f (y)) ≤ p(y) となる線形関数とする。
このとき、F｜Y = f 、∀ x∈X、Re ( F ( x ) ) ≤ p ( x ) となる線形関数 F : X → K が存在する。 {displaystyle F|_{Y}=f,\quad {text{and}}forall xin X,\operatorname {Re} (F(x))\leq p(x).} } ←クリックすると拡大します。
特に、ある規格空間の部分空間上のあらゆる連続線形関数が、その関数が持つ規格を増大させずに空間全体へ連続して拡張できることが分かっています。 重要な特殊ケースは次のとおりである： ノルム化空間Xのすべてのベクトルxに対して、
f ( x ) = ‖ x ‖ X , ‖ f ‖ X′ ≤ 1のようなX上の連続線形関数fが存在する。 {displaystyle f(x)=Get|x|_{X},\quad \|f|_{X’}leq 1.}.
xが0ベクトルに等しくないとき、関数fはノルム1でなければならず、xに対するノルム化関数と呼ばれる。
ハーン・バナッハ分離定理は、実バナッハ空間における2つの不連続な非空凸集合（一方は開集合）は、閉アフィン超平面で分離できることを述べています。 バナッハ空間Xの部分集合Sは、Sの線形スパンがXにおいて密である場合、全集である。S上で消失する唯一の連続線形関数が0関数である場合のみ、部分集合SはXにおいて全集であり、この同等性はHahn-Banach定理から導かれる。
Xが2つの閉じた線形部分空間MとNの直和であるならば、Xの双対X ′はMとNの双対の直和に同型である。 MがXの閉じた線形部分空間であれば、デュアルでMの直交を連想できる
M ⊥ = { x ′∈X ′ : x ′ ( m ) = 0 , ∀ m ∈ M }。 . {displaystyle M^{perp }=︓︓x’\in X’:x'(m)=0,\forall mint Mintright}.}.
The orthogonal M ⊥ is a closed linear subspace of the dual.M^{perp }=Пleft {x'(m)=0,\forall mins MCOPY}. MのdualはX ′ / M ⊥にisometrically isomorphicです。 X / M の dual は M ⊥⊥ に isometrically isomorphic です。
分離可能な Banach 空間の dual は分離可能である必要はないが：
Theorem. Xをノルム化された空間とする。 X ′が分離可能であれば、Xは分離可能である。
X ′が分離可能であるとき、Xにおける可算総部分の存在を証明するために、上記の総部分の基準を用いることができる。
弱トポロジー編集
Banach空間X上の弱トポロジーとは、連続双対空間X ′におけるすべての要素xが連続となるX上の最も粗いトポロジーを言う。 したがって、ノルムトポロジーは弱いトポロジーよりも細かい。 弱い位相幾何学はHahn-Banach分離定理からHausdorffであり、バナッハ空間のノルムで閉じた凸部分集合も弱く閉じていることがわかります。 2つのバナッハ空間XとYの間のノルム連続な線形写像も弱連続、すなわちXの弱トポロジーからYのトポロジーへ連続である。
Xが無限次元の場合、連続でない線形写像が存在する。 XからKへのすべての線形写像の空間X＊＊（この空間X＊＊はX′と区別するために代数的双対空間と呼ばれる）もX上のトポロジーを誘導するが、これは弱いトポロジーより細かく、関数解析ではあまり用いられない。 これはX′において、すべての評価写像x′→x′(x)、x∈Xが連続である最も粗いトポロジである。 その重要性はBanach-Alaogluの定理に由来する。
Banach-Alaoglu Theorem. Xをノルム化されたベクトル空間とする。 すると閉単位球B ′＝{x′∈X ′． ||x′′| ≦ 1} となり、この双対空間は弱い*位相幾何学でコンパクトである。
Banach-Alaogluの定理は、コンパクト空間の無限積に関するTychonoffの定理に依存する。 Xが分離可能なとき、双対空間の単位球B ′はweak*位相でmetrizable compactとなる。
dual空間の例Edit
c0のdualはℓ1にisometrically isomorphic：c0上のすべての有界線形関数fに対して、
f ( x ) = ∑ n∈N x n y n , x = { x n } のように一意の要素y = {yn} ∈ ℓ1が存在します。 ∈ c 0 , そして‖f ‖ ( c 0 ) ′ = ‖ y ‖ ℓ 1 . {displaystyle f(x)=Thum _{n}in \mathbf {N} }x_{n}y_{n},\qquad x={x_{n}}in c_{0},\ \{{(c_{0})’}=╱y|_{}ell _{1}.} ╱╱y|╱c_{0}n}}}.
The dual of ℓ1 isometrically isomorphic to ℓ∞.It’sは, ℓ1の双曲線とℓ∞の双曲線は同じです。 Lp()の双対は、1≦p < ∞で1/p + 1/q = 1のとき、Lq()に等尺性同型となる。
ヒルベルト空間Hの各ベクトルyに対して、写像
x∈H → f y ( x ) = ⟨ x , y ⟩ {displaystyle x in H\to f_{y}(x)=³³langle x,yrangle } は、次のようになる。
defines a continuous linear functional fy on H. Riesz representation theorem that every continuous linear functional on H is of form for a uniquely defined vector y in H. mapping y ∈ H → fy is antilinear bijection from its dual H′, H. fy は H からantilinear isometric bijection です。
KがコンパクトなHausdorff位相空間のとき、C(K)の双対M(K)はBourbakiの意味でのラドン測度の空間である。 質量1の非負測度からなるM(K)の部分集合P(K)は、M(K)の単位球の凸w*閉じた部分集合である。 P(K)の極点はK上のディラック測度であり、w*-トポロジーを備えたK上のディラック測度の集合はKに同相である。 KとLがコンパクトなHausdorff空間であり、C(K)とC(L)が同形であれば、位相空間KとLは同相である。
この結果はAmirとCambernによって、C(K)とC(L)の乗法的Banach-Mazur距離が< 2である場合に拡張されている。
可換バナッハ代数C(K)において、極大イデアルはまさにK上のディラック測度カーネルである
I x = ker δ x = { f∈C ( K ) : f ( x ) = 0 } 。 , x ∈ K . {I_{x}=ker \delta _{x}=\{f in C(K):f(x)=0},\quad x in K.}
より一般的には、Gelfand-Mazurの定理により、unital commutative Banach algebraのmaximal idealsはそのキャラクターと識別することができ、単に集合としてではなく位相空間として、前者はhull-kernel topology、後者はw*-topologyである。 前者はハル・カーネル位相、後者はw*位相である。この識別において、最大理想空間は双対Aにおける単位球のw*-コンパクト部分集合と見なすことができる′
定理。 KがコンパクトなHausdorff空間であれば、バナッハ代数C(K)の最大理想空間ΞはKに同相である。
あるコンパクトなHausdorff空間Kに対して、すべてのユニタル可換バナッハ代数はC(K)の形であるとは限らない。ただし、C(K)を可換C*-代数という小さいカテゴリーに入れるとこの文は成立する。 可換C*-代数に対するゲルファンドの表現定理は、すべての可換ユニタルC*-代数AはC(K)空間に等比級数的に同型であることを述べています。 ここでいうHausdorffコンパクト空間Kは、やはり最大理想空間であり、C*-algebraの文脈ではAのスペクトルとも呼ばれる。
BidualEdit
Xが正規空間ならば、双対X ′′の（連続）双対はBidual、またはXの第2双対と呼ばれる。 すべてのノルム空間Xに対して、自然写像
{ F X : X → X ″ F ( x ) ( f ) = f ( x ) ∀ x ∈ X , ∀ f ∈ X ′displaystyle {}begin{cases}F_{X}.X ′displaystyle {}が存在する。Xto X”\F_{X}(x)(f)=f(x)&forall x
これにより、FX（x）はX ′′上の連続線形関数、つまりX ′′の要素だと定義されます。 写像FX : x → FX(x)はXからX ′′への線形写像である。 例えば、X=c0の双対はℓ1と同定され、ℓ1の双対は有界スカラー列の空間であるℓ∞と同定される。 これらの同定において、FXはc0からℓ∞への包含写像となる。
FXが漸化式である場合、ノルム空間Xは反射的と呼ばれる（下記参照）。 FXが帰納的であれば、規範空間Xは反射的と呼ばれ、規範空間の双対であるX′は完全であり、反射的規範空間はすべてバナッハ空間である
等値埋め込みFXを用いて規範空間Xを双対空間の部分集合として考えることが通例である。 Xがバナッハ空間のとき、X′′の閉じた線形部分空間と見なす。 Xが反射的でない場合、Xの単位球はXの単位球の固有部分集合である′′。 ゴールドスティンの定理は、ノルム空間の単位球は双対空間の単位球に弱く*密であることを述べている。 すなわち、ビデュアルにおけるすべてのx ′′に対して、Xにおける網{xj}が存在するので、
sup j ‖ x ‖ ‖ x ″ , x ″ ( f ) = lim j f ( x j ) , f∈ X ′ ‖ 。 {x”(f)=Slim _{j}f(x_{j}),⑭quad fin X”.} ⑷x”(f)=Slim _{j}f(x_{j}),⑷quad fin X”}.
The net may be replaced by a weakly*-convergent sequence when the dual X′s is separable. 一方、ℓ1 の bidual の要素で ℓ1 にないものは、ℓ1 が weakly sequentially complete なので、ℓ1 の数列の weak*-limit にはなり得ない。
Banach’s theoremsEdit
Banachの著書（Banach (1932)）の時代にさかのぼり、Baire category theoremに関連するBanach空間についての主な一般結果を紹介します。 この定理によれば、完全計量空間（バナッハ空間、フレシェ空間、F空間など）は、内部が空である可算多数の閉部分集合の和に等しくなることはありえない。 したがって、バナッハ空間は、すでにそのうちの1つに等しくない限り、可算多数の閉じた部分空間の和にはなりえない。可算Hamel基底を持つバナッハ空間は有限次元である＜1705＞バナッハ-スタインハウス定理。 Xをバナッハ空間とし、Yをノルム化ベクトル空間とする。 FをXからYへの連続線型作用素の集合とすると、一様境界性原理は、XのすべてのxについてsupT∈F｜｜T（x）｜｜Y < ∞とするならば、supT∈F｜｜T｜｜Y < ∞となる。
バナッハ-シュタインハウスの定理は、バナッハ空間に限定されない。 例えばXがFréchet空間である場合にも拡張でき、ただし、結論を次のように修正する：同じ仮説の下で、FにおけるすべてのTがU上で一様に束縛されるように、Xにおける0の近傍Uが存在する、
sup T∈F sup x∈U‖T ( x )‖Y < ∞ 。 {displaystyle \sup _{T}in F}sup _{x}in U};\|T(x)\|_{Y}<}infty .} ←クリックすると拡大します。
The Open Mapping Theorem.を参照してください。 XとYをバナッハ空間とし、T : X → Yを外接的連続線形作用素とすると、Tは開放写像である。 コロラリー バナッハ空間からバナッハ空間への一対一の有界線形作用素はすべて同型写像である。 バナッハ空間の第1同型性定理。 XとYがバナッハ空間であり、T∈B(X, Y)があるとする。 さらに、Tの範囲がYで閉じているとすると、X/ Ker(T)はT(X)に同型である。
この結果は先のバナッハ同型性定理と有界線形写像の正準因数分解の直接的な帰結である
。 バナッハ空間Xが閉じた部分空間M1、…、Mnの内部直和であれば、XはM1 ⊕ … ⊕ Mnと同型である。
これはバナッハの同型性定理のもう一つの帰結で、M1 ⊕ … ⊕ MnからXへの連続双射で(m1, …, mn) を m1 + …の和に送ることに応用される。 + mn.
閉じたグラフの定理。 T : X → Yをバナッハ空間間の線形写像とする。 TのグラフがX×Yに閉じているのは、Tが連続であるときだけである。
ReflexivityEdit
自然写像
{ F X : X → X ″ F ( x ) ( f ) = f ( x ) ∀ x∈ X ′ {\F_{X}(x)(f)=f(x)&forall xin X,\forall fint X’}end{cases}} {begin{cases}F_{X}:X
は超射影です。 Reflexive normed spaces are Banach spaces.
Theorem. Xが反射的なBanach空間であるとき、Xのすべての閉じた部分空間とXのすべての商空間は反射的である。
これはHahn-Banachの定理の帰結である。 さらに、開放写像の定理により、バナッハ空間Xからバナッハ空間Y上に有界線形作用素があれば、Yは反射的である
定理である。 Xをバナッハ空間とすると、Xが反射的であるのはX′が反射的である場合に限られる。 コロラリー Xを反射的なBanach空間とする。 Xが分離可能であるのは、X ′が分離可能であるときだけである。
実際、バナッハ空間Yの双対Y ′が分離可能であれば、Yは分離可能である。 Xが反射的で分離可能なら、Xの双対は分離可能なので、X ′は分離可能。
定理。 X1, …, Xnをノルム化された空間とし、X = X1 ⊕ … ⊕ Xnとする。 このとき、Xは各Xjが反射的である場合にのみ反射的である。
ヒルベルト空間は反射的である。 Lp空間は1 < p < ∞のとき反射的である。 より一般的には、ミルマンペティスの定理により、一様に凸な空間は反射的である。 c0, ℓ1, L1(), C() の空間は反射的でない。 すなわち、Hahn-Banach の定理によって与えられる X の X ′′ への自然な等積埋め込みの下では、商 X ′′ / X は無限次元であり、さらに非分離性である。 しかし、Robert C. Jamesは、通常「James空間」と呼ばれ、Jで示される非反射空間の例として、商J ′′ / Jが1次元であるような空間を構築している。 さらに、この空間Jはその双対に等比級数的に同型である＜1705＞定理。 バナッハ空間Xは、その単位球が弱トポロジーにおいてコンパクトである場合にのみ反射的である。
Xが反射的であるとき、Xのすべての閉じた有界の凸部分集合は弱くコンパクトであることが導かれる。 ヒルベルト空間Hにおいて、単位球の弱いコンパクト性は次のように非常によく使われる：Hのすべての有界数列は弱収束部分列をもつ。 例えば、反射的空間の単位球B上のすべての凸連続関数はBのある点で最小になる。
前記の結果の特殊ケースとして、XがR上の反射的空間のとき、Xのすべての連続線形関数fはXの単位球上で最大｜｜f｜｜になる。
- Xは反射的である。
- for all f in X ′s there exists x in X with ||x|| ≤ 1, so that f (x) = || f ||.
この定理は弱くコンパクトな凸集合の特徴付けを与えるように拡張できる。
あらゆる非反射バナッハ空間Xにおいて、ノルム獲得でない連続線形汎関数が存在する。 しかし，Bishop-Phelpsの定理により，ノルム充足関数はXの双対X′においてノルム密であることが示されている．
Weak convergences of sequencesEdit
A sequence {xn} in a Banach space X is weakly convergent to a vector x∈X if f (xn) converges for every continuous linear functional f in the dual X ′. 数列 {xn} は、X ′のすべての f に対して、f (xn) がスカラー極限 L( f ) に収束する場合、weakly Cauchy 数列となる。 弱コーキー数列、弱収束数列、弱収束*数列は、Banach-Steinhausの定理の結果として、ノルム有界となる。
Xの数列{xn}が弱コーキー数列のとき、上の極限Lは双対X′上の有界線形汎関数を定義する、すなわち の要素Lを定義し、Lはbidualのweak*-topologyにおける{xn}の極限である。 バナッハ空間Xは、すべての弱冠コーシー数列がXにおいて弱冠収束的であれば弱冠逐次完全である。反射的空間が弱冠逐次完全であることは前の議論から導かれる＜1705＞定理である。 あらゆる測度μに対して、空間L1(μ)は弱順序完全である。
ヒルベルト空間における正規直列は弱収束直列の簡単な例で、極限は0ベクトルに等しい。 また、ℓp, 1 < p < ∞の単位ベクトル基底、あるいはc0も弱くヌル数列、すなわち0に弱収束する数列の例です。 バナッハ空間の弱くヌル数列には、与えられた数列からのベクトルの凸組み合わせで、0にノルム収束するものが存在する
1の単位ベクトルの基底は弱コーキーではない
1の単位ベクトルの基底は弱くコーキーではない
1の単位ベクトルの基底は弱コーキーではない L1空間は弱順序完全なので、ℓ1の弱Cauchy数列は弱収束です。 実は、ℓ1 の弱収束数列はノルム収束です。
ℓ1基底に関わる結果Edit
弱コーシー数列とℓ1基底は、H. P. Rosenthalの次の深い結果で確立された二律背反の場合です
Theorem.Itがあります。 xn}をバナッハ空間における有界列とする。 xn}はweakly Cauchy部分集合を持つか、ℓ1の標準単位ベクトル基底と等価な部分集合を認めるか、どちらかである。
この結果の補題は Odell and Rosenthal (1975) によるものである。 Xを分離可能なバナッハ空間とする。
- 空間Xはℓ1に同型の閉じた部分空間を含まない。
- 双対X ′′ のすべての要素はXにおける数列{xn} の弱*極限である。
ゴールドスティンの定理により、Xの単位球B ′′のすべての要素は、Xの単位球における網のweak*-limitである。 Xがℓ1を含まないとき、B′′のすべての要素はXの単位球における数列のweak*-limitとなる。
バナッハ空間Xが分離可能であるとき、weak*-topologyを備えた双対Xの単位球は準安定コンパクト空間Kとなり、双対Xの要素x ′′はすべてK上の有界関数を定義する。
x ′∈K ↦ x ″ ( x ′ ) , | x ″ ( x ′ ) | ≦ ‖ x ″ ‖ . {x”(x’),\quad \left|x”(x’) \right|leq \left|x”’\right|.} ←クリックすると拡大表示されます。
この関数は、x ′′がX ′′の部分集合として考えて、実際にXにあるときだけ、Kのコンパクトトポロジーに対して連続的である。 この段落の続きで、Xにℓ1が含まれないと仮定する。 先のオデルとローゼンタールの結果から、関数x ′はK上の連続関数の列{xn} ⊂ XのK上の点的極限であるから、K上の第一ベール級関数であることがわかる。
Sequences, weak and weak* compactnessEdit
Xが分離可能なとき、dualの単位球はBanach-Alaogluによってweak*-compactであり、weak* topologyに対してmetrizableであるので、dualにおけるすべての有界列は弱*収束部分列を持つ。 これは分離可能な反射空間にも当てはまるが、この場合、以下に述べるようにさらに多くのことが当てはまる。
バナッハ空間Xの弱い位相は、Xが有限次元である場合にのみ、metrizableである。 Xの双対が分離可能であれば、Xの単位球のweak topologyはmetrizableである。 これは特に分離可能な反射的バナッハ空間に適用される。 単位球の弱い位相は一般にmetrizableではないが、数列を用いて弱いコンパクト性を特徴づけることができる。
Eberlein-Šmulian theorem. バナッハ空間の集合Aは、Aのすべての列{an}が弱収束の部分列を持つ場合にのみ、相対的に弱くコンパクトである。
バナッハ空間 X は、X の各有界数列が弱収束部分集合を持つ場合にのみ、反射的である。 実際、A の各列は Eberlein-Šmulian によって弱収束部分列を持ち、それは ℓ1 の Schur 属性によってノルム収束となる.
..