• Research
• Open Access

On the stability of finding approximate fixed points by simplicial methods

Journal of Inequalities and Applications20162016:220

https://doi.org/10.1186/s13660-016-1162-5

• Accepted: 4 September 2016
• Published:

Abstract

This paper reports some new results in relation to simplicial algorithms considering continuities of approximate fixed point sets. The upper semi-continuity of a set-valued mapping of approximate fixed points using vector-valued simplicial methods is proved, and thus one obtains the existence of finite essential connected components in approximate fixed point sets by vector-valued labels; examples are given to show that this is very different from the property for integer-valued labeling simplicial methods. The existence of essential sets is also proved focusing on both perturbations of domains and functions.

Keywords

• stability
• approximate fixed point
• simplex

1 Introduction

Fixed point theorems have important effects in mathematical and economic sciences. The famous Brouwer fixed point theorem  plays a key role in many existence problems and also has prompted a wave of finding many kinds of equilibria and other applications, such as the Nash equilibrium, the general equilibrium , network problems , approximation theory , computer science , etc.

Naturally, designing algorithms to compute a Brouwer fixed point is also important field. It is well known that Sperner’s lemma became a simple tool for the proof of the existence of Brouwer fixed points. Based on Sperner’s lemma, simplicial algorithms continue to spring up after the excellent work by Scarf , such as Kuhn’s algorithm [10, 11], the restart algorithms , variable dimension algorithms , and homotopy algorithms [16, 17]. For simplicial algorithms, one frequently finds a complete labeled sub-simplex (full labeled sub-simplex) in a simplex to approximate a fixed point. Two common labels are integer-valued and vector-valued. Given a fixed grid size, it is well known that the approximate degree of a complete vector-valued sub-simplex to fixed points is better than the other. Is there any difference between the stability of these algorithms? Is a complete labeled sub-simplex able to resist the perturbation of functions or simplices? This paper will focus on these problems.

The stability of fixed points has attracted much attention. After the seminal work for essential fixed points of continuous functions (Brouwer type fixed points) in , essential components and essential sets of fixed points were introduced [19, 20]. From the view point of stability, as the analogs of singletons, minimal essential sets seem to be good choices . Essential stabilities (which are related to lower semi-continuity) were used to analyze many problems, such as coincidence points [22, 23], fixed points, KKM points [25, 26], game equilibrium points , maximal elements , and variational relation problems , etc.

In fact, when a simplicial algorithm is in order, we must face approximate fixed points as the grid size shrinks. By employing the essential stabilities, this concerns the stability of approximate fixed point sets using simplicial methods under the perturbation of the corresponding functions and domains. We show that there is a significant difference between vector-valued simplicial methods and integer-valued methods. The upper semi-continuity of a set-valued mapping for approximate fixed points using vector-valued labeling is proved. The existence of finite essential connected components of approximate fixed point sets is also proved for vector-labeled simplicial methods. These results are new.

2 Preliminaries and motivations

Let S be an n-simplex in $$R^{n+1}$$ with vertices $$v^{1},v^{2},\ldots ,v^{n+1}$$, $$C(S)$$ the space of continuous functions f on S with uniform metric and $$I_{k}=\{1,2,\ldots,k\}$$. The ith unit vector of $$R^{n+1}$$ is denoted by $$e(i)$$, $$i=1,2,\ldots,n$$, and the $$(n+1)$$-vector $$(1,1,\ldots,1)^{T}$$ is represented by e.

We recall some definitions involving simplicial fixed point algorithms. Given the grid size $$\frac{1}{q}$$, the standard triangulation of S is the collection of all sub-simplices $$\sigma(y^{1},\pi)$$ with vertices $$y^{1},\ldots,y^{n+1}$$ in S such that:
1. (i)

each component of $$y^{1}$$ is a multiple of $$\frac{1}{q}$$;

2. (ii)

$$\pi=(\pi_{1},\pi_{2},\ldots,\pi_{n})$$ is a permutation of the elements of $$I_{n}$$;

3. (iii)

$$y^{i+1}=y^{i}+\frac{v(\pi_{i+1})-v(\pi_{i})}{q}$$, where $$v(i)=v^{i}$$, $$\forall i\in I_{n}$$.

Note that the mesh of the standard triangulation of S with the grid size $$\frac{1}{q}$$ is $$\frac{\sqrt{n+1}}{q}$$ or $$\frac{\sqrt{n}}{q}$$ if n is odd or even, respectively. For a function $$f\in C(S)$$, a point x in S is labeled an integer $$l(x)\in I_{n+1}$$ where $$l(x)=i$$ if
$$i=\min\Bigl\{ j\bigm|f_{j}(x)-x_{j}=\min_{h\in I_{n+1}} \bigl(f_{h}(x)-x_{h}\bigr)\Bigr\} .$$
Particularly, if $$f(x)=x$$ and $$x_{1}=0$$, then assign the label of x as the first index i such that $$x_{i}>0$$, $$i\in I_{n+1}$$. We call $$l:S\rightarrow I_{n+1}$$ a standard integer-valued labeling function. Given the mesh of a standard triangulation on S, from Sperner’s lemma, there exists at least one sub-simplex with complete integer labels (completely labeled simplex, with the meaning of vertices of the sub-simplex with totally different labels).
If a point x in S receives the $$(n+1)$$-vector $$L(x)$$, where
$$L(x)=-f(x)+x+e ,$$
in this case, we call $$L:S\to R^{n+1}$$ a standard vector-valued labeling function. For a triangulation of S, a sub-simplex $$\sigma (y^{1},\ldots,y^{n+1})$$ with vector-valued labels is complete if $$\sum_{i=1}^{n+1}\lambda_{i}L(y_{i})=e$$ has a solution $$\lambda^{*}=(\lambda _{1},\lambda_{2},\ldots,\lambda_{n+1})$$ with $$\lambda^{*}\in R_{+}^{n+1}$$.

