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 (Federer 1969, §2.10.2). 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.
Read more about this topic: Hausdorff Measure
Famous quotes containing the word definition:
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)