 Research
 Open Access
 Published:
Fixed point theorems in CAT(0) spaces with applications
Journal of Inequalities and Applications volume 2014, Article number: 320 (2014)
Abstract
In this paper, noncompact CAT(0) versions of the FanBrowder fixed point theorem are established. As applications, we obtain new minimax inequalities, a saddle point theorem, a fixed point theorem for singlevalued mappings, best approximation theorems, and existence theorems of φequilibrium points for multiobjective noncooperative games in the setting of noncompact CAT(0) spaces. These results generalize many wellknown theorems in the literature.
MSC:91A10, 47H04, 47H10, 54H25.
1 Introduction
Fixed point theorems for setvalued mappings play a vital role in various fields of pure and applied mathematics. In 1968, Browder [1] proved that every setvalued mapping with convex values and open fibers from a compact Hausdorff topological vector space to a convex space has a continuous selection. By using this selection theorem and the Brouwer fixed point theorem, Browder [1] obtained the famous Browder fixed point theorem which is equivalent to the Fan section theorem established by Fan [2] in 1961. For this reason, the Browder fixed point theorem is also called in the literature the FanBrowder fixed point theorem. Since then, a body of generalizations and applications of the FanBrowder fixed point theorem have been extensively investigated by many authors; see, for example, [3–12] and the references therein. In particular, Park [13] discussed some updated unified forms of KKM theorems under the framework of abstract convex spaces, which include hyperconvex spaces as special cases.
We recall that a CAT(0) space is a special metric space and it does not possess any linear structure. Many authors have made a lot of efforts to generalize the fixed point theory from Euclidean spaces to CAT(0) spaces. Recently, a number of authors pay attention to establish fixed point theorems in CAT(0) spaces. Kirk [14, 15] first studied the fixed point theory in CAT(0) spaces. Since then, many authors have developed the fixed point theory for singlevalued and setvalued mappings in the setting of CAT(0) spaces. Dhompongsa et al. [16] proved that a nonexpansive mapping from a nonempty bounded closed convex subset of a CAT(0) space to the family of nonempty compact subsets of the CAT(0) space has a fixed point under suitable conditions. Shahzad [17] obtained fixed point theorems for singlevalued and setvalued mappings in CAT(0) spaces or ℝtrees. By using a Ky Fan type minimax inequality in CAT(0) spaces, Shabanian and Vaezpour [18] proved fixed point theorems and best approximation theorems. More recently, Asadi [19] studied the existence problem of common fixed points for two mappings in CAT(0) spaces. Other results, we refer the reader to the literature of Kirk [20], Shahzad and Markin [21], Shahzad [17], and many others.
We know that both CAT(0) and hyperconvex spaces are two interesting classes of spaces. But a CAT(0) space may not be a hyperconvex, indeed a CAT(0) space is a hyperconvex space if and only if it is a complete ℝtree (see Kirk [22] and the references therein).
Inspired and motivated by the results mentioned above, in this paper, we first establish generalized CAT(0) versions of the FanBrowder fixed point theorem. As applications, new minimax inequalities, a saddle point theorem, a fixed point theorem for singlevalued mappings, best approximation theorems, and existence theorems of φequilibrium points for multiobjective noncooperative games are obtained in the setting of noncompact CAT(0) spaces.
2 Preliminaries
Let ℝ and ℕ denote the set of all real numbers and the set of natural numbers, respectively. Let X be a set. We will denote by {2}^{X} the family of all subsets of X, by \u3008X\u3009 the family of nonempty finite subsets of X. Let A be a subset of a topological space X, we will denote the interior of A in X and the closure of A in X by {int}_{X}A and {cl}_{X}A, respectively. Let X, Y be two nonempty sets and T:X\to {2}^{Y} be a setvalued mapping. Then the setvalued mapping {T}^{1}:Y\to {2}^{X} is defined by {T}^{1}(y)=\{x\in X:y\in T(x)\} for every y\in Y.
Now we introduce some notation and concepts related to CAT(0) spaces. For more details, the reader may consult [16–19, 21, 23–29] and the references therein.
Let (E,d) be a metric space. A geodesic which joints the pair of points {x}_{1},{x}_{2}\in E is a mapping \gamma :[0,a]\subseteq \mathbb{R}\to E such that \gamma (0)={x}_{1}, \gamma (a)={x}_{2}, and d(\gamma (t),\gamma ({t}^{\prime}))=t{t}^{\prime} for every t,{t}^{\prime}\in [0,a]. In particular, we have a=d({x}_{1},{x}_{2}). The image \gamma ([0,a]) of γ is said to be a geodesic segment joining {x}_{1} and {x}_{2}. If the segment \gamma ([0,a]) is unique, then this geodesic segment is denoted by [{x}_{1},{x}_{2}]. The metric space (E,d) is said to be a geodesic space if, for every x,y\in E, there is a geodesic jointing x and y, and (E,d) is called to be uniquely geodesic if there is only one geodesic segment joining every pair of points x,y\in E.
Let D be a subset of a geodesic space (E,d). Then D is said to be convex if every geodesic segment joining any two points in D is contained in D.
A geodesic triangle Δ in a geodesic metric space (E,d) consists of three points {x}_{1},{x}_{2},{x}_{3}\in E and a geodesic segment between each pair of {x}_{1},{x}_{2},{x}_{3}\in E. All these geodesic segments are called the edges of Δ. A comparison triangle for the geodesic triangle Δ in (E,d) is a triangle \overline{\Delta} in the Euclidean plane {\mathbb{R}}^{2} which consists of three vertices {\overline{x}}_{1},{\overline{x}}_{2},{\overline{x}}_{3}\in {\mathbb{R}}^{2}. The triangle \overline{\Delta} has the same side lengths as Δ. That is,
We point out that such a comparison triangle always exists (see [23]). A geodesic space is said to be a CAT(0) space if the equality d(x,y)\le {d}_{{\mathbb{R}}^{2}}(\overline{x},\overline{y}) holds for every x,y\in \Delta and every \overline{x},\overline{y}\in \overline{\Delta}. Every CAT(0) space (E,d) is uniquely geodesic (see [23]).
Let x, {y}_{1}, {y}_{2} be points in a CAT(0) space (E,d) and {y}_{0} be the midpoint of the segment [{y}_{1},{y}_{2}]. Then the CAT(0) inequality implies the following inequality,
which is called the (CN) inequality of Bruhat and Tits [30].
A subset of a CAT(0) space equipped with the induced metric, is a CAT(0) space if and only if it is convex (see [23]). Let (E,d) be a CAT(0) space and D\subseteq E. Niculescu and Rovenţa [29] introduced the notion of a convex hull of D as follows:
where {D}_{0}=D and for n\ge 1, the set {D}_{n} consists of all points in E which lie on geodesics which start and end in {D}_{n1}.
Definition 2.2 ([29])
Let D be a nonempty subset of a CAT(0) space (E,d). A setvalued mapping G:D\to {2}^{E} is called to be a KKM mapping if
Let K be a nonempty subset of a topological space X. If every continuous mapping \varphi :K\to K has a fixed point, then K is said to have the fixed point property.
Definition 2.3 ([18])
A CAT(0) space (E,d) is said to have the convex hull finite property if the closed convex hull of every nonempty finite subset of E has the fixed point property.
Lemma 2.1 ([29])
Let (E,d) be a complete CAT(0) space with the convex hull finite property and X be a nonempty subset of E. Suppose that H:X\to {2}^{X} is a KKM mapping with closed values and H(z) is compact for some z\in X. Then {\bigcap}_{x\in X}H(x)\ne \mathrm{\varnothing}.
Lemma 2.2 Let (E,d) be a complete metric space. Then E is a geodesic space if and only if for every x,y\in E, there exists m\in E such that d(x,z)=d(z,y)=\frac{1}{2}d(x,y).
Proof The proof of sufficiency can be found in [[23], p.4]. Therefore, it suffices to prove the necessity. By the definition of a geodesic space, for every x,y\in E, there exists a mapping \gamma :[0,a]\subseteq \mathbb{R}\to E such that \gamma (0)=x, \gamma (a)=y, and d(\gamma (t),\gamma ({t}^{\prime}))=t{t}^{\prime} for every t,{t}^{\prime}\in [0,a]. Take {t}_{0}=\frac{a}{2}\in [0,a] and z=\gamma ({t}_{0})\in E. Then we have d(x,z)=d(\gamma (0),\gamma ({t}_{0}))=\frac{a}{2} and d(z,y)=d(\gamma ({t}_{0}),\gamma (a))=\frac{a}{2}. Since d(x,y)=d(\gamma (0),\gamma (a))=a, it follows that d(x,z)=d(z,y)=\frac{1}{2}d(x,y). This completes the proof. □
Lemma 2.3 ([23])
A geodesic space is a CAT(0) space if and only if it satisfies the (CN) inequality.
Lemma 2.4 ([31])
Every locally compact CAT(0) space (E,d) has the convex hull finite property.
Lemma 2.5 ([25])
Let (E,d) be a CAT(0) space and let x,y\in E. Then, for every t\in [0,1], there exists a unique point z\in [x,y] such that d(x,z)=td(x,y) and d(y,z)=(1t)d(x,y).
From now on, we will use the notation (1t)x\oplus ty for the unique point z in Lemma 2.5.
Lemma 2.6 ([25])
Let (E,d) be a CAT(0) space and let x,y\in E such that x\ne y. Then [x,y]=\{(1t)x\oplus ty:t\in [0,1]\}.
3 Fixed point theorems
In this section, we will develop four new versions of fixed point theorems in noncompact CAT(0) spaces.
Theorem 3.1 Let (E,d) be a complete CAT(0) space with the convex hull finite property, K be a nonempty compact subset of E, and F,G:E\to {2}^{E} be two setvalued mappings such that

(i)
for every y\in E, F(y)\subseteq G(y) and G(y) is convex;

(ii)
for every x\in E, {F}^{1}(x) is open in E;

(iii)
for every y\in K, F(y)\ne \mathrm{\varnothing};

(iv)
one of the following conditions holds:

(iv)_{1} for every N\in \u3008E\u3009, there exists a nonempty compact convex subset {E}_{N} of E containing N such that
{E}_{N}\setminus K\subseteq \bigcup _{x\in {E}_{N}}{int}_{{E}_{N}}({G}^{1}(x)\cap {E}_{N}); 
(iv)_{2} there exists a point {x}_{0}\in E such that {cl}_{E}(E\setminus {G}^{1}({x}_{0}))\subseteq K.