Given a grid size $$\frac{1}{q}$$, for each $$f\in C(S)$$, denote by $$F(f,q)$$ ($$F'(f,q)$$) the collection of all sub-simplices with complete integer-valued (vector-valued) labels in S, then we define a set-valued mapping from $$C(S)$$ to S with $$F(F'):C(S)\rightarrow 2^{S}$$, in addition, for convenience of notation, we write $$F(f)$$ as $$F(f,q)$$. Note that each $$x\in F(f,q)\ (F'(f,q))$$ is an approximation of fixed points of f on S. In addition, from the connectedness, $$F(f,q)$$ ($$F'(f,q)$$) can be decomposed as $$\bigcup_{i\in\Lambda}C_{i}$$ with $$C_{i}\cap C_{j}=\emptyset$$ for any $$i\neq j$$, and $$C_{i}$$, $$\forall i\in\Lambda$$ is a connected component.

There are significant differences in relation to semi-continuities between F and $$F'$$, and the following example shows that the set-valued mapping F is not upper semi-continuous on $$C(S)$$; further results will be demonstrated in Section 3.

Example 2.1

Let S be standard simplex in $$R^{2}$$. A map $$f\in C(S)$$ is the identity, that is, $$f(x)=x$$, $$\forall x\in S$$. Given the grid size $$\frac{1}{q}$$ with $$\frac{1}{q}=\frac{1}{2}$$, then, for the integer labels of the sub-simplices of the triangulation with the grid size $$\frac{1}{q}$$, we have
$$l(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} 2,& x=(0,1), \\ 1,& x=(1,0), \\ 1,& x=(\frac{1}{2},\frac{1}{2}). \end{array}\displaystyle \right .$$
It can be checked that $$F(f,q)=\{(x_{1},1-x_{1})\mid0\leq x_{1}\leq\frac{1}{2}\}$$. For each $$n=1,2,\ldots$$ , define $$f^{n}\in C(S)$$ satisfying
$$f^{n}(x_{1},x_{2})=\bigl((x_{1})^{\frac{n}{1+n}},1-(x_{1})^{\frac{n}{1+n}} \bigr) .$$
Then the corresponding integer labels using $$f^{n}$$ for each $$n=1,2,\ldots$$ is the same as
$$l(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} 2,& x=(0,1), \\ 1,& x=(1,0), \\ 2,& x=(\frac{1}{2},\frac{1}{2}). \end{array}\displaystyle \right .$$
We can calculate that $$F(f^{n},q)=\{(x_{1},1-x_{1})\mid\frac{1}{2}\leq x_{1}\leq 1\}$$. Obviously, for small enough open set U with $$F(f,q)\subset U$$, however close $$f^{n}$$ is to f, we have $$F(f^{n},q)\not\subset U$$. Therefore, F is not upper semi-continuous on $$C(S)$$, hence, the graph of F is not closed. In fact, clearly, F is also not lower semi-continuous.

For each $$f\in C(S)$$, denote by $$\operatorname{Fix}(f)$$ the fixed point set of f on S. Note the fact of Example 2.1 about F, the following definitions consider a kind of description for stability of $$F'$$ and subsets of $$\operatorname{Fix}(f)$$.

Definition 2.1

Given the grid size $$\frac{1}{q}$$, for each $$f\in C(S)$$, a closed subset $$e(f)$$ of $$F'(f,q)$$ is called an essential set with respect to $$C(S)$$ if for any open set U with $$U\supset e(f)$$, there exists an open neighborhood $$O(f)$$ of f in $$C(S)$$ such that $$F'(f',q)\cap U \neq\emptyset$$, $$\forall f'\in O(f)$$. If a connected component $$C\subset F'(f,q)$$ is an essential set, C is called an essential connected component of $$F'(f,q)$$ with respect to $$C(S)$$.

Definition 2.2

Let $$f\in C(S)$$, $$e(f)$$ be a closed subset of $$\operatorname{Fix}(f)$$. We call $$e(f)$$ an approximate essential set if for each ε neighborhood $$B(e(f),\varepsilon)$$ of $$e(f)$$, there exists a $$\delta>0$$ such that, for each $$f'\in C(S)$$ with $$\|f-f'\|<\delta$$, we can find a number Z, such that $$F'(f',q)\cap B(e(f),\varepsilon)\neq\emptyset$$, $$\forall q>Z$$.

Lemma 2.1

(see )

