Fixed Point Results in Partial Symmetric Spaces with an Application

Abstract

In this paper, we first introduce the class of partial symmetric spaces and then prove some fixed point theorems in such spaces. We use one of the our main results to examine the existence and uniqueness of a solution for a system of Fredholm integral equations. Furthermore, we introduce an analogue of the Hausdorff metric in the context of partial symmetric spaces and utilize the same to prove an analogue of the Nadler contraction principle in such spaces. Our results extend and improve many results in the existing literature. We also give some examples exhibiting the utility of our newly established results.

1. Introduction

The classical Banach contraction principle is one of the most powerful and effective results in analysis established by Banach [1], which guarantees the existence and uniqueness of fixed points in complete metric spaces. This principle has been extended and generalized in many different directions. One of these ways is to enlarge the class of spaces, such as partial metric spaces [2], metric-like spaces [3], b-metric spaces [4], rectangular metric spaces [5], cone metric spaces [6], and several others. Sometimes, one may come across situations wherein all the metric conditions are not needed (see [7,8,9,10,11]). Motivated by this reality, several authors established fixed point and common fixed point results in symmetric spaces (or semi-metric spaces).

A symmetric d on a non-empty set X is a function $d:X\times X\to {\mathbb{R}}_{+}$ which satisfies $d(x,y)=d(y,x)$ and $d(x,y)=0$ if and only if $x=y,$ for all $x,y\in X$. Unlike the metric, the symmetric is not generally continuous. Due to the absence of a triangular inequality, the uniqueness of the limit of a sequence is no longer ensured. To have a workable setting, Wilson [12] suggested several related weaker conditions to overcome the earlier mentioned difficulties, which we will adopt to our setting. Such weaker conditions will be stated in the preliminaries.

In 1969, Nadler [13] initiated the study of fixed points for multi-valued contractions using the Hausdorff metric, and extended the Banach fixed point theorem to set-valued contractive maps. The theory of multi-valued maps has applications in control theory, convex optimization, differential equations, economics, and so on.

On the other hand, Matthews [2] introduced the concept of partial metric spaces as a part of the study of denotational semantics of dataflow networks, and proved an analogue of the Banach contraction theorem, and Kannan-Ćirić and Ćirić quasi-type fixed point results.

Combining the ideas involved in the concepts of partial metric spaces and symmetric spaces, we introduce the class of partial symmetric spaces, wherein we prove existence and uniqueness fixed point results for certain types of contractions in partial symmetric spaces. Furthermore, with a view to prove a multivalued analogue of Nadler’s fixed point theorem, we adopt the idea of the Hausdorff metric in the setting of partial symmetric spaces. Finally, we use one of the our main results to examine the existence and uniqueness of a solution for a system of Fredholm integral equations.

2. Preliminaries

In this section, we collect some relevant definitions and examples which are needed in our subsequent discussions.

Now, we introduce the partial symmetric space as follows:

Definition 1.

Let X be a non-empty set. A mapping $\mathcal{P}:X\times X\to {\mathbb{R}}_{+}$ is said to be a partial symmetric if, for all $x,y,z\in X$:

($1\mathcal{P}$)

$x=y\mathrm{if}\mathrm{and}\mathrm{only}\mathrm{if}\mathcal{P}(x,x)=\mathcal{P}(y,y)=\mathcal{P}(x,y)$;

($2\mathcal{P}$)

$\mathcal{P}(x,x)\le \mathcal{P}(x,y)$;

($3\mathcal{P}$)

$\mathcal{P}(x,y)=\mathcal{P}(y,x)$.

Then, the pair $(X,\mathcal{P})$ is said to be a partial symmetric space.

A partial symmetric space $(X,\mathcal{P})$ reduces to a symmetric space if $\mathcal{P}(x,x)=0,$ for all $x\in X$. Obviously, every symmetric space is a partial symmetric space, but not conversely.

Example 1.

Let $X=\mathbb{R}$ and define a mapping $\mathcal{P}:X\times X\to {\mathbb{R}}_{+}$ for all $x,y\in X$ and $p,q>1$, as follows:

$$\mathcal{P}(x,y)={|x-y|}^p+{|x-y|}^q.$$

Then, the pair $(X,\mathcal{P})$ is a partial symmetric space.

Example 2.

Let $X={\mathbb{R}}_{+}$ and define a mapping $\mathcal{P}:X\times X\to {\mathbb{R}}_{+}$ for all $x,y\in X$ and $p,q>1$, as follows:

$$\mathcal{P}(x,y)={\left(\max \{x,y\}\right)}^p+{\left(\max \{x,y\}\right)}^q.$$

Then, the pair $(X,\mathcal{P})$ is a partial symmetric space.

Example 3.

Let $X=[0,\pi )$ and define a mapping $\mathcal{P}:X\times X\to {\mathbb{R}}_{+}$ for all $x,y\in X$ and $\alpha >0$, as follows:

$$\mathcal{P}(x,y)=sin|x-y|+\alpha .$$

Then, the pair $(X,\mathcal{P})$ is a partial symmetric space.

Let $(X,\mathcal{P})$ be a partial symmetric space. Then, the $\mathcal{P}$-open ball, with center $x\in X$ and radius $ϵ>0$, is defined by:

$$B_{\mathcal{P}}(x,ϵ)=\{y\in X:\mathcal{P}(x,y)<\mathcal{P}(x,x)+ϵ\}.$$

Similarly, the $\mathcal{P}$-closed ball, with center $x\in X$ and radius $ϵ>0$, is defined by:

$$B_{\mathcal{P}}[x,ϵ]=\{y\in X:\mathcal{P}(x,y)\le \mathcal{P}(x,x)+ϵ\}.$$

The family of $\mathcal{P}$-open balls for all $x\in X$ and $ϵ>0$,

$${\mathcal{U}}_{\mathcal{P}}=\{B_{\mathcal{P}}(x,ϵ):x\in X,ϵ>0\},$$

forms a basis of some topology ${\tau }_{\mathcal{P}}$ on X.

Lemma 1.

Let $(X,{\tau }_{\mathcal{P}})$ be a topological space and $f:X\to X$. If f is continuous then, for every convergent sequence $x_n\to x$ in X, the sequence $f{x}_n$ converges to $fx$. The converse holds if X is metrizable.

In subsequent future discussions, we need some more basic definitions, namely: Convergent sequences, Cauchy sequences, and complete partial symmetric spaces, which are outlined in the following:

Definition 2.

A sequence $\left\{x_n\right\}$ in $(X,\mathcal{P})$ is said to be $\mathcal{P}$-convergent to $x\in X$, with respect to ${\tau }_{\mathcal{P}}$, if

$$\mathcal{P}(x,x)=\underset{n\to \infty }{lim}\mathcal{P}(x_n,x).$$

Definition 3.

A sequence $\left\{x_n\right\}$ in $(X,\mathcal{P})$ is said to be $\mathcal{P}$-Cauchy if and only if $\underset{n,m\to \infty }{lim}\mathcal{P}(x_n,x_m)$ exists and is finite.