Then there exists \stackrel{\u02c6}{y}\in E such that \stackrel{\u02c6}{y}\in G(\stackrel{\u02c6}{y}).
Proof We distinguish the following two cases (iv)_{1} and (iv)_{2} for the proof.
Case (iv)_{1}. Suppose the contrary. Then, for every y\in E, we have y\notin G(y). Define \tilde{G},\tilde{F}:E\to {2}^{E} by
We will prove that the family \{\tilde{G}(x):x\in E\} has the finite intersection property. Let N\in \u3008E\u3009 be given. Then, by (iv)_{1}, there exists a nonempty compact convex subset {E}_{N} of E containing N. Furthermore, we define two setvalued mappings {G}^{\prime},{F}^{\prime}:{E}_{N}\to {2}^{{E}_{N}} by
By (i) and (ii), {G}^{\prime}(x)\subseteq {F}^{\prime}(x) for every x\in {E}_{N}. Since {E}_{N} is compact and every {G}^{\prime}(x) is relatively closed in {E}_{N}, it follows that every {G}^{\prime}(x) is compact. Now we show that the mapping {G}^{\ast}:{E}_{N}\to {2}^{{E}_{N}} defined by
is a KKM mapping. Suppose the contrary. Then there exist A\in \u3008{E}_{N}\u3009 and y\in co(A)\subseteq {E}_{N} such that
Hence, we have y\in {\bigcap}_{x\in A}{G}^{1}(x) and A\subseteq G(y). Therefore, we have y\in co(A)\subseteq G(y) by (i), which is a contradiction. Hence, {G}^{\ast} is a KKM mapping and so is {G}^{\prime}. By Lemma 2.1 and (iv)_{1}, we have
Taking \stackrel{\u02c6}{y}\in {\bigcap}_{x\in {E}_{N}}{G}^{\prime}(x) leads to
which implies that the family \{\tilde{G}(x):x\in E\} has the finite intersection property. By the compactness of K, we have {\bigcap}_{x\in E}\tilde{G}(x)\ne \mathrm{\varnothing}. Since \tilde{G}(x)\subseteq \tilde{F}(x) for every x\in E, it follows that
By (iii), for every y\in K, F(y)\ne \mathrm{\varnothing} and so, K\subseteq {\bigcup}_{x\in E}{F}^{1}(x), which is a contradiction. Therefore, there exists \stackrel{\u02c6}{y}\in K such that \stackrel{\u02c6}{y}\in G(\stackrel{\u02c6}{y}). This completes the proof.
Case (iv)_{2}. Suppose the contrary. Then, for every y\in E, y\notin G(y). Now let us define two setvalued mappings \tilde{G},\tilde{F}:E\to {2}^{E} by
By (i) and (ii), \tilde{G}(x)\subseteq \tilde{F}(x) for every x\in E. We show that \tilde{G} is a KKM mapping. That is, for every A\in \u3008E\u3009, co(A)\subseteq {\bigcup}_{x\in A}\tilde{G}(x). Otherwise, there exist A\in \u3008E\u3009 and a point y\in co(A) such that y\notin {\bigcup}_{x\in A}\tilde{G}(x)=E\setminus {\bigcap}_{x\in A}{int}_{E}{G}^{1}(x). It follows that y\in {\bigcap}_{x\in A}{G}^{1}(x). Therefore, A\subseteq G(y). Since G(y) is convex by (i), y\in co(A)\subseteq G(y), which is a contradiction. Hence, \tilde{G} is a KKM mapping. By the definition of \tilde{G}, \tilde{G}(x) is closed in E for every x\in E. By (iv)_{2}, there exists a point {x}_{0}\in E such that
which implies that \tilde{G}({x}_{0}) is compact. Then, by Lemma 2.1, we get
Therefore, we have
Taking {y}_{0}\in K\cap ({\bigcap}_{x\in E}\tilde{F}(x)), we have {y}_{0}\in K and x\notin F({y}_{0}) for every x\in E. Hence, we have F({y}_{0})=\mathrm{\varnothing}, which contradicts (iii). Therefore, there exists \stackrel{\u02c6}{y}\in K such that \stackrel{\u02c6}{y}\in G(\stackrel{\u02c6}{y}). This completes the proof. □
Remark 3.1 Theorem 3.1 can be regarded as a generalization of the FanBrowder fixed point theorem on Euclidean spaces to CAT(0) spaces without any linear structure. Theorem 3.1 is different from Theorem 1 of Browder [1], Theorem 1 of Yannelis [3], and Theorem 2.4‴ of Tan and Yuan [32], which are established in the setting of topological vector spaces.
Remark 3.2 If only (iv)_{1} of Theorem 3.1 holds, then the E in Theorem 3.1 does not need to possess the convex hull finite property. In fact, from the first part of the proof of Theorem 3.1, we can see that for every N\in \u3008E\u3009, {E}_{N} is a nonempty compact convex subset of E and thus, it is a compact CAT(0) space with the induced metric. Hence, by Lemma 2.4, {E}_{N} has the convex hull finite property. The key approach to the first part of the proof of Theorem 3.1 is to define two setvalued mappings on each {E}_{N} and then apply the KKM lemma on {E}_{N}. Therefore, the E in Theorem 3.1 does not need to have the convex hull finite property.
Remark 3.3 If F=G, then (iv)_{1} and (iv)_{2} of Theorem 3.1 can be replaced by the following equivalent conditions, respectively:
{\text{(iv)}}_{1}^{\prime} for every N\in \u3008E\u3009, there exists a nonempty compact convex subset {E}_{N} of E containing N such that {E}_{N}\setminus K\subseteq {\bigcup}_{x\in {E}_{N}}{F}^{1}(x);
{\text{(iv)}}_{2}^{\prime} there exists a point {x}_{0}\in E such that E\setminus {F}^{1}({x}_{0})\subseteq K.
Theorem 3.2 Let (E,d) be a complete CAT(0) space with the convex hull finite property, K be a nonempty compact subset of E, and F,G:E\to {2}^{E} be two setvalued mappings such that

(i)
for every y\in E, F(y)\subseteq G(y) and G(y) is convex;

(ii)
K\subseteq {\bigcup}_{x\in E}{int}_{E}{F}^{1}(x);

(iii)
one of the following conditions holds:

(iii)_{1} for every N\in \u3008E\u3009, there exists a nonempty compact convex subset {E}_{N} of E containing N such that
{E}_{N}\setminus K\subseteq \bigcup _{x\in {E}_{N}}{int}_{{E}_{N}}({G}^{1}(x)\cap {E}_{N}); 
(iii)_{2} there exists a point {x}_{0}\in E such that {cl}_{E}(E\setminus {G}^{1}({x}_{0}))\subseteq K.

Then there exists \stackrel{\u02c6}{y}\in E such that \stackrel{\u02c6}{y}\in G(\stackrel{\u02c6}{y}).
Proof Define \tilde{F}:E\to {2}^{E} by \tilde{F}(y)={({int}_{E}{F}^{1})}^{1}(y) for every y\in E. By (i), we have \tilde{F}(y)\subseteq F(y)\subseteq G(y) for every y\in E. By the definition of \tilde{F}, we have {\tilde{F}}^{1}(x)={int}_{E}{F}^{1}(x) for every x\in E, which is open in E. By (ii) and by the definition of \tilde{F}, we know that \tilde{F}(y)\ne \mathrm{\varnothing} for every y\in K. Thus, all the hypotheses of Theorem 3.1 for \tilde{F} and G are satisfied. Hence, by Theorem 3.1 for \tilde{F} and G, the conclusion of Theorem 3.2 holds. □
Remark 3.4 We have shown that Theorem 3.1 implies Theorem 3.2. It is evident that Theorem 3.2 implies Theorem 3.1. Therefore, Theorem 3.1 is equivalent to Theorem 3.2.
By Theorem 3.1, we have the following maximal element theorem.
Theorem 3.3 Let (E,d) be a complete CAT(0) space with the convex hull finite property, K be a nonempty compact subset of E, and F,G:E\to {2}^{E} be two setvalued mappings such that

(i)
for every y\in E, F(y)\subseteq G(y) and G(y) is convex;

(ii)
for every x\in E, {F}^{1}(x) is open in E;

(iii)
for every y\in E, y\notin G(y);

(iv)
one of the following conditions holds:

(iv)_{1} for every N\in \u3008E\u3009, there exists a nonempty compact convex subset {E}_{N} of E containing N such that
{E}_{N}\setminus K\subseteq \bigcup _{x\in {E}_{N}}{int}_{{E}_{N}}({G}^{1}(x)\cap {E}_{N}); 
(iv)_{2} there exists a point {x}_{0}\in E such that {cl}_{E}(E\setminus {G}^{1}({x}_{0}))\subseteq K.

Then there exists \stackrel{\u02c6}{y}\in K such that F(\stackrel{\u02c6}{y})=\mathrm{\varnothing}.
Proof Suppose to the contrary that F(y)\ne \mathrm{\varnothing} for every y\in K. Then, by Theorem 3.1, there exists \stackrel{\u02c6}{y}\in E such that \stackrel{\u02c6}{y}\in G(\stackrel{\u02c6}{y}), which contradicts (iii) of Theorem 3.3. Therefore, the conclusion of Theorem 3.3 holds. This completes the proof. □
Remark 3.5 Theorem 3.3 is equivalent to Theorem 3.1. We have shown that Theorem 3.1 implies Theorem 3.3. So, it suffices to show that Theorem 3.3 implies Theorem 3.1. Suppose not. Then, for every y\in E, y\notin G(y). By Theorem 3.3, there exists \stackrel{\u02c6}{y}\in K such that F(\stackrel{\u02c6}{y})=\mathrm{\varnothing}, which contradicts (iii) of Theorem 3.1. Therefore, the conclusion of Theorem 3.1 holds.
Remark 3.6 Theorem 3.3 is established in the setting of noncompact CAT(0) spaces which include Hadamard manifolds as special cases (see [23, 33] and the references therein). Therefore, Theorem 3.3 generalizes Theorem 3.1 of Yang and Pu [34] from Hadamard manifolds to noncompact CAT(0) spaces. We point out that the proof of Theorem 3.3 is different from that of Theorem 3.1 of Yang and Pu [34].
Let I be a finite index set and {\{({E}_{i},{d}_{i})\}}_{i\in I} be a family of metric spaces, where {d}_{i} is the metric of {E}_{i} for every i\in I. Let (E,d) be the product space {\prod}_{i\in I}({E}_{i},{d}_{i}), where d is the metric of E. For every i\in I, every {x}_{i}\in {E}_{i}, and every r>0, let {U}_{i}^{{d}_{i}}({x}_{i},r)\subseteq {E}_{i} denote the open ball centered at {x}_{i} with radius r. For every x\in E and every r>0, let {U}^{d}(x,r)\subseteq E denote the open ball centered at x with radius r.
By Theorem 3.1, we have the following collectively fixed point theorem in noncompact CAT(0) spaces.
Theorem 3.4 Let {\{({E}_{i},{d}_{i})\}}_{i\in I} be a family of complete locally compact CAT(0) spaces, where I is a finite index set. Let K be a nonempty compact subset of E={\prod}_{i\in I}{E}_{i}. For every i\in I, let {F}_{i},{G}_{i}:E\to {2}^{{E}_{i}} be two setvalued mappings such that

