ジェームズ空間のソースを表示

[[数学]]の[[函数解析学]]の分野において、'''ジェームズ空間'''（ジェームズくうかん、{{Lang-en-short|James' space}}）は[[バナッハ空間]]の理論の重要な一例で、一般的なバナッハ空間の構造に関する一般的な内容に対する反例を与えるものである。この空間は1950年にロバート・Ｃ・ジェームズの短い論文において初めて導入された<ref>{{Cite journal|author=R. C. James |title=A Non-Reflexive Banach Space Isometric With Its Second Conjugate Space |url=https://doi.org/10.1073/pnas.37.3.174 |journal=Proceedings of the National Academy of Sciences |ISSN=0027-8424 |publisher=Proceedings of the National Academy of Sciences |volume=37 |issue=3 |date=1951-03 |pages=174-177 |doi=10.1073/pnas.37.3.174}}</ref>。

ジェームズ空間は、その[[双対ベクトル空間|二重双対]]と等長同型であるが、[[回帰的空間|回帰的]]でない空間の一例である。さらにジェームズ空間は{{仮リンク|シャウダー基底|en|Schauder basis}}を持つが、無条件基底を持たない。

== 定義 ==
<math>\mathcal{P}</math> を、すべての奇数長の整数の有限増加列の族とする。任意の実数列 <math>x=(x_n)</math> および <math>p = (p_1,p_2,\ldots,p_{2n+1}) \in \mathcal{P}</math> に対し、次の量を定める：

: <math>\|x\|_p := \left( x_{p_{2n+1}}^2 + \sum_{m=1}^n (x_{p_{2m-1}} - x_{p_{2m}})^2 \right)^{1/2}. </math>

'''J''' と表記されるジェームズ空間は、<math>\sup\{\|x\|_p:p\in\mathcal{P}\} < \infty</math>を満たす[[数列空間]] ''c''<sub>0</sub> のすべての元 ''x'' で定義され、ノルムは <math>\|x\| := \sup\{\|x\|_p:p\in\mathcal{P}\} \ (x\in \mathbf{J})</math> となる。

== 性質 ==
以下にジェームズ空間のいくつかの性質について列挙する<ref>{{Cite book|author=Morrison, T. J. (Terry J.) |title=Functional Analysis : An introduction to Banach space theory |publisher=John Wiley |year=2001 |series=A Wiley-Interscience publication |url=https://catalog.loc.gov/vwebv/search?searchCode=LCCN&searchArg=00036822&searchType=1&permalink=y |ISBN=0471372145}}</ref> 
* ジェームズ空間はバナッハ空間である。
* [[標準基底]] {e<sub>n</sub>} は '''J''' に対する（条件）{{仮リンク|シャウダー基底|en|Schauder basis}}である。さらにこの基底は単調かつ縮小（shrinking）である。
* '''J''' は無条件基底を持たない。
* ジェームズ空間は[[回帰的空間|回帰的]]ではない。標準埋め込みの下でのその二重双対への像は、{{仮リンク|余次元|en|codimension}} 1 となる。
* ジェームズ空間はしかしその二重双対に対して等長同型となる。
* ジェームズ空間は、すべての閉無限次元部分空間が、ある無限次元回帰的部分空間を含む意味で、「ある種の回帰的空間（somewhat reflexive）」である。特に、すべての閉無限次元部分空間は、[[空間|''l''<sub>2</sub>]] の同型コピーを含む。

== 関連項目 ==
* [[バナッハ空間]]
* {{仮リンク|チレルソン空間|en|Tsirelson space}}

== 参考文献 ==
{{Reflist}}

{{DEFAULTSORT:しええむすくうかん}}
[[Category:関数解析学]]
[[Category:バナッハ空間]]
[[Category:数学に関する記事]]