Let Y be a metric space, E be a Baire space, and $$F : E \to2^{Y}$$ be an upper semi-continuous mapping with compact values. Then there is a dense residual subset Q of E such that F is lower semi-continuous at each $$x\in Q$$.

3 Stability results under function perturbations

Theorem 3.1

Given a triangulation of S with vertices $$v^{1},v^{2},\ldots, v^{n+1}$$ with a grid size $$\frac{1}{q}$$, the graph of the set-valued mapping $$F'$$,
$$\operatorname{Gr}F'=\bigl\{ (f,x)\mid f\in C(S) , x\in F'(f,q)\bigr\} ,$$
is closed.

Proof

Let $$(f^{m},x^{m})\in \operatorname{Gr}F'$$ with $$(f^{m},x^{m})\rightarrow(f^{0},x^{0})$$, $$m=1,2,\ldots$$ . It is clear that $$(f^{0},x^{0})\in C(S)\times S$$. We need to show that $$x^{0}$$ is a point of a complete sub-simplex $$\sigma _{f_{0}}$$ with vector-valued labels in S. For each $$m=1,2,\ldots$$ , since $$(f^{m},x^{m})\in \operatorname{Gr}F'$$, there exists a complete labeled sub-simplex $$\sigma_{f_{m}}$$ such that $$x^{m}\in\sigma_{f^{m}}\subset F'(f^{m},q)\subset S$$, hence, denote $$\sigma_{f^{m}}$$ as $$\sigma_{f^{m}}(y^{1}_{m}, y^{2}_{m}, \ldots ,y^{n+1}_{m})=\sigma_{f^{m}}(y^{1}_{m},\pi_{m})$$.

Since $$\{\pi^{1}_{m}\}$$ belongs in the finite set $$I_{n+1}$$, $$\{\pi ^{1}_{m}\}$$ has a convergence subsequence $$\{\pi^{1}_{mk}\}$$, such that $$\pi ^{1}_{mi}=\pi^{1}_{mj}$$ for large enough i and j with $$i\neq j$$. For $$\{\pi^{2}_{mk}\}$$, we can also find such a convergence subsequence which is denoted $$\{\pi^{2}_{mk}\}$$ for convenience of notation. Then, following this method, we will get a convergence subsequence $$\{\pi ^{i}_{mk}\}$$ of $$\{\pi^{i}_{m}\}$$ which can be unified as one $$\{\pi^{i}\}$$ with $$\pi^{i}\neq\pi^{j}$$, $$\forall i\neq j$$, that is, $$\sigma _{f^{mk}}(y^{1}_{mk},\pi_{mk})=\sigma_{f^{mk}}(y^{1}_{mk},\pi)$$. Since $$\{ y^{1}_{mk}\}\subset X$$, there is a sequence, being its convergence subsequence, that, without loss of generality, we also denote it by $$\{ y^{1}_{mk}\}$$ with $$y^{1}_{mk}\rightarrow y^{1}_{0}$$ ($$k\rightarrow\infty$$). So far, by choosing some real numbers $$p^{i}_{mk}$$, $$i\in I_{n+1}$$, we can write $$\sigma_{f^{mk}}(y^{1}_{mk},\pi)$$ as
$$y^{1}_{mk}=\bigl(p^{1}_{mk},p^{2}_{mk}, \ldots,p^{n+1}_{mk}\bigr)/q$$
and
$$y^{i+1}_{{mk}}=y^{i}_{mk}+ \bigl(v^{\pi^{i+1}}-v^{\pi^{i}}\bigr)/q ,\quad \forall i\in I_{n} .$$
Then we have a point $$y^{i}_{0}$$ such that $$y^{i}_{mk}\rightarrow y^{i}_{0}\in S$$ for each $$i\in I_{n+1}$$. That is, $$\sigma(y^{1}_{0},\pi)=\sigma(y^{1}_{0}, y^{2}_{0}, \ldots,y^{n+1}_{0})$$ is definitely a sub-simplex in the triangulation of S given the grid size $$\frac{1}{q}$$.
Note that $$(f^{mk},x^{mk})\in \operatorname{Gr}F'$$ with $$(f^{mk},x^{mk})\rightarrow (f^{0},x^{0})$$ as k tends to infinity. Since $$\sigma(y^{1}_{mk}, y^{2}_{mk}, \ldots,y^{n+1}_{mk})$$ is a complete sub-simplex with vector-valued labels, there exists a nonnegtive vector $$(\lambda^{1}_{mk},\lambda^{2}_{mk},\ldots,\lambda^{n+1}_{mk})$$ such that
$$\sum_{i=1}^{n+1} \lambda^{i}_{{mk}}\bigl(-f^{mk}\bigl(y^{i}_{mk} \bigr)+y^{i}_{mk}+e\bigr)=e.$$
(1)
There is a convergence subsequences $$\{\lambda^{i}_{mkj}\}$$ of $$\{\lambda ^{i}_{mk}\}$$ with $$\lambda^{i}_{mkj}\rightarrow\lambda^{i}_{0}\geq0$$ ($$j\rightarrow\infty$$), $$\forall i\in I_{n+1}$$. Then, by substituting mk with $$mkj$$ in equation (1), as $$j\rightarrow\infty$$, we have
$$\sum_{i=1}^{n+1} \lambda^{i}_{0}\bigl(-f^{0}\bigl(y^{i}_{0} \bigr)+y^{i}_{0}+e\bigr)=e.$$
(2)
Therefore, $$\sigma_{f^{0}}=\sigma(y^{1}_{0}, y^{2}_{0}, \ldots,y^{n+1}_{0})$$ is a complete sub-simplex with vector-valued labels.
Next, we have $$x^{0}\in\sigma_{f^{0}}$$. Since $$x^{mkj}\in\sigma _{f^{mkj}}$$, there exists $$\beta^{i}_{mkj}\geq0$$ such that
$$x^{mkj}=\sum_{i=1}^{n+1} \beta^{i}_{mkj}y^{i}_{mkj}$$
(3)
with $$\sum_{i=1}^{n+1}\beta^{i}_{mkj}=1$$. Without loss of generality, we can assume that $$\beta^{i}_{mkj}$$ is convergent with the limit $$\beta ^{i}_{0}$$, that is, $$\beta^{i}_{mkj}\rightarrow\beta^{i}_{0}$$ ($$j\to\infty$$). Then, as $$j\rightarrow\infty$$, for equation (3), we have $$x^{0}=\sum_{i=1}^{n+1}\beta^{i}_{0}y^{i}_{0}\in\sigma_{f^{0}}$$. □