(i)
for every i\in I and every y\in E, {F}_{i}(y)\subseteq {G}_{i}(y) and {G}_{i}(y) is convex;

(ii)
for every i\in I and every {x}_{i}\in {E}_{i}, {F}_{i}^{1}({x}_{i}) is open in E;

(iii)
for every i\in I and every y\in K, {F}_{i}(y)\ne \mathrm{\varnothing};

(iv)
one of the following conditions holds:

(iv)_{1} for every i\in I and every {N}_{i}\in \u3008{E}_{i}\u3009, there exists a nonempty compact convex subset {E}_{{N}_{i}} of {E}_{i} containing {N}_{i} such that, for every y={({y}_{i})}_{i\in I}\in {E}_{N}\setminus K, there exist r(y)>0 and \overline{x}(y)={({\overline{x}}_{i}(y))}_{i\in I}\in {E}_{N} such that
\prod _{i\in I}{U}_{i}^{{d}_{i}}({y}_{i},r(y))\cap {E}_{N}\subseteq \bigcap _{i\in I}{G}_{i}^{1}({\overline{x}}_{i}(y))\cap {E}_{N},where {E}_{N}={\prod}_{i\in I}{E}_{{N}_{i}};

(iv)_{2} there exists a point {x}_{0}={({x}_{0i})}_{i\in I}\in E such that {cl}_{E}(E\setminus {\bigcap}_{i\in I}{G}_{i}^{1}({x}_{0i}))\subseteq K.

Then there exists \stackrel{\u02c6}{y}\in E such that {\stackrel{\u02c6}{y}}_{i}\in {G}_{i}(\stackrel{\u02c6}{y}) for every i\in I.
Proof Let I=\{1,2,\dots ,n\}. Define d:E\times E\to \mathbb{R} by
We prove Theorem 3.4 in the following four steps.
Step 1. Show that (E,d) is a metric space.
In fact, it suffices to check the triangle inequality; that is, for every x=({x}_{1},{x}_{2},\dots ,{x}_{n}),y=({y}_{1},{y}_{2},\dots ,{y}_{n}),z=({z}_{1},{z}_{2},\dots ,{z}_{n})\in E, we have d(x,y)\le d(x,z)+d(z,y). In order to prove it, we have to show that
By the CauchySchwarz inequality, we have
Thus, we get
Since {d}_{i}({x}_{i},{y}_{i})\le {d}_{i}({x}_{i},{z}_{i})+{d}_{i}({z}_{i},{y}_{i}) for every i\in \{1,2,\dots ,n\}, it follows from the above inequality that d(x,y)\le d(x,z)+d(z,y).
Step 2. Show that (E,d) is a complete locally compact space.
Firstly, we show that the topology {\tau}_{d} associated with the metric d is the product topology on E. In fact, for every x=({x}_{1},{x}_{2},\dots ,{x}_{n}),y=({y}_{1},{y}_{2},\dots ,{y}_{n})\in E, let \delta (x,y)=max\{{d}_{i}({x}_{i},{y}_{i}):i=1,2,\dots ,n\}. Then δ is a metric of E and we have
Therefore, the metric δ is equivalent to d and hence, {\tau}_{\delta}={\tau}_{d}. For every r>0 and every x=({x}_{1},{x}_{2},\dots ,{x}_{n})\in E, we have {U}^{\delta}(x,r)={\prod}_{i=1}^{n}{U}_{i}^{{d}_{i}}({x}_{i},r). In fact, y\in {U}^{\delta}(x,r)\iff max\{{d}_{i}({x}_{i},{y}_{i}):1\le i\le n\}<r\iff {d}_{i}({x}_{i},{y}_{i})<r for every i\in \{1,2,\dots ,n\}. So, y\in {U}^{\delta}(x,r)\iff {y}_{i}\in {U}_{i}^{{d}_{i}}({x}_{i},r) for every i\in \{1,2,\dots ,n\}\iff y\in {\prod}_{i=1}^{n}{U}_{i}^{{d}_{i}}({x}_{i},r). We can see that the collection \{{U}^{\delta}(x,r):x\in E\text{and}r0\} forms a base for {\tau}_{\delta} and the collection \{{\prod}_{i=1}^{n}{U}_{i}^{{d}_{i}}({x}_{i},r):{x}_{i}\in {E}_{i}\text{and}r0\} forms a base for the product topology on E. Hence, \{{U}^{\delta}(x,r):x\in E\text{and}r0\} also forms a base for the product topology on E. Therefore, the topology {\tau}_{d} associated to the metric d is the product topology on E.
Secondly, we prove that E is a complete space. In fact, let {\{{x}^{(k)}\}}_{k\ge 1} be a Cauchy sequence with points {x}^{(k)}={({x}_{i}^{(k)})}_{i\in I}\in E. Thus, for every \epsilon >0, there is a positive integer {n}_{0} such that for all positive integers k\ge {n}_{0} and m\ge {n}_{0}, d({x}^{k},{x}^{m})<\epsilon. Hence, for every i\in \{1,2,\dots ,n\}, {d}_{i}({x}_{i}^{(k)},{x}_{i}^{(m)})\le d({x}^{k},{x}^{m})<\epsilon whenever k\ge {n}_{0} and m\ge {n}_{0}, which implies that, for every i\in \{1,2,\dots ,n\}, \{{x}_{i}^{(k)}\} is a Cauchy sequence in {E}_{i}. Since every {E}_{i} is a complete metric space, it follows that {lim}_{k\to \mathrm{\infty}}{x}_{i}^{(k)}={x}_{i} for every i\in \{1,2,\dots ,n\}. Let \epsilon >0 be arbitrarily given. For every i\in \{1,2,\dots ,n\}, there exists a positive integer k(i) such that
Consequently, we have
Thus, {lim}_{k\to \mathrm{\infty}}{x}^{(k)}=x={({x}_{i})}_{i\in I}\in E, which implies that E is a complete metric space.
Finally, we show that E is a locally compact space. Let x={({x}_{i})}_{i\in I}\in E be an arbitrary point. Since every {E}_{i} is a locally compact space, it follows that, for every i\in \{1,2,\dots ,n\}, there exists {r}_{i}>0 such that {cl}_{{E}_{i}}{U}_{i}^{{d}_{i}}({x}_{i},{r}_{i}) is compact. Let r=min\{{r}_{1},{r}_{2},\dots ,{r}_{n}\}. Then we have {U}^{d}(x,r)\subseteq {\prod}_{i=1}^{n}{U}_{i}^{{d}_{i}}({x}_{i},r)\subseteq {\prod}_{i\in I}{U}_{i}^{{d}_{i}}({x}_{i},{r}_{i}), which implies that
Since {\prod}_{i=1}^{n}{cl}_{{E}_{i}}{U}_{i}^{{d}_{i}}({x}_{i},{r}_{i}) is compact and {cl}_{E}{U}^{d}(x,r) is closed, it follows that {cl}_{E}{U}^{d}(x,r) is compact. Hence, E is locally compact.
Step 3. Show that (E,d) is a CAT(0) space.
For every x=({x}_{1},{x}_{2},\dots ,{x}_{n}),y=({y}_{1},{y}_{2},\dots ,{y}_{n})\in E. Since every {E}_{i} is a complete CAT(0) space and thus, it is a geodesic space, it follows from Lemma 2.2 that there exists {z}_{i}\in {E}_{i} such that {d}_{i}({x}_{i},{z}_{i})={d}_{i}({z}_{i},{y}_{i})=\frac{1}{2}{d}_{i}({x}_{i},{y}_{i}) for every i\in \{1,2,\dots ,n\}. Let z={({z}_{i})}_{i\in I}\in E. Then we have
Hence, by Lemma 2.2 again, E is a geodesic space. Now we claim that E satisfies the (CN) inequality. In fact, let x=({x}_{1},{x}_{2},\dots ,{x}_{n}),y=({y}_{1},{y}_{2},\dots ,{y}_{n}),z=({z}_{1},{z}_{2},\dots ,{z}_{n})\in E and p=({p}_{1},{p}_{2},\dots ,{p}_{n})\in E with d(y,p)=d(p,z)=\frac{1}{2}d(y,z). We show that {d}_{i}({y}_{i},{p}_{i})={d}_{i}({p}_{i},{z}_{i})=\frac{1}{2}{d}_{i}({y}_{i},{z}_{i}) for every i\in \{1,2,\dots ,n\}. Let α and β be two numbers satisfying \alpha +\beta \ge 1. Then {\alpha}^{2}+{\beta}^{2}\ge \frac{1}{2}{(\alpha +\beta )}^{2}\ge \frac{1}{2} with equality if and only if \alpha =\beta =\frac{1}{2}. By this fact and by the triangle inequality, we get
We can see that the left of the above inequality equals \frac{1}{2} if and only if \frac{1}{2}{d}_{i}({y}_{i},{z}_{i})={d}_{i}({y}_{i},{p}_{i})={d}_{i}({p}_{i},{z}_{i}) for every i\in \{1,2,\dots ,n\}. Adding these inequalities leads to
that is, \frac{1}{2}{d}^{2}(y,z)\le {d}^{2}(y,p)+{d}^{2}(p,z). Since d(y,p)=d(p,z)=\frac{1}{2}d(y,z), it follows from the above inequality that {d}_{i}({y}_{i},{p}_{i})={d}_{i}({p}_{i},{z}_{i})=\frac{1}{2}{d}_{i}({y}_{i},{z}_{i}) for every i\in \{1,2,\dots ,n\}. Since every {E}_{i} is a CAT(0) space, by Lemma 2.3, we have the following (CN) inequality:
Adding these inequalities, we get
which implies that E satisfies the (CN) inequality. By Lemma 2.3 again, we know that E is a CAT(0) space.
Step 4. Prove that there exists \stackrel{\u02c6}{y}\in E such that {\stackrel{\u02c6}{y}}_{i}\in {G}_{i}(\stackrel{\u02c6}{y}) for every i\in I.
By the above steps, we know that E is a complete locally compact CAT(0) space. Thus, by Lemma 2.4, E has the convex hull finite property. Now we define two setvalued mappings F,G:E\to {2}^{E} by
By (i), F(y)\subseteq G(y) for every y\in E. For every x\in E, we have
Then, by (ii) and by the fact that I is a finite index set, we know that {F}^{1}(x) is open in E for every x\in E. By (iii), for every y\in K, F(y)\ne \mathrm{\varnothing}. Suppose that (iv)_{1} holds. Then, for every N\in \u3008E\u3009 and every {N}_{i}\in \u3008{E}_{i}\u3009, there exists a nonempty compact convex subset {E}_{{N}_{i}} of {E}_{i} containing {N}_{i} and so, {E}_{{N}_{i}} is naturally a compact CAT(0) space with the induced metric. By using the same method as in Step 3, we can prove that {E}_{N}={\prod}_{i\in I}{E}_{{N}_{i}}\ni N is a nonempty compact CAT(0) space and hence, it is naturally a nonempty compact convex subset of E. For every y=({y}_{1},{y}_{2},\dots ,{y}_{n})\in E and every r>0, we can see that {U}^{d}(y,r)\subseteq {\prod}_{i\in I}{U}_{i}^{{d}_{i}}({y}_{i},r). Therefore, by this fact and by (iv)_{1}, for every y={({y}_{i})}_{i\in I}\in {E}_{N}\setminus K, there exist r(y)>0 and \overline{x}(y)={({\overline{x}}_{i}(y))}_{i\in I}\in {E}_{N} such that
This implies that y\in {int}_{{E}_{N}}({G}^{1}(\overline{x}(y))\cap {E}_{N}). Thus, for every N\in \u3008E\u3009, there exists a nonempty compact convex subset {E}_{N} of E containing N such that
Moreover, if (iv)_{2} is satisfied, then there exists a point {x}_{0}={({x}_{0i})}_{i\in I}\in E such that
Therefore, by Theorem 3.1, there exists \stackrel{\u02c6}{y}={({\stackrel{\u02c6}{y}}_{i})}_{i\in I}\in E such that \stackrel{\u02c6}{y}\in G(\stackrel{\u02c6}{y}); that is, {\stackrel{\u02c6}{y}}_{i}\in {G}_{i}(\stackrel{\u02c6}{y}) for every i\in I. This completes the proof. □
Remark 3.7 We can compare Theorem 3.4 with Theorem 3 of Prokopovych [35] in the following aspects: (1) every {E}_{i} in Theorem 3.4 does not need to be compact and it does not possess any linear structure; (2) in Theorem 3.4, there are two setvalued mappings, but there is only one setvalued mapping in Theorem 3 of Prokopovych [35]; (3) (iii) of Theorem 3.4 is weaker than the corresponding condition of Theorem 3 of Prokopovych [35] because the domain of every {F}_{i} does not need to be E.
4 Minimax inequalities with applications
In this section, by using Theorem 3.1, we will give minimax inequalities in noncompact CAT(0) spaces. As applications of minimax inequalities, we obtain a saddle point theorem, a fixed point theorem for singlevalued mappings, and best approximation theorems in the setting of noncompact CAT(0) spaces.
Theorem 4.1 Let (E,d) be a complete CAT(0) space with the convex hull finite property, K be a nonempty compact subset of E, and f,g:E\times E\to \mathbb{R}\cup \{\pm \mathrm{\infty}\} be two functions such that

