The issue of finite forms will be taken up in later postings. We use N for the set of all nonnegative integers. Note that a contraction is determined by its values at finite sets. In this sense, we are in the realm of discrete mathematics. In this context, the classical contraction mapping theorem says the following.
Every contraction has a unique fixed point.
This fixed point may be finite. In the definition of apporoximate fixed points, we can use other functions instead of or in addition to summation. We can use finitely many functions of several variables on N that are strictly increasing in each argument. More generally, we can use finitely many functions of several variables that are increasing in each argument and dominating. Yes, provided we put an additional condition on the contractions.