Definition 4.

A partial symmetric space $(X,\mathcal{P})$ is said to be $\mathcal{P}$-complete if every $\mathcal{P}$-Cauchy sequence $\left\{x_n\right\}$ in X is $\mathcal{P}$-convergent, with respect to ${\tau }_{\mathcal{P}}$ to a point in $x\in X$, such that

$$\mathcal{P}(x,x)=\underset{n\to \infty }{lim}\mathcal{P}(x_n,x)=\underset{n,m\to \infty }{lim}\mathcal{P}(x_n,x_m).$$

Now, we adopt some definitions from symmetric spaces in the setting of partial symmetric spaces:

Definition 5.

Let $(X,\mathcal{P})$ be a partial symmetric. Then

($A1$)

$\underset{n\to \infty }{lim}\mathcal{P}(x_n,x)=\mathcal{P}(x,x)$ and $\underset{n\to \infty }{lim}\mathcal{P}(x_n,y)=\mathcal{P}(x,y)$ imply that $x=y$, for a sequence $\left\{x_n\right\}$, x, and y in X.

($A2$)

A partial symmetric $\mathcal{P}$ is said to be 1-continuous if $\underset{n\to \infty }{lim}\mathcal{P}(x_n,x)=\mathcal{P}(x,x)$ implies that $\underset{n\to \infty }{lim}\mathcal{P}(x_n,y)=\mathcal{P}(x,y)$, where $\left\{x_n\right\}$ is a sequence in X and $x,y\in X.$

($A3$)

A partial symmetric $\mathcal{P}$ is said to be continuous if $\underset{n\to \infty }{lim}\mathcal{P}(x_n,x)=\mathcal{P}(x,x)$ and $\underset{n\to \infty }{lim}\mathcal{P}(x_n,y)=\mathcal{P}(x,y)$ imply that $\underset{n\to \infty }{lim}\mathcal{P}(x_n,y_n)=\mathcal{P}(x,y)$ where $\left\{x_n\right\}$ and $\left\{y_n\right\}$ are sequences in X and $x,y\in X.$

($A4$)

$\underset{n\to \infty }{lim}\mathcal{P}(x_n,x)=\mathcal{P}(x,x)$ and $\underset{n\to \infty }{lim}\mathcal{P}(x_n,y_n)=\mathcal{P}(x,x)$ imply $\underset{n\to \infty }{lim}\mathcal{P}(y_n,x)=\mathcal{P}(x,x)$, for sequences $\left\{x_n\right\}$, $\left\{y_n\right\}$, and x in X.

($A5$)

$\underset{n\to \infty }{lim}\mathcal{P}(x_n,y_n)=\mathcal{P}(x,x)$ and $\underset{n\to \infty }{lim}\mathcal{P}(y_n,z_n)=\mathcal{P}(x,x)$ imply $\underset{n\to \infty }{lim}\mathcal{P}(x_n,z_n)=\mathcal{P}(x,x)$, for sequences $\left\{x_n\right\}$, $\left\{y_n\right\}$, $\left\{z_n\right\}$, and x in X.

Remark 1.

From the Definition 5, it is observed that $\left(A3\right)\Rightarrow \left(A2\right)$, $\left(A4\right)\Rightarrow \left(A1\right)$, and $\left(A2\right)\Rightarrow \left(A1\right)$ but, in general, the converse implications are not true.

3. Fixed Point Results

Let $(X,\mathcal{P})$ be a partial symmetric space and $f:X\to X$. Then, for every $x\in X$ and for all $i,j\in \mathbb{N}$, we define

$$\mathfrak{S}(\mathcal{P},f,x)=sup\{\mathcal{P}(f^{i}x,f^{j}x):i,j\in \mathbb{N}\}.$$

(1)

Definition 6.

Let $(X,\mathcal{P})$ be a partial symmetric space. A mapping $f:X\to X$ is said to be a κ-contraction if

$$\mathcal{P}(fx,fy)\le \kappa \mathcal{P}(x,y),\forall x,y\in X,$$

(2)

where $\kappa \in (0,1).$

Now, we prove an analogue of the Banach contraction principle in the setting of partial symmetric spaces:

Theorem 1.

Let $(X,\mathcal{P})$ be a complete partial symmetric space and $f:X\to X$. Assume that the following conditions are satisfied:

(i) 

f is a κ-contraction, for some $\kappa \in [0,1)$;

(ii) 

there exists $x_0\in X$ such that $\mathfrak{S}(\mathcal{P},f,x_0)<\infty$; and

(iii) 

either

(a) 

f is continuous, or

(b) 

$(X,\mathcal{P})$ satisfies the $\left(A1\right)$ property.

Then, f has a unique fixed point $x\in X$ such that $\mathcal{P}(x,x)=0$.

Proof. 

Choose $x_0\in X$ and construct an iterative sequence $\left\{x_n\right\}$ by:

$$x_1=f{x}_0,x_2=f^2{x}_0,x_3=f^3{x}_0,\dots ,x_n=f^n{x}_0,\dots$$

Now, from (2) (for all $i,j\in \mathbb{N}$), we have

$$\mathcal{P}(f^{n+i}{x}_0,f^{n+j}{x}_0)\le \kappa \mathcal{P}(f^{n-1+i}{x}_0,f^{n-1+j}{x}_0).$$

The above inequality holds for all $i,j\in \mathbb{N}$; therefore, by conditions $\left(ii\right)$ and (1), we have

$$\mathfrak{S}(\mathcal{P},f,f^n{x}_0)\le \kappa \mathfrak{S}(\mathcal{P},f,f^{n-1}{x}_0).$$

Repeating this procedure indefinitely, we have (for every $n\in \mathbb{N}$)

$$\mathfrak{S}(\mathcal{P},f,f^n{x}_0)\le {\kappa }^n\mathfrak{S}(\mathcal{P},f,x_0).$$

(3)

Let $n,m\in \mathbb{N}$, such that $m=n+p$ for some $p\in \mathbb{N}$. Using (3), we have

$$\mathcal{P}(f^n{x}_0,f^{n+p}{x}_0)\le \mathfrak{S}(\mathcal{P},f,f^n{x}_0)\le {\kappa }^n\mathfrak{S}(\mathcal{P},f,x_0).$$

As $\mathfrak{S}(\mathcal{P},f,x_0)<\infty$ and $\kappa \in (0,1)$, we have

$$\underset{n,m\to \infty }{lim}\mathcal{P}(x_n,x_m)=0,$$

so that $\left\{x_n\right\}$ is a $\mathcal{P}$-Cauchy sequence in X. In light of the $\mathcal{P}$-completeness of X, there exists $x\in X$ such that $\left\{x_n\right\}$$\mathcal{P}$-converges to x. Now, we show that $x\in X$ is a fixed point of f.

Assume that f is continuous. Then,

$$x=\underset{n\to \infty }{lim}{x}_{n+1}=f\left(\underset{n\to \infty }{lim}{x}_n\right)=fx.$$