(i)
for every (x,y)\in E\times E, f(x,y)\le g(x,y);

(ii)
for every y\in E, the set \{x\in E:g(x,y)>0\} is convex;

(iii)
for every x\in E, y\mapsto f(x,y) is lower semicontinuous on E;

(iv)
for every y\in E, g(y,y)\le 0;

(v)
one of the following conditions holds:

(v)_{1} for every N\in \u3008E\u3009, there exists a nonempty compact convex subset {E}_{N} of E containing N such that
{E}_{N}\setminus K\subseteq \bigcup _{x\in {E}_{N}}{int}_{{E}_{N}}(\{y\in E:g(x,y)>0\}\cap {E}_{N}); 
(v)_{2} there exists a point {x}_{0}\in E such that {cl}_{E}(E\setminus \{y\in E:g({x}_{0},y)>0\})\subseteq K.

Then there exists \stackrel{\u02c6}{y}\in K such that f(x,\stackrel{\u02c6}{y})\le 0 for every x\in E.
Proof Define two setvalued mappings F,G:E\to {2}^{E} by
By (i) and (ii), F(y)\subseteq G(y) and G(y) is convex for every y\in E. By (iii), {F}^{1}(x) is open in E for every x\in E. It follows from (v) and the definition of G that one of the following conditions holds:

(a)
for every N\in \u3008E\u3009, there exists a nonempty compact convex subset {E}_{N} of E containing N such that
{E}_{N}\setminus K\subseteq \bigcup _{x\in {E}_{N}}{int}_{{E}_{N}}({G}^{1}(x)\cap {E}_{N}); 
(b)
there exists a point {x}_{0}\in E such that {cl}_{E}(E\setminus {G}^{1}({x}_{0}))\subseteq K.
By (iv), y\notin G(y) for every y\in E, which implies that the conclusion of Theorem 3.1 does not hold. Hence, (iii) of Theorem 3.1 is not true. So, there exists \stackrel{\u02c6}{y}\in K such that F(\stackrel{\u02c6}{y})=\mathrm{\varnothing}, which implies that f(x,\stackrel{\u02c6}{y})\le 0 for every x\in E. This completes the proof. □
Remark 4.1 If f=g, then (v)_{1} and (v)_{2} of Theorem 4.1 can be replaced by the following equivalent conditions, respectively:
{\text{(v)}}_{1}^{\prime} for every N\in \u3008E\u3009, there exists a nonempty compact convex subset {E}_{N} of E containing N such that {E}_{N}\setminus K\subseteq {\bigcup}_{x\in {E}_{N}}\{y\in E:f(x,y)>0\};
{\text{(v)}}_{2}^{\prime} there exists a point {x}_{0}\in E such that E\setminus \{y\in E:f({x}_{0},y)>0\}\subseteq K.
Remark 4.2 (ii) of Theorem 4.1 can be replaced by the following condition:
(ii)′ Let y\in E be given. For every {x}_{1},{x}_{2}\in E and every t\in [0,1], we have
In fact, we can show that (ii)′ implies (ii) of Theorem 4.1. Suppose to the contrary that (ii) of Theorem 4.1 does not hold; that is, for every given y\in E, there exist {x}_{1},{x}_{2}\in \{x\in E:g(x,y)>0\} and the unique geodesic γ joining {x}_{1} and {x}_{2} such that [{x}_{1},{x}_{2}]\u2288\{x\in E:g(x,y)>0\} and {x}_{1}\ne {x}_{2}. By Lemma 2.6, there exists {t}_{0}\in [0,1] such that (1{t}_{0}){x}_{1}\oplus {t}_{0}{x}_{2}\notin \{x\in E:g(x,y)>0\}. Therefore, by (ii)′ and by the fact that [{x}_{1},{x}_{2}]\u2288\{x\in E:g(x,y)>0\}, we have
which is a contraction. Hence, (ii) of Theorem 4.1 holds.
Remark 4.3 Theorem 3.1 is equivalent to Theorem 4.1. We have shown that Theorem 3.1 implies Theorem 4.1. Now we show that Theorem 4.1 implies Theorem 3.1. Suppose that all the hypotheses of Theorem 3.1 are satisfied. Define two realvalued functions f,g:E\times E\to \mathbb{R} by
By (i) of Theorem 3.1, for every (x,y)\in E\times E, f(x,y)\le g(x,y) and the set \{x\in E:g(x,y)>0\} is convex for every y\in E. For every x\in E and every r\in \mathbb{R}, we have
Hence, by (ii) of Theorem 3.1, for every x\in E and every r\in \mathbb{R}, the set \{y\in E:f(x,y)>r\} is open in E, which implies that for every x\in E, the function y\mapsto f(x,y) is lower semicontinuous on E. If the conclusion of Theorem 3.1 were not true, then, for every y\in E, we have g(y,y)\le 0. Suppose that (iv)_{1} of Theorem 3.1 holds. Then, by (iv)_{1} of Theorem 3.1 and by the definition of g, we know that, for every N\in \u3008E\u3009, there exists a nonempty compact convex subset {E}_{N} of E containing N such that
If (iv)_{2} of Theorem 3.1 holds, then, by (iv)_{2} of Theorem 3.1 and by the definition of g, there exists a point {x}_{0}\in E such that {cl}_{E}(E\setminus \{y\in E:g({x}_{0},y)>0\})\subseteq K. Thus, all the hypotheses of Theorem 4.1 are satisfied. By Theorem 4.1, there exists \stackrel{\u02c6}{y}\in K such that f(x,\stackrel{\u02c6}{y})\le 0 for every x\in E. Therefore, x\notin F(\stackrel{\u02c6}{y}) for every x\in E, which implies that F(\stackrel{\u02c6}{y})=\mathrm{\varnothing}. This contradicts (iii) of Theorem 3.1. Hence, the conclusion of Theorem 3.1 must hold.
Remark 4.4 Theorem 4.1 generalizes Theorem 5.3 of Yang and Pu [34] in the following aspects: (1) The underlying spaces of Theorem 4.1 and Theorem 5.3 of Yang and Pu [34] are CAT(0) spaces and Hadamard manifolds, respectively. We can see that CAT(0) spaces include Hadamard manifolds as special cases (see [23]); (2) the E in Theorem 4.1 does not need to be compact; (3) in Theorem 4.1, there are two functions, but there is only one function in Theorem 5.3 of Yang and Pu [34].
Remark 4.5 By Remarks 3.5 and 4.3, we know that Theorem 3.1, Theorem 3.3 and Theorem 4.1 are equivalent.
Corollary 4.1 Let C be a closed convex subset of a complete CAT(0) space (E,d) with the convex hull finite property, K be a nonempty compact subset of C, and f,g:C\times C\to \mathbb{R}\cup \{\pm \mathrm{\infty}\} be two functions. Suppose that {sup}_{y\in C}g(y,y)<+\mathrm{\infty} and the following conditions are fulfilled:

(i)
for every (x,y)\in C\times C, f(x,y)\le g(x,y);

(ii)
for every y\in C, the set \{x\in C:g(x,y)>{sup}_{y\in C}g(y,y)\} is convex;

(iii)
for every x\in C, y\mapsto f(x,y) is lower semicontinuous on C;

(iv)
one of the following conditions holds:

