ローレンツ空間のソースを表示

[[数学]]の[[解析学]]の分野における'''ローレンツ空間'''（ローレンツくうかん、{{Lang-en-short|Lorentz space}}）は、1950年代にジョージ・ローレンツによって導入された概念で、よく知られた [[Lp空間|<math>L^{p}</math> 空間]]の一般化である<ref>G. Lorentz, "Some new function spaces", ''Annals of Mathematics'' '''51''' (1950), pp. 37-55.</ref><ref>G. Lorentz, "On the theory of spaces Λ", ''Pacific Journal of Mathematics'' '''1''' (1951), pp. 411-429.</ref>。

ローレンツ空間は <math>L^{p,q}</math> と表される。<math>L^{p}</math> 空間のように、それは函数の「大きさ」に関する情報を表す[[ノルム]]（正確には[[準ノルム]]）によって特徴づけられる。そのような函数の大きさに関する基本的な定性的概念として次の二つがある：その函数のグラフの高さがどの程度か、またそれがどの程度広がっているか、である。ローレンツノルムは、値域 (<math>p</math>) と定義域 (<math>q</math>) の両方について測度を指数的にリスケールすることで、それら二つのいずれについても <math>L^{p}</math> ノルムより強い制御を与える。ローレンツノルムは、しかし <math>L^{p}</math> ノルムのように函数の値の任意の再配分の下で不変である。

== 定義 ==
[[測度空間]] <math>(X, \mu)</math> 上のローレンツ空間は、次の[[準ノルム]]が有限であるような ''X'' 上の複素数値[[可測函数]] <math>f</math> の空間である：

:<math>\|f\|_{L^{p,q}(X,\mu)} = p^{\frac{1}{q}} \left \|t\mu\{|f|\ge t\}^{\frac{1}{p}} \right \|_{L^q \left (\mathbf{R}^+, \frac{dt}{t} \right)}.</math> 

ここで <math>0 < p < \infty</math> および <math>0 < q \leq \infty</math> である。したがって、<math>q < \infty</math> のとき、

:<math>\|f\|_{L^{p,q}(X,\mu)}=p^{\frac{1}{q}}\left(\int_0^\infty t^q \mu\left\{x : |f(x)| \ge t\right\}^{\frac{q}{p}}\,\frac{dt}{t}\right)^{\frac{1}{q}}</math>

であり、<math>q = \infty</math> のときは

:<math>\|f\|_{L^{p,\infty}(X,\mu)}^p = \sup_{t>0}\left(t^p\mu\left\{x : |f(x)| > t \right\}\right)</math>

となる。また慣習的に <math>L^{\infty,\infty}(X, \mu) = L^{\infty}(X, \mu)</math> とすることとなっている。

== 減少再配分 ==

ローレンツ空間の準ノルムは、その定義により、函数 <math>f</math> の値の再配分（rearranging）の下で不変である。特に、ある測度空間 <math>(X, \mu)</math> 上で定義される複素数値[[可測函数]] <math>f</math> が与えられたとき、その'''減少再配分'''（decreasing rearrangement）函数 <math>f^{\ast}: [0, \infty) \to [0, \infty]</math> は次で定義される：

:<math>f^{\ast}(t) = \inf \{\alpha \in \mathbf{R}^{+}: d_f(\alpha) \leq t\}. </math>

但し <math>d_{f}</math> は、次のような <math>f</math> のいわゆる'''分布函数'''（distribution function）である：

:<math>d_f(\alpha) = \mu(\{x \in X : |f(x)| > \alpha\}).</math>

ここで記号の都合上、<math>\inf \varnothing</math> は <math>\infty</math> と定義する。

二つの函数 <math>|f|</math> と <math>f^{\ast}</math> が'''同程度可測'''（equimeasurable）であるとは、次が成り立つことをいう。

:<math> \mu \bigl( \{ x \in X : |f(x)| > \alpha\} \bigr) = \lambda \bigl( \{ t > 0 : f^{\ast}(t) > \alpha\} \bigr), \quad \alpha > 0. </math>

ここで <math>\lambda</math> は実数直線上の[[ルベーグ測度]]である。関連する[[対称減少再配分]]函数は、<math>f</math> と同程度可測であり、実数直線上で次のように定義される。

:<math>\mathbf{R} \ni t \mapsto \tfrac{1}{2} f^{\ast}(|t|).</math>

これらの定義の下で、<math>0 < p < \infty</math> および <math>0 < q \leq \infty</math> に対し、ローレンツ準ノルムは次で与えられる。

:<math>\| f \|_{L^{p, q}} = \begin{cases} 
\left( \displaystyle \int_0^{\infty} \left (t^{\frac{1}{p}} f^{\ast}(t) \right )^q \, \frac{dt}{t} \right)^{\frac{1}{q}} & q \in (0, \infty), \\
\sup\limits_{t > 0} \, t^{\frac{1}{p}}  f^{\ast}(t)   & q = \infty.
\end{cases}</math>

== 性質 ==
ローレンツ空間は、[[カヴァリエリの原理]]より任意の <math>p</math> に対して <math>L^{p,p} = L^{p}</math> が成立する意味で、<math>L^{p}</math> 空間の真の一般化である。さらに <math>L^{p, \infty}</math> は弱 <math>L^{p}</math> 空間と一致する。それらは[[準ノルム|準バナッハ空間]]（すなわち、完備な準ノルム空間）であり、<math>1 < p < \infty</math> および <math>1 \leq q \leq \infty</math> に対してノルム付け可能（normable）である。<math>p = 1</math> のとき、<math>L^{1, 1} = L^{1}</math> はノルムを備えるが、弱 <math>L^{1}</math> 空間である <math>L^{1,\infty}</math> の準ノルムと同値なノルムを定義することは不可能である。<math>L^{1,\infty}</math> において三角不等式が成立しない具体例として、次を考える。
 
:<math>f(x) = \tfrac{1}{x} \chi_{(0,1)}(x)\quad \text{and} \quad g(x) = \tfrac{1}{1-x} \chi_{(0,1)}(x).</math> 

これらの <math>L^{1,\infty}</math> 準ノルムの値は 1 であるが、それらの和 <math>f + g</math> の準ノルムの値は 4 である。

空間 <math>L^{p,q}</math> は、<math>q < r</math> ならばいつでも <math>L^{p, r}</math> に含まれる。ローレンツ空間は、<math>L^{1}</math> と <math>L^{\infty}</math> の間の実{{仮リンク|補間空間|en|interpolation space}}である。

== 関連項目 ==
* {{仮リンク|補間空間|en|Interpolation space}}
* [[ハーディ＝リトルウッドの不等式]]

== 参考文献 ==
*{{Citation|last1=Grafakos|first1=Loukas|title=Classical Fourier analysis | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | series=Graduate Texts in Mathematics | isbn=978-0-387-09431-1 | doi=	10.1007/978-0-387-09432-8 |mr=2445437 | year=2008 | volume=249}}.

== 脚注 ==
<references/>

== 外部リンク ==
* http://www.kanenko.com/~kanenko/Preprint/geotomo.pdf
* http://www.cajpn.org/refs/topics-94.pdf

{{DEFAULTSORT:ろおれんつくうかん}}
[[Category:バナッハ空間]]
[[Category:数学に関する記事]]
[[Category:位相線型空間]]