Alternately, assume that $(X,\mathcal{P})$ satisfies the $\left(A1\right)$ property. Now, we have

$$\mathcal{P}(f{x}_n,fx)\le \mathcal{P}(x_n,x),$$

which, on taking $n\to \infty$, implies that $\underset{n\to \infty }{lim}\mathcal{P}(x_{n+1},fx)=0.$ Thus, from the $\left(A1\right)$ property, $fx=x.$ Therefore, x is a fixed point of f. To prove the uniqueness of the fixed point, let on contrary that there exist $x,y\in X$ such that $fx=x$ and $fy=y.$ Then, by the definition of $\kappa$-contraction, we have

$$\mathcal{P}(x,y)=\mathcal{P}(fx,fy)\le \kappa \mathcal{P}(x,y),$$

a contradiction. Hence, $x=y$; that is, x is a unique fixed point of f. Finally, we show that $\mathcal{P}(x,x)=0.$ Since, f is $\kappa$-contraction mapping, we have

$$\mathcal{P}(x,x)=\mathcal{P}(fx,fx)\le \kappa \mathcal{P}(x,x).$$

This implies that $\mathcal{P}(x,x)<0$, implying thereby that $\mathcal{P}(x,x)=0.$ This completes the proof. □

Now, we recall the definition of the Kannan-Ćirić contraction condition [14]:

Definition 7.

Let $(X,\mathcal{P})$ be a partial symmetric space. A mapping $f:X\to X$ is said to be a Kannan-Ćirić type κ-contraction if, for all $x,y\in X$,

$$\mathcal{P}(fx,fy)\le \kappa max\left\{\mathcal{P}\right(x,fx),\mathcal{P}(y,fy\left)\right\},$$

(4)

where $\kappa \in [0,1).$

Next, we prove a fixed point result via Kannan-Ćirić type $\kappa$-contractions in the setting of partial symmetric spaces:

Theorem 2.

Let $(X,\mathcal{P})$ be a complete partial symmetric space and $f:X\to X.$ Assume that the following conditions are satisfied:

(i) 

f is a Kannan-Ćirić type κ-contraction mapping,

(ii) 

f is continuous.

Then, f has a unique fixed point $x\in X$ such that $\mathcal{P}(x,x)=0$.

Proof. 

Take $x_0\in X$, and construct an iterative sequence $\left\{x_n\right\}$ by:

$$x_1=f{x}_0,x_2=f^2{x}_0,x_3=f^3{x}_0,\dots ,x_n=f^n{x}_0,\dots$$

Now, we assert that $\underset{n\to \infty }{lim}\mathcal{P}(x_n,x_{n+1})=0.$ On setting $x=x_n$ and $y=x_{n+1}$ in (4), we get

$$\begin{array}{ccc}\mathcal{P}(x_n,x_{n+1})\hfill & =& \mathcal{P}(f{x}_{n-1},f{x}_n)\hfill \\ \hfill & \le & \kappa max\{\mathcal{P}(x_{n-1},f{x}_{n-1}),\mathcal{P}(x_n,f{x}_n)\}\hfill \\ \hfill & \le & \kappa max\{\mathcal{P}(x_{n-1},x_n),\mathcal{P}(x_n,x_{n+1})\}.\hfill \end{array}$$

(5)

Assume that $max\{\mathcal{P}(x_{n-1},x_n),\mathcal{P}(x_n,x_{n+1})\}=\mathcal{P}(x_n,x_{n+1}),$ then from (5), we have

$$\mathcal{P}(x_n,x_{n+1})\le \kappa \mathcal{P}(x_n,x_{n+1}),$$

a contradiction (since $\kappa \in (0,1)$). Thus, $max\{\mathcal{P}(x_{n-1},x_n),\mathcal{P}(x_n,x_{n+1})\}=\mathcal{P}(x_{n-1},x_n).$ Therefore, (5) gives rise

$$\mathcal{P}(x_n,x_{n+1})=\kappa \mathcal{P}(x_{n-1},x_n)\mathrm{for}\mathrm{all}n\in \mathbb{N}.$$

Thus, inductively, we have

$$\mathcal{P}(x_n,x_{n+1})={\kappa }^n\mathcal{P}(x_0,x_1)\mathrm{for}\mathrm{all}n\in \mathbb{N}.$$

On taking the limit as $n\to \infty$, we get

$$\underset{n\to \infty }{lim}\mathcal{P}(x_n,x_{n+1})=0.$$

(6)

Now, we assert that $\left\{x_n\right\}$ is a $\mathcal{P}$-Cauchy sequence. From (4), we have, for $n,m\in \mathbb{N}$,

$$\begin{array}{ccc}\mathcal{P}(x_n,x_m)\hfill & =& \mathcal{P}(f{x}_{n-1},f{x}_{m-1})\hfill \\ \hfill & \le & \kappa max\{\mathcal{P}(x_{n-1},f{x}_{n-1}),\mathcal{P}(x_{m-1},f{x}_{m-1})\}\hfill \\ \hfill & \le & \kappa max\{\mathcal{P}(x_{n-1},x_n),\mathcal{P}(x_{m-1},x_m)\}.\hfill \end{array}$$

By taking the limit as $n,m\to \infty$ and using (6), we have

$$\underset{n,m\to \infty }{lim}\mathcal{P}(x_n,x_m)=0.$$

(7)

Hence, $\left\{x_n\right\}$ is a $\mathcal{P}$-Cauchy sequence. Since $(X,\mathcal{P})$ is $\mathcal{P}$-complete, there exists $x\in X$ such that $\underset{n\to \infty }{lim}\mathcal{P}(x_n,x)=0.$ Now, we show that $x\in X$ is a fixed point of $f.$ By the continuity of f, we have

$$x=\underset{n\to \infty }{lim}{x}_{n+1}=f\left(\underset{n\to \infty }{lim}{x}_n\right)=fx.$$

Therefore, x is a fixed point of f. For the uniqueness part, let on contrary that there exist $x,y\in X$ such that $fx=x$ and $fy=y.$ Then, from (4), we have

$$\begin{array}{ccc}\mathcal{P}(x,y)\hfill & =& \mathcal{P}(fx,fy)\hfill \\ \hfill & \le & \kappa max\left\{\mathcal{P}\right(x,fx),\mathcal{P}(y,fy\left)\right\},\hfill \\ \hfill & \le & \kappa max\left\{\mathcal{P}\right(x,x),\mathcal{P}(y,y\left)\right\}.\hfill \end{array}$$

So, either $\mathcal{P}(x,y)\le \kappa \mathcal{P}(x,x)$ or $\mathcal{P}(x,y)\le \kappa \mathcal{P}(y,y)$, which is a contradiction. Therefore, x is a unique fixed point of f. Finally, we show that $\mathcal{P}(x,x)=0.$ From (4), we have