(iv)_{1} for every N\in \u3008C\u3009, there exists a nonempty compact convex subset {C}_{N} of C containing N such that
{C}_{N}\setminus K\subseteq \bigcup _{x\in {C}_{N}}{int}_{{C}_{N}}(\{y\in C:g(x,y)>\underset{y\in C}{sup}g(y,y)\}\cap {C}_{N}); 
(iv)_{2} there exists a point {x}_{0}\in C such that
{cl}_{C}(C\setminus \{y\in C:g({x}_{0},y)>\underset{y\in C}{sup}g(y,y)\})\subseteq K.

Then there exists \stackrel{\u02c6}{y}\in K such that f(x,\stackrel{\u02c6}{y})\le {sup}_{y\in C}g(y,y) for every x\in C.
Proof Since C is a closed convex subset of the complete CAT(0) space (E,d) with the convex finite property, it follows that C equipped with the induced metric is also a complete CAT(0) space with the convex hull finite property. Define two functions {f}^{\prime},{g}^{\prime}:C\times C\to \mathbb{R}\cup \{\pm \mathrm{\infty}\} by
We can easily check that {f}^{\prime}, {g}^{\prime} satisfy all the hypotheses of Theorem 4.1. Therefore, by Theorem 4.1, we infer that there exists \stackrel{\u02c6}{y}\in K such that {f}^{\prime}(x,\stackrel{\u02c6}{y})\le 0 for every x\in C; that is, f(x,\stackrel{\u02c6}{y})\le {sup}_{y\in C}g(y,y) for every x\in C. This completes the proof. □
Remark 4.6 Corollary 4.1 generalizes Theorem 3.3 of Shabanian and Vaezpour [18] in the following aspects: (1) the set C in Corollary 4.1 does not need to be compact; (2) (ii) of Corollary 4.1 is weaker than the corresponding (2) of Theorem 3.3 of Shabanian and Vaezpour [18]; (3) in Corollary 4.1, there are two functions, but there is only one function in Theorem 3.3 of Shabanian and Vaezpour [18].
By Theorem 4.1, we get the following saddle point theorem in CAT(0) spaces.
Theorem 4.2 Let (E,d) be a complete CAT(0) space with the convex hull finite property, {K}_{1},{K}_{2}\subseteq E be two nonempty compact sets, and f:E\times E\to \mathbb{R}\cup \{\pm \mathrm{\infty}\} be a realvalued continuous function. Assume that

(i)
for every y\in E, f(y,y)=0;

(ii)
for every y\in E, the set \{x\in E:f(x,y)>0\} is convex;

(iii)
for every x\in E, the set \{y\in E:f(x,y)<0\} is convex;

(iv)
one of the following conditions holds:

(iv)_{1} for every N\in \u3008E\u3009, there exist two nonempty compact convex subsets {E}_{N}, {\tilde{E}}_{N} of E containing N such that
{E}_{N}\setminus {K}_{1}\subseteq \bigcup _{x\in {E}_{N}}\{y\in E:f(x,y)>0\}and
{\tilde{E}}_{N}\setminus {K}_{2}\subseteq \bigcup _{y\in {\tilde{E}}_{N}}\{x\in E:f(x,y)<0\}; 
(iv)_{2} there exist two points {x}_{0},{y}_{0}\in E such that
E\setminus {K}_{1}\subseteq \{y\in E:f({x}_{0},y)>0\}\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}E\setminus {K}_{2}\subseteq \{x\in E:f(x,{y}_{0})<0\}.

Then f has a saddle point (\stackrel{\u02c6}{x},\stackrel{\u02c6}{y})\in {K}_{1}\times {K}_{2}; that is, f(x,\stackrel{\u02c6}{y})\le f(\stackrel{\u02c6}{x},\stackrel{\u02c6}{y})\le f(\stackrel{\u02c6}{x},y) for every (x,y)\in E\times E. In particular, {inf}_{x\in E}{sup}_{y\in E}f(x,y)={sup}_{y\in E}{inf}_{x\in E}f(x,y).
Proof By (i), (ii), the continuity of f, the first parts of (iv)_{1} and (iv)_{2}, and Remark 4.1, we can see that all the conditions of Theorem 4.1 with f=g are satisfied. Thus, by Theorem 4.1 with f=g, there exists \stackrel{\u02c6}{y}\in {K}_{1} such that f(x,\stackrel{\u02c6}{y})\le 0 for every x\in E. Let {f}^{\prime}:E\times E\to \mathbb{R}\cup \{\pm \mathrm{\infty}\} be defined by {f}^{\prime}(y,x)=f(x,y) for every (y,x)\in E\times E. Then by (i), (iii), the continuity of f, the second parts of (iv)_{1} and (iv)_{2}, and Remark 4.1, we can see that all the hypotheses of Theorem 4.1 with f=g are fulfilled. Hence, by Theorem 4.1 with f=g, there exists \stackrel{\u02c6}{x}\in {K}_{2} such that {f}^{\prime}(y,\stackrel{\u02c6}{x})\le 0 for every y\in E. Therefore, we get
and so
Since {inf}_{x\in E}{sup}_{y\in E}f(x,y)\ge {sup}_{y\in E}{inf}_{x\in E}f(x,y) is always true, we have
This completes the proof. □
By Theorem 4.1, we have the following best approximation theorem in CAT(0) spaces.
Theorem 4.3 Let (E,d) be a complete CAT(0) space, C\subseteq E be a closed locally compact convex set, H:C\to E be a continuous mapping. Suppose that there exists a nonempty compact subset K of C such that one of the following conditions holds:
(i)_{1} for every N\in \u3008C\u3009, there exists a nonempty compact convex subset {C}_{N} of C containing N such that
(i)_{2} there exists a point {x}_{0}\in C such that
Then there exists \stackrel{\u02c6}{y}\in K such that d(\stackrel{\u02c6}{y},H(\stackrel{\u02c6}{y}))={inf}_{x\in C}d(x,H(\stackrel{\u02c6}{y})).
Proof Since C is a closed locally compact convex subset of E, it follows that C with the induced metric is a complete locally compact CAT(0) space. By Lemma 2.4, C has the convex hull finite property. Define a function f:C\times C\to \mathbb{R} by
Since H is continuous, it is evident that, for every x\in C, the function y\mapsto d(y,H(y))d(x,H(y)) is lower semicontinuous. For every y\in C, f(y,y)=0. By the assumption and by the definition of f, we know that one of the following conditions holds:

(a)
for every N\in \u3008C\u3009, there exists a nonempty compact convex subset {C}_{N} of C containing N such that {C}_{N}\setminus K\subseteq {\bigcup}_{x\in {C}_{N}}\{y\in C:f(x,y)>0\};

(b)
there exists a point {x}_{0}\in C such that C\setminus \{y\in C:f({x}_{0},y)>0\}\subseteq K.
It remains to prove that for every fixed y\in C, the set \{x\in C:f(x,y)>0\} is convex. Suppose to the contrary that there exist two points {x}_{1},{x}_{2}\in \{x\in C:f(x,y)>0\}, the unique geodesic \gamma :[0,l]\to C jointing {x}_{1}, {x}_{2}, and {t}_{0}\in [0,l] such that \gamma ({t}_{0})\notin \{x\in C:f(x,y)>0\}, which implies that d(y,H(y))\le d(\gamma ({t}_{0}),H(y)). Since {x}_{1},{x}_{2}\in \{x\in C:f(x,y)>0\}, it follows that
Hence, we have
where U(H(y),d(y,H(y))) denotes the open ball centered at H(y) with radius d(y,H(y)). Since every ball in the CAT(0) space (E,d) is convex (see [23]), it follows that
which implies that \gamma ({t}_{0})\in U(H(y),d(y,H(y))); that is, d(y,H(y))>d(\gamma ({t}_{0}),H(y)). This contradicts d(y,H(y))\le d(\gamma ({t}_{0}),H(y)). Therefore, for every y\in C, the set \{x\in C:f(x,y)>0\} is convex. Thus, by Remark 4.1, all the requirements of Theorem 4.1 with f=g are fulfilled. Hence, by Theorem 4.1 with f=g, there exists \stackrel{\u02c6}{y}\in K such that f(x,\stackrel{\u02c6}{y})\le 0 for every x\in C; that is, d(\stackrel{\u02c6}{y},H(\stackrel{\u02c6}{y}))\le d(x,H(\stackrel{\u02c6}{y})) for every x\in C, which implies that d(\stackrel{\u02c6}{y},H(\stackrel{\u02c6}{y}))={inf}_{x\in C}d(x,H(\stackrel{\u02c6}{y})). This completes the proof. □
Remark 4.7 Theorem 4.3 generalizes Theorem 3.1 of Shabanian and Vaezpour [18] in the following aspects: (1) the C in Theorem 4.3 does not need to be compact; (2) the E in Theorem 4.3 does not need to have the convex hull finite property. We point out that the proof of Theorem 4.3 is different from that of Theorem 3.1 of Shabanian and Vaezpour [18].
As an application of Theorem 4.3, we have the following fixed point theorem for singlevalued mappings.
Theorem 4.4 Let (E,d) be a complete CAT(0) space, C\subseteq E be a closed locally compact convex set, K be a nonempty compact subset of C, and H:C\to E be a continuous mapping such that

(i)
for every c\in K with c\ne H(c), there exists t\in (0,1) such that
C\cap U(H(c),(1t)d(c,H(c)))\ne \mathrm{\varnothing},
where U(H(c),(1t)d(c,H(c))) denotes the open ball centered at H(c) with radius (1t)d(c,H(c));

(ii)
one of the following conditions holds:

(ii)_{1} for every N\in \u3008C\u3009, there exists a nonempty compact convex subset {C}_{N} of C containing N such that
{C}_{N}\setminus K\subseteq \bigcup _{x\in {C}_{N}}\{y\in C:d(y,H(y))>d(x,H(y))\}; 
(ii)_{2} there exists a point {x}_{0}\in C such that
C\setminus \{y\in C:d(y,H(y))>d({x}_{0},H(y))\}\subseteq K.

