# Axiom of Infinite Choice, transversal ordered spring spaces and fixed points

Open Access
Research

## Abstract

This paper continues the study of the Axiom of Infinite Choice on transversal ordered spring spaces in terms of fixed point and increasing inductive sets. These principles unify a number of diverse results (about three thousand papers) in fixed point theory, especially recently published. Applications in partially ordered spaces and fixed point theory are also considered.

## Keywords

Fixed points Axiom of Infinite Choice Transversal ordered spring spaces Spaces with the non-numerical transversals Partially ordered spaces Increasing mappings Transversal edges (upper, lower, and middle) spaces Lower and upper (distribution) functions Noncomplete spaces Lemma of Infinite Maximality Increasing inductiveness Partially ordered metric spaces

## MSC

47H10 05A15 06A10 04A25 05A05 54H25

## 1 Introduction and history

Call a poset (:= partially ordered set) Pincreasing inductive (increasing chain complete) when every increasing sequence has an upper bound (the least upper bound, i.e., supremum) in P.

### Lemma 1

IfPis an increasing inductive partially ordered set, thenPhas at least countable or finite maximal elements.

A brief proof of a special case of this fact may be found in Tasković [1]. This statement is de facto an equivalent of Lemma of Infinite Maximality by Tasković [2].

### Theorem 1

(Axiom of Infinite Choice, Tasković [2])

Let$$P:=(P,\preccurlyeq )$$be a partially ordered set. Then the following statements are equivalent:
1. (a)

(Lemma of Infinite Maximality, Tasković [2].) LetPbe an inductive partially ordered set. ThenPhas at least countable or finite maximal elements.

2. (b)
(Local form, Tasković [1].) LetPbe an increasing inductive poset andfbe an increasing mapping fromPintoPsuch that
$$a\preccurlyeq f(a)\quad \textit{for some } a\in P,$$
(T)
thenfhas at least countable or finite fixed points inP.

3. (c)
(Tasković [3].) LetPbe an increasing inductive poset andfbe a mapping fromPintoPsuch that
$$x\preccurlyeq f(x) \quad \textit{for all } x\in P,$$
(M)
thenfhas at least countable or finite fixed points inP.

We note that a brief proof of this statement based on the Axiom of Infinite Choice may be found in Tasković [2].

Based on Lemma 1 and Theorem 1 above, we are now in a position to formulate the following new statements and facts as direct consequences of the Axiom of Infinite Choice.

### Corollary 1

Let$$P:=(P,\preccurlyeq )$$be a partially ordered set andfbe an increasing mapping fromPintoP. If the following set$$P(\preccurlyeq f):=\{x\in P:x\preccurlyeq f(x)\}$$is nonempty such that there exists the supremum$$s:=\sup P(\preccurlyeq f)$$, thenfhas at least countable or finite fixed points inP.

We notice that this result is a direct consequence of an application of the Axiom of Infinite Choice on the set $$P(\preccurlyeq f)$$. In 1980 Tasković proved that f has at least one fixed point for the preceding case of Corollary 1.

### Corollary 2

Let$$P:=(P,\preccurlyeq )$$be a partially ordered set andfbe an increasing mapping fromPintoPsuch that
$$a\preccurlyeq f(a)\quad \textit{for some } a\in P,$$
(M)
where every increasing sequence of iterates$$\{f^{n}(x)\}_{n\in\Bbb {N}\cup\{0\}}$$inPis bounded, thenfhas at least countable or finite fixed points inP.

### Proof

Let us consider the subset $$P(\preccurlyeq f)$$ of P given by $$P(\preccurlyeq f):=\{ x\in P:x\preccurlyeq f(x)\}$$. By the hypothesis, we see that $$P(\preccurlyeq f)$$ is a nonempty poset. Since $$x\preccurlyeq f(x)$$ implies $$f(x)\preccurlyeq f(f(x))$$, we see that f maps $$P(\preccurlyeq f)$$ into $$P(\preccurlyeq f)$$.

Because $$a\preccurlyeq f(a)$$ and f is isotone, we find $$f(a)\preccurlyeq f^{2}(a)$$ and inductively that $$f^{n}(a)\preccurlyeq f^{n+1}(a)$$ for each $$n\in\Bbb{N}\cup\{ 0\}$$ and some $$x\in P$$. Thus, $$\{f^{n}(a):n\in\Bbb{N}\cup\{0\}\}$$ is an increasing sequence of iterates which is bounded, and so the least upper bound of $$\{f^{n}(a):n\in\Bbb{N}\cup\{0\}\}$$ exists. The system of chain C for which
$$x\in C \quad \mbox{implies}\quad f(x)\in C \quad \mbox{and}\quad x \preccurlyeq f(x)$$
(SC)
contains the nonempty chain $$\{f^{n}(a)\mid n\in\Bbb{N}\cup \{0\}\}$$ and therefore contains maximal chains $$M_{k}$$ by Lemma 1 (or by the Lemma of Infinite Maximality). By assumption $$\mu_{k}=\sup M_{k}\in P$$ exists, where $$\sup M_{k}$$ is the least upper bound of $$M_{k}$$. Since $$M_{k}$$ satisfies (SC), we have $$x\preccurlyeq f(x)\preccurlyeq f(\mu_{k})$$ for all $$x\in M_{k}$$, so that $$\mu_{k}\preccurlyeq f(\mu_{k})$$.

On the other hand, if $$\mu_{k}\notin M_{k}$$, then the chain $$M_{k}\cup\{f^{n}(\mu_{k})\mid n\in\Bbb{N}\cup\{0\}\}$$ properly contains $$M_{k}$$ and satisfies (SC) in contradiction to the maximality of $$M_{k}$$. Therefore, $$\mu_{k}\in M_{k}$$ and also $$f(\mu_{k})\in M_{k}$$, hence $$f(\mu_{k})\preccurlyeq \mu_{k}$$. This makes $$\mu_{k}$$ a fixed point of f, i.e., $$f(\mu_{k})=\mu_{k}$$. The proof is complete. □

### Annotation

From the above it follows that $$P(\preccurlyeq f)$$ is a nonempty poset with the property that each nonempty increasing chain of $$P(\preccurlyeq f)$$ has an upper bound, i.e., $$P(\preccurlyeq f)$$ is an increasing inductive set, and f maps $$P(\preccurlyeq f)$$ into $$P(\preccurlyeq f)$$, and thus, by (c) of Theorem 1, we see that f has at least countable or finite fixed points as desired.

## 2 Preliminaries and main results

Spring upper ordered spaces. Let X be a nonempty set, and in what follows, let $$P:=(P,\preccurlyeq )$$ be a partially ordered set such that $$a, b\in P$$ and $$a\prec b$$. The set (interval) $$[a, b)$$ is further defined by
$$[a, b):=\{t\in P: a\preccurlyeq t\prec b\}.$$

The function $$A: X\times X\to[a, b)\subset P$$ for $$a\prec b$$ is called an upper spring ordered transverse (or upper spring ordered transversal) on a nonempty set X iff $$A(x, y)=a$$ if and only if $$x=y$$ for all $$x, y\in X$$.

An upper spring ordered transversal space is a nonempty partially ordered set X (with ordering ) together with a given upper spring ordered transverse A on X, where every decreasing sequence $$\{u_{n}\}_{n\in\Bbb{N}}$$ of elements in $$[a, b)$$ has a unique element $$u\in[a, b)$$ as limit (in notation $$u_{n}\to u$$$$(n\to\infty)$$). The element $$a\in[a, b) \subset P$$ is called spring of spaceX (cf. [5]).

In 1986 we investigated the concept of upper spring ordered TCS-convergence in a space X, i.e., an upper spring ordered transversal space $$X:=(X, A)$$ satisfies the condition of upper spring ordered TCS-convergence iff $$x\in X$$ and if $$A(T^{n} (x), T^{n+1}(x)) \to a$$$$(n\to\infty)$$ implies that $$\{T^{n} (x)\}_{n\in\Bbb{N}}$$ has a convergent subsequence in X, see Tasković [6].

In connection with the above, we shall introduce the concept of upper MCS-convergence, i.e., an upper spring ordered transversal space satisfies the condition of upper MCS-convergence (i.e., upper MSC-completeness) iff $$x\in X$$ and if $$A(f^{n}(x),f^{n+1}(x))\to a$$$$(n\to\infty)$$ implies that $$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$ is bounded in X.

We notice that the sequence $$\{x_{n}\}_{n\in\Bbb{N}}$$ in the upper spring ordered transversal space is convergent (or upper convergent) in notation $$x_{n}\to x$$$$(n\to\infty)$$ iff $$A(x_{n}, x)\to a$$ as $$n\to\infty$$; or equivalently, for a decreasing sequence $$\{a_{n}\}_{n\in\Bbb{N}} \in[a, b)$$ which converges to a, the following inequality holds:
$$A(x_{n}, x)\prec a_{n} \quad \mbox{for every }n\in\Bbb{N},$$
or for n large enough.
On the other hand, in connection with this, the sequence $$\{x_{n}\}_{n \in\Bbb{N}}$$ in X will be called upper fundamental (or upper spring fundamental) if the following inequality holds:
$$A(x_{n}, x_{m})\prec a_{n} \quad \mbox{for all }n, m\in \Bbb{N}\ (n< m),$$
or for n and m large enough, where the decreasing sequence $$\{a_{n}\}_{n\in\Bbb{N}}$$ in $$[a, b)$$ converges to a (cf. [5]).

An upper spring ordered transversal space is called upper complete (or upper spring complete) if any upper fundamental sequence $$\{x_{n}\}_{n\in\Bbb{N}}$$ in X is upper convergent (to a point of X, of course).

On the other hand, in this paper we shall introduce the concept of upper MBV-convergence, i.e., an upper spring ordered transversal space $$X:=(X,\preccurlyeq ,A)$$ satisfies the condition of upper MBV-convergence (i.e., upper MBV-completeness) if every increasing sequence of iterates $$\{f^{n}(x)\} _{n\in\Bbb{N}\cup\{0\}}$$ is bounded in X.

An immediate direct consequence of the preceding Corollary 2 is the following new result for upper spring ordered transversal spaces.

### Corollary 3

Letfbe an increasing mapping of an upper spring ordered transversal space$$X:=(X,\preccurlyeq ,A)$$into itself, whereXsatisfies the condition of upper MBV-convergence. If
$$a\preccurlyeq f(a) \quad \textit{for some } a\in X,$$
(M)
thenfhas at least countable or at least finite fixed points inX.

The proof of this statement is an elementary fact because the condition of upper MBV-completeness implies that every increasing sequence of iterates is bounded in Corollary 2.

As an immediate application of Corollary 3directly, we obtain the following new consequence on upper spring ordered transversal spaces.

### Corollary 4

Letfbe an increasing mapping of an upper spring ordered transversal space$$X:=(X,\preccurlyeq ,A)$$into itself, where every increasing sequence of iterates$$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$inXis upper fundamental. If
$$a\preccurlyeq f(a) \quad \textit{for some } a\in X,$$
(M)
thenfhas at least countable or at least finite fixed points inX.

### Proof

Because $$a\preccurlyeq f(a)$$ and f is isotone, we find $$\{f^{n}(a)\}_{n\in\Bbb {N}\cup\{0\}}$$ is an increasing sequence of iterates which is upper fundamental, i.e., bounded in X. It is easy to see that X satisfies all the required hypotheses in Corollary 3. Applying Corollary 3 to this case, we obtain this statement. The proof is complete. □

### Corollary 5

(Partially ordered metric spaces)

Letfbe an increasing mapping of an ordered metric space$$X:=(X,\preccurlyeq ,\rho)$$into itself, where every increasing sequence of iterates$$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$inXis a Cauchy sequence. If
$$a\preccurlyeq f(a) \quad \textit{for some } a\in X,$$
(M)
thenfhas at least countable or at least finite fixed points inX.

### Proof

Since an ordered metric space is an example of an upper spring ordered transversal space, thus this statement follows directly from Corollary 4. The proof is complete. □

### Corollary 6

(Upper spring ordered transversal spaces)

Letfbe an increasing mapping of an upper spring ordered transversal space$$X:=(X,\preccurlyeq ,A)$$into itself, where every increasing and decreasing sequence of iterates$$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$inXis bounded. If
$$a\preccurlyeq f(a) \quad \textit{for some } a\in X,$$
(M)
or
$$f(x)\prec x\quad \textit{for all } x\in X,$$
(N)
thenfhas at least countable or at least finite fixed points inX.

The proof of this statement is a total analogy with the preceding proofs of Corollaries 2 and 3. Thus we omit it.

### Corollary 7

(Partially ordered metric spaces)

Letfbe an increasing mapping of an ordered metric space$$X:=(X,\preccurlyeq ,\rho)$$into itself, where every increasing and decreasing sequence of iterates$$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$inXis a Cauchy sequence. If (M) or (N) holds, thenfhas at least countable or finite fixed points inX.

This result is an example for Corollary 6. Thus we omit the proof.

## 3 Applications on partially ordered metric and other spaces

