Hyper-extensions in metric fixed point theory

We apply a modern axiomatic system of nonstandard analysis in metric fixed point theory. In particular, we formulate a nonstandard iteration scheme for nonexpansive mappings and present a nonstandard approach to fixed-point problems in direct sums of Banach spaces.Comment: 12 page