Then there exists \stackrel{\u02c6}{y}\in K such that \stackrel{\u02c6}{y}=H(\stackrel{\u02c6}{y}).
Proof It follows from Theorem 4.3 that there exists a point \stackrel{\u02c6}{y}\in K such that d(\stackrel{\u02c6}{y},H(\stackrel{\u02c6}{y}))={inf}_{x\in C}d(x,H(\stackrel{\u02c6}{y})). We show that \stackrel{\u02c6}{y} is a fixed point of H. Suppose not. Then by (i), there exists t\in (0,1) such that C\cap U(H(\stackrel{\u02c6}{y}),(1t)d(\stackrel{\u02c6}{y},H(\stackrel{\u02c6}{y})))\ne \mathrm{\varnothing}. Take \stackrel{\u02c6}{x}\in C\cap U(H(\stackrel{\u02c6}{y}),(1t)d(\stackrel{\u02c6}{y},H(\stackrel{\u02c6}{y}))). Then we have \stackrel{\u02c6}{x}\ne \stackrel{\u02c6}{y} and
which contradicts the fact that d(\stackrel{\u02c6}{y},H(\stackrel{\u02c6}{y}))={inf}_{x\in C}d(x,H(\stackrel{\u02c6}{y})). Therefore, \stackrel{\u02c6}{y} is a fixed point of H. This completes the proof. □
Remark 4.8 Theorem 4.4 generalizes Theorem 3.2 of Shabanian and Vaezpour [18] in the following aspects: (1) the E in Theorem 4.4 does not need to have the convex hull finite property; (2) the C in Theorem 4.4 does not need to be compact.
By Theorem 4.1, we obtain the following generalized best approximation theorem.
Theorem 4.5 Let (E,d) be a complete CAT(0) space, C\subseteq E be a closed locally compact convex set, K be a nonempty compact subset of C, and G,H:C\to {2}^{E} be two upper semicontinuous setvalued mappings with nonempty compact values. Assume that

(i)
for every y\in C, the set \{x\in C:d(G(y),H(y))>d(G(x),H(y))\} is convex;

(ii)
one of the following conditions holds:

(ii)_{1} for every N\in \u3008C\u3009, there exists a nonempty compact convex subset {C}_{N} of C containing N such that
{C}_{N}\setminus K\subseteq \bigcup _{x\in {C}_{N}}\{y\in C:d(G(y),H(y))>d(G(x),H(y))\}; 
(ii)_{2} there exists a point {x}_{0}\in C such that
C\setminus \{y\in C:d(G(y),H(y))>d(G({x}_{0}),H(y))\}\subseteq K.

Then there exists \stackrel{\u02c6}{y}\in K such that d(G(\stackrel{\u02c6}{y}),H(\stackrel{\u02c6}{y}))={inf}_{x\in C}d(G(x),H(\stackrel{\u02c6}{y})).
Proof Since C is a closed locally compact convex subset of E, we know that C with the induced metric is a complete locally compact CAT(0) space. So, by Lemma 2.4, C has the convex hull finite property. Define a function f:C\times C\to \mathbb{R} by
In order to prove that the function y\mapsto f(x,y) is lower semicontinuous for every x\in C, it suffices to show that, for every x\in C and for every r\in \mathbb{R}, the set \{y\in C:f(x,y)\le r\} is closed. Let x\in C, r\in \mathbb{R} be fixed and let {\{{y}_{n}\}}_{n\ge 1}\subseteq \{y\in C:f(x,y)\le r\} be an arbitrary sequence such that {y}_{n}\to {y}^{\ast}\in C as n\to \mathrm{\infty}. Let \epsilon >0 be arbitrary. Since G is an upper semicontinuous setvalued mapping with nonempty compact values, it follows from the result of Aubin and Frankowska [[36], p.39] that there exists \eta >0 such that for every {y}^{\prime}\in U({y}^{\ast},\eta ), G({y}^{\prime})\subseteq U(G({y}^{\ast}),\frac{1}{3}\epsilon )={\bigcup}_{x\in G({y}^{\ast})}U(x,\frac{1}{3}\epsilon ), where U({y}^{\ast},\eta ) and U(x,\frac{1}{3}\epsilon ) denote the open ball centered at {y}^{\ast} with radius η and the open ball centered at x with radius \frac{1}{3}\epsilon, respectively. By the convergence of sequence {\{{y}_{n}\}}_{n\ge 1}, we know that there exists {N}_{1}\in \mathbb{N} such that for every n\ge {N}_{1}, we have {y}_{n}\in U({y}^{\ast},\eta ) and thus, G({y}_{n})\subseteq U(G({y}^{\ast}),\frac{1}{3}\epsilon ). Similarly, we can prove that there exists {N}_{2}\in \mathbb{N} such that for every n\ge {N}_{2}, H({y}_{n})\subseteq U(H({y}^{\ast}),\frac{1}{3}\epsilon ). Now we let N=max\{{N}_{1},{N}_{2}\}. Then, for every n\ge N, we have the following:
By the arbitrariness of ε, we have d(G({y}^{\ast}),H({y}^{\ast}))d(G(x),H({y}^{\ast}))\le r, which implies that {y}^{\ast}\in \{y\in C:f(x,y)\le r\} and thus, the set \{y\in C:f(x,y)\le r\} is closed. Therefore, for every x\in C, the function y\mapsto f(x,y) is lower semicontinuous. For every y\in C, we have f(y,y)=0. By (i), for every y\in C, the set \{x\in C:f(x,y)>0\} is convex. By the assumption and by the definition of f, we know that one of the following conditions holds:

(a)
for every N\in \u3008C\u3009, there exists a nonempty compact convex subset {C}_{N} of C containing N such that {C}_{N}\setminus K\subseteq {\bigcup}_{x\in {C}_{N}}\{y\in C:f(x,y)>0\};

(b)
there exists a point {x}_{0}\in C such that C\setminus \{y\in C:f({x}_{0},y)>0\}\subseteq K.
By Remark 4.1, all the requirements of Theorem 4.1 with f=g are satisfied. Hence, by Theorem 4.1 with f=g, there exists \stackrel{\u02c6}{y}\in K such that f(x,\stackrel{\u02c6}{y})\le 0 for every x\in C; that is, d(G(\stackrel{\u02c6}{y}),H(\stackrel{\u02c6}{y}))\le d(G(x),H(\stackrel{\u02c6}{y})) for every x\in C, which implies that d(G(\stackrel{\u02c6}{y}),H(\stackrel{\u02c6}{y}))={inf}_{x\in C}d(G(x),H(\stackrel{\u02c6}{y})). This completes the proof. □
Remark 4.9 Theorem 4.5 generalizes Theorem 3.4 of Shabanian and Vaezpour [18] in the following aspects: (1) the C in Theorem 4.5 does not need to be compact; (2) the E in Theorem 4.5 does not need to have the convex hull finite property; (3) the setvalued mappings G, H in Theorem 4.5 do not need to have convex values; (4) the condition that the setvalued mapping G in Theorem 3.4 of Shabanian and Vaezpour [18] is quasiconvex is removed. We point out that the proof of Theorem 4.5 is different from that of Theorem 3.4 of Shabanian and Vaezpour [18].
Remark 4.10 Theorem 4.5 can be regarded as a generalization of Theorem 4.3. In fact, let G(y)=\{y\} for every y\in C and H be a singlevalued continuous mapping. Then by using the same method as in the proof Theorem 4.3, we can show that (i) of Theorem 4.5 holds and thus, Theorem 4.5 reduces to Theorem 4.3.
5 Existence of φequilibrium for multiobjective games
In this section, we will consider the multiobjective noncooperative game in its strategic form \Gamma ={({X}_{i},{V}^{i})}_{i\in I}, where I=\{1,2,\dots ,n\} is the set of players; every {X}_{i} is the strategy set of the i th player and every {V}^{i}:X={\prod}_{i\in I}{X}_{i}\to {\mathbb{R}}^{{k}_{i}} is the payoff function of the i th player with {k}_{i} being a positive integer. If an action combination x=({x}_{1},{x}_{2},\dots ,{x}_{n}) is played, every player i is trying to confirm his/her vector payoff function {V}^{i}(x):=({f}_{1}^{i}(x),{f}_{2}^{i}(x),\dots ,{f}_{{k}_{i}}^{i}(x)) and then minimize his/her vector payoff function according to his/her preference.
Before we introduce the equilibrium concepts of multiobjective noncooperative games, we give the following notation.
For every m\in \mathbb{N}, let {\mathbb{R}}_{+}^{m}:=\{q:=({q}_{1},{q}_{2},\dots ,{q}_{m})\in {\mathbb{R}}^{m}:{q}_{j}\ge 0,\mathrm{\forall}j=1,2,\dots ,m\} and {int}_{{\mathbb{R}}^{m}}{\mathbb{R}}_{+}^{m}:=\{q:=({q}_{1},{q}_{2},\dots ,{q}_{m})\in {\mathbb{R}}^{m}:{q}_{j}>0,\mathrm{\forall}j=1,2,\dots ,m\} denote the nonnegative orthant of {\mathbb{R}}^{m} and the nonempty interior of {\mathbb{R}}_{+}^{m} with the Euclidian metric topology, respectively. For every q,r\in {\mathbb{R}}^{m}, let q\cdot r denote the standard Euclidean inner product.
We denote {X}_{\stackrel{\u02c6}{i}}:={\prod}_{j\in I\setminus i}{X}_{j} for every i\in I. If x=({x}_{1},{x}_{2},\dots ,{x}_{n})\in X, then we write {x}_{\stackrel{\u02c6}{i}}=({x}_{1},\dots ,{x}_{i1},{x}_{i+1},\dots ,{x}_{n}) for every i\in I. We use the following notation
Let \stackrel{\u02c6}{x}=({\stackrel{\u02c6}{x}}_{1},{\stackrel{\u02c6}{x}}_{2},\dots ,{\stackrel{\u02c6}{x}}_{n})\in X and let \phi =({\phi}_{1},{\phi}_{2},\dots ,{\phi}_{n}):X\to X be a surjective mapping defined by
Now we introduce the following definitions.
Definition 5.1 A strategy {\stackrel{\u02c6}{x}}_{i}\in {X}_{i} of player i is said to be a Pareto efficient φstrategy (respectively, a weak Pareto efficient φstrategy) with respect to \stackrel{\u02c6}{x} if there is no strategy {x}_{i}\in {X}_{i} such that
Definition 5.2 A strategy \stackrel{\u02c6}{x}\in X is said to be a Pareto φequilibrium (respectively, a weak Pareto φequilibrium) of a game \Gamma ={({X}_{i},{V}^{i})}_{i\in I} if, for every i\in I, {\stackrel{\u02c6}{x}}_{i}\in {X}_{i} is a Pareto efficient φstrategy (respectively, a weak Pareto efficient φstrategy) with respect to \stackrel{\u02c6}{x}.
Remark 5.1 Definitions 5.15.2 generalize the corresponding definitions of Wang [37], Yuan and Tarafdar [38], and Yu and Yuan [39]. In fact, if {\phi}_{i}({x}_{i})={x}_{i} for every x={({x}_{i})}_{i\in I}\in X and every i\in I, then Definitions 5.15.2 coincide with the corresponding definitions of Wang [37], Yuan and Tarafdar [38], and Yu and Yuan [39]. By the above definition, we can see that every Pareto φequilibrium is a weak Pareto φequilibrium, but the converse is not true in general.
Definition 5.3 A strategy \stackrel{\u02c6}{x}\in X is said to be a weighted Nash φequilibrium with respect to the weighted vector Q:=({Q}_{1},{Q}_{2},\dots ,{Q}_{n}) of a game \Gamma ={({X}_{i},{V}^{i})}_{i\in I} if, for every i\in I, we have