From Theorem 3.1, we have the following direct corollary.

Corollary 3.1

Given a triangulation of S with a grid size $$\frac{1}{q}$$, the set-valued mapping $$F'$$ is upper semi-continuous on $$C(S)$$.

The following example shows that $$F'$$ does not possess the property of being lower semi-continuous on $$C(S)$$.

Example 3.1

Let $$S, f\in C(S)$$ be the same as Example 2.1. With the grid size $$\frac{1}{q}$$ with $$\frac{1}{q}=\frac {1}{4}$$, for the vector-valued labels of the sub-simplices of the triangulation with f, we have for each grid point $$x=(1/4,3/4),(1/2,1/2)$$, $$L(x)=(1,1)$$. Then the sub-simplex $$\sigma=\{ (x_{1},x_{2})\in S:1/4\leq x_{1}\leq1/2\}$$ is complete and $$\sigma\subset F'(f,q)$$. We take a point $$\bar{x}=(3/8,5/8)\in\sigma$$. For each $$n=1,2,\ldots$$ , we define $$f^{n}\in C(S)$$ such that
$$f^{n}(x_{1},x_{2})=\bigl((x_{1})^{\frac{n+1}{n}},1-(x_{1})^{\frac{n+1}{n}} \bigr) .$$
Then, for each $$n=1,2,\ldots$$ , the vector-valued labels for the sub-simplex σ using $$f^{n}$$ is
$$L(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} (\frac{5}{4}-(\frac{1}{4})^{\frac{n+1}{n}},(\frac{1}{4})^{\frac {n+1}{n}}+\frac{3}{4})=(a,c), & x=(1/4,3/4), \\ (\frac{3}{2}-(\frac{1}{2})^{\frac{n+1}{n}},(\frac{1}{2})^{\frac {n+1}{n}}+\frac{1}{2})=(b,d), & x=(1/2,1/2), \end{array}\displaystyle \right .$$
hence, the right-hand side of the equation
$${\left [ { \textstyle\begin{array}{@{}c@{\quad}c@{}} a & b \\ c & d \end{array}\displaystyle } \right ]^{ - 1}}\left [ { \textstyle\begin{array}{@{}c@{}} 1 \\ 1 \end{array}\displaystyle } \right ] = \frac{1}{{ad - bc}}\left [ { \textstyle\begin{array}{@{}c@{}} {d - b} \\ {a - c} \end{array}\displaystyle } \right ]$$
is the solution $$(\lambda^{*}_{1},\lambda_{2}^{*})$$ of the equations $$\lambda _{1}L(1/4,3/4)+\lambda_{2}L(1/2,1/2)=e$$, then $$\lambda_{2}^{*}=\frac {a-c}{ad-bc}$$. By a straightforward calculation, for each $$n=1,2,\ldots$$ , we have $$a-c=\frac{4^{\frac{1}{n}}-1}{2\cdot4^{\frac{1}{n}}}>0$$, while $${ad-bc}=\frac{(2-2^{\frac{1}{n}})2^{\frac{1}{n}}-1}{2\cdot 4^{\frac{1}{n}}}<0$$. Then $$\lambda_{2}^{*}<0$$, $$\forall n=1,2,\ldots$$ . Thus, by labeling the sub-simplex σ using $$f^{n}$$, one sees that σ is not complete. Therefore, for a small enough open neighborhood U of , we have $$F'(f_{n},q)\cap U=\emptyset$$, for each $$n=1,2,\ldots$$ , that is, $$F'$$ is not lower semi-continuous on $$C(S)$$.

From Theorem 3.1, the set-valued mapping $$F'$$ with $$F':C(S)\to 2^{S}$$ is upper semi-continuous. If the set-valued mapping $$F'$$ is lower semi-continuous at a point $$f^{0}$$, then, given a grid size $$\frac {1}{q}$$, clearly, each point in $$F'(f^{0},q)$$ is essential. Thus, by Fort’s lemma (Lemma 2.1) and Definition 2.1, we can obtain the following generic stability result.

