Spherical inclusion area discrepancy

ID: spherical-inclusion-area-discrepancy

On the unit sphere, write and . The expression equals , at most . A constant-version spherical isoperimetric inequality therefore gives the displayed bound, uniformly in nonempty open . A smooth positive area density gives a second metric; integrating this bound over by the layer cake representation bounds the discrepancy between the two normalized area fractions by .

New to topics? Read the docs here!