(i)
{Q}_{i}=({Q}_{i,1},{Q}_{i,2},\dots ,{Q}_{i,{k}_{i}})\in {\mathbb{R}}_{+}^{{k}_{i}}\setminus \{0\};

(ii)
{Q}_{i}\cdot {V}^{i}(\stackrel{\u02c6}{x})\le {Q}_{i}\cdot {V}^{i}({\stackrel{\u02c6}{x}}_{\stackrel{\u02c6}{i}},\phi ({x}_{i})) for every {x}_{i}\in {X}_{i}.
Remark 5.2 If {\phi}_{i}({x}_{i})={x}_{i} for every x={({x}_{i})}_{i\in I}\in X and every i\in I, then Definition 5.3 reduces to Definition 2.3 of Wang [37] and Definition 3 of Yuan and Tarafdar [38] and Yu and Yuan [39]. In particular, if {Q}_{i}\in {\mathbb{R}}_{+}^{{k}_{i}} with {\sum}_{j=1}^{{k}_{i}}{Q}_{i,j}=1 for every i\in I, then the strategy \stackrel{\u02c6}{x}\in X is said to be a normalized weighted Nash φequilibrium with respect to Q.
As an application of Theorem 4.1, we have the following existence theorem of weighted Nash φequilibrium for multiobjective noncooperative games in the setting of noncompact CAT(0) spaces.
Theorem 5.1 Let \Gamma ={({X}_{i},{V}^{i})}_{i\in I} be a multiobjective game with {V}^{i}=({f}_{1}^{i},{f}_{2}^{i},\dots ,{f}_{{k}_{i}}^{i}). For every i\in I, let {X}_{i} be a nonempty subset of a CAT(0) space ({E}_{i},{d}_{i}) such that X={\prod}_{i\in I}{X}_{i} is a complete CAT(0) space with the convex hull finite property. Let K be a nonempty compact subset of X and \phi =({\phi}_{1},{\phi}_{2},\dots ,{\phi}_{n}):X\to X be a surjective mapping. Assume that there is a weighted vector Q=({Q}_{1},{Q}_{2},\dots ,{Q}_{n}) with every {Q}_{i}\in {\mathbb{R}}_{+}^{{k}_{i}}\setminus \{0\} such that the following conditions are satisfied:

(i)
for every y\in X, the set \{x\in X:{\sum}_{i=1}^{n}{Q}_{i}\cdot [{V}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){V}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i}))]>0\} is convex;

(ii)
for every x\in X, the function y\mapsto {\sum}_{i=1}^{n}{Q}_{i}\cdot [{V}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){V}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i}))] is lower semicontinuous on X;

(iii)
for every y\in X, {\sum}_{i=1}^{n}{Q}_{i}\cdot [{V}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){V}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({y}_{i}))]\le 0;

(iv)
one of the following conditions holds:

(iv)_{1} for every N\in \u3008X\u3009, there exists a nonempty compact convex subset {X}_{N} of X containing N such that
{X}_{N}\setminus K\subseteq \bigcup _{x\in {X}_{N}}\{y\in X:\sum _{i=1}^{n}{Q}_{i}\cdot [{V}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){V}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i}))]>0\}; 
(iv)_{2} there exists a point {x}_{0}={({x}_{0i})}_{i\in I}\in X such that
X\setminus \{y\in X:\sum _{i=1}^{n}{Q}_{i}\cdot [{V}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){V}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{0i}))]>0\}\subseteq K.

Then Γ has at least one weight Nash φequilibrium in K with respect to the weight vector Q.
Proof Following the method by Nikaido and Isoda [40], we define the function S:X\times X\to \mathbb{R} by
By (i), for every y\in X, the set \{y\in X:S(x,y)>0\} is convex. By (ii), for every x\in X, the function y\mapsto S(x,y) is lower semicontinuous on X. By (iii), for every y\in X, we have S(y,y)\le 0. Suppose that (iv)_{1} holds. Then by (iv)_{1} and by the definition of S, we know that, for every N\in \u3008X\u3009, there exists a nonempty compact convex subset {X}_{N} of X containing N such that
If (iv)_{2} is satisfied, then it follows from (iv)_{2} and from the definition of S that there exists a point {x}_{0}\in X such that
Thus, by Remark 4.1, all the requirements of Theorem 4.1 with f=g are satisfied. Hence, by Remark 4.1 and by Theorem 4.1 with f=g, there exists \stackrel{\u02c6}{y}\in K such that S(x,\stackrel{\u02c6}{y})\le 0 for every x\in X; that is,
For every given i\in I and {x}_{i}\in {X}_{i}, let x=({\stackrel{\u02c6}{y}}_{\stackrel{\u02c6}{i}},{x}_{i})\in X. Then we have
Therefore, {Q}_{i}\cdot {R}^{i}({\stackrel{\u02c6}{y}}_{\stackrel{\u02c6}{i}},{\stackrel{\u02c6}{y}}_{i})\le {Q}_{i}\cdot {V}^{i}({\stackrel{\u02c6}{y}}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i})) for every i\in I and every {x}_{i}\in {X}_{i}; that is, \stackrel{\u02c6}{y}\in K is a weighted Nash φequilibrium of the game Γ with respect to Q. This completes the proof. □
Remark 5.3 Theorem 5.1 is a new result, which is different from Theorem 3.1 of Wang [37], Theorem 1 of Yuan and Tarafdar [38], Theorem 3 of Yu and Yuan [39], and Theorem 1 of Borm et al. [41]. The main difference is that the underlying strategy spaces in Theorem 5.1 are CAT(0) spaces which do not possess any linear structure. In addition, on the basis of an existence theorem for weighted Nash equilibrium for multiobjective noncooperative games in the setting of compact finite dimensional spaces, Lu [42] analyzed the phenomena for the water resources utilizing conflicts among the water users in the lower reaches of Tarim River Basin and revealed the underlying causes of water shortage and water quality deterioration of the lower reaches of Tarim River Basin. We point out that the underlying strategy spaces of multiobjective noncooperative game models in [42] are compact finite dimensional spaces and the payoff functions of players are continuous, which restrict the applicable area of models. In fact, in real world, the situation that the underlying strategy spaces of players are noncompact and nonlinear spaces and the payoff functions of players are discontinuous is very common. So, the multiobjective noncooperative game models in [42] cannot be used to analyze many conflict problems under the situation mentioned above. In contrast with the multiobjective noncooperative game models in [42], the multiobjective noncooperative game model in Theorem 5.1 has two advantages; that is, the strategy spaces of players do not possess any linear and compact structure and the payoff functions of players need not to be continuous. Therefore, by using Theorem 5.1, we can deal with a lot of conflict problems existing in resource utilizing and management under much more mild conditions.
Remark 5.4 (ii) of Theorem 5.1 can be replaced by the following conditions:
(ii)′ for every x\in X, the function y\to {\sum}_{i=1}^{n}{Q}_{i}\cdot {V}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i})) is upper semicontinuous on X;
(ii)″ the function (x,y)\to {\sum}_{i=1}^{n}{Q}_{i}\cdot {V}^{i}({x}_{\stackrel{\u02c6}{i}},{y}_{i}) is jointly lower semicontinuous on X\times X.
If {k}_{i}=1 for every i\in I, then, by Theorem 5.1, we have the following existence result of Nash φequilibrium for noncooperative games.
Corollary 5.1 Let \Gamma ={({X}_{i},{f}^{i})}_{i\in I} be a noncooperative game with every {f}^{i} being the payoff function of player i. For every i\in I, let {X}_{i} be a nonempty subset of a CAT(0) space ({E}_{i},{d}_{i}) such that X={\prod}_{i\in I}{X}_{i} is a complete CAT(0) space with the convex hull finite property. Let K be a nonempty compact subset of X and \phi =({\phi}_{1},{\phi}_{2},\dots ,{\phi}_{n}):X\to X be a surjective mapping. Assume that

(i)
for every y\in X, the set \{x\in X:{\sum}_{i=1}^{n}[{f}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){f}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i}))]>0\} is convex;

(ii)
for every x\in X, the function y\mapsto {\sum}_{i=1}^{n}[{f}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){f}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i}))] is lower semicontinuous on X;

(iii)
for every y\in X, {\sum}_{i=1}^{n}[{f}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){f}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({y}_{i}))]\le 0;

(iv)
one of the following conditions holds:

(iv)_{1} for every N\in \u3008X\u3009, there exists a nonempty compact convex subset {X}_{N} of X containing N such that
{X}_{N}\setminus K\subseteq \bigcup _{x\in {X}_{N}}\{y\in X:\sum _{i=1}^{n}[{f}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){f}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i}))]>0\}; 
(iv)_{2} there exists a point {x}_{0}={({x}_{0i})}_{i\in I}\in X such that
X\setminus \{y\in X:\sum _{i=1}^{n}[{f}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){f}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i}))]>0\}\subseteq K.

