|
In mathematics a Hausdorff measure is a type of outer measure, named for Felix Hausdorff, that assigns a number in () to each set in R''n'' or, more generally, in any metric space. The zero-dimensional Hausdorff measure is the number of points in the set (if the set is finite) or ∞ if the set is infinite. The one-dimensional Hausdorff measure of a simple curve in R''n'' is equal to the length of the curve. Likewise, the two dimensional Hausdorff measure of a measurable subset of R2 is proportional to the area of the set. Thus, the concept of the Hausdorff measure generalizes counting, length, and area. It also generalizes volume. In fact, there are ''d''-dimensional Hausdorff measures for any ''d'' ≥ 0, which is not necessarily an integer. These measures are fundamental in geometric measure theory. They appear naturally in harmonic analysis or potential theory. ==Definition== Let be a metric space. For any subset , let denote its diameter, that is : Let '''' be any subset of '''', and a real number. Define : (The infimum is over all countable covers of '''' by sets satisfying .) Note that is monotone decreasing in since the larger is, the more collections of sets are permitted, making the infimum smaller. Thus, the limit exists but may be infinite. Let : It can be seen that is an outer measure (more precisely, it is a metric outer measure). By general theory, its restriction to the σ-field of Carathéodory-measurable sets is a measure. It is called the -dimensional Hausdorff measure of . Due to the metric outer measure property, all Borel subsets of are measurable. In the above definition the sets in the covering are arbitrary. However, they may be taken to be open or closed, and will yield the same measure, although the approximations may be different . If '''' is a normed space the sets may be taken to be convex. However, the restriction of the covering families to balls gives a different measure. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Hausdorff measure」の詳細全文を読む スポンサード リンク
|