Approximation of fixed points for a pair of certain nonexpansive type mappings with applications

Abstract

This article defines an independence system for a classical knot diagram and proves that the independence system is a knot invariant for alternating knots. We also discuss the exchange property for minimal unknotting sets. Finally, we show knot diagrams where the independence system is a matroid, and there are knot diagrams where it is not.