Then Γ has a Nash φequilibrium in K.
Remark 5.5 It is interesting to compare Corollary 5.1 with Theorem 4 of Niculescu and Rovenţa [29] in the following aspects: (1) every {X}_{i} in Corollary 5.1 is a nonempty subset of a CAT(0) space ({E}_{i},{d}_{i}) and it does not need to be compact, where all ({E}_{i},{d}_{i}) are possibly different; (2) every function {f}^{i} in Corollary 5.1 does not need to be lower semicontinuous and quasiconvex; (3) the mapping φ in Corollary 5.1 does not need to be continuous and affine.
By Theorem 5.1, we can derive an existence theorem of Pareto φequilibrium for multiobjective noncooperative games. In order to do so, we need the following lemma. The proof of this lemma is similar to that of Lemma 2.1 of Wang [37]. For the sake of completeness, we give the proof.
Lemma 5.1 Every normalized weighted Nash φequilibrium \stackrel{\u02c6}{x}\in X with a weight Q=({Q}_{1},{Q}_{2},\dots ,{Q}_{n}), {Q}_{i}\in {\mathbb{R}}_{+}^{{k}_{i}}\setminus \{0\} (respectively, {Q}_{i}\in {int}_{{\mathbb{R}}^{{k}_{i}}}{\mathbb{R}}_{+}^{{k}_{i}}) and {\sum}_{j=1}^{{k}_{i}}{Q}_{i,j}=1 for every i\in I, is a weak Pareto φequilibrium (respectively, a Pareto φequilibrium) of the game \Gamma ={({X}_{i},{V}^{i})}_{i\in I}.
Proof Let \stackrel{\u02c6}{x}\in X be a normalized weight Nash φequilibrium of the game \Gamma ={({X}_{i},{V}^{i})}_{i\in I} with a weight Q=({Q}_{1},{Q}_{2},\dots ,{Q}_{n}), {Q}_{i}\in {\mathbb{R}}_{+}^{{k}_{i}}\setminus \{0\} and {\sum}_{j=1}^{{k}_{i}}{Q}_{i,j}=1 for every i\in I. We can prove that \stackrel{\u02c6}{x} is a weak Pareto φequilibrium. In fact, suppose the contrary. Then it follows from Definition 5.2 that there exist {i}_{0}\in I and {x}_{{i}_{0}}\in {X}_{i} such that
Since {Q}_{{i}_{0}}\in {\mathbb{R}}_{+}^{{k}_{{i}_{0}}}\setminus \{0\}, it follows that {Q}_{{i}_{0}}\cdot [{V}^{i}({\stackrel{\u02c6}{x}}_{{\stackrel{\u02c6}{i}}_{0}},{\stackrel{\u02c6}{x}}_{{i}_{0}}){V}^{i}({\stackrel{\u02c6}{x}}_{{\stackrel{\u02c6}{i}}_{0}},\phi ({x}_{{i}_{0}}))]>0, which contradicts the assumption that \stackrel{\u02c6}{x} is a normalized weighted Nash φequilibrium with the weight Q=({Q}_{1},{Q}_{2},\dots ,{Q}_{n}). Hence, \stackrel{\u02c6}{x} is a weak Pareto φequilibrium. Now let \stackrel{\u02c6}{x} be a normalized weight Nash φequilibrium of the game \Gamma ={({X}_{i},{V}^{i})}_{i\in I} with a weight Q=({Q}_{1},{Q}_{2},\dots ,{Q}_{n}), {Q}_{i}\in {int}_{{\mathbb{R}}^{{k}_{i}}}{\mathbb{R}}_{+}^{{k}_{i}} and {\sum}_{j=1}^{{k}_{i}}{Q}_{i,j}=1 for every i\in I. We can show that \stackrel{\u02c6}{x} is a Pareto φequilibrium. In fact, if it were not the case, then by Definition 5.2, we know that there exist {i}_{0}\in I and {x}_{{i}_{0}}\in {X}_{i} such that
Since {Q}_{{i}_{0}}\in {int}_{{\mathbb{R}}^{{k}_{i}}}{\mathbb{R}}_{+}^{{k}_{i}}, it follows that {Q}_{{i}_{0}}\cdot [{V}^{i}({\stackrel{\u02c6}{x}}_{{\stackrel{\u02c6}{i}}_{0}},{\stackrel{\u02c6}{x}}_{{i}_{0}}){V}^{i}({\stackrel{\u02c6}{x}}_{{\stackrel{\u02c6}{i}}_{0}},\phi ({x}_{{i}_{0}}))]>0, which contradicts the assumption that \stackrel{\u02c6}{x} is a normalized weighted Nash φequilibrium with the weight Q=({Q}_{1},{Q}_{2},\dots ,{Q}_{n}). Hence, \stackrel{\u02c6}{x} is a Pareto φequilibrium. This completes the proof. □
Remark 5.6 The conclusion of Lemma 5.1 is still true if \stackrel{\u02c6}{x}\in X is a weighted Nash φequilibrium with a weight Q=({Q}_{1},{Q}_{2},\dots ,{Q}_{n}) satisfying {Q}_{i}\in {\mathbb{R}}_{+}^{{k}_{i}}\setminus \{0\} (respectively, {Q}_{i}\in {int}_{{\mathbb{R}}^{{k}_{i}}}{\mathbb{R}}_{+}^{{k}_{i}}) for every i\in I. We point out that a Pareto φequilibrium is not necessarily a weighted Nash φequilibrium.
Theorem 5.2 Let \Gamma ={({X}_{i},{V}^{i})}_{i\in I} be a multiobjective game with {V}^{i}=({f}_{1}^{i},{f}_{2}^{i},\dots ,{f}_{{k}_{i}}^{i}). For every i\in I, let {X}_{i} be a nonempty subset of a CAT(0) space ({E}_{i},{d}_{i}) such that X={\prod}_{i\in I}{X}_{i} is a complete CAT(0) space with the convex hull finite property. Let K be a nonempty compact subset of X and \phi =({\phi}_{1},{\phi}_{2},\dots ,{\phi}_{n}):X\to X be a surjective mapping. Assume that there is a weighted vector Q=({Q}_{1},{Q}_{2},\dots ,{Q}_{n}) with every {Q}_{i}\in {\mathbb{R}}_{+}^{{k}_{i}}\setminus \{0\} such that the following conditions are satisfied:

(i)
for every y\in X, the set \{x\in X:{\sum}_{i=1}^{n}{Q}_{i}\cdot [{V}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){V}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i}))]>0\} is convex;

(ii)
for every x\in X, the function y\mapsto {\sum}_{i=1}^{n}{Q}_{i}\cdot [{V}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){V}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i}))] is lower semicontinuous on X;

(iii)
for every y\in X, {\sum}_{i=1}^{n}{Q}_{i}\cdot [{V}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){V}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({y}_{i}))]\le 0;

(iv)
one of the following conditions holds:

(iv)_{1} for every N\in \u3008X\u3009, there exists a nonempty compact convex subset {X}_{N} of X containing N such that
{X}_{N}\setminus K\subseteq \bigcup _{x\in {X}_{N}}\{y\in X:\sum _{i=1}^{n}{Q}_{i}\cdot [{V}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){V}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{i}))]>0\}; 
(iv)_{2} there exists a point {x}_{0}={({x}_{0i})}_{i\in I}\in X such that
X\setminus \{y\in X:\sum _{i=1}^{n}{Q}_{i}\cdot [{V}^{i}({y}_{\stackrel{\u02c6}{i}},{y}_{i}){V}^{i}({y}_{\stackrel{\u02c6}{i}},{\phi}_{i}({x}_{0i}))]>0\}\subseteq K.

Then Γ has at least one weak Pareto φequilibrium in K. In addition, if Q=({Q}_{1},{Q}_{2},\dots ,{Q}_{n}) with each {Q}_{i}\in {int}_{{\mathbb{R}}^{{k}_{i}}}{\mathbb{R}}_{+}^{{k}_{i}}, then Γ has at least one Pareto φequilibrium in K.
Proof It follows from Theorem 5.1 that Γ has at least a weighted Nash φequilibrium point \stackrel{\u02c6}{y}\in K with respect to the weighted vector Q. By Lemma 5.1 and by Remark 5.6, we know that \stackrel{\u02c6}{y} is also a weak Pareto φequilibrium point of Γ, and \stackrel{\u02c6}{y} is a Pareto φequilibrium point if {Q}_{i}\in {int}_{{\mathbb{R}}^{{k}_{i}}}{\mathbb{R}}_{+}^{{k}_{i}} for every i\in I. This completes the proof. □
References
Browder FE: The fixed point theory of multivalued mappings in topological vector spaces. Math. Ann. 1968, 177: 283301. 10.1007/BF01350721
Fan K: A generalization of Tychonoff’s fixed point theorem. Math. Ann. 1961, 142: 305310. 10.1007/BF01353421
Yannelis NC: Maximal elements over noncompact subsets of linear topological spaces. Econ. Lett. 1985, 17: 133136. 10.1016/01651765(85)901430
Mehta G: Maximal elements for nontransitive binary relations. Econ. Lett. 1984, 14: 163165. 10.1016/01651765(84)900776
Yuan GXZ: KKM Theory and Applications in Nonlinear Analysis. Dekker, New York; 1999.
Yuan GXZ: The study of equilibria for abstract economics in topological vector spaces  a unified approach. Nonlinear Anal. 1999, 37: 409430. 10.1016/S0362546X(98)000558
Lin LJ, Cheng SF: Nashtype equilibrium theorems and competitive Nashtype equilibrium theorems. Comput. Math. Appl. 2002, 44: 13601378.
Luo Q: Ky Fan’s section theorem and its applications in topological ordered spaces. Appl. Math. Lett. 2004, 17: 11131119. 10.1016/j.aml.2003.12.003
Lin LJ: Variational relation problems and equivalent forms of generalized FanBrowder fixed point theorem with applications to Stampacchia equilibrium problems. J. Glob. Optim. 2012, 53: 215229. 10.1007/s1089801196763
Kum S, Wong MM: An extension of a generalized equilibrium problem. Taiwan. J. Math. 2011, 15: 16671675.
Raj VS, Somasundaram S: KKMtype theorems for best proximity points. Appl. Math. Lett. 2012, 25: 496499. 10.1016/j.aml.2011.09.044
Park S: Evolution of the 1984 KKM theorem of Ky Fan. Fixed Point Theory Appl. 2012. Article ID 146, 2012: Article ID 146
Park S: A genesis of general KKM theorems for abstract convex spaces: revised. J. Nonlinear Anal. Optim. 2013,4(1):127132.
Kirk WA: Some recent results in metric fixed point theory. J. Fixed Point Theory Appl. 2007,2007(2):195207.
Kirk WA: Remarks on approximates fixed points. Nonlinear Anal. 2012, 75: 46324636. 10.1016/j.na.2011.07.021
Dhompongsa S, Kaewkhao A, Panyanak B:Lim’s theorems for multivalued mappings in CAT(0) spaces. J. Math. Anal. Appl. 2005, 312: 478487. 10.1016/j.jmaa.2005.03.055
Shahzad N:Fixed point results for multimaps in CAT(0) spaces. Topol. Appl. 2009, 156: 9971001. 10.1016/j.topol.2008.11.016
Shabanian S, Vaezpour SM:A minimax inequality and its applications to fixed point theorems in CAT(0) spaces. Fixed Point Theory Appl. 2011. Article ID 61, 2011: Article ID 61 10.1186/16871812201161
Asadi M:Fixed points and common fixed points of mappings on CAT(0) spaces. Fixed Point Theory 2013, 14: 2938.
Kirk WA: Geodesic geometry and fixed point theory. Colecc. Abierta 64. In Seminar of Mathematical Analysis. Univ. Seville Secr. Publ., Seville; 2003: (Malaga/Seville, 2002/2003) 195225. (Malaga/Seville, 2002/2003)
Shahzad N, Markin J:Invariant approximations for commuting mappings in CAT(0) and hyperconvex spaces. J. Math. Anal. Appl. 2008, 337: 14571464. 10.1016/j.jmaa.2007.04.041
Kirk WA: Geodesic geometry and fixed point theory II.</