This section is mainly devoted to some applications on partially ordered metric and other spaces. Some sufficient conditions for the upper MBV-completeness are given, which has a direct consequence on the Cauchyness of sequences in partially ordered metric spaces. On the other hand, every increasing sequence of iterates $$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$ in X is also a Cauchy sequence in $$X:=(X,\preccurlyeq ,A)$$. This fact (in this sense) includes (unifies) at least three thousand papers published recently. We note that a partially ordered metric space directly is an example of upper spring ordered transversal spaces.

Diametralφ-contraction on metric spaces. In 1980 I proved the following result of a fixed point on metric space, which is one of the most known sufficient conditions (linear and nonlinear) for the existence of a unique fixed point, cf. Tasković [7, 8], and [9]. This result generalizes a great number of known results.

### Theorem 2

(Tasković [7, p. 250, Theorem 1])

LetTbe a mapping of a metric space$$(X,\rho)$$into itself, and letXbeT-orbital complete. Suppose that there exists a function$$\varphi:\Bbb{R}_{+}^{0}\to\Bbb{R}_{+}^{0}:=[0,+\infty)$$satisfyingsuch that the following inequality holds:
$$\rho \bigl(T(x),T(y) \bigr)\leqslant\varphi \bigl(\operatorname {diam}\bigl\{ x,y,T(x),T(y),T^{2}(x),T^{2}(y),\ldots \bigr\} \bigr)$$
(J)
for all$$x,y\in X$$. If$$\operatorname {diam}\mathcal{O}(x)\in\Bbb{R}_{+}^{0}$$for every$$x\in X$$, thenThas a unique fixed point$$\xi\in X$$and$$\{T^{n}(b)\}_{n\in\Bbb{N}}$$converges toξfor arbitrary$$b\in X$$.

In connection with this result, we notice that this statement is well known as “the finest theorem of nonlinear functional analysis” for metric spaces.

In the context of Theorem 2, applying Corollary 5 to this case directly, we obtain the following result for diametralφ-contractions, i.e., for mappings with properties (J) and (Iφ).

### Corollary 8

LetTbe an increasing mapping of an ordered metric space$$X:=(X,\preccurlyeq ,\rho)$$into itself. Suppose that there exists a function$$\varphi:\Bbb{R}_{+}^{0}\to\Bbb{R}_{+}^{0}$$satisfying (Iφ) such that (J). If$$a\preccurlyeq T(a)$$for some$$a\in X$$and iffor every$$x\in X$$, thenThas a unique fixed point$$\xi\in X$$and$$\{T^{n}(b)\}_{n\in\Bbb{N}\cup\{0\}}$$converges toξfor arbitrary$$b\in X$$.

### Annotation

In connection with the preceding inequality (J), we notice that Tasković [10] considered a special case of this condition. Also see Kurepa [11], Ohta–Nikaido [12], and Tasković [13]. It is interesting that in 1976 Kurepa proved a geometric interpretation of condition (J). See Fig. 1.
Transversal upper edges spaces. Let X be a nonempty set. The function $$\rho: X\times X\to[a,b]$$ (or $$\rho:X\times X\to[a,b)$$) for $$a< b$$ ($$a, b \in\Bbb{R}_{+}^{0}:=[0,+\infty)$$) is called an upper edges transverse on X (or upper edges transversal) iff $$\rho(x, y)=\rho(y, x)$$, $$\rho(x,y)=a$$ if and only if $$x=y$$, and if there is a function $$\psi:[a,b]^{2}\to[a,b]$$ such that
$$\rho(x,y)\le\max \bigl\{ \rho(x,z),\rho(z,y),\psi \bigl( \rho(x,z), \rho(z,y) \bigr) \bigr\}$$
(A)
for all $$x, y, z \in X$$.

An upper edges transversal space (or upper edges space) is a set X together with a given upper edges transverse on X. The function $$\psi: [a,b]^{2}\to[a,b]$$ in (A) is called an upper bisection function.

From (A) it follows by induction that there is a function for $$a< b$$ such that the following inequality holds:
for all $$x_{0}, x_{1},\ldots, x_{n} \in X$$ and for an arbitrary fixed integer $$n\ge2$$.

### Example 1

(Metric spaces)

A fundamental first example of upper edges space is a metric space. Indeed, if $$(X, d)$$ is a metric space, then for the upper bisection function $$\psi(r, t)=r+t$$, we have the following upper edges transverse $$\rho:X\times X\to [a,b]\subset\Bbb{R}_{+}^{0}$$ for $$a< b$$ defined by
$$\rho(x,y)=\frac{(b-a)d(x,y)}{1+d(x,y)}+a$$
for all $$x, y \in X$$. Thus $$(X, \rho)$$ is an example of an upper edges transversal space. In general, every metric space is an example of an upper edges transversal space.

### Example 2

(The extended real line $$\overline{\Bbb {R}}$$)

The function f defined in $$\Bbb{R}$$ by $$f(x)=x/(1+|x|)$$ is a bijection on $$\Bbb{R}$$ on the open interval $$(-1, 1)\subset\Bbb{R}$$, and the inverse mapping g being defined by $$g(x)=x/(1-|x|)$$ for $$|x|<1$$. Let $$\overline{\Bbb{R}}$$ be the set which is the union of $$\Bbb{R}$$ and two new elements written +∞ and −∞ (points at infinity); then we extend f to a bijection of $$\overline{\Bbb{R}}$$ onto $$[-1, 1]$$ by putting $$f(+\infty)=1$$, $$f(-\infty)=-1$$, and write again g for the inverse mapping.

We can apply this process described to define $$\overline{\Bbb{R}}$$ as an upper edges transversal space by putting for the upper edges transverse $$\rho: \overline{\Bbb{R}}\times\overline{\Bbb{R}}\to [0, 2]$$, that is,
$$\rho(x, y)= \biggl\vert \frac{x}{1+|x|}-\frac{y}{1+|y|} \biggr\vert$$
for all $$x, y \in\overline{\Bbb{R}}$$. (We notice that for $$x\ge0$$ is $$\rho(+\infty, x)=1/(1+|x|)$$, and for $$x\le0$$ that is $$\rho(-\infty, x)=1/(1+|x|)$$).

### Example 3

(Transversal upper edges r-spaces)

A fundamental third example of a transversal upper edges space is a transversal upper edges r-space for $$r\ge1$$. Indeed, in 1998 this space was known as a transversal upper space. For $$\psi(s,t):=rs+rt$$ ($$r\ge1$$), we obtain directly in this case the transversal upper edges r-space. This space is well known for $$r\ge1$$ as an r-metric space (or as almost metric space) introduced in 1989 by Bakhtin [14]. Also see Czerwik [15].

On the other hand, a fundamental fourth example of a transversal upper edges space is a transversal upper edgesr-max space (for $$r\ge1$$), known as r-max edges space. Indeed, in 1998 this space was known as a transversal r-max edges space. For $$\psi(s,t)=r\max\{s,t\}$$ for $$r\ge1$$, we obtain directly in this case the transversal upper edges r-space.

### Annotation

We notice that the set (class) of all well-known b-metric spaces $$(b\ge1)$$ can be a proper subset (subclass) of the set (class) all transversal r-max edges space for $$r\ge1$$. See Tasković [16].

For any nonempty set Y in the upper edges transversal space X, the diameter of Y is defined as $$\operatorname {diam}(Y):=\sup \{\rho(x, y): x, y \in Y \}$$; it is a real number in $$[a,b]$$, $$A\subset B$$ implies $$\operatorname {diam}(A)\le \operatorname {diam}(B)$$. The relation $$\operatorname {diam}(Y)=a$$ holds if and only if Y is a one-point set.

Elements of an upper edges transversal space will usually be called points. Given an upper edges transversal space $$(X, \rho)$$ with the bisection function $$g:[a,b]^{2}\to[a,b]$$ and a point $$z \in X$$, the open ball of center z and radius $$r>0$$ is the set
$$g \bigl(B(z, r) \bigr)= \bigl\{ x \in X: \rho(z, x)< a+r \bigr\} .$$

The convergence$$x_{n}\to x$$ as $$n\to\infty$$ in the upper edges transversal space $$(X, \rho)$$ means that $$\rho(x_{n}, x)\to a$$ as $$n\to\infty$$, or equivalently, for every $$\varepsilon>0$$ there exists an integer $$n_{0}$$ such that the relation $$n\ge n_{0}$$ implies $$\rho(x_{n}, x)< a+\varepsilon$$.

The sequence $$\{x_{n}\}_{n\in\Bbb{N}}$$ in the upper edges transversal space $$(X, \rho)$$ is called a transversal sequence (or upper Cauchy sequence) iff for every $$\varepsilon>0$$ there is $$n_{0}=n_{0}(\varepsilon)$$ such that
$$\rho(x_{n}, x_{m})< a+\varepsilon\quad \mbox{for all } n, m \ge n_{0}.$$
Let $$(X, \rho)$$ be an upper edges transversal space and $$T: X\to X$$. We notice, from Tasković [17], that a sequence of iterates $$\{T^{n}(x)\}_{n\in\Bbb{N}}$$ in X is said to be a transversal sequence if and only if
$$\lim_{n\to\infty} \bigl(\operatorname {diam}\bigl\{ T^{k}(x):k\ge n \bigr\} \bigr)=a.$$

In this sense, an upper edges transversal space is called upper complete iff every transversal sequence converges. Also, a space $$(X, \rho)$$ is said to be upper orbitally complete (or upperT-orbitally complete) iff every transversal sequence which is contained in for some $$x \in X$$ converges in X.

For further facts on upper edges transversal spaces, see Tasković [6]. A function T mapping X into the reals is T-orbitally lower semicontinuous at $$p \in X$$ if $$\{x_{n}\}_{n\in\Bbb{N}}$$ is a sequence in and $$x_{n}\to p$$ ($$n\to\infty$$) implies that $$T(p)\le \operatorname {lim.inf}T(x_{n})$$.

Let $$(X, \rho)$$ be an upper edges transversal space. A mapping $$T:X\to X$$ is said to be upper edges contraction if there exists $$0\le\lambda<1$$ such that
$$\rho \bigl(T(x), T(y) \bigr)\le\lambda \rho(x, y)+a(1-\lambda)$$
for all points $$x, y \in X$$. In addition, let $$(X, \rho_{X})$$ and $$(Y, \rho_{Y})$$ be two upper edges transversal spaces and $$T:X\to Y$$. We notice, from Tasković [6], that T is upper edges continuous at $$x_{0} \in X$$ iff for every $$\varepsilon>0$$ there exists $$\delta>0$$ such that the relation
$$\rho_{X}(x_{0}, x)< a+\delta\quad \mbox{implies} \quad \rho_{Y} \bigl(T(x_{0}), T(x) \bigr)< a+\varepsilon.$$

A typical first example of an upper edges continuous mapping is the upper edges contraction on the upper edges transversal space $$(X, \rho)$$. For further facts on the upper edges continuous mappings, see Tasković [6].

### Proposition 1

Letfbe an increasing mapping of a partially ordered transversal upper edges space$$X:=(X,\preccurlyeq ,\rho)$$into itself, whereXsatisfies the condition of upper MCS-convergence. Suppose that there exists a number$$0\le\lambda<1$$such that
$$\rho \bigl(f(x),f^{2}(x) \bigr) \le\lambda\rho \bigl(x,f(x) \bigr)+ a(1-\lambda)$$
(Cu)
for every$$x\in X$$. If$$r\preccurlyeq f(r)$$for some$$r\in X$$, thenfhas at least countable or finite fixed points inX.

### Proof

We see that a partially ordered transversal upper edges space $$X:=(X,\preccurlyeq ,\rho)$$ is an example of an upper spring ordered transversal space. From (Cu) it follows $$\rho(f^{n}(x), f^{n+1}(x))\to a$$ ($$n\to\infty$$), hence by upper MCS-completeness we obtain that every increasing sequence of iterates in the form $$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$ is bounded in X, i.e., X satisfies the condition of upper MBV-completeness. It is easy to see that f and X satisfy all the required hypotheses in Corollary 3, thus f has at least countable or finite fixed points in X. The proof is complete. □

### Proposition 2

Letfbe an increasing mapping of a partially ordered transversal upper edges space$$X:=(X,\preccurlyeq ,\rho)$$into itself. Suppose that there exists$$0\le\lambda<1$$such that
$$\rho \bigl(f(x),f(y) \bigr)\le\lambda\rho(x,y)+a(1-\lambda)$$
(Lc)
for all$$x,y\in X$$. If$$r\preccurlyeq f(r)$$for some$$r\in X$$, thenfhas a unique fixed point inX. (The spaceXin this statement is not obligatory complete.)

### Proof

Let $$y=f(x)$$ in (Lc), then it is easy to see that f and X satisfy all the required hypotheses in Proposition 1. Uniqueness follows immediately from condition (Lc). The proof is complete. □

We are now in a position to formulate the following statement, which is a roof for a great number of known results on metric spaces in the fixed point theory.

### Proposition 3

