ジョルダン測度

ペアノ-ジョルダン測度

ペアノ-ジョルダン測度（英: Peano–Jordan measure）または単にジョルダン測度（ジョルダン容積、英: Jordan content）は、有限次元における図形の長さ、面積、体積のような「大きさ」を計測するための方法です。この測度は、直線や面、立体などの比較的単純な形状に適用されます。

ジョルダン測度の定義

ジョルダン測度を理解する上で重要なのは、どのような条件を満たす必要があるかという点です。様々な形状に対して「容積」が厳密に定まるためには、特定の適合条件（可測条件）を満たさなければなりません。特に、ジョルダン測度を持つ集合は、わかりやすい性質を持つ必要があります。このため、実際に測度が定義できる集合は限られており、より一般的な測度として「ルベーグ測度」が使われることが多いです。

ジョルダン測度の歴史

ジョルダン測度の概念は、19世紀の終わりに初めて現れました。フランスの数学者カミーユ・ジョルダンとイタリアの数学者ジュゼッペ・ペアノに由来しており、「ジョルダン測度」という用語はすでに広く使われています。ただし、現代の厳密な定義に基づけば、ジョルダン測度は真の測度ではありません。なぜなら、ジョルダン可測集合は完全加法族を形成しないためです。たとえば、一点集合はジョルダン測度がゼロですが、それらの集合の可算合併はジョルダン可測ではありません。

基本集合の測度

n次元ユークリッド空間 \\( R^n \\) では、左閉右開の有界区間の直積集合を考えます。これにより得られる集合は、n次元の矩形と呼ばれ、そのジョルダン測度は各区間の長さの積として定義されます。次に、複数の矩形の有限合併による基本集合を考え、この集合に対してジョルダン測度を定義することが可能です。この定義において重要なのは、基本集合のジョルダン測度が、異なる表示方法によらず一貫していることが保証されるという点です。

複雑な図形への拡張

次の段階では、基本集合で「適切に近似できる」有界集合がジョルダン可測になることが求められます。ジョルダン内測度と外測度を定義し、これらが一致する場合に集合がジョルダン可測とされます。これにより、任意の矩形や球体、単体はもちろん、特定の関数のグラフに挟まれた領域もジョルダン可測となることが分かります。

ジョルダン可測でない例

しかし、ジョルダン内測度と外測度が一致しないケースもあります。例えば、太いカントール集合やその補集合はジョルダン可測ではありません。ジョルダン可測であるための必要条件は、集合の境界がジョルダン測度ゼロとなることです。

ルベーグ測度との関係

さらに、ジョルダン測度の種類は限定されており、有理数全体の集合のように、ジョルダン可測でない集合も存在します。ルベーグ測度は、より一般的に定義可能であり、ジョルダン測度よりも広範なクラスの集合に適用されます。結果として、ジョルダン可測な集合はルベーグ可測であり、逆は成立しないことが知られています。

このように、ペアノ-ジョルダン測度は数学における大きさの概念の一端を担っており、特に具体的な集合の性質を理解するための重要なツールとなっています。

もう一度検索