数学 では、ba空間集合の代数のは、上のすべての有界かつ有限加法的な符号付き測度からなるバナッハ空間である。ノルムは変動として定義される。[ 1 ]
Σがシグマ代数である場合、空間は、 のサブセットとして定義されます。可算加法尺度から構成される。[ 2 ] baという表記はbounded additiveのニーモニックであり、caはcountably additive の略である。
X が位相空間であり、Σ がX内のボレル集合のシグマ代数である場合、は、X上のすべての正則ボレル測度から構成される。[ 3 ]
これら3つの空間はすべて、全変動によって定義される同じノルムに関して完備であり(バナッハ空間である)、したがっては、の閉部分集合である。、 そしては閉集合であるΣ はX上のボレル集合の代数である。上の単純関数の空間密度が高い。
自然数の冪集合の ba 空間、ba (2 N ) は、しばしば単に と表記される。そして、ℓ∞空間の双対空間と同型である。
B(Σ) を、一様ノルムを備えた有界 Σ-可測関数の空間とする。このとき、ba (Σ) = B(Σ)* はB(Σ) の連続双対空間である。これは Hildebrandt [ 4 ]および Fichtenholtz & Kantorovich [ 5 ]によるものである。 これは、測度を可測関数上の線形汎関数として表現できる一種のRiesz 表現定理である。特に、この同型性により、有限加法測度に関する積分を定義できる (通常のルベーグ積分は可算加法性を必要とすることに注意) 。これはDunford & Schwartz [ 6 ]によるものであり、ベクトル測度[ 7 ]、特にベクトル値ラドン測度に関する積分を定義するためによく用いられる。
位相的双対性ba (Σ) = B(Σ)* は容易に理解できる。 Σ 上のすべての有限加法測度 σのベクトル空間と単純関数のベクトル空間() σ が有界であれば、σ によって誘導される線形形式が sup ノルムで連続であることは容易に確認でき、単純関数の稠密部分空間上の線形形式が sup ノルムで連続であれば、B(Σ)* の要素に拡張されることから、この結果が得られます。
Σがシグマ代数であり、μがΣ上のシグマ加法的正測度である場合、本質的上限ノルムを備えたLp空間L ∞ ( μ )は、定義により、有界なμ-零関数の閉部分空間によるB(Σ)の商空間である。
双対バナッハ空間L ∞ ( μ )* は、
すなわち、 μに関して絶対連続なΣ上の有限加法符号付き測度の空間(略してμ -ac)。
測度空間がさらにσ有限である場合、L ∞ ( μ ) はL 1 ( μ )と双対であり、ラドン・ニコディムの定理により、これは可算加法的なすべてのμ -ac 測度の集合と同一視されます。言い換えれば、双対空間への包含は
これは、可算加法的μ -ac有界測度の空間を、すべての有限加法的μ -ac有界測度の空間に含めることと同型である。