Sharp displacement bound for a compact H-hull
ID: sharp-displacement-bound-for-a-compact-h-hull
For a compact H-hull inside the disc of radius centred at a real point, its mapping-out function of a compact H-hull displaces every point of its domain by at most . After scaling and translation, the real boundary bounds for a unit-disc H-hull put the corresponding inverse boundary interval inside . Boundary cluster points of the inverse over this interval lie in the unit disc. The maximum modulus principle applied to gives the bound without assuming local connectedness of the hull. The nearly closed semicircular slit makes the constant three sharp.
New to topics? Read the docs here!