Corollary 3.2

Given a grid size $$\frac{1}{q}$$, there exists a dense residual set Q in $$C(S)$$ such that for each $$f\in C(S)$$, each point in $$F'(f,q)$$ is essential with respect to $$C(S)$$.

Theorem 3.2

Given a triangulation of S with a grid size $$\frac{1}{q}$$, for each $$f\in C(S)$$, there exist finite essential connected components in $$F'(f,q)$$ with respect to $$C(S)$$.

Proof

From Theorem 3.1, the set-valued mapping $$F'$$ is upper semi-continuous on S. Then the set $$F'(f,q)$$ itself is an essential set with respect to $$C(S)$$. Let Φ denote the collection of all essential sets in $$F'(f,q)$$. Note that each decreasing chain in Φ with the set inclusion order has its intersection as a lower bound. Therefore, there exists a minimal element $$e(f)$$ in Φ, which is an essential set in $$F'(f,q)$$. Hence, it is clear that each connected component C with $$C\supset e(f)$$ is an essential connected component by Definition 2.1. Then the remaining problem is to show that each $$e(f)$$ is connected.

If not, let $$e(f)=D^{1}\cup D^{2}$$. Nonessential closed sets $$D^{1}$$ and $$D^{2}$$ can be separated by two open sets $$U^{1}$$ and $$U^{2}$$ with $$D^{i}\subset U^{i}$$, $$i=1,2$$. For each $$i=1,2$$ and $$\varepsilon>0$$, there exists an open set $$W^{i}$$ and $$f^{i}\in C(S)$$ with $$D^{i}\subset W^{i}\subset \overline{W}^{i}\subset U^{i}$$ such that $$\|f-f^{i}\|<\frac{\varepsilon}{3}$$ but $$F'(f^{i},q)\cap W^{i}=\emptyset$$; meanwhile, for any $$f'\in C(S)$$ with $$\|f'-f\|<\varepsilon$$, we have $$F'(f',q)\cap(W^{1}\cup W^{2})\neq\emptyset$$. Construct a special $$f'\in C(S)$$ by defining
$$f'(x)=\lambda(x)f^{1}(x)+\bigl(1-\lambda(x) \bigr)f^{2}(x) , \quad \forall x\in S ,$$
where $$\lambda(x)=d(x,\overline{W}^{2})/(d(x,\overline{W}^{1})+d(x,\overline {W}^{2}))$$. Routinely, we can check that $$\|f'-f\|<\varepsilon$$, this means that there is at least a point x such that $$x\in F'(f',q)\cap (W^{1}\cup W^{2})$$. For each $$i=1,2$$, if $$x\in W^{i}$$, such that $$f'(x)=f^{i}(x)$$, then the labels for the sub-simplices’ vertices in $$W^{i}$$ using $$f^{i}$$ or f are no different. Therefore, $$F'(f^{i},q)\cap W^{i}=F'(f',q)\cap W^{i}$$, from which one deduces the fact that $$x\notin F'(f',q)$$, a contradiction.

Finally, from the finiteness of the complete labeled simplex in S, the result follows. □

The following result shows that essential connected components under the grid size $$\frac{1}{q}$$ can be close to an approximate fixed point set as q tends to infinity.

Theorem 3.3

Given a continuous function $$f\in C(S)$$, for each grid size $$\frac{1}{q}$$, let $$C^{q}\subset F'(f,q)$$ be an essential connected component with respect to $$C(S)$$, there exists a subsequence $$\{C^{q_{k}}\}$$ of $$\{C^{q}\}$$ with $$C^{q_{k}}\stackrel {h}{\rightarrow}C^{0}$$ and $$C^{0}$$ is an approximate essential connected set in $$\operatorname{Fix}(f)$$, where h is the Hausdorff metric induced by the Euclidean metric on $$R^{n+1}$$.

Proof

Since $$\{C^{q}\}$$ is a sequence in $$K(S)$$, where $$K(S)$$ is the collection of nonempty compact subsets of S, from the compactness of S, there is a subsequence $$\{C^{q_{k}}\}$$ of $$\{C^{q}\}$$ with the limit $$C^{0}\in K(S)$$. We denote the subsequence just as $$\{C^{q}\}$$ for convenience. For each $$x^{0}\in C^{0}$$, there is a sequence $$\{x^{q}\}$$ with $$x^{q}\in C^{q}$$ and $$x^{q}\to x^{0}$$. For each $$\varepsilon>0$$, since f is continuous, there exists a number N such that, for each sub-simplex $$\sigma_{f}$$ in the triangulation of S under the grid size $$\frac{1}{N}$$, we have
$$\max_{i\in I_{n+1}}\bigl\{ \bigl\vert f_{i}(x)-f_{i}(y) \bigr\vert \bigr\} < \frac{1}{N}< \frac{\varepsilon }{3\sqrt{n+1}} ,\quad \forall x,y\in \sigma_{f} .$$
For each $$q>N$$, since $$x^{q}\in C^{q}\subset F'(f,q)$$, we have $$\| f(x^{q})-x^{q}\|<\frac{\varepsilon}{3}$$. Then we can find a large enough q such that the following inequality holds:
\begin{aligned} \bigl\Vert f\bigl(x^{0}\bigr)-x^{0}\bigr\Vert &\leq\bigl\Vert f\bigl(x^{0}\bigr)-f\bigl(x^{q}\bigr)\bigr\Vert + \bigl\Vert f\bigl(x^{q}\bigr)-x^{q}\bigr\Vert +\bigl\Vert x^{q}-x^{0}\bigr\Vert \\ &< \frac{\varepsilon}{3}+\frac{\varepsilon}{3}+\frac{\varepsilon }{3}=\varepsilon. \end{aligned}
Therefore, we assert that $$x^{0}\in \operatorname{Fix}(f)$$, hence, $$C^{0}\subset \operatorname{Fix}(f)$$.

Assume that $$C^{0}$$ is not connected, then $$C^{0}$$ can be decomposed as two disjoint compact sets like $$C^{0}=C'\cup C''$$ with two open sets $$W'$$ and $$W''$$ such that $$C'\subset W'$$, $$C''\subset W''$$, and $$W'\cap W''=\emptyset$$. By the compactness of $$C'$$ and $$C''$$, there are two open sets $$U'$$ and $$U''$$ such that $$C'\subset U'\subset\bar{U}'\subset W'$$ and $$C''\subset U''\subset\bar{U}''\subset W''$$. Since $$C^{q}$$ is connected, we have $$C^{q}\subset U'$$ or $$C^{q}\subset U''$$ as q large enough. Then the limit of $$C^{q}$$ is in $$W'$$ or $$W''$$, which contradicts the fact that $$C^{q}\stackrel{h}{\rightarrow}C'\cup C''$$ and $$C'\subset W'$$, $$C''\subset W''$$, and $$W'\cap W''=\emptyset$$. Therefore, $$C^{0}$$ is connected.

Finally, we show that $$C^{0}$$ is an approximate essential set of $$\operatorname{Fix}(f)$$. If not, then there exists a $$\bar{\varepsilon}>0$$ and $$f^{j}$$ ($$j=1,2,\ldots$$) with $$f^{j}\to f$$, such that for each number q, $$F'(f^{j},q)\cap B(C^{0},\bar{\varepsilon})=\emptyset$$, $$j=1,2,\ldots$$ . Since $$C^{q}\stackrel{h}{\rightarrow}C^{0}$$, there is a number N such that $$C^{q}\subset B(C^{0},\bar{\varepsilon})$$ when $$q\ge N$$. Because $$C^{N}$$ is essential, for the open set $$B(C^{0},\varepsilon)$$, there is a $$\delta>0$$ such that for any $$f'$$ with $$\|f-f'\|<\delta$$, we have $$F(f',N)\cap B(C^{0},\varepsilon)\neq\emptyset$$. From the fact that $$f^{j}\to f$$, for large enough j, we have $$F(f^{j},N)\cap B(C^{0},\varepsilon)\neq\emptyset$$, a contradiction. □

4 Stability results under perturbations of simplices and functions

In order to analyze the perturbation of domains, let $$X\subset R^{n+1}$$ be a n dimensional compact set, M the collection of all n-simplex in X. For any two $$S_{1}(v_{1}^{1},v_{1}^{2},\ldots,v_{1}^{n+1})$$ and $$S_{2}(v_{2}^{1},v_{2}^{2},\ldots,v_{2}^{n+1})$$ in M, define
$$\rho(S_{1},S_{2})=\min_{\pi}\sum _{k=0}^{n+1}\bigl\Vert v_{1}^{k}-v^{\pi_{k}}_{2} \bigr\Vert .$$

Lemma 4.1

ρ is a metric on M.

Proof

(i) For any $$S_{1}(v_{1}^{1},v_{1}^{2},\ldots,v_{1}^{n+1}), S_{2}(v_{2}^{1},v_{2}^{2},\ldots,v_{2}^{n+1})\in M$$, we have $$\rho(S_{1},S_{2})=\rho (S_{2},S_{1})$$. Let $$\bar{\pi}=(\bar{\pi}_{1},\bar{\pi}_{2},\ldots,\bar{\pi }_{n+1})$$ match $$\rho(S_{1},S_{2})$$. We have $$\rho(S_{1},S_{2})=\sum_{k=0}^{n+1}\|v_{1}^{k}-v^{\bar{\pi}_{k}}_{2}\|$$. Then
\begin{aligned} \rho(S_{2},S_{1}) &= \min_{\pi}\sum _{k=0}^{n+1}\bigl\Vert v^{\bar{\pi}_{k}}_{2}-v_{1}^{\pi _{k}} \bigr\Vert \\ &= \sum_{k=0}^{n+1}\bigl\Vert v^{\bar{\pi}_{k}}_{2}-v_{1}^{k}\bigr\Vert = \rho(S_{1},S_{2}). \end{aligned}

(ii) For any $$S_{1}(v_{1}^{1},v_{1}^{2},\ldots,v_{1}^{n+1}), S_{2}(v_{2}^{1},v_{2}^{2},\ldots,v_{2}^{n+1})\in M$$, we have $$\rho(S_{1},S_{2})=0 \Leftrightarrow S_{1}=S_{2}$$. From the definition of ρ, one needs only the proof of the necessity. Let $$\rho(S_{1},S_{2})=0$$, then there exists π̄ such that $$\sum_{k=0}^{n+1}\|v_{1}^{k}-v^{\bar{\pi }_{k}}_{2}\|=0$$, which means that $$\|v_{1}^{k}-v^{\bar{\pi}_{k}}_{2}\|=0$$, $$\forall k\in I_{n+1}$$. That is, $$S_{1}=S_{2}$$.

(iii) For any $$S_{1}(v_{1}^{1},v_{1}^{2},\ldots,v_{1}^{n+1}), S(v^{1},v^{2},\ldots ,v^{n+1}), S_{2}(v_{2}^{1},v_{2}^{2},\ldots,v_{2}^{n+1})\in M$$, we have $$\rho (S_{1}, S_{2})\leq\rho(S_{1},S)+\rho(S,S_{2})$$. Let $$\rho(S_{1},S)=\sum_{k=0}^{n+1}\|v_{1}^{k}-v^{\bar{\pi}_{k}}\|$$. Then we have
\begin{aligned} \rho(S_{1},S_{2})&=\min_{\pi}\sum _{k=0}^{n+1}\bigl\Vert v_{1}^{k}-v^{\pi_{k}}_{2} \bigr\Vert \\ &\leq \min_{\pi}\Biggl(\sum_{k=0}^{n+1} \bigl\Vert v_{1}^{k}-v^{\bar{\pi}_{k}}\bigr\Vert +\sum _{k=0}^{n+1}\bigl\Vert v^{\bar{\pi}_{k}}-v^{\pi_{k}}_{2} \bigr\Vert \Biggr) \\ &= \sum_{k=0}^{n+1}\bigl\Vert v_{1}^{k}-v^{\bar{\pi}_{k}}\bigr\Vert +\min _{\pi}\sum_{k=0}^{n+1}\bigl\Vert v^{\bar{\pi}_{k}}-v^{\pi_{k}}_{2}\bigr\Vert \\ &= \rho(S_{1},S)+\min_{\pi}\sum _{k=0}^{n+1}\bigl\Vert v^{k}-v^{\pi_{k}}_{2} \bigr\Vert \\ &= \rho(S_{1},S)+\rho(S,S_{2}). \end{aligned}
□

Concerning a stability analysis of approximate fixed points, we intend to restrain domains to avoiding a domain perturbed in a large-scale range. Let Δ be an n dimensional subset of a compact set X in $$R^{n+1}$$. Let $$M'\subset M$$ satisfy $$M'=\{S\in M: \Delta\subset S\subset X\}$$.

Lemma 4.2

The metric space $$(M',\rho)$$ is complete.

Proof

Take a Cauchy sequence $$\{S_{m}(v^{1}_{m},v^{2}_{m},\ldots,v^{n+1}_{m})\}$$ in $$M'$$. Then, for each $$\varepsilon>0$$, there exists a number N such that $$\rho(S_{s},S_{t})<\varepsilon$$ for any $$s,t>N$$. Without loss of generality, we can assume that $$\rho(S_{s},S_{t})=\sum_{k=0}^{n+1}\| v_{s}^{k}-v^{k}_{t}\|$$. Therefore, $$\{v^{k}_{m}\}$$ is a Cauchy sequence with the limit $$v^{k}_{0}$$, $$\forall k\in I_{n+1}$$. Denote by $$S_{0}$$ the simplex $$S_{0}(v^{1}_{0},v^{2}_{0},\ldots,v^{n+1}_{0})$$. Then we have $$\rho (S_{m},S_{0})\rightarrow0$$. Since $$\Delta\subset\bigcap_{m=1}^{\infty}S_{m}\subset X$$, it follows that $$\Delta\subset S_{0}\subset X$$, hence $$S_{0}$$ is an n-simplex in $$M'$$. □

Let P be the set of pairs $$(f,S)$$ such that
$$P=\bigl\{ (f,S)\in C(X)\times M':f(x)\in S, \forall x\in S\bigr\} .$$
Define the metric d between two $$u_{1}=(f_{1},S_{1})$$ and $$u_{2}=(f_{2},S_{2})$$ in $$M'$$ as
$$d(u_{1},u_{2})=\max_{x\in X}\bigl\Vert f_{1}(x)-f_{2}(x)\bigr\Vert +\rho(S_{1},S_{2}) .$$

Given a grid size $$\frac{1}{q}$$, for each $$u=(f,S)\in P$$, let $$T(u,q)$$ be the set of all sub-simplices with complete vector-valued labels with the function f in the triangulation of S under the grid size $$\frac {1}{q}$$, then we define a set-valued mapping T from P to X.

Similar to Definition 2.1, we consider the essential stability of approximate fixed points under both perturbations of functions and domains.

Definition 4.1

Given the grid size $$\frac{1}{q}$$, for each $$u=(f,S)\in P$$, we call a closed subset $$e(f)$$ in $$T(u,q)$$ an essential set with respect to P if, for any open set U with $$U\supset e(f)$$, there is an open $$O(u)$$ of u in P such that $$U\cap T(u',q)\neq\emptyset$$, $$\forall u'\in O(u)$$. A minimal element in the collection (ordered by set inclusion) of essential sets in $$T(u,q)$$ is called a minimal essential set with respect to P.

Theorem 4.1

Given a grid size $$\frac{1}{q}$$ and a continuous function $$f\in C(X)$$, the graph of the set-valued mapping T, $$\operatorname{Gr}T=\{(u,x)\mid u\in P, x\in T(u,q)\}$$, is closed.

Proof

Let $$\{(u_{m},x_{m})\}\subset \operatorname{Gr}T$$ with $$(u_{m},x_{m})\rightarrow(u_{0},x_{0})$$, where $$u_{m}=(f_{m},S_{m})$$, $$u_{0}=(f_{0},S_{0})$$, and $$S_{m}$$ is the simplex with $$v^{1}_{m},v^{2}_{m},\ldots,v^{n+1}_{m}$$ as its vertices for each $$m=1,2,\ldots$$ . Since $$(u_{m},x_{m})\in \operatorname{Gr}T$$, there exists a complete sub-simplex $$\sigma _{f_{m}}(y^{1}_{m}, y^{2}_{m}, \ldots,y^{n+1}_{m})$$ with vector-valued labels such that $$x_{m}\in\sigma_{f_{m}}\subset T(u_{m},q)\subset S_{m}$$, $$m=1,2,\ldots$$ .

Denote $$\sigma_{f_{m}}(y^{1}_{m},y^{2}_{m},\ldots, y^{n+1}_{m})$$ as $$\sigma _{f_{m}}(y^{1}_{m},\pi_{m})$$. Similar to Theorem 3.1, there exists a subsequence $$\{mk\}$$ of $$\{m\}$$ and a permutation π such that $$\sigma_{f_{mk}}(y^{1}_{mk},\pi_{mk})=\sigma_{f_{mk}}(y^{1}_{mk},\pi)$$. There is a convergent subsequence of $$\{y^{1}_{mk}\}\subset X$$, which is also denoted by $$\{y^{1}_{mk}\}$$ with $$y^{1}_{mk}\rightarrow y^{1}_{0}$$ ($$k\rightarrow\infty$$). So far, for each mk, by choosing some real numbers $$p^{i}_{mk}$$ ($$i\in I_{n+1}$$) with $$p^{i}_{mk}\to p^{i}_{0}$$ ($$k\to\infty$$), the sub-simplex $$\sigma_{f_{mk}}(y^{1}_{mk},\pi)$$ can be written as
$$y^{1}_{mk}=\bigl(p^{1}_{mk},p^{2}_{mk}, \ldots,p^{n+1}_{mk}\bigr)/q$$
and
$$y^{i+1}_{{mk}}=y^{i}_{mk}+ \bigl(v_{mk}^{\pi^{i+1}}-v_{mk}^{\pi^{i}}\bigr)/q , \quad \forall i\in I_{n} .$$
Since $$u_{m}\stackrel{d}{\rightarrow} u_{0}$$, which means that $$S_{m}\stackrel{\rho}{\rightarrow} S_{0}\in M'$$, then, by the definition of ρ, we have $$v_{mk}^{\pi^{i}}\rightarrow v_{0}^{\pi^{i}}$$, $$\forall i\in I_{n+1}$$. Noting that $$y^{1}_{mk}\rightarrow y^{1}_{0}$$, we have $$\sigma _{f_{mk}}(y^{1}_{mk},\pi)\stackrel{\rho}{\rightarrow}\sigma(y^{1}_{0},\pi)$$ as $$k\to\infty$$. Clearly, $$\sigma_{f_{0}}(y^{1}_{0},\pi)$$ is a simplex in the triangulation of $$S_{0}(v^{1}_{0},v^{2}_{0},\ldots,v_{0}^{n+1})$$ with the grid size $$\frac{1}{q}$$.

To finish the proof that $$x_{0}\in\sigma(y^{1}_{0},\pi)$$ and $$\sigma (y^{1}_{0},\pi)$$ is a complete sub-simplex with vector-valued labels by function $$f_{0}$$, we can adopt the corresponding part of Theorem 3.1. □

From Theorem 4.1, T is upper semi-continuous on P. Following the proof of Theorem 3.2 for the part of the existence of minimal element of essential sets, we obtain the following result.

Theorem 4.2

For each $$u=(f,S)\in P$$, given a triangulation of S with a grid size $$\frac{1}{q}$$, there exists a minimal essential set in $$T(u,q)$$ with respect to P.

Remark 4.1

Theorems 3.1, 3.2 and Theorem 4.1 obtain the stability for approximate fixed points with simplicial methods. From the point of applications, this may facilitate the stability analysis of equilibrium problems, such as Nash equilibria and ε-approximate Nash equilibria.

Declarations

Acknowledgements

This project is supported by the National Natural Science Foundation of China (11271098, 11661030), the China Postdoctoral Science Foundation (2016M590905), and the Doctoral Research Fund of Guilin University of Technology. 