Trimming and Building Freezing Sets

Abstract

We develop new tools for the construction of fixed point sets in digital topology. We define excludable points and show that these may be excluded from all freezing sets. We show that articulation points are excludable. We also present results concerning points that must belong to a freezing set and often are easily recognized. These include points of degree~1 and some local extrema.