$$\begin{array}{ccc}\mathcal{P}(x,x)\hfill & =& \kappa \mathcal{P}(fx,fx)\hfill \\ \hfill & \le & \kappa max\left\{\mathcal{P}\right(x,fx),\mathcal{P}(x,fx\left)\right\},\hfill \\ \hfill & \le & \kappa max\left\{\mathcal{P}\right(x,x),\mathcal{P}(x,x\left)\right\},\hfill \\ \hfill & \le & \kappa \mathcal{P}(x,x),\hfill \end{array}$$

this implies that $\mathcal{P}(x,x)<0$, implying thereby that $\mathcal{P}(x,x)=0.$ This completes the proof. □

Now, we present some fixed point results for Ćirić quasi contractions in the setting of partial symmetric spaces. We start with the following definition.

Definition 8.

Let $(X,\mathcal{P})$ be a partial symmetric space and $f:X\to X.$ Then f is said to be κ-weak contraction if, for all $x,y\in X$, and $\kappa \in (0,1)$

$$\mathcal{P}(fx,fy)\le \kappa max\left\{\mathcal{P}(x,y),\mathcal{P}(x,fx),\mathcal{P}(y,fy),\mathcal{P}(x,fy),\mathcal{P}(y,fx)\right\}.$$

(8)

Proposition 1.

Let f be a κ-weak contraction for any $\kappa \in (0,1).$ If x is a fixed point of f, then $\mathcal{P}(x,x)=0.$

Proof. 

Suppose $x\in X$ is a fixed point of f. Since f is a $\kappa$-weak contraction, we have that

$$\begin{array}{ccc}\mathcal{P}(x,x)\hfill & =& \mathcal{P}(fx,fx)\hfill \\ \hfill & \le & \kappa max\left\{\mathcal{P}(x,x),\mathcal{P}(x,fx),\mathcal{P}(x,fx),\mathcal{P}(x,fx),\mathcal{P}(x,fx)\right\}\hfill \\ \hfill & =& \kappa max\left\{\mathcal{P}(x,x),\mathcal{P}(x,x),\mathcal{P}(x,x),\mathcal{P}(x,x),\mathcal{P}(x,x)\right\}\hfill \\ \hfill & =& \kappa \mathcal{P}(x,x),\hfill \end{array}$$

this implies that $\mathcal{P}(x,x)<0$, implying thereby $\mathcal{P}(x,x)=0.$ □

Theorem 3.

Let $(X,\mathcal{P})$ be a $\mathcal{P}$-complete partial symmetric space and $f:X\to X$. Suppose that the following conditions hold:

(i) 

f is a κ-weak contraction for some $\kappa \in [0,1)$;

(ii) 

there exists $x_0\in X$ such that $\mathfrak{S}(\mathcal{P},f,x)<\infty$; and

(iii) 

f is continuous.

Then, f has a unique fixed point.

Proof. 

Assume $x_0\in X$, and construct an iterative sequence $\left\{x_n\right\}$ by:

$$x_1=f{x}_0,x_2=f^2{x}_0,x_3=f^3{x}_0,\dots ,x_n=f^n{x}_0,\dots$$

Let n be an arbitrary positive integer. Since f is a $\kappa$-weak contraction, for all $i,j\in \mathbb{N},$ we have

$$\begin{array}{ccc}\mathcal{P}(f^{n+i}{x}_0,f^{n+j}{x}_0)\hfill & \le & \kappa max\{\mathcal{P}(f^{n-1+i}{x}_0,f^{n-1+j}{x}_0),\mathcal{P}(f^{n-1+i}{x}_0,f^{n+i}{x}_0),\hfill \\ \hfill & \hfill & \mathcal{P}(f^{n-1+j}{x}_0,f^{n+j}{x}_0),\mathcal{P}(f^{n-1+i}{x}_0,f^{n+j}{x}_0),\mathcal{P}(f^{n-1+j}{x}_0,f^{n+i}{x}_0)\}.\hfill \end{array}$$

Since the above inequality is true for all $i,j\in \mathbb{N},$ therefore by conditions $\left(ii\right)$ and (1), we have

$$\mathfrak{S}(\mathcal{P},f,f^n{x}_0)\le \kappa \mathfrak{S}(\mathcal{P},f,f^{n-1}{x}_0).$$

Continuing this process indefinitely, we have, for all $n\ge 1$,

$$\mathfrak{S}(\mathcal{P},f,f^n{x}_0)\le {\kappa }^n\mathfrak{S}(\mathcal{P},f,x_0).$$

(9)

Now, for each $n,m\in \mathbb{N}$, such that $m=n+p$ for some $p\in \mathbb{N}$, we have, due to (9), that

$$\mathcal{P}(f^n{x}_0,f^{n+p}{x}_0)\le \mathfrak{S}(\mathcal{P},f,f^n{x}_0)\le {\kappa }^n\mathfrak{S}(\mathcal{P},f,x_0).$$

(10)

Since $\mathfrak{S}(\mathcal{P},f,x_0)<\infty$ and $\kappa \in (0,1),$ we have

$$\underset{n,m\to \infty }{lim}\mathcal{P}(x_n,x_m)=0,$$

so $\left\{x_n\right\}$ is a $\mathcal{P}$-Cauchy sequence in X. In view of the $\mathcal{P}$-completeness of X, there exists $x\in X$ such that $\left\{x_n\right\}$$\mathcal{P}$-converges to $x.$ Now, we show that x is a fixed point of $f.$ By the continuity of f, we have

$$x=\underset{n\to \infty }{lim}{x}_{n+1}=f\left(\underset{n\to \infty }{lim}{x}_n\right)=fx.$$

Therefore, x is a fixed point of f. For the uniqueness part, let on contrary that there exist $x,y\in X$ such that $fx=x$ and $fy=y.$ Thus, by using the condition (8), we have

$$\begin{array}{ccc}\mathcal{P}(x,y)\hfill & =& \mathcal{P}(fx,fy)\hfill \\ \hfill & \le & \kappa max\left\{\mathcal{P}(x,y),\mathcal{P}(x,fx),\mathcal{P}(y,fy),\mathcal{P}(x,fy),\mathcal{P}(y,fx)\right\}\hfill \\ \hfill & =& \kappa max\left\{\mathcal{P}(x,y),\mathcal{P}(x,x),\mathcal{P}(y,y),\mathcal{P}(x,y),\mathcal{P}(y,x)\right\}.\hfill \end{array}$$

By using the property ($2\mathcal{P}$), we have

$$\mathcal{P}(x,y)\le \kappa \mathcal{P}(x,y)<\mathcal{P}(x,y),$$

a contradiction, and so $\mathcal{P}(x,y)=0$; which implies that $x=y.$ Thus, f has a unique fixed point. This completes the proof. □

Now, we furnish the following example, which illustrates Theorem 3.

Example 4.

Consider $X=[0,1]$ and a partial symmetric $\mathcal{P}:X\times X\to {\mathbb{R}}_{+}$ defined by $\mathcal{P}(x,y)=max\{x,y\}$, for all $x,y\in X$. Define a self-mapping f on X by

