A branch of analysis that combines measure-theoretic tools with geometric ideas to describe the size, regularity, tangent structure, and variational properties of sets and measures in Euclidean space (and suitable metric measure spaces).

Principle

Use measures, densities, rectifiability, and variational minimality to translate geometric shape and regularity questions into measurable and functional-analytic statements and back.

Demonstration

Study of sets of finite perimeter via the De Giorgi notion: one compares the perimeter measure (distributional derivative of the indicator) with Hausdorff measures and proves rectifiability of the measure-theoretic boundary and existence of generalized unit normals almost everywhere.

Misapplication

Assuming that small Hausdorff dimension or small measure implies smoothness of a set; treating fractal or purely unrectifiable sets as if they admit approximate tangent planes everywhere.

Consequence

Enables precise regularity theorems for minimizers of geometric variational problems (minimal surfaces, isoperimetric sets), classification of tangent measures, and decomposition of measures into rectifiable and purely unrectifiable parts.

Reversal

Purely differential-geometric approaches that assume smooth structure everywhere, or purely measure-theoretic approaches that ignore geometric rectifiability information.

Boundary

Primarily formulated for subsets and Radon measures in Euclidean space and for metric measure spaces with structure (doubling, Poincaré); results may fail or require different hypotheses in general topological spaces, discrete settings, or without local compactness.

Semantic Tension

Tension between rectifiability (approximation by smooth manifolds almost everywhere) and fractal irregularity (sets with full measure but no tangent planes); between the measure-theoretic boundary and the classical topological boundary.

Synthesis

Geometric Measure Theory is the synthesis of measure theory and geometry: it uses measures, density ratios, and variational principles to capture when and how sets and measures admit geometric structure (tangents, normals, rectifiable parts) and to derive regularity and structure theorems for variational problems.