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!