$$fx=\frac{2x^2}{5},\mathrm{for}\mathrm{all}x\in X.$$

Observe that

$$\begin{array}{ccc}\mathcal{P}(fx,fy)\hfill & =& max\{fx,fy\}\hfill \\ \hfill & =& max\left\{\frac{2x^2}{5},\frac{2y^2}{5}\right\}\hfill \\ \hfill & \le & \frac{2}{5}max\{x,y\}=\frac{2}{5}\mathcal{P}(x,y)\hfill \\ \hfill & \le & \frac{2}{5}max\left\{\mathcal{P}(x,y),\mathcal{P}(x,fx),\mathcal{P}(y,fy),\mathcal{P}(x,fy),\mathcal{P}(y,fx)\right\},\hfill \end{array}$$

for all $x,y\in X$. Observe that f is continuous and condition $\left(ii\right)$ holds. Thus, all the conditions of Theorem 3 are satisfied and so f has a unique fixed point (i.e., $x=0$).

Notice that this example can not be covered by metrical fixed point theorems.

Corollary 1.

The conclusions of Theorem 3 remain true, if the contractive condition (8) is replaced by any one of the following:

(i) 

$\mathcal{P}(fx,fy)\le \frac{\kappa }{2}\left[\mathcal{P}(x,fy)+\mathcal{P}(y,fx)\right];$

(ii) 

$\mathcal{P}(fx,fy)\le \kappa max\left\{\mathcal{P}(x,y),\mathcal{P}(x,fx),\mathcal{P}(y,fy)\right\};$

(iii) 

$\mathcal{P}(fx,fy)\le \kappa max\left\{\mathcal{P}(x,y),\mathcal{P}(x,fy),\mathcal{P}(y,fx)\right\};$

(iv) 

$\mathcal{P}(fx,fy)\le \kappa max\left\{\mathcal{P}(x,y),\frac{\mathcal{P}(x,fx)+\mathcal{P}(y,fy)}{2},\frac{\mathcal{P}(x,fy)+\mathcal{P}(y,fx)}{2}\right\};$

(v) 

$\mathcal{P}(fx,fy)\le \kappa max\left\{\mathcal{P}(x,y),\frac{\mathcal{P}(x,fx)+\mathcal{P}(y,fy)}{2},\mathcal{P}(x,fy),\mathcal{P}(y,fx)\right\};$ or

(vi) 

$\mathcal{P}(fx,fy)\le \kappa max\left\{\mathcal{P}(x,y),\mathcal{P}(x,fx),\mathcal{P}(y,fy),\frac{\mathcal{P}(x,fy)+\mathcal{P}(y,fx)}{2}\right\}.$

4. Application

In this section, we endeavor to apply Theorem 1 to prove the existence and uniqueness of a solution of the following integral equation of Fredholm type:

$$x\left(t\right)={\int }_a^{b}G(t,s,x\left(s\right))ds+h\left(t\right)\mathrm{for}\mathrm{all}t,s\in [a,b],$$

(11)