Letfbe an increasing mapping of a partially ordered transversal upper edges space$$X:=(X,\preccurlyeq ,\rho)$$into itself. Suppose that there exists a function$$\varphi:[a,b]\to[a,b]\subset\Bbb{R}_{+}^{0}$$for$$a< b$$satisfying
$$\bigl(\forall(t\in(a,b]\bigr)\quad \Bigl(\varphi(t)< t\textit{ and } \limsup _{z\to t+0}\varphi(z)< t \Bigr)$$
(Iu)
such that
$$\rho \bigl(f(x),f(y) \bigr)\le\varphi \bigl(\operatorname {diam}\bigl\{ x,y,f(x),f(y),f^{2}(x),f^{2}(y),\ldots \bigr\} \bigr)$$
(B)
for all$$x,y\in X$$. If$$r\preccurlyeq f(r)$$for some$$r\in X$$, thenfhas a unique fixed point inX. (The spaceXin this statement is not obligatory complete.)

### Proof

We begin the proof with the following lemma (as a well-known lemma) which is essential in the following context.

### Lemma 2

Let the mapping$$\varphi:[a,b]\to[a,b]\subset\Bbb{R}^{0}_{+}$$for$$a< b$$have the property (Iu). If the sequence$$(x_{n})$$of nonnegative real numbers satisfies the condition
$$x_{n+1}\le\varphi(x_{n}),\quad n\in\Bbb{N},$$
then the sequence$$(x_{n})$$tends toa. The velocity of this convergence is not necessarily geometrical.

A brief first proof of this statement may be found in Tasković [6]. We can see other brief proofs for this in Tasković [7, 8], and [13].

### Proof of Proposition 3

Let x be an arbitrary point in X. We can show then that the sequence of iterates $$\{f^{n}(x)\}_{n\in \Bbb{N}\cup\{0\}}$$ is a transversal sequence. It is easy to verify (cf. [7, 9], and [13]) that the sequence $$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$ satisfies the following inequality:
$$\operatorname {diam}\mathcal{O}\bigl(f^{n+1}(x)\bigr)\le \varphi (\operatorname {diam}\mathcal{O} \bigl(f^{n}(x) \bigr)$$
for $$n\in\Bbb{N}$$, and hence applying Lemma 2 to the sequence $$(\operatorname {diam}\mathcal{O}(f^{n}(x)))$$, we obtain $$\lim_{n\to\infty} \operatorname {diam}\mathcal{O} (f^{n}(x)) =a$$. This implies that $$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$ is a transversal sequence in X. Hence, $$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$ is bounded.

Thus f and X satisfy all the required hypotheses in Corollary 4. Uniqueness follows immediately from (B). The proof is complete. □

As an immediate consequence of the preceding Proposition 3, we obtain directly the following interesting cases of (B):

(1) There exists a nondecreasing function $$\varphi: [a,b]\to[a,b]\subset\Bbb{R}_{+}^{0}$$ for $$a< b$$ satisfying $$\limsup_{z\to t+0}\varphi(z)< t$$ for every $$t\in(a,b]$$ such that
$$\rho \bigl(f(x), f(y) \bigr)\le \varphi \bigl(\operatorname {diam}\bigl\{ x, y, f(x), f(y)\bigr\} \bigr)$$
for all $$x, y \in X$$.
(2) (Special affine case of condition (B) for$$\varphi(t)=\alpha t+a(1-\alpha)$$.) There exists a constant $$\alpha\in[0, 1)$$ such that, for all $$x, y \in X$$, the following inequality holds:
$$\rho \bigl(f(x), f(y) \bigr)\le\alpha \operatorname {diam}\bigl\{ x, y, f(x), f(y)\bigr\} +a(1- \alpha),$$
i.e., equivalent to
$$\rho \bigl(f(x), f(y) \bigr) \le\alpha\max \bigl\{ \rho(x,y), \rho \bigl(x, f(x) \bigr), \rho \bigl(y, f(y) \bigr), \rho \bigl(x, f(y) \bigr), \rho \bigl(y,f(x) \bigr) \bigr\} +a(1-\alpha).$$
(3) (The condition of$$(m+k)$$-polygon.) There exists a constant $$\lambda\in[0,1)$$ such that, for all $$x,y\in X$$, the following inequality holds:
$$\rho \bigl(f(x),f(y) \bigr)\le\lambda \operatorname {diam}\bigl\{ x,y,f(x),f(y),\ldots, f^{m}(x),f^{k}(y) \bigr\} + a(1-\lambda)$$
for arbitrary fixed integers $$m,k\ge0$$. (This is a linear condition for the diameter of a finite number of points).
(4) There exists a nondecreasing function $$\varphi:[a,b]\to[a,b]\subset\Bbb{R}_{+}^{0}$$ for $$a< b$$ satisfying $$\limsup_{z\to t+0}\varphi(z)< t$$ for every $$t\in(a,b]$$ such that
$$\rho \bigl(f(x), f(y) \bigr)\le\varphi \bigl(\operatorname {diam}\bigl\{ x, y, f(x), f(y), \ldots, f^{k}(x), f^{m}(y) \bigr\} \bigr)$$
for arbitrary fixed integers $$m,k\ge0$$ and for all $$x, y \in X$$.
(5) There exists an increasing mapping, i.e., $$x_{i}\le y_{i}$$ ($$i=1,\ldots, 5$$) implies $$\varphi(x_{1},\ldots, x_{5})\le \varphi(y_{1},\ldots, y_{5})$$, $$\varphi: [a,b]^{5}\to[a, b]\subset\Bbb{R}_{+}^{0}$$ for $$a< b$$ satisfying $$\limsup_{z\to t+0} \varphi(z, z, z, z, z)< t$$ for every $$t\in(a,b]$$ such that
$$\rho \bigl(f(x), f(y) \bigr)\le \varphi \bigl(\rho(x,y), \rho \bigl(x, f(x) \bigr), \rho \bigl(y, f(y) \bigr), \rho \bigl(x, f(y) \bigr), \rho \bigl(y, f(x) \bigr) \bigr)$$
for all $$x, y \in X$$.

In connection with the preceding facts, we are now in a position to formulate a localization of Proposition 3 in the following form.

### Proposition 4

Letfbe an increasing mapping of a partially ordered transversal upper edges space$$X:=(X,\preccurlyeq ,\rho)$$into itself. Suppose that there exists a function$$\varphi:[a,b]\to[a,b]\subset\Bbb{R}_{+}^{0}$$for$$a< b$$satisfying (Iu) such that
$$\operatorname {diam}\bigl\{ f(x),f^{2}(x),\ldots \bigr\} \le\varphi \bigl( \operatorname {diam}\bigl\{ x,f(x),f^{2}(x),\ldots \bigr\} \bigr)$$
for every$$x\in X$$. If$$r\preccurlyeq f(r)$$for some$$r\in X$$, thenfhas at least countable or finite fixed points inX. (The spaceXin this statement is not obligatory complete.)

The proof of this statement is a total analogy with the preceding proof of Proposition 3. Thus we omit it.

### Corollary 9

(Non-complete partially ordered metric spaces)

Letfbe an increasing mapping of a partially ordered metric space$$X:=(X,\preccurlyeq ,\rho)$$into itself. Suppose that there exists$$\lambda\in[0,1)$$such that
$$\rho \bigl(f(x),f^{2}(x) \bigr)\le\lambda\rho \bigl(x,f(x) \bigr)$$
(1)
for every$$x\in X$$. If$$r\preccurlyeq f(r)$$for some$$r\in X$$, thenfhas at least countable or finite fixed points inX.

### Proof

From (1) it follows that the sequence of iterates $$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$ is a sequence of bounded variation, i.e., it is a Cauchy sequence. Applying Corollary 5 to this case, we obtain this statement. The proof is complete. □

### Corollary 10

(Non-complete partially ordered metric spaces)

Letfbe an increasing mapping of a partially ordered metric space$$X:=(X,\preccurlyeq ,\rho)$$into itself. Suppose that there exists$$\lambda\in[0,1)$$such that
$$\rho \bigl(f(x),f(y) \bigr)\le\lambda\rho (x,y) )$$
(2)
for all$$x,y\in X$$. If$$r\preccurlyeq f(r)$$for some$$r\in X$$, thenfhas a unique fixed point inX.

### Proof

Let $$y=f(x)$$ in (2), then it is easy to see that f and X satisfy all the required hypotheses in Corollary 9. Uniqueness follows immediately from condition (2). The proof is complete. □

On the other hand, in this paper we shall introduce the concept of spring sup MCS-convergence, i.e., an upper spring ordered transversal space satisfies the condition of spring sup MCS-convergence iff $$x\in X$$ and if $$\sup_{i, j\ge n} A(T^{i}(x), T^{j}(x))$$ or $$\sup_{i, j\ge2n} A(T^{i} (x), T^{j}(x))$$ or $$\sup_{i, j\ge2n+1} A(T^{i} (x), T^{j}(x))$$ converges to $$u, v, c\in[a, b)$$ respectively implies that $$\{T^{n} (x)\}_{n\in\Bbb{N}}$$ or $$\{T^{2n}(x)\}_{n\in\Bbb{N}}$$ or $$\{T^{2n+1}(x)\}_{n\in\Bbb{N}}$$ is a bounded sequence in X, respectively.

Also, if $$T:X\to X$$, then a function $$x\mapsto A(x,T(x))$$ is orderedT-orbitally lower semicontinuous at $$\xi\in X$$ if $$\{x_{n}\}_{n\in\Bbb{N}}$$ is a sequence in $$\sigma(x,y,\infty):= \{x,y,T(x),T(y),T^{2}(x),T^{2}(y),\ldots\}$$ and $$x_{n}\to\xi(n\to\infty)$$ implies that $$A(\xi,T(\xi))\preccurlyeq \lim_{n\to\infty} A(T^{n}(x), T^{n+1}(x))$$.

### Theorem 3

(Monotone principle of fixed point)

LetTbe an increasing mapping of an upper spring ordered transversal spaceinto itself, whereXsatisfies the condition of spring sup MCS-convergence. Suppose that there exists a controlling function$$B:X\times X\to[a,b)$$for$$a\prec b$$such that
$$A\bigl(T(x), T(y)\bigr)\preccurlyeq B(x, y) \prec\sup_{z, r\in\sigma(x, y, \infty)} A(z, r) \prec b$$
(3)
for all$$x, y\in X$$or
$$A\bigl(T(x), T(y)\bigr)\prec B(x, y) \preccurlyeq \sup_{z, r \in\sigma(x, y,\infty)} A(z, r)\prec b$$
(3′)
for all$$x, y\in X$$. Iffor some$$r\in X$$, thenThas at least countable or finite fixed points inX. If additionally$$A(t, t)\preccurlyeq \sup\{A(s, t), A(t, s)\}$$for all$$s, t\in X$$, thenThas a unique fixed point inX.

Let be a partially ordered (with ordering ) topological space and $$T:X\to X$$, where $$M: X\to [a,b)\subset P$$ for $$a\prec b$$. In this part (by Tasković [5]), we shall introduce the concept of local sup MCS-convergence in a space X, i.e., a topological space X satisfies the condition of local spring sup MCS-convergence iff $$x\in X$$ and $$\sup_{i\ge n} M(T^{i}(x))$$ or $$\sup_{i\ge2n} M(T^{i} (x))$$ or $$\sup_{i\ge2n+1} M(T^{i}(x))$$ converges to $$u, v, c\succcurlyeq a$$ respectively implies that $$\{T^{n}(x)\}_{n\in\Bbb{N}}$$ or $$\{ T^{2n}(x)\}_{n\in\Bbb{N}}$$ or $$\{T^{2n+1}(x)\}_{n\in\Bbb{N}}$$ is a bounded sequence in X, respectively.

We are now in a position to formulate the following theorem on partially ordered (with ordering ) topological spaces with non-numerical transverses.

### Theorem 4

(Localization monotone principle)

LetTbe an increasing mapping of a partially ordered (with ordering) topological spaceinto itself, whereXsatisfies the condition of local spring sup MCS-convergence. Suppose that there exists a controlling function$$N: X\to [a,b)\subset P$$for$$a\prec b$$such that
$$M\bigl(T(x)\bigr)\preccurlyeq N(x) \preccurlyeq \sup_{z\in \sigma(x, \infty)} M(z) \prec b\quad \textit{for every }x\in X,$$
(D)
andfor some$$r\in X$$. ThenThas at least countable or finite fixed points inX.

An immediate consequence of the preceding statement is the following result.

### Corollary 11

LetTbe an increasing mapping of a partially ordered with orderingtopological spaceinto itself, whereXsatisfies the condition of local spring sup MCS-convergence. Suppose that there exists a controlling function$$N: X\to[a,b)\subset P$$for$$a\prec b$$such that
$$M\bigl(T(x)\bigr)\preccurlyeq N(x)\preccurlyeq M(x)\quad \textit{for every }x\in X,$$
(D′)
andfor some$$r\in X$$. ThenThas at least countable or finite fixed points inX.

The proof of this statement is an elementary fact because condition (D′) implies condition (D).

### Proof of Theorem 4

Let $$x\in X$$ be an arbitrary point and $$n\in\Bbb{N}\cup \{0\}$$ be any nonnegative integers. From (D) for $$T^{i}(x)$$ we have $$M(T^{i+1}(x)) \preccurlyeq N(T^{i} (x))\preccurlyeq \sup_{z\in\sigma(T^{i} (x),\infty)} M(z)$$, and hence
$$\sup_{i\ge n+1} M\bigl(T^{i}(x)\bigr)\preccurlyeq \sup _{i\ge n} N\bigl(T^{i} (x)\bigr)\preccurlyeq \sup _{i\ge n} M\bigl(T^{i}(x)\bigr),$$
(4)
i.e., we obtain that $$\{\sup_{i\ge n} M(T^{i}(x))\}_{n\in\Bbb{N}}$$ is a decreasing convergent sequence in $$[a,b)\subset P$$. This implies (from local spring sup MCS-convergence) that its sequence of iterates $$\{T^{n}(x)\}_{n\in \Bbb{N}}$$ is a bounded sequence in X, i.e., X satisfies the condition of upper MBV-completeness.

In the cases of other two sequences, in local spring sup MCS-convergence, the proof is a total analogy. Hence we omit the proof in these cases. Also, from [5] we obtain that every partially ordered topological space is a spring ordered transversal space. It is easy to see that T and X satisfy all the required hypotheses in Corollary 3, thus T has at least countable or finite fixed points in X. The proof is complete. □

### Proof of Theorem 3

Let $$M(x):=A(x,T(x))$$ and $$N(x):=B(x,T(x))$$, then it is easy to see that A, B, and X satisfy all the required hypotheses in Theorem 4. Uniqueness follows immediately from conditions (3) and (3′). The proof is complete. □

In 1976 Tasković proved a localization theorem on a Cartesian product of metric spaces as a solution of Kuratowski’s problem of 1932, see Brown [18], Reny George and Brian Fisher [19], Tasković [5], etc. In this context the following result holds.

Let X be an arbitrary topological space. By Tasković [10], for a mapping $$T:X^{k}\to X$$ ($$k\in\Bbb{N}$$ is a fixed number), we will construct the iteration sequence$$\{T^{n}(u)\}_{n\in\Bbb{N}}$$ for an arbitrary point $$u:=(u_{1},\ldots,u_{k})\in X^{k}$$ in the following sense. Let $$T^{0}:=$$Identical mapping and
$$T^{n}:=T\psi^{n-1}\quad (n=1,2,\ldots),$$
(Is)
where $$\psi:X^{k}\to X^{k}$$ defined by $$\psi(u_{1},\ldots,u_{k})=(u_{2},\ldots,u_{k+1})$$ for the element of the form $$u_{k+1}=T(u_{1},\ldots, u_{k})$$ and $$\psi^{0}=\mbox{Identical mapping}$$.

We are now in a position to formulate the following statement for mappings of Cartesian product topological spaces.

Let for $$x:=(x_{1},\ldots, x_{k})$$ and $$T:X^{k}\to X$$ ($$k\in\Bbb{N}$$ is a fixed number). Also, . A function $$t\mapsto A(t,T(t,\ldots,t))$$ is T-orbital lower semicontinuous at $$p\in X$$ iff $$T^{n}(x)\to p$$$$(n\to\infty)$$ implies that $$A(p,T(p,\ldots,p))\leqslant\liminf_{n\to\infty} A(T^{n}(x),T(T^{n}(x),\ldots,T^{n+k-1}(x)))$$.

In the following, we consider an increasing function$$T:X^{k}\to X$$ (for fixed $$k\in\Bbb{N}$$) on the partially ordered set X with ordering , i.e., if $$(i=1,\ldots, k)$$ implies that .

### Corollary 12

LetTbe an increasing mapping of a Cartesian product of topological spaces$$X^{k}$$ ($$k\in\Bbb{N}$$is a fixed number) intoXwhich is partially ordered with ordering, wheresatisfies the condition of spring sup MCS-convergence. Suppose that there exists a controlling function$$B:X\times X\to [a,b)\subset P$$for$$a\prec b$$such thatfor all$$u_{1}, \ldots, u_{k}, u_{k+1}\in X$$orfor all$$u_{1}, \ldots, u_{k}, u_{k+1}\in X$$, where$$x:=(u_{1}, \ldots, u_{k})$$. Iffor some$$r\in X$$, then the equation$$x=T(x,\ldots, x)$$has at least countable or finite solutions onX. If additionally$$A(t, t)\preccurlyeq \sup\{A(s, t), A(t, s)\}$$for all$$s, t\in X$$, then there is unique$$\zeta\in X$$such that$$T(\zeta, \ldots, \zeta)=\zeta$$.

The proof of this statement is a total analogy with the former proof of Corollary 3. Thus we omit it.

Further, a mapping $$M:\Bbb{R}\to[a,b]\subset\Bbb{R}_{+}^{0}$$ for $$a< b$$ is called an upper (distribution) function if it is nonincreasing, left-continuous with $$\inf M=a$$, and $$\sup M=b$$. We will denote by the set of all upper (distribution) functions.

The next two spaces are very interesting examples of transversal upper spaces. First, an upper statistical space is a pair $$(X,{\mathcal {R}})$$, where X is an abstract set and $${\mathcal {R}}$$ is a mapping of $$X\times X$$ into the set of all upper (distribution) functions . We shall denote the upper (distribution) function $${\mathcal {R}}(u,v)$$ by $$M_{u,v}(x)$$ or $$M_{u,v}$$, whence the symbol $$M_{u,v}(x)$$ will denote the value of $$M_{u,v}$$ at $$x\in\Bbb{R}$$. The functions $$M_{u,v}$$ are assumed to satisfy the following conditions: $$M_{u,v}=M_{v,u}$$, $$M_{u,v}(c)=b$$ for some $$c\in\Bbb{R}$$, and
$$M_{u,v}(x)=a \quad \mbox{for } x>c \quad \mbox{if and only if} \quad u=v,$$
(Eq)
and if $$M_{u,r}(x)=a$$ and $$M_{r,v}(y)=a$$ imply $$M_{u,v}(x+y)=a$$ for all $$u,v,r\in X$$ and for all $$x,y\in\Bbb{R}$$.
In view of the condition $$M_{u,v}(c)=b$$, which evidently implies that $$M_{u,v}(x)=b$$ for every $$x\le c$$, condition (Eq) is equivalent to the statement $$u=v$$ if and only if $$M_{u,v}(x)=A(x)$$, where $$A(x)=b$$ if $$x\le c$$ and $$A(x)=a$$ if $$x>c$$. See Fig. 2.

Obviously, every metric space may be regarded as an upper statistical space of a special kind. One has only to set $$M_{u,v}(x)=A(x-d(u,v))$$ for every pair of points $$(u,v)$$ in the metric space $$(X,d)$$. Also, $$M_{u,v}(x)$$ may be interpreted as the “measure” that the distance between u and v is less than x.

A very characteristic example, for further work, of the transversal upper edges spaces is the following space in the following form.

A transversal upper edgesT-space is a pair $$(X,\rho)$$, where X is a transversal upper edges space and where the upper (edges) transverse $$\rho[u,v]=M_{u,v}(x)$$ satisfies $$M_{u,v}=M_{v,u}$$, $$M_{u,v}(c)=b$$ for some $$c\in\Bbb{R}$$ and (Eq).

Next, the concept of a neighborhood can be introduced and defined with the aid of the upper edges transverse. In fact, neighborhoods in transversal upper edges spaces may be defined in several nonequivalent ways. Here, we shall consider only one of these.

If $$p\in X$$, $$\mu> c$$ for some $$c\in\Bbb{R}$$ and r is a positive real, then a $$(\mu,r)$$-neighborhood of p, denoted by $$U_{p}(\mu,r)$$, is defined by
$$U_{p}(\mu,r)= \bigl\{ q\in X:\rho(p,q)=M_{p,q}(\mu)< a+r \bigr\} .$$

### Corollary 13

LetTbe an increasing mapping of a transversal upper edgesT-space, partially ordered with ordering, into itself, whereXsatisfies the condition of spring sup MCS-convergence. Suppose that there exists an upper function$$K_{x, y}(t)$$, as a controlling function, such that
$$M_{Tx, Ty} (t)\le K_{x, y} \bigl(\varphi(t)\bigr)< \sup _{z, r\in\sigma(x,y, \infty)} M_{z,r}\bigl(\varphi(t)\bigr)$$
(6)
for all$$x, y\in X$$or
$$M_{Tx, Ty} (t)< K_{x,y}\bigl(\varphi(t)\bigr) \le \sup_{z, r\in \sigma(x, y, \infty)} M_{z, r}\bigl(\varphi(t)\bigr)$$
(6′)
for all$$x, y\in X$$, where$$\varphi: \Bbb{R}\to\Bbb{R}$$is an increasing function satisfying$$\varphi^{n}(t)\to+\infty$$$$(n\to\infty)$$. Iffor some$$r\in X$$, thenThas a unique fixed point inX.

The proof of this statement is a total analogy with the preceding proofs as consequences of the main statements. Thus we omit it.

In connection with the above, applying our general principle of transpose for non-numerical transverses (see Tasković [5, p. 89]) to Corollary 13, we get an extended and generalized version of this result in the following sense.

Indeed, let be a totally ordered set. A mapping for $$a\prec b$$, where $$P:=(P,\preccurlyeq )$$ is a partially ordered set is called an upper ordered (distribution) function if it is nonincreasing with $$\inf M=a$$ and $$\sup M=b$$. We will denote by the set of all upper ordered (distribution) functions.

The next two spaces are very interesting examples of transversal ordered upper spaces. First, an upper ordered statistical space is a pair $$(X,{\mathcal {R}})$$, where X is an abstract set and $${\mathcal {R}}$$ is a mapping of $$X\times X$$ into the set of all upper ordered (distribution) functions . We shall denote the upper ordered (distribution) function $${\mathcal {R}}(u,v)$$ by $$M_{u,v}(x)$$ or $$M_{u,v}$$, hence the symbol $$M_{u,v}(x)$$ will denote the value of $$M_{u,v}$$ at . The functions $$M_{u,v}$$ are assumed to satisfy the following conditions: $$M_{u,v}=M_{v,u}$$, $$M_{u,v}(c)=b$$ for some , and
$$M_{u,v}(x)=a\quad \mbox{for } x\succ c\quad \mbox{if and only if} \quad u=v,$$
(Eq)
and if $$M_{u,r}(x)=a$$ and $$M_{r,v}(y)=a$$ imply $$M_{u,v}(x+y)=a$$ for all $$u,v,r\in X$$ and for all .

In view of the condition $$M_{u,v}(c)=b$$, which evidently implies that $$M_{u,v}(x)=b$$ for every $$x\preccurlyeq c$$, condition (Eq) is equivalent to the statement $$u=v$$ if and only if $$M_{u,v}(x)=A(x)$$, where $$A(x)=b$$ if $$x\preccurlyeq c$$ and $$A(x)=a$$ if $$x\succ c$$. See Fig. 2.

Also, $$M_{u,v}(x)$$ may be interpreted as the “measure” that the distance between u and v is less than .

A very characteristic example, for further work, of the transversal ordered upper edges spaces is the following space in the following form.

A transversal upper ordered edgesT-space is a pair $$(X,\rho)$$, where X is a transversal upper ordered edges space and where the upper ordered (edges) transverse $$\rho(u,v)=M_{u,v}(x)$$ satisfies $$M_{u,v}=M_{v,u}$$, $$M_{u,v}(c)=b$$ for some , and (Eq).

If $$p\in X$$, $$\mu\succ c$$ for some and $$r\succ a$$, then a $$(\mu,r)$$-neighborhood of p, denoted by $$U_{p}(\mu,r)$$, is defined by
$$U_{p}(\mu,r)= \bigl\{ q\in X:\rho(p,q)=M_{p,q}(\mu)\prec r \bigr\} .$$

Applying our general principle of transpose for partially ordered sets to Corollary 13 and to upper spring ordered transversal space for $$A(u,v):=M_{u,v}(x)$$directly, we get an extended and generalized version of Corollary 13 in the following form.

### Corollary 14

LetTbe an increasing mapping of an upper transversal spring ordered spacefor$$A:=M_{u,v}(t)$$with the property (Eq) into itself, whereXsatisfies the condition of spring sup MCS-convergence. Suppose that there exists an increasing function (is a totally ordered set) such that$$t\prec\varphi(t)$$for everyand for somethe following equality holds:
$$\lim_{n\to\infty} M_{u,v}\bigl(\varphi^{n}(t) \bigr)=a\quad \textit{for every } t\succ c,$$
and there exists an upper function$$K_{x, y}(t)$$, as a controlling function, such that
$$M_{Tx, Ty} (t)\preccurlyeq K_{x, y} \bigl(\varphi(t)\bigr)\prec\sup _{z, r\in\sigma(x,y, \infty)} M_{z,r}\bigl(\varphi(t)\bigr)$$
(7)
for all$$x, y\in X$$or
$$M_{Tx, Ty} (t)\prec K_{x,y}\bigl(\varphi(t)\bigr) \preccurlyeq \sup_{z, r\in \sigma(x, y, \infty)} M_{z, r}\bigl(\varphi(t)\bigr)$$
(7′)
for all$$x, y\in X$$. Iffor some$$r\in X$$, thenThas a unique fixed point inX.

The proof of this statement is a total analogy with the preceding proofs as consequences of the main statements. Thus we omit it.

### Corollary 15

LetTbe an increasing mapping of a transversal upper edgesT-space (partially ordered with ordering), into itself, whereXsatisfies the condition of spring sup MCS-convergence. Suppose that there exists an increasing function$$\varphi:[c,+\infty)\to[c,+\infty)$$for some fixed$$c\in\Bbb{R}$$satisfying
$$\lim_{n\to\infty} \varphi^{n}(t)=+\infty\quad \textit{for every } t >c$$
(As)
such that:
$$M_{Tu,Tv}(x)\le\max \bigl\{ M_{u,v} \bigl(\varphi(x) \bigr),M_{u,Tu} \bigl(\varphi(x) \bigr),M_{v,Tv} \bigl(\varphi(x) \bigr),M_{u,Tv} \bigl(\varphi(x) \bigr),M_{v,T(u)} \bigl(\varphi(x) \bigr) \bigr\}$$
for all$$u,v\in X$$and for every$$x>c$$. Iffor some$$r\in X$$, thenThas a unique fixed point inX.

We notice that in 2001 Tasković proved a special case of this statement on a transversal upper edges T-space $$X:=(X,M_{u,v}(t))$$. Also, in 1998 Tasković introduced the concept of upper, lower, and middle transversal edges spaces.

In the context of this statement the following conditions are special cases of condition :

(1) There exists a constant $$0< k<1$$ such that, for all $$p,q\in X$$, for some fixed $$c\in\Bbb{R}$$, and for every $$x>c$$, the following inequality holds:
$$M_{Tp, Tq}(x)\le M_{p,q} \biggl(\frac{x}{k} \biggr).$$
(2) There exists a nondecreasing function $$\varphi:[c,+\infty)\to[c,+\infty)$$ for some fixed $$c\in\Bbb{R}$$ satisfying (As) such that, for some fixed $$0< k<1$$, for all $$u,v\in X$$, and for every $$x>c$$, the following inequality holds:
$$M_{Tu,Tv}\bigl(\varphi(kx)\bigr)\le \max \bigl\{ M_{u,v} \bigl( \varphi(x) \bigr), M_{u,Tu} \bigl(\varphi(x) \bigr), M_{v,Tv} \bigl(\varphi(x) \bigr), M_{u,Tv} \bigl(\varphi(x) \bigr), M_{v,Tu} \bigl(\varphi(x) \bigr) \bigr\} .$$
(3) There exists a constant $$0< k<1$$ such that, for all $$u,v\in X$$, for some fixed $$x\in\Bbb{R}$$, and for every $$x>c$$, the following inequality holds:
$$M_{Tu,Tv}(kx)\le\max \bigl\{ M_{u,v}(x),M_{u,Tu}(x),M_{v,Tv}(x),M_{u,Tv}(x),M_{v,Tu}(x) \bigr\}$$
or in an equivalently form as
$$M_{Tu,Tv}(x) \le\max \biggl\{ M_{u,v} \biggl(\frac{x}{k} \biggr), M_{u,Tu} \biggl(\frac{x}{k} \biggr), M_{v,Tv} \biggl(\frac{x}{k} \biggr), M_{u,Tv} \biggl(\frac{x}{k} \biggr),M_{v,Tu} \biggl(\frac{x}{k} \biggr) \biggr\} .$$

### Corollary 16

LetTbe an increasing mapping of an upper spring ordered transversal spacefor$$A(u,v):=M_{u,v}(t)$$with the property (Eq) into itself, whereXsatisfies the condition of upper MCS-convergence. Suppose that there exists an increasing function (is a totally ordered set) such that$$t\prec\varphi(t)$$for everyand for some fixedthe following equality holds:
$$\lim_{n\to\infty} M_{u,v} \bigl(\varphi^{n}(t) \bigr)=a\quad \textit{for every } t\succ c,$$
and
$$M_{Tu,Tv}(x)\preccurlyeq \sup \bigl\{ M_{u,v} \bigl(\varphi(x) \bigr),M_{u,Tu} \bigl(\varphi(x) \bigr),M_{v,Tv} \bigl(\varphi(x) \bigr),M_{u,Tv} \bigl(\varphi(x) \bigr),M_{v,T(u)} \bigl(\varphi(x) \bigr) \bigr\}$$
for all$$u,v\in X$$and for every$$x\succ c$$. Iffor some$$r\in X$$, thenThas a unique fixed point inX.

### Proof

Applying the general principle of transpose for posets to Corollary 15, we get a directly extended and generalized version of a result given in Corollary 15. The proof is complete. □

### Annotations

The results of Corollaries 15 and 16 are two immediate consequences of Corollary 3. Uniqueness follows immediately from the conditions of given inequalities.

Spring lower ordered spaces. Let X be a nonempty set, and let $$P:=(P,\preccurlyeq )$$ be a partially ordered set such that $$a, b\in P$$ and $$a\prec b$$. The set (interval) $$(a, b]$$ is defined by
$$(a, b]:=\{t\in P: a\prec t\preccurlyeq b\}.$$

The function $$A: X\times X\to(a, b]\subset P$$ for $$a\prec b$$ is called a lower spring ordered transverse (or lower spring ordered transversal) on a nonempty set X iff $$A(x, y)=b$$ if and only if $$x=y$$ for all $$x, y\in X$$.

A lower spring ordered transversal space is a nonempty partially ordered set X (with ordering ) together with a given lower spring ordered transverse A on X, where every increasing sequence $$\{u_{n}\}_{n\in\Bbb{N}}$$ of elements in $$(a, b]$$ has a unique element u in $$(a, b]$$ as limit (in notation $$u_{n}\to u$$$$(n\to\infty)$$). The element $$b\in(a, b] \subset P$$ is called spring of spaceX (cf. [5]).

In 1986 we investigated the concept of lower spring ordered TCS-convergence in a space X, i.e., a lower spring ordered transversal space $$X:=(X, A)$$ satisfies the condition of lower spring ordered TCS-convergence iff $$x\in X$$ and if $$A(T^{n} (x), T^{n+1}(x)) \to b$$$$(n\to\infty)$$ implies that $$\{T^{n} (x)\}_{n\in\Bbb{N}}$$ has a convergent subsequence in X, see Tasković [5].

In connection with the above, we shall introduce the concept of lower MCS-convergence, i.e., a lower spring ordered transversal space satisfies the condition of lower MCS-convergence (i.e., lower MSC-completeness) iff $$x\in X$$ and if $$A(f^{n}(x),f^{n+1}(x))\to b$$$$(n\to\infty)$$ implies that $$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$ is bounded X.

We notice that the sequence $$\{x_{n}\}_{n\in\Bbb{N}}$$ in the lower spring ordered transversal space $$X:=(X,A)$$ is convergent (or lower convergent) in notation $$x_{n}\to x$$$$(n\to\infty)$$ iff $$A(x_{n}, x)\to b$$ as $$n\to\infty$$; or equivalently, for an increasing sequence $$\{b_{n}\}_{n\in\Bbb{N}} \in(a, b]$$ which converges to b, the following inequality holds:
$$A(x_{n}, x)\succ b_{n} \quad \mbox{for every }n\in\Bbb{N},$$
or for n large enough.
On the other hand, in connection with this, the sequence $$\{x_{n}\}_{n \in\Bbb{N}}$$ in X will be called lower fundamental (or lower spring fundamental) if the following inequality holds:
$$A(x_{n}, x_{m})\succ b_{n} \quad \mbox{for all }n, m\in \Bbb{N}\ (n< m),$$
or for n and m large enough, where the increasing sequence $$\{b_{n}\}_{n\in\Bbb{N}}\in(a, b]$$ converges to b (cf. [5]).

A lower spring ordered transversal space is called lower complete (or lower spring complete) if any lower fundamental sequence $$\{x_{n}\}_{n\in\Bbb{N}}$$ in X is lower convergent (to a point of X, of course).

In connection with the preceding facts, based on Lemma 1 and Theorem 1, we are now in a position to formulate the following new statements as direct consequences of the Axiom of Infinite Choice.

### Corollary 17

Let$$P:=(P,\preccurlyeq )$$be a partially ordered set andfbe an increasing mapping fromPintoP. If the following set$$P(f\preccurlyeq ):=\{x\in P:f(x)\preccurlyeq x\}$$is nonempty such that there exists the infimum$$I:=\inf P(f\preccurlyeq )$$, thenfhas at least countable or finite fixed points.

For the first time, in 1980 Tasković proved that f has at least one fixed point for the preceding case of Corollary 17. Further application of the Axiom of Infinite Choice follows Corollary 17, which is a dual form of Corollary 1. The proof is a total analogy with the proof of Corollary 2.

### Corollary 18

Let$$P:=(P,\preccurlyeq )$$be a partially ordered set andfbe an increasing mapping fromPintoPsuch that
$$f(a)\preccurlyeq a \quad \textit{for some } a\in P,$$
(R)
where every decreasing sequence of iterates$$\{f^{n}(x)\}_{n\in\Bbb {N}\cup\{0\}}$$inPis bounded, thenfhas at least countable or finite fixed points inP.

This statement is a dual form of Corollary 2. Thus we omit the proof of Corollary 18.

Lower spring ordered transversal spaces. In this paper we shall introduce the concept of lower MBV-convergence, i.e., a lower spring ordered transversal space $$X:=(X,\preccurlyeq ,A)$$ satisfies the condition of lower MBV-convergence (i.e., lower MBV-completeness) if every decreasing sequence of iterates $$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$ in X is bounded.

As an immediate direct consequence of the preceding Corollary 18, we give the following new result for lower spring ordered transversal spaces.

### Corollary 19

Letfbe an increasing mapping of a lower spring ordered transversal space$$X:=(X,\preccurlyeq ,A)$$into itself, whereXsatisfies the condition of lower MBV-convergence. If
$$f(a)\preccurlyeq a \quad \textit{for some } a\in X,$$
(R)
thenfhas at least countable or at least finite fixed points inX.

The proof of this statement is an elementary fact because the condition of lower MBV-completeness implies that every decreasing sequence of iterates is bounded in Corollary 18.

### Corollary 20

Letfbe an increasing mapping of a lower spring ordered transversal space$$X:=(X,\preccurlyeq ,A)$$into itself, where every decreasing sequence of iterates$$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$inXis lower fundamental. If
$$f(a)\preccurlyeq a\quad \textit{for some } a\in X,$$
(R)
thenfhas at least countable or at least finite fixed points inX.

### Proof

Since $$f(a)\preccurlyeq a$$ and f is isotone, we find $$\{f^{n}(x)\}_{n\in\Bbb {N}\cup\{0\}}$$ is a decreasing sequence of iterates which is lower fundamental, i.e., bounded in X. It is easy to see that X satisfies all the required hypotheses in Corollary 19. Applying Corollary 19 to this case, we obtain this statement. The proof is complete. □

### Corollary 21

(Partially ordered metric spaces)

Letfbe an increasing mapping of an ordered metric space$$X:=(X,\preccurlyeq ,A)$$into itself, where every decreasing sequence of iterates$$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$inXis a Cauchy sequence. If
$$f(a)\preccurlyeq a \quad \textit{for some } a\in X,$$
(R)
thenfhas at least countable or at least finite fixed points inX.

### Proof

Since an ordered metric space is an example of a lower spring ordered transversal space, thus this statement follows directly from Corollary 20. The proof is complete. □

### Corollary 22

(Lower spring ordered transversal spaces)

Letfbe an increasing mapping of a lower spring ordered transversal space$$X:=(X,\preccurlyeq ,A)$$into itself, where every increasing and decreasing sequence of iterates$$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$inXis bounded. If
$$f(a)\preccurlyeq a \quad \textit{for some } a\in X,$$
(R)
or
$$x\prec f(x) \quad \textit{for every } x\in X,$$
(E)
thenfhas at least countable or at least finite fixed points inX.

The proof of this statement is a total analogy with the preceding proofs of Corollaries 2 and 3 (because Corollary 22 is a dual form of Corollary 6). Thus we omit it.

### Corollary 23

(Partially ordered metric spaces)

Letfbe an increasing mapping of an ordered metric space$$X:=(X,\preccurlyeq ,\rho)$$into itself, where every increasing and decreasing sequence of iterates$$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$inXis a Cauchy sequence. If (R) or (E) holds, thenfhas at least countable or finite fixed points inX.

This result is an example for Corollary 22. Also, Corollary 23 is a dual form of Corollary 7. Thus we omit the proof.

Transversal lower edges spaces. Let X be a nonempty set. The function $$\rho: X \times X \to[a,b] \subset\Bbb{R}_{+}^{0}$$ (or $$\rho:X\times X\to(a,b]\subset \Bbb{R}_{+}^{0}$$) for $$a< b$$ is called a lower edges transverse on X (or lower edges transversal) iff $$\rho(x, y)=\rho(y, x)$$, $$\rho(x, y)=b$$ if and only if $$x=y$$, and if there is a function $$d: [a,b]^{2}\to[a,b]$$ such that
$$\rho(x, y)\ge\min \bigl\{ \rho(x, z), \rho(z, y), d \bigl(\rho(x, z), \rho(z, y) \bigr) \bigr\}$$
(Ca)
for all $$x, y, z \in X$$.

A lower edges transversal space (or lower edges space) is a set X together with a given lower edges transverse on X. The function $$d:[a,b]^{2}\to[a,b]$$ in (Ca) is called a lower bisection function.

From (Ca) it follows by induction that there is a function for $$a< b$$ such that the following inequality holds:
for all $$x_{0}, x_{1},\ldots, x_{n} \in X$$ and for an arbitrary fixed integer $$n\ge2$$.

### Example 4

(Metric spaces)

A fundamental first example of lower edges transversal space is a metric space. Indeed, if $$(X, q)$$ is a metric space, then for the lower bisection function $$d(r, t)=r+t$$, we have the following lower edges transverse $$\rho:X\times X\to[a,b]\subset\Bbb{R}_{+}^{0}$$ for $$a< b$$ defined by
$$\rho(x, y)=\frac{(a-b)q(x,y)}{1+q(x,y)}+b$$
for all $$x, y \in X$$. Thus $$(X, \rho)$$ is an example of a lower edges transversal space. In general, every metric space is an example of a lower edges transversal space.

### Example 5

(Lower probabilistic spaces)

A mapping $$F: \Bbb{R}\to\Bbb{R}_{+}^{0}$$ is called a distribution function if it is nondecreasing, left-continuous with $$\inf F=0$$ and $$\sup F=1$$. We will denote by the set of all distribution functions. We shall denote the distribution function by $$F_{p, q}(x)$$, whence $$F_{p, q}(x)$$ will denote the value of $$F_{p, q}$$ at $$x\in\Bbb{R}$$.

An example of lower edges transversal space is a lower probabilistic space which is a nonempty set X together with the functions $$F_{p, q}(x)$$ with the following properties: $$F_{p, q}(x)=F_{q, p}(x)$$, $$F_{p, q}(0)=0$$,
$$F_{p, q}(x)=1 \quad \mbox{for }x>0\quad \mbox{if and only if}\quad p=q,$$
and if there is a nondecreasing function $$\tau:[0, 1]^{2}\to[0, 1]$$ with the property $$\tau(t, t)\ge t$$ for all $$t\in[0, 1]$$ such that
$$F_{p, q}(x+y)\ge\tau\bigl(F_{p, r}(x), F_{r, q}(y)\bigr)$$
(Nm)
for all $$p, q, r \in X$$ and for all $$x, y\ge0$$. If we choose a lower bisection function $$d: [0,1]^{2}\to[0, 1]$$ such that $$d=\tau$$ (from (Nm)), then we immediately obtain that every lower probabilistic space, for $$\rho[p, q]=F_{p, q}(x): X \times X \to[0, 1]$$, is a lower edges transversal space.

### Example 6

(Transversal lower edges r-spaces)

A fundamental example of a transversal lower edges space is a transversal lower edgesr-space (for $$0< r\le1$$). In 1998 this space was known as a transversal lower space. For $$d(s,t):=r\min\{s,t\}$$ and $$0< r\le1$$, we obtain directly in this case the transversal lower edges r-space. This space is known for $$0< r\le1$$ as a transversal lower edgesr-min space or only as an r-min edges space. For this, see Tasković [16].

For any nonempty set S in the lower edges transversal space X, the diameter of S is defined as $$\operatorname {diam}(S):=\inf \{\rho(x, y): x, y \in S \}$$; it is a real number in $$[a,b]$$, $$A\subset B$$ implies $$\operatorname {diam}(B)\le \operatorname {diam}(A)$$. The relation $$\operatorname {diam}(S)=b$$ holds if and only if S is a one-point set.

Elements of a lower edges transversal space will usually be called points. Given a lower edges transversal space $$(X, \rho)$$, with the bisection function $$d:[a,b]^{2}\to[a,b]$$ and a point $$z \in X$$, the open ball of centerz and radius $$r>0$$ is the set
$$d \bigl(B(z, r) \bigr)= \bigl\{ x \in X: \rho(z, x)>b-r \bigr\} .$$

The convergence$$x_{n}\to x$$ as $$n\to\infty$$ in the lower edges transversal space $$(X, \rho)$$ means that $$\rho(x_{n}, x)\to b$$ as $$n\to\infty$$; or equivalently, for every $$\varepsilon>0$$, there exists an integer $$n_{0}$$ such that the relation $$n\ge n_{0}$$ implies $$\rho(x_{n}, x)>b-\varepsilon$$.

The sequence $$\{x_{n}\}_{n\in\Bbb{N}}$$ in the lower edges transversal space $$(X, \rho)$$ is called a transversal sequence (or a lower Cauchy sequence) iff for every $$\varepsilon>0$$ there is $$n_{0}=n_{0}(\varepsilon)$$ such that
$$\rho(x_{n}, x_{m})>b-\varepsilon \quad \mbox{for all } n, m \ge n_{0}.$$
Let $$(X, \rho)$$ be a lower edges transversal space and $$T:X\to X$$. We notice, from Tasković [16], that a sequence of iterates $$\{T^{n}(x)\}_{n\in\Bbb{N}}$$ in X is said to be a transversal sequence if and only if
$$\lim_{n\to\infty} \bigl(\operatorname {diam}\bigl\{ T^{k}(x): k\ge n\bigr\} \bigr)=b.$$

In this sense, a lower edges transversal space is called lower complete iff every transversal sequence converges.

Also, a space $$(X, \rho)$$ is said to be lower orbitally complete (or lowerT-orbitally complete) iff every transversal sequence which is contained in for some $$x \in X$$ converges in X.

A function T mapping X into the reals is T-orbitally upper semicontinuous at $$p \in X$$ iff $$\{x_{n}\}_{n\in\Bbb{N}}$$ is a sequence in and $$x_{n}\to p$$ ($$n\to\infty$$) implies that $$T(p)\ge \operatorname {lim.sup}T(x_{n})$$.

Let $$(X, \rho)$$ be a lower edges transversal space. A mapping $$T: X\to X$$ is said to be lower edges contraction if there exists $$0\le\lambda<1$$ such that
$$\rho \bigl(T(x), T(y) \bigr)\ge\lambda\rho(x,y)+b(1-\lambda)$$
(Le)
for all points $$x, y \in X$$. For further facts on the lower edges contraction, see Tasković [6].

Let $$(X, \rho_{X})$$ and $$(Y, \rho_{Y})$$ be two lower edges transversal spaces, and let $$T: X\to Y$$.

We notice from Tasković [6] that T is lower edges continuous at $$x_{0} \in X$$ iff for every $$\varepsilon>0$$, there exists $$\delta>0$$ such that the relation
$$\rho_{X}(x_{0}, x)>b-\delta \quad \mbox{implies}\quad \rho_{Y} \bigl(T(x_{0}), T(x) \bigr)>b-\varepsilon.$$

A typical first example of a lower edges continuous mapping is the lower edges contraction on the lower edges transversal space $$(X, \rho)$$. For further facts on the lower edges continuous mappings, see Tasković [6].

In connection with the preceding facts, we are now in a position to formulate a localization for lower edges contractions in the following form.

### Proposition 5

Letfbe an increasing mapping of a partially ordered transversal lower edges space$$X:=(X,\preccurlyeq ,\rho)$$into itself, whereXsatisfies the condition of the lower MCS-convergence. Suppose that there exists$$0\le\lambda<1$$such that
$$\rho \bigl(f(x),f^{2}(x) \bigr)\ge\lambda\rho \bigl(x,f(x) \bigr)+b(1-\lambda)$$
(Cl)
for every$$x\in X$$. If$$f(r)\preccurlyeq r$$for some$$r\in X$$, thenfhas at least countable or finite fixed points inX.

### Proof

We notice that a partially ordered transversal lower edges space $$X:=(X,\preccurlyeq , \rho)$$ is an example of a lower spring ordered transversal space. From (Cl) it follows $$\rho(f^{n}(x), f^{n+1}(x))\to b$$$$(n\to\infty)$$, hence by lower MCS-completeness, we obtain that every decreasing sequence of iterates $$\{f^{n}(x)\}_{n\in\Bbb{N}\cup\{0\}}$$ in X is bounded, i.e., X satisfies the condition of lower MBV-completeness. It is easy to see that f and X satisfy all the required hypotheses in Corollary 19, thus f has at least countable or finite fixed points in X. The proof is complete. □

### Proposition 6

Letfbe an increasing mapping of a partially ordered transversal lower edges space$$X:=(X,\preccurlyeq ,\rho)$$into itself. Suppose that there exists$$0\le\lambda<1$$such that
$$\rho \bigl(f(x),f(y) \bigr)\ge\lambda\rho(x,y)+b(1-\lambda)$$
(Ld)
for all$$x,y\in X$$. If$$f(r)\preccurlyeq r$$for some$$r\in X$$, thenfhas a unique fixed point inX. (The spaceXin this statement is not obligatory complete).

### Proof

Let $$y=f(x)$$ in (Ld), then it is easy to see that f and X satisfy all the required hypotheses in Proposition 5. Uniqueness follows immediately from condition (Ld). The proof is complete. □

### Proposition 7

Letfbe an increasing mapping of a partially ordered transversal lower edges space$$X:=(X,\preccurlyeq ,\rho)$$into itself. Suppose that there exists a function$$\varphi:[a,b]\to[a,b]$$satisfying
$$\bigl(\forall t\in[a,b) \bigr) \quad \Bigl(\varphi(t)>t\textit{ and } \liminf_{z\to t-0}\varphi(z)>t \Bigr)$$
(Id)
such that
$$\rho \bigl(f(x),f(y) \bigr)\ge\varphi \bigl(\operatorname {diam}\bigl\{ x,y,f(x),f(y),f^{2}(x),f^{2}(y),\ldots \bigr\} \bigr)$$
(D)
for all$$x,y\in X$$. If$$f(r)\preccurlyeq r$$for some$$r\in X$$, thenfhas a unique fixed point inX. (The spaceXin this statement is not obligatory complete.)

The proof of this statement is a total analogy with the preceding proofs of Propositions 5 and 6. Thus we omit it.

A brief proof of this statement may be found in Tasković [6] with application of the following context.

### Lemma 3

Let the mapping$$\varphi:[a,b]\to[a,b]\subset\Bbb{R}_{+}^{0}$$for$$a< b$$have the property (Id). If the sequence$$(x_{n})$$of nonnegative real numbers satisfies the condition
$$x_{n+1}\ge\varphi(x_{n}), \quad n \in\Bbb{N},$$
then the sequence$$(x_{n})$$tends tob. The velocity of this convergence is not necessarily geometrical.

A brief first proof of this statement may be found in Tasković [6]. We notice that Lemma 3 is a dual form of Lemma 2.

As an immediate consequence of the preceding Proposition 7, we obtain directly the following interesting cases of (D):

(6) There exists a nondecreasing function $$\varphi: [a,b]\to[a,b]\subset\Bbb{R}_{+}^{0}$$ for $$a< b$$ satisfying $$\liminf_{z\to t-0}\varphi(z)>t$$ for every $$t\in[a, b)$$ such that
$$\rho \bigl(f(x), f(y) \bigr)\ge\varphi \bigl(\operatorname {diam}\bigl\{ x, y, f(x), f(y)\bigr\} \bigr)$$
for all $$x, y \in X$$.
(7) (Special affine case of condition (D) for$$\varphi(t)=\alpha t+b(1-\alpha)$$.) There exists a constant $$\alpha\in[0, 1)$$ such that, for all $$x, y \in X$$, the following inequality holds:
$$\rho \bigl(f(x), f(y) \bigr) \ge\alpha \operatorname {diam}\bigl\{ x, y, f(x), f(y) \bigr\} +b(1- \alpha),$$
i.e., equivalent to
$$\rho \bigl(f(x), f(y) \bigr) \ge\alpha\min \bigl\{ \rho(x,y), \rho \bigl(x,f(x) \bigr), \rho \bigl(y,f(y) \bigr), \rho \bigl(x, f(y) \bigr), \rho \bigl(y,f(x) \bigr) \bigr\} +b(1-\alpha).$$
(8) (The condition of$$(m+k)$$-polygon.) There exists a constant $$\lambda\in[0,1)$$ such that, for all $$x,y\in X$$, the following inequality holds:
$$\rho \bigl(f(x),f(y) \bigr) \ge \lambda \operatorname {diam}\bigl\{ x,y,f(x),f(y), \ldots,f^{m}(x),f^{k}(y) \bigr\} + b(1-\lambda)$$
for arbitrary fixed integers $$m,k\ge0$$. (This is a linear condition for the diameter of a finite number of points.)
(9) There exists a nondecreasing function $$\varphi: [a,b]\to[a,b]\subset\Bbb{R}_{+}^{0}$$ for $$a< b$$ satisfying $$\liminf_{z\to t-0}\varphi(z)>t$$ for every $$t\in[a, b)$$ such that
$$\rho \bigl(f(x), f(y) \bigr)\ge\varphi \bigl(\operatorname {diam}\bigl\{ x, y, f(x), f(y), \ldots, f^{m}(x), f^{k}(y) \bigr\} \bigr)$$
for arbitrary fixed integers $$m,k\ge0$$ and for all $$x, y \in X$$.
(10) There exists an increasing mapping $$\psi:[a,b]^{5}\to[a, b]\subset\Bbb{R}_{+}^{0}$$ for $$a< b$$ satisfying $$\liminf_{z\to t-0} \psi(z, z, z, z, z)>t$$ for every $$t\in[a, b)$$ such that
$$\rho \bigl(f(x), f(y) \bigr) \ge\psi \bigl(\rho(x, y), \rho \bigl(x, f(x) \bigr), \rho \bigl(y, f(y) \bigr), \rho \bigl(x,f(y) \bigr), \rho \bigl(y, f(x) \bigr) \bigr)$$
for all $$x, y \in X$$.

In connection with the preceding facts, we are now in a position to formulate a localization of Proposition 7 in the following form.

### Proposition 8

Letfbe an increasing mapping of a partially ordered transversal lower edges space$$X:=(X,\preccurlyeq ,\rho)$$into itself. Suppose that there exists a function$$\varphi:[a,b]\to[a,b]\subset\Bbb{R}_{+}^{0}$$for$$a< b$$satisfying (Id) such that
$$\operatorname {diam}\bigl\{ f(x),f^{2}(x),\ldots \bigr\} \ge\varphi \bigl( \operatorname {diam}\bigl\{ x,f(x),f^{2}(x),\ldots \bigr\} \bigr)$$
for every$$x\in X$$. If$$f(r)\preccurlyeq r$$for some$$r\in X$$, thenfhas at least countable or finite fixed points inX. (The spaceXin this statement is not obligatory complete.)

The proof of this statement is a total analogy with the preceding proof of Proposition 7. Thus we omit it.

A lower spring ordered transversal space is called lower complete (or lower spring complete) if any lower fundamental sequence $$\{x_{n}\}_{n\in\Bbb{N}}$$ in X is lower convergent (to a point of X, of course).

On the other hand, in this paper we shall introduce the concept of spring inf MCS-convergence, i.e., a lower spring ordered transversal space satisfies the condition of spring inf MCS-convergence iff $$x\in X$$ and if $$\inf_{i, j\ge n} A(T^{i}(x), T^{j}(x))$$ or $$\inf_{i, j\ge2n} A(T^{i} (x), T^{j}(x))$$ or $$\inf_{i, j\ge2n+1} A(T^{i} (x), T^{j}(x))$$ converges to $$u, v, c\in(a, b]$$ respectively implies that $$\{T^{n} (x)\}_{n\in\Bbb{N}}$$ or $$\{T^{2n}(x)\}_{n\in\Bbb{N}}$$ or $$\{T^{2n+1}(x)\}_{n\in\Bbb{N}}$$ is a bounded sequence in X, respectively.

### Theorem 5

(Monotone principle of fixed point)

LetTbe an increasing mapping of a lower spring ordered transversal spaceinto itself, whereXsatisfies the condition of spring inf MCS-convergence. Suppose that there exists a controlling function$$B:X\times X\to(a,b]$$for$$a\prec b$$such that
$$A\bigl(T(x), T(y)\bigr)\succcurlyeq B(x, y) \succ\inf_{z, r\in\sigma(x, y, \infty)} A(z, r) \succ a$$
(8)
for all$$x, y\in X$$or
$$A\bigl(T(x), T(y)\bigr)\succ B(x, y) \succcurlyeq \inf_{z, r \in\sigma(x, y,\infty)} A(z, r)\succ a$$
(8′)
for all$$x, y\in X$$. Iffor some$$r\in X$$, thenThas at least countable or finite fixed points inX.

If additionally$$A(t, t)\succcurlyeq \inf\{A(s, t), A(t, s)\}$$for all$$s, t\in X$$, thenThas a unique fixed point inX.

Let be a partially ordered with ordering topological space and $$T:X\to X$$, where $$M: X\to (a,b]\subset P$$ for $$a\prec b$$. In this part, we shall introduce the concept of local spring inf MCS-convergence in a space X, i.e., a topological space X satisfies the condition of local spring inf MCS-convergence iff $$x\in X$$ and $$\inf_{i\ge n} M(T^{i} (x))$$ or $$\inf_{i\ge2n} M(T^{i} (x))$$ or $$\inf_{i\ge2n+1} M(T^{i}(x))$$ converges to $$u, v, c\preccurlyeq b$$ respectively implies that $$\{T^{n}(x)\}_{n\in\Bbb{N}}$$ or $$\{ T^{2n}(x)\}_{n\in\Bbb{N}}$$ or $$\{T^{2n+1}(x)\}_{n\in\Bbb{N}}$$ is a bounded sequence in X, respectively.

We are now in a position to formulate the following theorem on partially ordered (with ordering ) topological spaces with non-numerical transverses.

### Theorem 6

(Localization monotone principle)

LetTbe an increasing mapping of a partially ordered with orderingtopological spaceinto itself, whereXsatisfies the condition of local spring inf MCS-convergence. Suppose that there exists a controlling function$$N: X\to (a,b]\subset P$$for$$a\prec b$$such that
$$M\bigl(T(x)\bigr)\succcurlyeq N(x) \succcurlyeq \inf_{z\in \sigma(x, \infty)} M(z) \succ a \quad \textit{for every }x\in X$$
(D)
andfor some$$r\in X$$. ThenThas at least countable or finite fixed points inX.

An immediate consequence of the preceding statement is the following result.

### Corollary 24

LetTbe an increasing mapping of a partially ordered with orderingtopological spaceinto itself, whereXsatisfies the condition of local spring inf MCS-convergence. Suppose that there exists a controlling function$$N: X\to(a,b]\subset P$$for$$a\prec b$$such that
$$M\bigl(T(x)\bigr)\succcurlyeq N(x)\succcurlyeq M(x)\quad \textit{for every }x\in X,$$
(D′)
andfor some$$r\in X$$. ThenThas at least countable or finite fixed points inX.

The proof of this statement is an elementary fact because condition (D′) implies condition (D).

### Proof of Theorem 6

Let $$x\in X$$ be an arbitrary point and $$n\in\Bbb{N}\cup \{0\}$$ be any nonnegative integers. From (D) for $$T^{i}(x)$$, we have $$M(T^{i+1}(x)) \succcurlyeq N(T^{i} (x))\succcurlyeq \inf_{z\in\sigma(T^{i} (x),\infty)} M(z)$$, and hence
$$\inf_{i\ge n+1} M\bigl(T^{i}(x)\bigr)\succcurlyeq \inf _{i\ge n} N\bigl(T^{i} (x)\bigr)\succcurlyeq \inf _{i\ge n} M\bigl(T^{i}(x)\bigr),$$
(9)
i.e., we obtain that $$\{\inf_{i\ge n} M(T^{i}(x))\}_{n\in\Bbb{N}}$$ is an increasing convergent sequence in $$(a,b]\subset P$$. This implies (from local spring inf MCS-convergence) that its sequence of iterates $$\{T^{n}(x)\}_{n\in \Bbb{N}}$$ is a bounded sequence in X, i.e., X satisfies the condition of lower MBV-completeness.

In the cases of other two sequences, in local spring inf MCS-convergence, the proof is a total analogy. Hence we omit the proof in these cases. It is easy to see that T and X satisfy all the required hypotheses in Corollary 19, thus T has at least countable or finite fixed points in X. The proof is complete. □

### Proof of Theorem 5

Let $$M(x):=A(x,T(x))$$ and $$N(x):=B(x,T(x))$$, then it is easy to see that A, B, and X satisfy all the required hypotheses in Theorem 6. Uniqueness follows immediately from conditions (8) and (8′). The proof is complete. □

### Corollary 25

LetTbe an increasing mapping of a Cartesian product of topological spaces$$X^{k}$$ ($$k\in\Bbb{N}$$is a fixed number) intoXwhich is partially ordered with ordering, wheresatisfies the condition of spring inf MCS-convergence. Suppose that there exists a controlling function$$B:X\times X\to (a,b]\subset P$$for$$a\prec b$$such thatfor all$$u_{1}, \ldots, u_{k}, u_{k+1}\in X$$orfor all$$u_{1}, \ldots, u_{k}, u_{k+1}\in X$$, where$$x:=(u_{1}, \ldots, u_{k})$$. Iffor some$$r\in X$$, then the equation$$x=T(x,\ldots, x)$$has at least countable or finite solutions onX. If additionally$$A(t, t)\succcurlyeq \inf\{A(s, t), A(t, s)\}$$for all$$s, t\in X$$, then there is a unique$$\zeta\in X$$such that$$T(\zeta, \ldots, \zeta)=\zeta$$.

Otherwise, a transversal edges space (or a middle transversal edges space) is an upper and a lower transversal edges space simultaneously.

As an important example of transversal lower edges spaces, we have Menger’s (probabilistic) space. Karl Menger introduced the notion of probabilistic metric space in 1942.

In this sense, a mapping $$N:\Bbb{R}\to[a,b]\subset\Bbb{R}_{+}^{0}$$ for $$a< b$$ is called a lower (distribution) function if it is nondecreasing, left-continuous with $$\inf N=a$$ and $$\sup N=b$$. We will denote by $$\mathcal{L}$$ the set of all lower (distribution) functions.

A lower statistical space is a pair $$(X,\mathcal{D})$$, where X is an abstract set and $$\mathcal{D}$$ is a mapping of $$X\times X$$ into the set of all lower (distribution) functions $$\mathcal{L}$$. We shall denote the lower ordered (distribution) function $$\mathcal {D}(p,q)$$ by $$N_{p,q}(x)$$ or $$N_{p,q}$$, whence the symbol $$N_{p,q}(x)$$ will denote the value of $$N_{p,q}$$ at $$x\in\Bbb{R}$$. The functions $$N_{p,q}$$ are assumed to satisfy the following conditions: $$N_{p,q}=N_{q,p},N_{p,q}(c)=a$$ for some $$c\in\Bbb{R}$$, and
$$N_{p,q}(x)=b \quad \mbox{for } x>c \quad \mbox{if and only if} \quad p=q,$$
(Em)
and if $$N_{p,q}(x)=b$$ and $$N_{q,r}(y)=b$$ imply $$N_{p,r}(x+y)=b$$ for all $$p,q,r\in X$$ and for all $$x,y\in\Bbb{R}$$.
In view of the condition $$N_{p,q}(c)=a$$ for some $$c\in\Bbb{R}$$, which evidently implies that $$N_{p,q}(x)=a$$ for all $$x\le c$$, condition (Em) is equivalent to the statement: $$p=q$$ if and only if $$N_{p,q}(x)=H(x)$$, where $$H(x)=a$$ if $$x\le c$$ and $$H(x)=b$$ if $$x>c$$. See Fig. 3.

Every metric space may be regarded as a statistical lower space of a special kind. One has only to set $$N_{p,q}(x)=H(x-\rho(p,q))$$ for every pair of points $$(p,q)$$ in the metric space $$(X,\rho)$$.

In connection with the above, a transversal lower edgesT-space is a pair $$(X,\rho)$$, where X is a transversal lower edges space and where the lower (edges) transverse $$\rho[u,v]=N_{u,v}(x)$$ satisfies $$N_{u,v}=N_{v,u}$$, $$N_{u,v}(c)=a$$ for some $$c\in\Bbb{R}$$ and (Em). This space is a very characteristic example of transversal lower edges spaces for further work. Every Menger’s space is also a lower edges space.

The concept of a neighborhood in a lower transversal edges space X for the lower edges transverse $$\rho(p,q)=N_{p,q}(x)$$ in $$[a,b]\subset\Bbb{R}_{+}^{0}$$ for $$a< b$$ is the following. If $$p\in X$$, $$\mu>c$$ for some $$c\in\Bbb{R}$$ and σ is a positive real, then a $$(\mu,\sigma)$$-neighborhood of p, denoted by $${\mathcal {O}}_{p}(\mu,\sigma)$$, is defined by
$${\mathcal {O}}_{p}(\mu,\sigma)= \bigl\{ q\in X:\rho(p,q)=N_{p,q}( \mu)>b-\sigma \bigr\} .$$

### Corollary 26

LetTbe an increasing mapping of a transversal lower edgesT-space (partially ordered with ordering) into itself, whereXsatisfies the condition of spring inf MCS-convergence. Suppose that there exists a lower function$$K_{x, y}(t)$$, as a controlling function, such that
$$N_{Tx, Ty} (t)\ge K_{x, y} \bigl(\varphi(t)\bigr)> \inf _{z, r\in\sigma(x,y, \infty)} N_{z,r}\bigl(\varphi(t)\bigr)$$
(11)
for all$$x, y\in X$$or
$$N_{Tx, Ty} (t)>K_{x,y}\bigl(\varphi(t)\bigr) \ge \inf_{z, r\in \sigma(x, y, \infty)} N_{z, r}\bigl(\varphi(t)\bigr)$$
(11′)
for all$$x, y\in X$$, where$$\varphi: \Bbb{R}\to\Bbb{R}$$is an increasing function satisfying$$\varphi^{n}(t)\to+\infty$$$$(n\to\infty)$$. Iffor some$$r\in X$$, thenThas a unique fixed point inX.

The proof of this statement is a total analogy with the preceding proofs as consequences of the main statements. Thus we omit it.

In connection with the above, applying our general principle of transpose for non-numerical transverses (see Tasković [5, p. 89]) to Corollary 26, we get an extended and generalized version of this result in the following sense.

Indeed, let be a totally ordered set. A mapping for $$a\prec b$$, where $$P:=(P,\preccurlyeq )$$ is a partially ordered set, is called a lower ordered (distribution) function if it is nonincreasing with $$\inf N=a$$ and $$\sup N=b$$. We will denote by the set of all lower ordered (distribution) functions.

The next two spaces are very interesting examples of transversal ordered lower spaces. First, a lower statistical space is a pair $$(X,{\mathcal {R}})$$, where X is an abstract set and $${\mathcal {R}}$$ is a mapping of $$X\times X$$ into the set of all lower ordered (distribution) functions . We shall denote the lower ordered (distribution) function $${\mathcal {R}}(u,v)$$ by $$N_{u,v}(x)$$ or $$N_{u,v}$$, whence the symbol $$N_{u,v}(x)$$ will denote the value of $$N_{u,v}$$ at . The functions $$N_{u,v}$$ are assumed to satisfy the following conditions: $$N_{u,v}=N_{v,u}$$, $$N_{u,v}(c)=a$$ for some , and
$$N_{u,v}(x)=b \quad \mbox{for } x\succ c \quad \mbox{if and only if} \quad u=v,$$
(Em)
and if $$N_{u,r}(x)=b$$ and $$N_{r,v}(y)=b$$ imply $$N_{u,v}(x+y)=b$$ for all $$u,v,r\in X$$ and for all .

In view of the condition $$N_{u,v}(c)=a$$, for some , which evidently implies that $$N_{u,v}(x)=a$$ for every $$x\preccurlyeq c$$, condition (Em) is equivalent to the statement: $$u=v$$ if and only if $$N_{u,v}(x)=H(x)$$, where $$H(x)=a$$ if $$x\preccurlyeq c$$ and $$H(x)=b$$ if $$x\succ c$$. See Fig. 3.

Also, $$N_{u,v}(x)$$ may be interpreted as the “measure” that the distance between u and v is less than .

A very characteristic example, for further work, of the transversal lower ordered edges spaces is the following space in the following form.

A transversal lower ordered edgesT-space is a pair $$(X,\rho)$$, where X is a transversal lower ordered edges space and where the lower ordered (edges) transverse $$\rho(u,v)=N_{u,v}(x)$$ satisfies $$N_{u,v}=N_{v,u}$$, $$N_{u,v}(c)=a$$ for some and (Em).

Furthermore, the concept of a neighborhood can be introduced and defined with the aid of the lower ordered edges transverse. In fact, neighborhoods in transversal lower ordered edges spaces may be defined in several nonequivalent ways. Here, we shall consider only one of these.

If $$p\in X$$, $$\mu\succ c$$ for some and $$r\prec b$$, then a $$(\mu,r)$$-neighborhood of p, denoted by $$U_{p}(\mu,r)$$, is defined by
$$U_{p}(\mu,r)= \bigl\{ q\in X:\rho(p,q)=N_{p,q}(\mu)\succ r \bigr\} .$$

Applying our general principle of transpose for partially ordered sets to Corollary 26 and to lower spring ordered transversal space for $$A(u,v):=N_{u,v}(x)$$directly, we get an extended and generalized version of Corollary 26 in the following form.

### Corollary 27

LetTbe an increasing mapping of a lower spring ordered transversal spacefor$$A:=N_{u,v}(t)$$with the property (Em) into itself, whereXsatisfies the condition of spring inf MCS-convergence. Suppose that there exists an increasing function (is a totally ordered set) such that$$t\prec\varphi(t)$$for everyand for somethe following equality holds:
$$\lim_{n\to\infty} N_{u,v}\bigl(\varphi^{n}(t) \bigr)=b \quad \textit{for every } t\succ c,$$
and there exists a lower function$$K_{x, y}(t)$$, as a controlling function, such that
$$N_{Tx, Ty} (t)\succcurlyeq K_{x, y} \bigl(\varphi(t)\bigr)\succ\inf _{z, r\in\sigma(x,y, \infty)} N_{z,r}\bigl(\varphi(t)\bigr)$$
(12)
for all$$x, y\in X$$or
$$N_{Tx, Ty} (t)\succ K_{x,y}\bigl(\varphi(t)\bigr) \succcurlyeq \inf_{z, r\in \sigma(x, y, \infty)} N_{z, r}\bigl(\varphi(t)\bigr)$$
(12′)
for all$$x, y\in X$$. Iffor some$$r\in X$$, thenThas a unique fixed point inX.

The proof of this statement is a total analogy with the preceding proofs as consequences of the main statements. Thus we omit it.

### Corollary 28

LetTbe an increasing mapping of a transversal lower edgesT-space (partially ordered with ordering), into itself, whereXsatisfies the condition of spring inf MCS-convergence. Suppose that there exists an increasing function$$\varphi:[c,+\infty)\to[c,+\infty)$$for some fixed$$c\in\Bbb{R}$$satisfying
$$\lim_{n\to\infty} \varphi^{n}(t)=+\infty \quad \textit{for every } t >c$$
(As)
such that$$(F)$$:
$$N_{Tu,Tv}(x)\ge\min \bigl\{ N_{u,v} \bigl(\varphi(x) \bigr),N_{u,Tu} \bigl(\varphi(x) \bigr),N_{v,Tv} \bigl(\varphi(x) \bigr),N_{u,Tv} \bigl(\varphi(x) \bigr),N_{v,T(u)} \bigl(\varphi(x) \bigr) \bigr\}$$
for all$$u,v\in X$$and for every$$x>c$$. Iffor some$$r\in X$$, thenThas a unique fixed point inX.

We notice that in 2001 Tasković proved a special case of this statement on a transversal lower edges T-space $$X:=(X,M_{u,v}(t))$$. Also, in 1998 Tasković introduced the concept of upper, lower, and middle transversal edges spaces. Also see: [20, 21, 22] and [23].

In context of this statement, the following conditions are special cases of condition $$(F)$$:

(1) There exists a constant $$0< k<1$$ such that, for all $$p,q\in X$$, for some fixed $$c\in\Bbb{R}$$, and for every $$x>c$$, the following inequality holds:
$$N_{Tp,Tq}(x)\ge N_{p,q} \biggl(\frac{x}{k} \biggr).$$
(2) There exists a nondecreasing function $$\varphi:[c,+\infty)\to[c,+\infty)$$ for some fixed $$c\in\Bbb{R}$$ satisfying (As) such that, for some fixed $$0< k<1$$, for all $$u,v\in X$$, and for every $$x>c$$, the following inequality holds:
$$N_{Tu,Tv}\bigl(\varphi(kx)\bigr)\ge \min \bigl\{ N_{u,v} \bigl( \varphi(x) \bigr), N_{u,Tu} \bigl(\varphi(x) \bigr), N_{v,Tv} \bigl(\varphi(x) \bigr), N_{u,Tv} \bigl(\varphi(x) \bigr), N_{v,Tu} \bigl(\varphi(x) \bigr) \bigr\} .$$
(3) There exists a constant $$0< k<1$$ such that, for all $$u,v\in X$$, for some fixed $$x\in\Bbb{R}$$, and for every $$x>c$$, the following inequality holds:
$$N_{Tu,Tv}(kx)\ge\min \bigl\{ N_{u,v}(x),N_{u,Tu}(x), N_{v,Tv}(x),N_{u,Tv}(x),N_{v,Tu}(x) \bigr\}$$
or in an equivalently form as
$$N_{Tu,Tv}(x) \ge\min \biggl\{ N_{u,v} \biggl(\frac{x}{k} \biggr), N_{u,Tu} \biggl(\frac{x}{k} \biggr), N_{v,Tv} \biggl(\frac{x}{k} \biggr), N_{u,Tv} \biggl(\frac{x}{k} \biggr), N_{v,Tu} \biggl(\frac{x}{k} \biggr) \biggr\} .$$

### Corollary 29

LetTbe an increasing mapping of a lower spring ordered transversal spacefor$$A(u,v):=N_{u,v}(t)$$with the property (Em) into itself, whereXsatisfies the condition of lower MCS-convergence. Suppose that there exists an increasing function (is a totally ordered set) such that$$t\prec\varphi(t)$$for everyand for some fixedthe following equality holds:
$$\lim_{n\to\infty} N_{u,v} \bigl(\varphi^{n}(t) \bigr)=b \quad \textit{for every } t\succ c,$$
and
$$N_{Tu,Tv}(x)\succcurlyeq \inf \bigl\{ N_{u,v} \bigl(\varphi(x) \bigr),N_{u,Tu} \bigl(\varphi(x) \bigr),N_{v,Tv} \bigl(\varphi(x) \bigr),N_{u,Tv} \bigl(\varphi(x) \bigr),N_{v,T(u)} \bigl(\varphi(x) \bigr) \bigr\}$$
for all$$u,v\in X$$and for every$$x\succ c$$. Iffor some$$r\in X$$, thenThas a unique fixed point inX.

### Proof

Applying the general principle of transpose for posets to Corollary 28, we get directly an extended and generalized version of the result given in Corollary 28. The proof is complete. □

### Annotations

The results of Corollaries 28 and 29 are two immediate consequences of Corollary 19. Uniqueness follows immediately from the conditions of given inequalities.

## 4 Conclusions

This paper presents new consequences of the Axiom of Infinite Choice in terms of ordered spring spaces and increasing mappings. Applications in nonlinear functional analysis and fixed point theory are also considered.

## Notes

### Acknowledgements

The author would like to thank the referees and the editor for their comments and suggestions which have been useful for the improvement of the paper.

### Author’s contributions

The author read and approved the final manuscript.

Not applicable.

### Competing interests

The author declares that he has no competing interests.

## References

1. 1.
Tasković, M.R.: The axiom of choice, fixed point theorems, and inductive ordered sets. Proc. Am. Math. Soc. 116, 897–904 (1992)
2. 2.
Tasković, M.R.: The axiom of infinite choice. Math. Morav. 16, 77–94 (2012)
3. 3.
Tasković, M.R.: Characterizations of inductive posets with applications. Proc. Am. Math. Soc. 104, 650–659 (1988)
4. 4.
Tasković, M.R.: Partially ordered sets and some fixed point theorems. Publ. Inst. Math. 41, 241–247 (1980)
5. 5.
Tasković, M.R.: Transversal theory of fixed point, fixed apices, and forked points. Math. Morav. 14(1), 19–97 (2010)
6. 6.
Tasković, M.R.: Theory of Transversal Point, Spaces and Forks. Monographs of a New Mathematical Theory (2005). VIZ-Beograd (in Serbian), 1054 pages. English summary: 1001–1022 Google Scholar
7. 7.
Tasković, M.R.: Some results in the fixed point theory—II. Publ. Inst. Math. 41, 249–258 (1980)
8. 8.
Tasković, M.R.: Some new principles in fixed point theory. Math. Jpn. 35, 645–666 (1990)
9. 9.
Tasković, M.R.: Some theorems on fixed point and its applications. Ann. Soc. Math. Pol., Ser. I, Comment. Math. Prace. Math. 24, 323–334 (1984)
10. 10.
Tasković, M.R.: On some mappings of contraction type. In: Balkan Math. Congress, Istanbul, p. 103 (1971). Abstracts, 4 th. Google Scholar
11. 11.
Kurepa, Ð.R.: Some cases in the fixed point theory. In: Topology and Its Applications, Budva, pp. 144–153 (1972) Google Scholar
12. 12.
Ohta, M., Nikaido, G.: Remarks on fixed point theorems in complete metric spaces. Math. Jpn. 39, 287–290 (1994)
13. 13.
Tasković, M.R.: A generalization of Banach’s contraction principle. Publ. Inst. Math. (Belgr.) 37, 179–191 (1978)
14. 14.
Bakhtin, I.A.: Contraction mapping principle in almost metric spaces. Funct. Anal., Gos. Ped. Inst. Unianowsk 30, 26–37 (1989)
15. 15.
Czerwik, S.: Contractions mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1, 5–11 (1993)
16. 16.
Tasković, M.R.: Transversal spaces. Math. Morav. 2, 133–142 (1998)
17. 17.
Tasković, M.R.: Fixed points on transversal edges spaces. Math. Morav. 7, 175–186 (2003)
18. 18.
Brown, R.F.: The fixed point property and Cartesian product. Am. Math. Mon. 89, 654–678 (1982)
19. 19.
Reny, G., Fisher, B.: Some generalized results of fixed points in cone b-metric spaces. Math. Morav. 17(2), 39–50 (2013)
20. 20.
Kwapisz, M.: Some generalizations of an abstract contraction mapping principle. Nonlinear Anal., Theory Methods Appl. 3, 293–302 (1979)
21. 21.
22. 22.
23. 23.
Zorn, M.: A remark on method in transfinite algebra. Bull. Am. Math. Soc. 41, 667–670 (1935)