Jordan measure

of a parallelepiped

in

The volume of this parallelepiped. The following are defined for a bounded set : the outer Jordan measure

and the inner Jordan measure

where the are pairwise disjoint (here the are parallelepipeds of the form ). A set is said to be Jordan measurable (squarable for , cubable for ) if or, equivalently, if

where . In this case, the Jordan measure is . A bounded set is Jordan measurable if and only if its boundary has Jordan measure zero (or, equivalently, if its boundary has Lebesgue measure zero).

The concept of this measure was introduced by G. Peano [1] and C. Jordan [2]. The outer measure is the same for and (the closure of , cf. Closure of a set) and is equal to the Borel measure of . The Jordan-measurable sets form a ring of sets on which the Jordan measure is a finitely-additive function. See also Squarability.

References

[1]	G. Peano, "Applicazioni geometriche del calcolo infinitesimale" , Bocca (1887)
[2]	C. Jordan, "Remarques sur les intégrales définies" J. Math. Pures Appl. , 8 (1892) pp. 69–99
[3]	S.M. Nikol'skii, "A course of mathematical analysis" , 2 , MIR (1977) (Translated from Russian)
[4]	A.N. Kolmogorov, S.V. Fomin, "Elements of the theory of functions and functional analysis" , 1–2 , Graylock (1957–1961) (Translated from Russian)

Comments

Jordan measure (also called Jordan content) is now mainly of historical interest, since it is simply the restriction of Lebesgue measure to the ring of bounded Lebesgue-measurable sets having boundary of measure 0.