where $G,h\in C\left(\right[a,b],\mathbb{R})$ (say, $X=C\left(\right[a,b],\mathbb{R})$. Define a partial symmetric space $\mathcal{P}$ on X:

$$\mathcal{P}(x,y)=\underset{t\in [a,b]}{sup}{|x\left(t\right)-y\left(t\right)|}^p+\underset{t\in [a,b]}{sup}{|x\left(t\right)-y\left(t\right)|}^q,\mathrm{for}\mathrm{all}x,y\in X,\mathrm{and}p,q>1.$$

Then, $(X,\mathcal{P})$ is a complete partial symmetric space.

Now we are equipped to state and prove our result, as follows:

Theorem 4.

Assume that, for all $x,y\in C\left(\right[a,b],\mathbb{R})$,

$$|G(t,s,x\left(s\right))-G(t,s,y\left(s\right))|\le \frac{1}{2(b-a)}|x\left(s\right)-y\left(s\right)|,$$

(12)

$forallt,s\in [a,b]$. Then, Equation (11) has a unique solution.

Proof. 

Define $f:X\to X$ by

$$fx\left(t\right)={\int }_a^{b}G(t,s,x\left(s\right))ds+h\left(t\right)\mathrm{for}\mathrm{all}t,s\in [a,b].$$

It is clear that x is a fixed point of the operator f if and only if it is a solution of Equation (11). Now, for all $x,y\in X$, we have

$$\begin{array}{ccc}{|fx\left(t\right)-fy\left(t\right)|}^p+{|fx\left(t\right)-fy\left(t\right)|}^q\hfill & \le & {\left({\int }_a^b|G(t,s,x\left(s\right))-G(t,s,y\left(s\right))|ds\right)}^p\hfill \\ \hfill & \hfill & +{\left({\int }_a^b|G(t,s,x\left(s\right))-G(t,s,y\left(s\right))|ds\right)}^q\hfill \\ \hfill & \le & {\left({\int }_a^b\frac{1}{2(b-a)}|x\left(s\right)-y\left(s\right)|ds\right)}^p\hfill \\ \hfill & \hfill & +{\left({\int }_a^b\frac{1}{2(b-a)}|x\left(s\right)-y\left(s\right)|ds\right)}^q\hfill \\ \hfill & \le & \frac{1}{2^p{(b-a)}^p}\underset{t\in [a,b]}{sup}{|x\left(t\right)-y\left(t\right)|}^p{\left({\int }_a^{b}ds\right)}^p\hfill \\ \hfill & \hfill & +\frac{1}{2^q{(b-a)}^q}\underset{t\in [a,b]}{sup}{|x\left(t\right)-y\left(t\right)|}^q{\left({\int }_a^{b}ds\right)}^q\hfill \\ \hfill & \le & \lambda \left(\underset{t\in [a,b]}{sup}{|x\left(t\right)-y\left(t\right)|}^p+\underset{t\in [a,b]}{sup}{|x\left(t\right)-y\left(t\right)|}^q\right).\hfill \end{array}$$

Thus, condition (12) is satisfied, with $\lambda =max\{\frac{1}{2^p},\frac{1}{2^q}\}\in [0,1)$. Hence, the operator f has a unique fixed point; that is, the Fredholm integral Equation (11) has a unique solution.

5. Results Involving Set-Valued Map

In this section, first we extend the idea of Hausdorff distance to partial symmetric spaces. Let $(X,\mathcal{P})$ be a partial symmetric space and ${\mathcal{CB}}^{\mathcal{P}}\left(X\right)$ be the family of all nonempty, ${\tau }_{\mathcal{P}}$-closed, and bounded subsets of $(X,\mathcal{P})$. Observe that A will be bounded if there exist $x_0\in X$ and $M\ge 0$ such that, for all $a\in A,\mathcal{P}(x_0,a)\le \mathcal{P}(a,a)+M.$

Moreover, for $A,B\in {\mathcal{CB}}^{\mathcal{P}}\left(X\right)$ and $x\in X,$ we define:

$$dis{t}_{\mathcal{P}}(x,A)=inf\{\mathcal{P}(x,a):a\in A\};$$

$${\delta }_{\mathcal{P}}(A,B)=sup\{dis{t}_{\mathcal{P}}(a,B):a\in A\};\mathrm{and}$$

$${\delta }_{\mathcal{P}}(B,A)=sup\{dis{t}_{\mathcal{P}}(b,A):b\in B\}.$$

Remark 2.

Let $(X,\mathcal{P})$ be a partial symmetric space and A a non-empty subset of X, then

$$a\in \overline{A}ifandonlyifdis{t}_{\mathcal{P}}(a,A)=\mathcal{P}(a,a),$$

where $\overline{A}$ denotes the closure of A, with respect to the partial symmetric $\mathcal{P}.$ Also, A is $\mathcal{P}$-closed in $(X,\mathcal{P})$ if and only if $A=\overline{A}.$

Proposition 2.

Let $(X,\mathcal{P})$ be a partial symmetric space. For $A,B,C\in {\mathcal{CB}}^{\mathcal{P}}X$, we have the following:

(i) 

${\delta }_{\mathcal{P}}(A,A)=sup\{\mathcal{P}(a,a):a\in A\}$;

(ii) 

${\delta }_{\mathcal{P}}(A,A)\le {\delta }_{\mathcal{P}}(A,B)$; 

(iii) 

$B\subset C\Rightarrow {\delta }_{\mathcal{P}}(A,C)\le {\delta }_{\mathcal{P}}(A,B)$;

(iv) 

${\delta }_{\mathcal{P}}(A,B)=0\Rightarrow A\subseteq B$; and

(v) 

${\delta }_{\mathcal{P}}(A\cup B,C)=max\{{\delta }_{\mathcal{P}}(A,C),{\delta }_{\mathcal{P}}(B,C)\}$.

Proof. 

$\left(i\right)$ Suppose $A\in {\mathcal{CB}}^{\mathcal{P}}\left(X\right).$ Since $a\in \overline{A}$ if and only if $\mathcal{P}(a,A)=\mathcal{P}(a,a),$

$${\delta }_{\mathcal{P}}(A,A)=sup\{dis{t}_{\mathcal{P}}(a,A):a\in A\}=sup\{\mathcal{P}(a,a):a\in A\}.$$

$\left(ii\right)$ Suppose $a\in A.$ By definition of the partial symmetric space, we know that $\mathcal{P}(a,a)\le \mathcal{P}(a,b)$, which implies that

$$\mathcal{P}(a,a)\le dis{t}_{\mathcal{P}}(a,B)\le {\delta }_{\mathcal{P}}(A,B).$$

Hence, condition $\left(i\right)$ gives rise to

$${\delta }_{\mathcal{P}}(A,A)\le {\delta }_{\mathcal{P}}(A,B).$$

$\left(iii\right)$ Suppose $A,B,C\in {\mathcal{CB}}^{\mathcal{P}}\left(X\right)$, such that $B\subseteq C$. Then,

$$dis{t}_{\mathcal{P}}(x,B)\le dis{t}_{\mathcal{P}}(x,C)\mathrm{for}\mathrm{all}a\in X.$$

Thus,

$$B\subset C\Rightarrow {\delta }_{\mathcal{P}}(A,C)\le {\delta }_{\mathcal{P}}(A,B).$$

$\left(iv\right)$ Suppose $A,B\in {\mathcal{CB}}^{\mathcal{P}}\left(X\right)$, such that ${\delta }_{\mathcal{P}}(A,B)=0$. Then,

$$sup\{dis{t}_{\mathcal{P}}(a,A):a\in A\}=0\Rightarrow dis{t}_{\mathcal{P}}(a,B)=0\mathrm{for}\mathrm{all}a\in A.$$

In view of the above conditions $\left(i\right)$ and $\left(ii\right)$, we have

$$\mathcal{P}(a,a)\le {\delta }_{\mathcal{P}}(A,B)=0\Rightarrow \mathcal{P}(a,a)=0,\mathrm{for}\mathrm{all}a\in A.$$

Therefore, $dis{t}_{\mathcal{P}}(a,B)=\mathcal{P}(a,a)$ for all $a\in A$ implies that ‘a’ is in the closure of B for all $a\in A$. Since B is $\mathcal{P}$-closed, we have $A\subseteq B.$

$\left(v\right)$ Suppose $A,B,C\in {\mathcal{CB}}^{\mathcal{P}}\left(X\right)$. Then,

$$\begin{array}{ccc}{\delta }_{\mathcal{P}}(A\cup B,C)\hfill & =& sup\{dis{t}_{\mathcal{P}}(x,C):x\in A\cup B\}\hfill \\ \hfill & =& max\left\{sup\{dis{t}_{\mathcal{P}}(x,C):x\in A\},sup\{dis{t}_{\mathcal{P}}(x,C):x\in B\}\right\}\hfill \\ \hfill & =& max\{{\delta }_{\mathcal{P}}(A,C),{\delta }_{\mathcal{P}}(B,C)\}.\hfill \end{array}$$

□

Next, let $(X,\mathcal{P})$ be a partial symmetric space. Define

$$H_{\mathcal{P}}(A,B)=max\{{\delta }_{\mathcal{P}}(A,B),{\delta }_{\mathcal{P}}(B,A)\}.$$

Proposition 3.

Let $(X,\mathcal{P})$ be a partial symmetric space. For $A,B,C,D\in {\mathcal{CB}}^{\mathcal{P}}\left(X\right)$, we have the following:

($1H$)

$H_{\mathcal{P}}(A,A)\le H_{\mathcal{P}}(A,B)$;

($2H$)

$H_{\mathcal{P}}(A,B)=H_{\mathcal{P}}(B,A)$; and

($3H$)

$H_{\mathcal{P}}(A\cup B,C\cup D)=max\{H_{\mathcal{P}}(A,C),H_{\mathcal{P}}(B,D)\}$.

Proof. 

$\left(1H\right)$ By condition $\left(ii\right)$ of Proposition 2, we have

$$H_{\mathcal{P}}(A,A)={\delta }_{\mathcal{P}}(A,A)\le {\delta }_{\mathcal{P}}(A,B)\le H_{\mathcal{P}}(A,B).$$

$\left(2H\right)$ By the definition of $H_{\mathcal{P}},$ we have

$$H_{\mathcal{P}}(A,B)=max\{{\delta }_{\mathcal{P}}(A,B),{\delta }_{\mathcal{P}}(B,A)\}=max\{{\delta }_{\mathcal{P}}(B,A),{\delta }_{\mathcal{P}}(A,B)\}=H_{\mathcal{P}}(B,A).$$

$\left(3H\right)$ By condition $\left(v\right)$ of Proposition 2, we have

$$\begin{array}{ccc}{\delta }_{\mathcal{P}}(A\cup B,C\cup D)\hfill & =& max\{{\delta }_{\mathcal{P}}(A,C\cup D),{\delta }_{\mathcal{P}}(B,C\cup D)\}\hfill \\ \hfill & \le & max\{{\delta }_{\mathcal{P}}(A,C),{\delta }_{\mathcal{P}}(B,D)\}\hfill \\ \hfill & \le & max\{H_{\mathcal{P}}(A,C),H_{\mathcal{P}}(B,D)\}.\hfill \end{array}$$

Similarly, we obtain

$${\delta }_{\mathcal{P}}(C\cup D,A\cup B)\le max\{H_{\mathcal{P}}(A,C),H_{\mathcal{P}}(B,D)\}.$$

Hence, by the definition of $H_{\mathcal{P}}$, we have, for all $A,B,C,D\in {\mathcal{CB}}^{\mathcal{P}}\left(X\right)$, that

$$H_{\mathcal{P}}(A\cup B,C\cup D)=max\{H_{\mathcal{P}}(A,C),H_{\mathcal{P}}(B,D)\}.$$

□

Proposition 4.

Let $(X,\mathcal{P})$ be a partial symmetric space. For $A,B\in {\mathcal{CB}}^{\mathcal{P}}\left(X\right),$ we have

$$H_{\mathcal{P}}(A,B)=0\Rightarrow A=B.$$

Proof. 

Let $H_{\mathcal{P}}(A,B)=0.$ Then, by the definition of $H_{\mathcal{P}}$, we have

$${\delta }_{\mathcal{P}}(A,B)={\delta }_{\mathcal{P}}(B,A)=0.$$

Thus, by condition $\left(iii\right)$ of Proposition 2, we get $A\subseteq B$ and $B\subseteq A$, which implies $A=B.$ □

Now, we prove the following lemma which is needed in the sequel:

Lemma 2.

Let $(X,\mathcal{P})$ be partial symmetric space and $A,B\in {\mathcal{CB}}^{\mathcal{P}}\left(X\right).$ Then, for any $h>1$ and $a\in A$, there exists $b\in B$ such that

$$\mathcal{P}(a,b)\le h{H}_{\mathcal{P}}(A,B).$$

(13)

Proof. 

First, we consider $A=B$. From $\left(i\right)$ of Proposition 2,

$$H_{\mathcal{P}}(A,B)=H_{\mathcal{P}}(A,A)={\delta }_{\mathcal{P}}(A,A)=\underset{a\in A}{sup}\mathcal{P}(a,a).$$

Observe that, for any $a\in A$ and any $h>1$, we have

$$\mathcal{P}(a,a)\le \underset{a\in A}{sup}\mathcal{P}(a,a)=H_{\mathcal{P}}(A,B)\le h{H}_{\mathcal{P}}(A,B).$$

Consequently, $b=a$ satisfies the inequality (13). Now, let $A\ne B$. Then, there exists $a\in A$ such that

$$\mathcal{P}(a,b)>h{H}_{\mathcal{P}}(A,B)\mathrm{for}\mathrm{all}b\in B.$$

Then,

$$inf\{\mathcal{P}(a,b):b\in B\}\ge h{H}_{\mathcal{P}}(A,B),$$

so that

$$dis{t}_{\mathcal{P}}(a,B)\ge h{H}_{\mathcal{P}}(A,B).$$

Hence,

$$H_{\mathcal{P}}(A,B)\ge {\delta }_{\mathcal{P}}(A,B)=\underset{a\in A}{sup}dis{t}_{\mathcal{P}}(a,B)\ge dis{t}_{\mathcal{P}}(a,B)\ge h{H}_{\mathcal{P}}(A,B),$$

a contradiction, since $h>1$. □

Recall that, if $f:X\to {\mathcal{CB}}^{\mathcal{P}}\left(X\right)$ is a mapping, then an element $x\in X$ is said to be a fixed point of f if $x\in fx.$

Now, we state and prove our main result in this section:

Theorem 5.

Let $(X,\mathcal{P})$ be a complete partial symmetric space and $f:X\to {\mathcal{CB}}^{\mathcal{P}}\left(X\right).$ Assume that the following conditions are satisfied:

(i) 

there exists $\kappa \in [0,1)$ such that

$$H_{\mathcal{P}}(fx,fy)\le \kappa \mathcal{P}(x,y)\mathrm{for}\mathrm{all}x,y\in X;$$

(ii) 

there exists $x_0\in X$ such that $\mathfrak{S}(\mathcal{P},f,x_0)<\infty$; and

(iii) 

f is continuous.

Then, f has a unique fixed point $x\in X,$ such that $\mathcal{P}(x,x)=0$.

Proof. 

Suppose $x_0\in X$ and $x_1\in f{x}_0$. From Lemma 2 with $h=\frac{1}{\sqrt{\kappa }}$, there exists $x_2\in f{x}_1$ such that $\mathcal{P}(x_1,x_2)\le \frac{1}{\sqrt{\kappa }}{H}_{\mathcal{P}}(f{x}_0,f{x}_1)$. Since $H_{\mathcal{P}}(f{x}_0,f{x}_1)\le \kappa \mathcal{P}(x_0,x_1),$ then $\mathcal{P}(x_1,x_2)\le \sqrt{\kappa }\mathcal{P}(x_0,x_1)$. Similarly, for $x_2\in f{x}_1$ there exists $x_3\in f{x}_2$ such that

$$\mathcal{P}(x_2,x_3)\le \frac{1}{\sqrt{\kappa }}{H}_{\mathcal{P}}(f{x}_1,f{x}_2)\le \sqrt{\kappa }\mathcal{P}(x_1,x_2).$$

Inductively, we obtain a sequence $\left\{x_n\right\}$ in X, such that

$$x_{n+1}\in f{x}_n\mathrm{and}\mathcal{P}(x_{n+1},x_n)\le \sqrt{\kappa }\mathcal{P}(x_n,x_{n-1}),\mathrm{for}\mathrm{all}n\in \mathbb{N}.$$

By condition $\left(i\right)$, for all $i,j\in \mathbb{N}$ we have

$$\mathcal{P}(f^{n+i}{x}_0,f^{n+j}{x}_0)\le \sqrt{\kappa }\mathcal{P}(f^{n-1+i}{x}_0,f^{n-1+j}{x}_0).$$

Therefore, by condition $\left(ii\right)$ and (1), we have

$$\mathfrak{S}(\mathcal{P},f,f^n{x}_0)\le \sqrt{\kappa }\mathfrak{S}(\mathcal{P},f,f^{n-1}{x}_0).$$

Continuing this process, we have, for every $n\in \mathbb{N},$

$$\mathfrak{S}(\mathcal{P},f,f^n{x}_0)\le {\left(\sqrt{\kappa }\right)}^n\mathfrak{S}(\mathcal{P},f,x_0).$$

(14)

By using (3), we have, for $n,m,p\in \mathbb{N}$ such that $m=n+p$,

$$\mathcal{P}(f^n{x}_0,f^{n+p}{x}_0)\le \mathfrak{S}(\mathcal{P},f,f^n{x}_0)\le {\left(\sqrt{\kappa }\right)}^n\mathfrak{S}(\mathcal{P},f,x_0).$$

Since $\mathfrak{S}(\mathcal{P},f,x_0)<\infty$ and $\kappa \in (0,1),$ then

$$\underset{n,m\to \infty }{lim}\mathcal{P}(x_n,x_m)=0,$$

so that $\left\{x_n\right\}$ is a $\mathcal{P}$-Cauchy sequence in X. In view of the $\mathcal{P}$-completeness of X, there exists $x\in X$ such that $\left\{x_n\right\}$$\mathcal{P}$-converges to $x.$ Therefore,

$$\mathcal{P}(x,x)=\underset{n\to \infty }{lim}\mathcal{P}(x_n,x)=\underset{n,m\to \infty }{lim}\mathcal{P}(x_n,x_m)=0.$$

As $H_{\mathcal{P}}(f{x}_n,fx)\le \kappa \mathcal{P}(x_n,x),$ implies that

$$\underset{n\to \infty }{lim}{H}_{\mathcal{P}}(f{x}_n,fx)=0.$$

Hence, $x_{n+1}\in f{x}_n.$ Therefore,

$$dis{t}_{\mathcal{P}}(x_{n+1},fx)\le {\delta }_{\mathcal{P}}(f{x}_n,fx)\le H_{\mathcal{P}}(f{x}_n,fx).$$

Hence,

$$\underset{n\to \infty }{lim}dis{t}_{\mathcal{P}}(x_{n+1},fx)=0.$$

By the continuity of f, we obtain

$$dis{t}_{\mathcal{P}}(x,fx)=\underset{n\to \infty }{lim}dis{t}_{\mathcal{P}}(x_{n+1},fx)=0.$$

Thus, we have $\mathcal{P}(x,x)=dis{t}_{\mathcal{P}}(x,fx)=0$. As $fx$ is $\mathcal{P}$-closed, then we have $x\in fx.$ Hence, x is a fixed point of f in X. This completes the proof. □

Next, we adopt the following example to demonstrate Theorem 5.

Example 5.

Consider $X=\{0,1,2\}$ equipped with the partial symmetric $\mathcal{P}:X\times X\to {\mathbb{R}}_{+}$ defined by

$$\mathcal{P}(x,y)=\frac{1}{2}{|x-y|}^2+\frac{1}{4}{(max\{x,y\})}^2,forallx,y\in X.$$

Then $(X,\mathcal{P})$ is a $\mathcal{P}$-complete symmetric space. Note that $\left\{0\right\}$ and $\{0,1\}$ are bounded sets in $(X,\mathcal{P})$. In fact, if $x\in \{0,1,2\}$ then

$$\begin{array}{ccc}x\in \overline{\left\{0\right\}}\hfill & \iff & dis{t}_{\mathcal{P}}(x,\left\{0\right\})=\mathcal{P}(x,x)\hfill \\ \hfill & \iff & \frac{3x^2}{4}=\frac{x^2}{4}\hfill \\ \hfill & \iff & x=0\iff x\in \left\{0\right\}.\hfill \end{array}$$

Hence, $\left\{0\right\}$ is closed with respect to the partial symmetric $\mathcal{P}$. Next,

$$\begin{array}{ccc}x\in \overline{\{0,1\}}\hfill & \iff & dis{t}_{\mathcal{P}}(x,\{0,1\})=\mathcal{P}(x,x)\hfill \\ \hfill & \iff & min\left\{\frac{3x^2}{2},\frac{1}{2}{|x-1|}^2+\frac{1}{4}{(max\{x,1\})}^2\right\}=\frac{x^2}{4}\hfill \\ \hfill & \iff & x\in \{0,1\}.\hfill \end{array}$$

Hence, $\{0,1\}$ is also closed with respect to the partial symmetric $\mathcal{P}$.

Now, define $f:X\to {\mathcal{CB}}^{\mathcal{P}}\left(X\right)$ by:

$$f0=f1=\left\{0\right\}andf2=\{0,1\}.$$

Notice that f is continuous under the partial symmetric $\mathcal{P}$. Now, to show that the contractive condition $\left(i\right)$ of Theorem 5 is satisfied, we distinguish the following cases:

Case 1.

Let $x,y\in \{0,1\}$. Then,

$$H_{\mathcal{P}}(fx,fy)=H_{\mathcal{P}}(0,0)=0,$$

so that the contractive condition $\left(i\right)$ satisfied.

Case 2.

Let $x\in \{0,1\}$ and $y=2$. Then, with $k=\frac{1}{2}$, we have

$$\begin{array}{ccc}{H}_{\mathcal{P}}(fx,f2)\hfill & =& H_{\mathcal{P}}(\left\{0\right\},\{0,1\})\hfill \\ \hfill & =& max\left\{{\delta }_{\mathcal{P}}(\left\{0\right\},\{0,1\}),{\delta }_{\mathcal{P}}(\{0,1\},\left\{0\right\})\right\}\hfill \\ \hfill & =& max\left\{dis{t}_{\mathcal{P}}(0,\{0,1\}),max\{\mathcal{P}(0,0),\mathcal{P}(1,0)\}\right\}\hfill \\ \hfill & =& \frac{3}{4}\le k{H}_{\mathcal{P}}(x,2).\hfill \end{array}$$

Case 3.

Let $x=y=2$. Then, with $k=\frac{1}{4}$, we have

$$\begin{array}{ccc}{H}_{\mathcal{P}}(f2,f2)\hfill & =& H_{\mathcal{P}}(\{0,1\},\{0,1\})\hfill \\ \hfill & =& {\delta }_{\mathcal{P}}(\{0,1\},\{0,1\})\hfill \\ \hfill & =& max\left\{dis{t}_{\mathcal{P}}(0,\{0,1\}),dis{t}_{\mathcal{P}}(1,\{0,1\})\right\}\hfill \\ \hfill & =& max\left\{0,min\left\{\mathcal{P}\right(1,0),\mathcal{P}(1,1\left)\right\}\right\}\hfill \\ \hfill & =& \frac{1}{4}\le k{H}_{\mathcal{P}}(2,2).\hfill \end{array}$$

Hence, the contractive condition $\left(i\right)$ of Theorem 5 is satisfied for $k=\frac{1}{2}$.

By routine calculation, one can verify the other conditions of Theorem 5. Observe that f has a unique fixed point (namely, $x=0$).

6. Conclusions

First, we enlarged the class of symmetric spaces to the class of partial symmetric spaces, wherein we proved several results which included analogues of the Banach contraction principle, the Kannan-Ćirić fixed theorem, and the Ćirić quasi-fixed point theorem, in such spaces. We also furnished some examples, exhibiting the utility of our newly established results. Furthermore, we used one of the our main results to examine the existence and uniqueness of a solution for a system of Fredholm integral equations. Moreover, we extended the idea of Hausdorff distance to partial symmetric spaces, and proved an analogue of Nadler’s fixed point theorem and some related results.