数列空間

数列空間

数列空間とは、実数または複素数の無限列からなるベクトル空間を指します。この空間は自然数から実数または複素数体への関数を元とする関数空間とも同等です。特に、無限列から得られる集合は、合成やスカラー倍を用いることでベクトル空間として機能します。すべての数列空間はこの空間の線型部分空間の一部であり、通常はノルムを持ち、位相ベクトル空間の構造も備えています。

解析学における数列空間の重要性

数列空間の中で重要なクラスは、p-乗総和可能な数列から構成される関数空間 ℓp です。この空間は p-ノルムを持ち、自然数に基づく測度を活用した Lp 空間の特別なケースと考えられています。収束列や零列なども数列空間の一部を形成し、それぞれ c および c0 と表記されます。このような数列の収束に着目した空間では、上限ノルムの形を持ちます。任意の数列空間は各点収束の位相を有し、これにより FK空間として知られるフレシェ空間のひとつとなります。

数列空間の定義と構造

数列空間を定義するためには、体 K（実数または複素数）を考え、その下で定義される数列を扱います。この場合、Kに属する数列全体から成る集合 KN は、数列の和やスカラー倍の下でベクトル空間として機能します。また、線型部分空間としての数列空間 ℓp は、特定の条件を満たす数列の集合から成り立ちます。ここで 0 < p < ∞ の条件が満たされる場合、ℓp 空間は集計の結果が有限である数列の全てを含みます。p = ∞ の場合は、有界数列から成る空間を指します。

ℓp 空間の性質

ℓp 空間におけるノルムは、数列の収束具合を示すものであり、特に 1 ≤ p ≤ ∞ の場合、次のように定義されます。

• -

- ||x||_p =
{
(∑ |xn|^p)^{1/p} (1 ≤ p < ∞)
sup_n | xn | (p = ∞)
}

このノルムの下で ℓp 空間は完備な距離空間となり、したがってバナッハ空間の性質を持ちます。これは収束列についても同様で、すなわち c は有界列の空間 ℓ∞ の一部として位置づけられます。さらに、零列からなる部分空間 c0 もまたバナッハ空間となります。

他の数列空間とその特性

数列空間は他にも多くの種類が存在します。有界級数の空間 bs もそのひとつで、無限次元の数列空間 ℓ∞ と等長同型を持つバナッハ空間で構成されます。収束級数 cs は、収束数列 c の上に引き写される特性を有します。また、Φ 空間または c00 空間は有限個の非ゼロ項を持つ無限列から構成される集合であり、他の数列空間の中で重要かつ稠密です。

ℓp, c0 空間の双対性

数列空間 ℓp と c0 の双対性について触れると、ℓ2 空間はヒルベルト空間であり、内積によって得られたノルムが中線定理を満たします。さらに、p < s の時には ℓs の真部分集合となり、互いのノルムが異なる場合は線型同型ではありません。1 < p < ∞ の場合、ℓp の連続双対空間は、1/p + 1/q = 1 を満たすヘルダー共役 q に対して ℓq と等長同型です。

結論

数列空間は多くのバナッハ空間に埋め込まれ、可分バナッハ空間に関する様々な問題が提起されています。これにより、数列空間は数学分析や解析における基本的で重要な要素として機能しています。

もう一度検索