Fixed Point and Best Proximity Point Results in PIV-S-Metric Spaces

The theory of fixed points continues to be a widely used tool across various branches of mathematics, with the classical Banach contraction principle being a well-known example [7]. This principle is particularly significant as it allows for the resolution of integral equations, differential equations, and fractional differential equations by reducing them to the problem of identifying a self-mapping’s fixed points. The assurance of a unique fixed point on a complete metric space provided by the Banach contraction principle has sparked numerous extensions by researchers, expanding its applicability in various contexts (see [2,3,4,5,6, 8, 10, 12, 15,16,17,18,19, 21]). In 1994, the concept of partial metric spaces was introduced by Matthews during the study of denotational semantics of data-flow networks. Expanding on this notion, Shukla [21] made significant progress two decades later by generalizing both partial metric spaces and b–metric spaces, leading to the establishment of the class of partial b–metric spaces. This new framework was utilized to establish a fixed point theorem as an analog of the Banach contraction principle.

In 2007, Huang and Zhang [12] introduced the concept of cone metric spaces by substituting the set of real numbers (range set of the metric) with an ordered Banach space. Later, in 2014, Ma et al. [17] expanded on this concept by inventing C^∗-algebra valued metric spaces, which give a more comprehensive framework than ordinary metric spaces by substituting a unital C^∗-algebra for the range set. Within this context, they successfully proved fixed point results. The subsequent year, Ma et al. [16] took it a step further and introduced C^∗-algebra valued b-metric spaces, thereby broadening their work and establishing additional fixed point results, including an application involving integral type operators. In 2019, Chandok [9] generalized C^∗-algebra valued metric spaces to C^∗-algebra valued partial metric spaces and demonstrated some fixed point theorems. By developing the novel class of C^∗-algebra valued partial b-metric spaces in 2020, Mlaiki et al. [19] expanded both C^∗-algebra valued partial metric spaces and C^∗-algebra valued b-metric spaces. They utilized this innovative concept to prove fixed point theorems and presented an application for solving integral type equations.

In 2012, Sedghi et al. [20] introduced the concept of S-metric spaces and established fixed point theorems for implicit relations. Concurrently, in the same year, Iranmanesh et al. [13] pioneered the idea of PIV-metric spaces and proved fixed point results within this framework. Subsequently, in 2019, Iranmanesh et al. [14] further expanded on this concept and presented additional fixed point and the results on best proximity point in PIV-metric spaces.

Building on the previous observations, we propose the notion of PIV-metric space and S-metric space, culminating in the concept of PIV-S-metric space. By doing so, we not only unify these two notions but also employ this new framework to establish fixed point results. Additionally, we provide an illustrative example to showcase the practical applications and utility of our main findings.

2.

Preliminaries

Now, we gather a few pertinent definitions and facts that will be relevant for the subsequent discussion:

In 1994, Matthews put forth the definition of a partial metric space, which is as follows:

Definition 2.1 ([18])

Let V ≠ ∅. A mapping p : V × V → ℝ⁺ is called partial metric on U if (for all χ, ϱ, θ ∈ V): (1)

χ = ϱ ⇔ p(χ, χ) = p(χ, ϱ) = p(ϱ, ϱ),

(2)

p(χ, χ) ≤ p(χ, ϱ),

(3)

p(χ, ϱ) = p(ϱ, χ),

(4)

p(χ, θ) ≤ p(χ, ϱ) + p(ϱ, θ) − p(ϱ, ϱ).

The pair (V, p) is called a partial metric space.

Since then this fundamental concept has played a significant role in various mathematical investigations and continues to be relevant in subsequent research.

Remark 2.1

Obviously, if p(χ, χ) = 0 for all χ ∈ V, then (V, p) is a metric space.

Throughout the paper, we denote by (𝔹, ⊕) an idempotent space and 𝔹⁺ := {χ ∈ 𝔹 : χ ≥_⊕ 0_𝔹}, where 0_𝔹 is a zero element in 𝔹.

Definition 2.2 ([13])

We define an order relations on idempotent space (𝔹, ⊕) by $χ \leq_{\oplus} ϱ \Leftrightarrow χ \oplus ϱ = ϱ .$ \chi {\le_ \oplus} \varrho \,\,\,\,\, \Leftrightarrow \,\,\,\,\,\chi \oplus \varrho = \varrho. Also, we write ϱ ≥_⊕ χ instead of χ ≤_⊕ ϱ. Similarly, $χ \leq_{\oplus} ϱ \Leftrightarrow χ \oplus ϱ = ϱ and χ \neq ϱ .$ \chi {\le_ \oplus} \varrho \,\,\,\,\, \Leftrightarrow \,\,\,\,\,\chi \oplus \varrho = \varrho \,\,\,\,\,{\rm{and}}\,\,\,\,\,\chi \ne \varrho. Also, we write ϱ >_⊕ χ instead of χ <_⊕ ϱ.

Example 2.1 ([13])

Let 𝔹 = ℝ endowed with χ ⊕ ϱ = max{χ, ϱ} or χ ⊕ ϱ= min{χ, ϱ} for all χ, ϱ ∈ ℝ. Then (𝔹, ⊕) is an idempotent space.

Example 2.2 ([13])

Let 𝔹 be a set of real matrices. The conforming matrices M₁ = (χ_ij), M₂ = (ϱ_ij) satisfy the conventional rule of matrix addition together with multiplication by a scalar α ∈ ℝ as follows ${M_{1} + M_{2}} = χ_{ij} \oplus ϱ_{ij}, {α M_{1}} = α χ_{ij} .$ \{{M_1} + {M_2}\} = {\chi_{ij}} \oplus {\varrho _{ij}},\,\,\,\,\,\,\,\,\,\,\{\alpha {M_1}\} = \alpha {\chi_{ij}}. Then (𝔹, ⊕) is an idempotent space.

Definition 2.3 ([13])

A vector space 𝔹 over field ℝ is said to be an idempotent space if it satisfies the following (for all χ, ϱ, θ ∈ 𝔹): (i)

χ ⊕ (ϱ ⊕ θ) = (χ ⊕ ϱ) ⊕ θ;

(ii)

χ ⊕ χ = χ.

An idempotent space (𝔹, ⊕) is commutative if χ ⊕ ϱ = ϱ ⊕ χ.

Definition 2.4 ([13])

Assume that (𝔹, ≤) is a partially ordered set. We define $max^{\oplus} {l, m} = \{\begin{array}{l} l, & if m \leq l, \\ m, & if l < m, \\ 0_{𝔹}, & otherwise, \end{array}$ \mathop {\max}\limits^ \oplus \{l,m\} = \left\{{\matrix{{l,} \hfill & {{\rm{if}}\,m \le l,} \hfill \cr {m,} \hfill & {{\rm{if}}\,l < m,} \hfill \cr {{0_{{\mathbb B}}},} \hfill & {{\rm{otherwise}},} \hfill \cr}} \right. for l, m ∈ 𝔹, and $max^{\oplus} {χ_{1}, χ_{2}, \dots, χ_{n}} = max^{\oplus} {max^{\oplus} {χ_{1}, χ_{2}, \dots, χ_{n - 1}}, χ_{n}},$ \mathop {\max}\limits^ \oplus \{{\chi_1},\;{\chi_2}, \cdots,\;{\chi_n}\} = \mathop {\max}\limits^ \oplus \{\mathop {\max}\limits^ \oplus \{{\chi_1},\;{\chi_2}, \cdots,{\chi_{n - 1}}\},\,{\chi_n}\}, for χ₁, χ₂, …, χ_n ∈ 𝔹.

Definition 2.5 ([13])

Let (𝔹, ≤) be a partially ordered vector space. Let {χ_n} be a sequence in 𝔹 and χ ∈ 𝔹. If ∀ 0_𝔹 < a ∃ N ∈ ℕ ∀ n ≥ N (χ_n − χ < a), then the sequence {χ_n} is called convergent and converges to χ, where χ is called limit of {χ_n}. We write then $lim_{n \to \infty} χ_{n} = χ$ \mathop {\lim}\limits_{n \to \infty} {\chi_n} = \chi or χ_n → χ as n → ∞.

Definition 2.6 ([13])

Consider a partially ordered vector space (𝔹, ≤), and let us focus on its order relation. We say that the order relation on 𝔹 has a positive cone ordering property when the following conditions hold: For any vector 0_𝔹 ≤ r ≤ s and scalar inequalities 0 ≤ l ≤ ϱ, the resulting inequalities are as follows: $0_{𝔹} \leq lr \leq ls, l χ \leq ϱ χ$ {0_{{\mathbb B}}} \le lr \le ls,\,\,\,\,\,\,l\chi \le \varrho \chi for all 0_𝔹 ≤ χ ∈ 𝔹. This property essentially ensures a well-behaved ordering system within the vector space, where the positive cone contributes to maintaining the ordering of vectors and scalars consistently.

Definition 2.7 ([13])

Let (𝔹, ≤) be a partially ordered vector space. If the order relation on 𝔹 has the positive cone ordering property, then 𝔹 is a normal space.

Now, we recall the definition of PIV-metric space as follows:

Definition 2.8 ([13])

Let V ≠ ∅. An idempotent valued S-metric on V is a function d_I : V × V → 𝔹⁺ that satisfies the following (for all χ, ϱ, θ ∈ V): (i)

d_I (χ, ϱ) = d_I (χ, χ) = d_I (ϱ, ϱ) ⇔ χ = ϱ;

(ii)

d_I (χ, χ) ≤_⊕ d_I (χ, ϱ);

(iii)

d_I (χ, ϱ) = d_I (ϱ, χ);

(iv)

d_I (χ, ϱ) ≤_⊕ d_I (χ, θ) ⊕ d_I (θ, ϱ).

The triplet (V, 𝔹, d_I) is called PIV-metric space.

Example 2.3 ([13])

Let V = [0, ∞), 𝔹 = ℝ endowed with χ ⊕ ϱ = max{χ, ϱ}. Define a mapping d : V × V → 𝔹⁺ by $d (χ, ϱ) = χ \oplus ϱ, \forall χ, ϱ \in V .$ d\left({\chi, \varrho} \right) = \chi \oplus \varrho,\,\,\,\,\,\forall \chi, \varrho \in V. Then the triplet (V, 𝔹, d) is a PIV-metric space.

The concept of S-metric space was initiated by Sedghi et al. [20] in 2012 and runs as follows.

Definition 2.9 ([20])

Let V ≠ ∅. An S-metric space is a function d : V × V × V → ℝ⁺ that satisfies the following (for all χ, ϱ, θ, σ ∈ V ): (i)

d(χ, ϱ, θ) ≥ 0;

(ii)

d(χ, ϱ, θ) = 0 ⇔ χ = ϱ = θ;

(iii)

d(χ, ϱ, θ) ≤ d(χ, χ, σ) + d(ϱ, ϱ, σ) + d(θ, θ, σ).

The pair (V, d) is called S-metric space.

The following notion of partial S-metric space is proposed by Asil et al. [1].

Definition 2.10 ([1])

Let V ≠ ∅. A partial S-metric space is a function d : V × V × V → ℝ⁺ that satisfies the following (for all χ, ϱ, θ, σ ∈ V): (i)

d(χ, χ, χ) = d(ϱ, ϱ, ϱ) = d(χ, χ, ϱ) ⇔ χ = ϱ;

(ii)

d(χ, χ, χ) ≤ d(χ, ϱ, θ);

(iii)

d(χ, ϱ, θ) ≤ d(χ, χ, σ) + d(ϱ, ϱ, σ) + d(θ, θ, σ) − 2d(σ, σ, σ).

The pair (V, d) is called partial S-metric space.

Remark 2.2

Clearly, every S-metric space can be considered as a partial S-metric space. However, it is important to note that the converse is not always true in general. In other words, not every partial S-metric space can be regarded as an S-metric space. The distinction between the two lies in the specific conditions and properties that they satisfy, making them distinct concepts within the realm of mathematical spaces.

3.

Idempotent-valued S-metric space

Now, we introduce the following definition of PIV-S-metric space.

Definition 3.1

Let V ≠ ∅. A PIV-S-metric on V is a function d : V × V × V → 𝔹⁺ that satisfies the following (for all χ, ϱ, θ, σ ∈ V): (i)

d(χ, χ, χ) = d(ϱ, ϱ, ϱ) = d(χ, χ, ϱ) ⇔ χ = ϱ;

(ii)

d(χ, χ, χ) ≤_⊕ d(χ, ϱ, θ);

(iii)

d(χ, χ, ϱ) = d(ϱ, ϱ, χ);

(iv)

d(χ, ϱ, θ) ≤_⊕ d(χ, χ, σ) ⊕ d(ϱ, ϱ, σ) ⊕ d(θ, θ, σ).

The triplet (V, 𝔹, d) is called PIV-S-metric space.

Example 3.1

Let V = [0, ∞), 𝔹 = ℝ endowed with the operation χ⊕ϱ= max{χ, ϱ}. Define a mapping d : V × V × V → 𝔹⁺ by $d (χ, ϱ, θ) = χ \oplus ϱ \oplus θ, \forall χ, ϱ, θ \in V .$ d\left({\chi, \varrho,\;\theta} \right) = \chi \oplus \varrho \oplus \theta,\,\,\,\,\,\,\forall \chi, \varrho,\theta \in V.

Then the triplet (V, 𝔹, d) is a PIV-S-metric space. When we connect points χ, ϱ, θ with lines, forming a triangle, and choose a point σ inside this triangle, the inequality $d (χ, ϱ, θ) = d (χ, χ, σ) \oplus d (ϱ, ϱ, σ) \oplus d (θ, θ, σ)$ d\left({\chi, \varrho,\;\theta} \right) = d\left({\chi,\;\chi,\;\sigma} \right) \oplus d\left({\varrho, \varrho,\;\sigma} \right) \oplus d\left({\theta,\;\theta,\;\sigma} \right) holds true. This expression signifies the fulfillment of a specific property within the PIV-S-metric space, demonstrating its unique characteristics and structure.

Example 3.2

Let Y ≠ ∅ and V = B(Y, [0, ∞)) be the set of bounded mappings with order-bounded range. Suppose 𝔹 = B(V, (ℝ, ⊕)) with (T₁ ⊕ T₂)(χ) = T₁(χ) ⊕ T₂(χ) and χ ⊕ ϱ = max{χ, ϱ}. Define a mapping d : V × V × V → 𝔹⁺ by $\begin{matrix} d (T_{1}, T_{2}, T_{3}) (χ) = max {T_{1} (χ), T_{2} (χ), T_{3} (χ)}, \forall T_{1}, T_{2}, T_{3} \times V . \end{matrix}$ \matrix{{d({T_1},{T_2},{T_3})(\chi) = \max \{{T_1}(\chi),\;{T_2}(\chi),\;{T_3}(\chi)\},} & {\forall {T_1},{T_2},{T_3} \times V.} \cr} Then the triplet (V, 𝔹, d) is a PIV-S-metric space.

Example 3.3

Let V ≠ ∅, d_I endowed with the operation ⊕ PIV-metric on V. Then $d (χ, ϱ, θ) = d_{I} (χ, θ) \oplus d_{I} (ϱ, θ)$ d(\chi, \varrho,\theta) = {d_I}(\chi,\theta) \oplus {d_I}(\varrho,\theta) is a PIV-S-metric on V.

Let (V, 𝔹, d) be a PIV-S-metric space. Then the open ball with radius ɛ >_⊕ 0_𝔹 and center χ is defined by $B_{d} (χ, ε) = {ϱ \in V : d (ϱ, ϱ, χ <_{\oplus} d (χ, χ, χ) \oplus ε},$ {B_d}(\chi,\varepsilon) = \{\varrho \in V:d(\varrho, \varrho,\chi {<_ \oplus}d\left({\chi,\;\chi,\;\chi} \right) \oplus \varepsilon \}, and the closed ball with radius ɛ >_⊕ 0_𝔹 and center χ is defined by $B_{d} (χ, ε) = {ϱ \in V : d (ϱ, ϱ, χ) \leq_{\oplus} d (χ, χ, χ) \oplus ε} .$ {B_d}(\chi,\varepsilon) = \{\varrho \in V:d(\varrho, \varrho,\chi){\le_ \oplus}d(\chi,\chi,\chi) \oplus \varepsilon \}. The family of open balls $Λ = {B_{d} (χ, ε) : χ \in V, ε >_{\oplus} 0_{𝔹}},$ \Lambda = \{{B_d}(\chi,\varepsilon):\chi \in V,\,\,\,\varepsilon {>_ \oplus}{0_{{\mathbb B}}}\}, where B_d(χ, ɛ) represents the open ball centered at χ with radius ɛ, constitutes a basis for a certain topology τ_⊕ on V. This means that τ_⊕ is a collection of open sets in V, and any open set in τ_⊕ can be expressed as a union of these open balls from Λ. The topology τ_⊕ is built upon the notion of open balls defined by the S-metric space, which plays a crucial role in describing the open sets and the structure of the space V.

Definition 3.2

Let (V, 𝔹, d) be a PIV-S-metric space. We say that (i)

A sequence {χ_n} ⊂ V is called convergent to χ if and only if $lim_{n \to \infty} d (χ_{n}, χ_{n}, χ) = d (χ, χ, χ) .$ \mathop {\lim}\limits_{n \to \infty} d({\chi_n},{\chi_n},\chi) = d(\chi,\chi,\chi).

(ii)

A sequence {χ_n} ⊂ V is called Cauchy if and only if $lim_{n, m \to \infty} d (χ_{n}, χ_{n}, χ_{m})$ \mathop {\lim}\limits_{n,m \to \infty} d\left({{\chi_n},{\chi_n},{\chi_m}} \right) exists and is finite.

(iii)

The PIV-S-metric space (V, 𝔹, d) is said to be complete if every Cauchy sequence {χ_n} in V converges to a point χ ∈ V such that $d (χ, χ, χ) = lim_{n \to \infty} d (χ_{n}, χ_{n}, χ) = lim_{n, m \to \infty} d (χ_{n}, χ_{n}, χ_{m}) .$ d(\chi,\chi,\chi) = \mathop {\lim}\limits_{n \to \infty} d({\chi_n},{\chi_n},\chi) = \mathop {\lim}\limits_{n,m \to \infty} d({\chi_n},{\chi_n},{\chi_m}).

Definition 3.3

Let (V, 𝔹, d) be a PIV-S-metric space. A mapping f : V → V is called a continuous at point χ ∈ V if for any χ_n → χ implies that fχ_n → fχ.

Our main result runs as follows:

Theorem 3.1

Let (V, 𝔹, d) be a complete PIV-S-metric space and f : V → V satisfy the following: (3.1) $\begin{array}{l} d (f χ, f ϱ, f θ) \\ \leq_{\oplus} Θ (max^{\oplus} {d (χ, ϱ, θ), d (χ, χ, f χ), d (ϱ, ϱ, f ϱ), d (θ, θ, f θ)}) \end{array}$ \eqalign{& d(f\chi,f \varrho,f\theta) \cr & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,{\le_ \oplus}\Theta \left({\mathop {\max}\limits^ \oplus \{d(\chi, \varrho,\theta),d(\chi,\chi,f\chi),d(\varrho, \varrho, f\varrho),d(\theta,\theta,f\theta)\}} \right) \cr} for all χ, ϱ, θ ∈ V, where Θ: 𝔹⁺ → 𝔹⁺ is a continuous, non-decreasing function such that $lim_{n \to \infty} Θ^{n} (b) = 0_{𝔹}$ \mathop {\lim}\limits_{n \to \infty} \,\Theta^n (b) = {0_{{\mathbb B}}} and Θ(b) <_⊕ b for b ∈ 𝔹⁺. Then f has a unique fixed point ξ ∈ V and d(ξ, ξ, ξ) = 0_𝔹.

Proof.

Choose χ₀ ∈ V and define χ_n+1 = fχ_n for all n ∈ ℕ₀. For any n ∈ ℕ₀, we have $\begin{array}{l} d (χ_{n + 1}, χ_{n + 1}, χ_{n}) = d (f χ_{n}, f χ_{n}, f χ_{n - 1}) \\ \leq_{\oplus} Θ (max^{\oplus} {d (χ_{n}, χ_{n}, χ_{n - 1}), d (χ_{n}, χ_{n}, f χ_{n}), d (χ_{n}, χ_{n}, f χ_{n}), d (χ_{n - 1}, χ_{n - 1}, f χ_{n - 1})}) \\ = Θ (max^{\oplus} {d (χ_{n}, χ_{n}, χ_{n - 1}), d (χ_{n}, χ_{n}, f χ_{n}), d (χ_{n - 1}, χ_{n - 1}, f χ_{n - 1})}) \\ = Θ (max^{\oplus} {d (χ_{n}, χ_{n}, χ_{n - 1}), d (χ_{n}, χ_{n}, χ_{n + 1}), d (χ_{n - 1}, χ_{n - 1}, χ_{n})}) \\ = Θ (max^{\oplus} {d (χ_{n}, χ_{n}, χ_{n - 1}), d (χ_{n}, χ_{n}, χ_{n + 1}), d (χ_{n}, χ_{n}, χ_{n - 1})}) \\ = Θ (max^{\oplus} {d (χ_{n}, χ_{n}, χ_{n - 1}), d (χ_{n}, χ_{n}, χ_{n + 1})}) . \end{array}$ \matrix{{d({\chi_{n + 1}},{\chi_{n + 1}},{\chi_n}) = d\left({f{\chi_n},f{\chi_n},f{\chi_{n - 1}}} \right)} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,{\le_ \oplus}\Theta \left({\mathop {\max}\limits^ \oplus \{d({\chi_n},{\chi_n},{\chi_{n - 1}}),d({\chi_n},{\chi_n},f{\chi_n}),d({\chi_n},{\chi_n},f{\chi_n}),d({\chi_{n - 1}},{\chi_{n - 1}},f{\chi_{n - 1}})\}} \right)} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, = \Theta \left({\mathop {\max}\limits^ \oplus \{d({\chi_n},{\chi_n},{\chi_{n - 1}}),d({\chi_n},{\chi_n},f{\chi_n}),d({\chi_{n - 1}},{\chi_{n - 1}},f{\chi_{n - 1}})\}} \right)} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, = \Theta \left({\mathop {\max}\limits^ \oplus \{d({\chi_n},{\chi_n},{\chi_{n - 1}}),d({\chi_n},{\chi_n},{\chi_{n + 1}}),d({\chi_{n - 1}},{\chi_{n - 1}},{\chi_n})\}} \right)} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, = \Theta \left({\mathop {\max}\limits^ \oplus \{d({\chi_n},{\chi_n},{\chi_{n - 1}}),d({\chi_n},{\chi_n},{\chi_{n + 1}}),d({\chi_n},{\chi_n},{\chi_{n - 1}})\}} \right)} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, = \Theta \left({\mathop {\max}\limits^ \oplus \{d({\chi_n},{\chi_n},{\chi_{n - 1}}),d({\chi_n},{\chi_n},{\chi_{n + 1}})\}} \right)} \hfill \cr} Assume that $max^{\oplus} {d (χ_{n}, χ_{n}, χ_{n - 1}), d (χ_{n}, χ_{n}, χ_{n + 1})} = d (χ_{n}, χ_{n}, χ_{n + 1}),$ \mathop {\max}\limits^ \oplus \{d({\chi_n},{\chi_n},{\chi_{n - 1}}),d({\chi_n},{\chi_n},{\chi_{n + 1}})\} = d({\chi_n},{\chi_n},{\chi_{n + 1}}), then we have $\begin{array}{l} d (χ_{n + 1}, χ_{n + 1}, χ_{n}) & \leq_{\oplus} Θ (d (χ_{n}, χ_{n}, f χ_{n})) \\ = Θ (d (χ_{n}, χ_{n}, χ_{n + 1})) = Θ (d (χ_{n + 1}, χ_{n + 1}, χ_{n})), \end{array}$ \matrix{{d({\chi_{n + 1}},{\chi_{n + 1}},{\chi_n})} \hfill & {{\le_ \oplus}\Theta (d({\chi_n},{\chi_n},f{\chi_n}))} \hfill \cr {} \hfill & {= \Theta (d({\chi_n},{\chi_n},{\chi_{n + 1}})) = \Theta (d({\chi_{n + 1}},{\chi_{n + 1}},{\chi_n})),} \hfill \cr} a contradiction. Thus $max^{\oplus} {d (χ_{n}, χ_{n}, χ_{n - 1}), d (χ_{n}, χ_{n}, χ_{n + 1})} = d (χ_{n}, χ_{n}, χ_{n - 1}) .$ \mathop {\max}\limits^ \oplus \{d({\chi_n},{\chi_n},{\chi_{n - 1}}),d({\chi_n},{\chi_n},{\chi_{n + 1}})\} = \;d({\chi_n},{\chi_n},{\chi_{n - 1}}). Therefore, (3.1) gives rise (3.2) $d (f χ_{n}, f χ_{n}, f χ_{n - 1}) = d (χ_{n + 1}, χ_{n + 1}, χ_{n}) \leq_{\oplus} Θ (d (χ_{n}, χ_{n}, χ_{n - 1})) .$ d\left({f{\chi_n},f{\chi_n},f{\chi_{n - 1}}} \right) = d({\chi_{n + 1}},{\chi_{n + 1}},{\chi_n}){\le_ \oplus}\Theta (d({\chi_n},{\chi_n},{\chi_{n - 1}})). By continuing this process, we get (3.3) $d (χ_{n + 1}, χ_{n + 1}, χ_{n}) \leq_{\oplus} Θ^{n} (d (χ_{0}, χ_{0}, χ_{1})) .$ d({\chi_{n + 1}},{\chi_{n + 1}},{\chi_n}){\le_ \oplus}{\Theta^n}(d({\chi_0},{\chi_0},{\chi_1})). This demonstrates that $lim_{n \to \infty} d (χ_{n + 1}, χ_{n + 1}, χ_{n}) = 0_{𝔹}$ \mathop {\lim}\limits_{n \to \infty} \,d({\chi_{n + 1}},{\chi_{n + 1}},{\chi_n}) = {0_{{\mathbb B}}} . Now, we assert that the sequence {χ_n} is Cauchy in V. For n, m ∈ ℕ₀ (n < m), we have $\begin{array}{l} d (χ_{n}, χ_{n}, χ_{m}) \leq_{\oplus} d (χ_{n}, χ_{n}, χ_{n + 1}) \oplus d (χ_{n}, χ_{n}, χ_{n + 1}) \oplus d (χ_{m}, χ_{m}, χ_{n + 1}) \\ = d (χ_{n}, χ_{n}, χ_{n + 1}) \oplus d (χ_{m}, χ_{m}, χ_{n + 1}) (By (ii) of Definition 2.3) \\ \leq_{\oplus} d (χ_{n}, χ_{n}, χ_{n + 1}) \oplus {d (χ_{m}, χ_{m}, χ_{n + 2}) \oplus d (χ_{m}, χ_{m}, χ_{n + 2}) \oplus d (χ_{n + 1}, χ_{n + 1}, χ_{n + 2})} \\ = d (χ_{n}, χ_{n}, χ_{n + 1}) \oplus d (χ_{n + 1}, χ_{n + 1}, χ_{n + 2}) \oplus d (χ_{m}, χ_{m}, χ_{n + 2}) \\ \leq_{\oplus} d (χ_{n}, χ_{n}, χ_{n + 1}) \oplus d (χ_{n + 1}, χ_{n + 1}, χ_{n + 2}) \oplus {d (χ_{m}, χ_{m}, χ_{n + 3}) \oplus d (χ_{n + 2}, χ_{n + 2}, χ_{n + 3})} \\ \leq_{\oplus} d (χ_{n}, χ_{n}, χ_{n + 1}) \oplus d (χ_{n + 1}, χ_{n + 1}, χ_{n + 2}) \oplus d (χ_{n + 2}, χ_{n + 2}, χ_{n + 3}) \oplus d (χ_{m}, χ_{m}, χ_{n + 3}) \\ \leq_{\oplus} d (χ_{n}, χ_{n}, χ_{n + 1}) \oplus d (χ_{n + 1}, χ_{n + 1}, χ_{n + 2}) \oplus \dots \oplus d (χ_{m}, χ_{m}, χ_{m - 1}) \\ = d (χ_{n + 1}, χ_{n + 1}, χ_{n}) \oplus d (χ_{n + 2}, χ_{n + 2}, χ_{n + 1}) \oplus \dots \oplus d (χ_{m}, χ_{m}, χ_{m - 1}) . \end{array}$ \matrix{{d\left({{\chi_n},{\chi_n},{\chi_m}} \right){\le_ \oplus}d\left({{\chi_n},{\chi_n},{\chi_{n + 1}}} \right) \oplus d\left({{\chi_n},{\chi_n},{\chi_{n + 1}}} \right) \oplus d\left({{\chi_m},{\chi_m},{\chi_{n + 1}}} \right)} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, = d\left({{\chi_n},{\chi_n},{\chi_{n + 1}}} \right) \oplus d\left({{\chi_m},{\chi_m},{\chi_{n + 1}}} \right)\left({{\rm{By}}\,({\rm{ii}})\,{\rm{of\,Definition}}\,2.3} \right)} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,{\le_ \oplus}d\left({{\chi_n},{\chi_n},{\chi_{n + 1}}} \right) \oplus \{d\left({{\chi_m},{\chi_m},{\chi_{n + 2}}} \right) \oplus d\left({{\chi_m},{\chi_m},{\chi_{n + 2}}} \right) \oplus d\left({{\chi_{n + 1}},{\chi_{n + 1}},{\chi_{n + 2}}} \right)\}} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, = d\left({{\chi_n},{\chi_n},{\chi_{n + 1}}} \right) \oplus d\left({{\chi_{n + 1}},{\chi_{n + 1}},{\chi_{n + 2}}} \right) \oplus d\left({{\chi_m},{\chi_m},{\chi_{n + 2}}} \right)} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,{\le_ \oplus}d\left({{\chi_n},{\chi_n},{\chi_{n + 1}}} \right) \oplus d\left({{\chi_{n + 1}},{\chi_{n + 1}},{\chi_{n + 2}}} \right) \oplus \left\{{d\left({{\chi_m},{\chi_m},{\chi_{n + 3}}} \right) \oplus d\left({{\chi_{n + 2}},{\chi_{n + 2}},{\chi_{n + 3}}} \right)} \right\}} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,{\le_ \oplus}d\left({{\chi_n},{\chi_n},{\chi_{n + 1}}} \right) \oplus d\left({{\chi_{n + 1}},{\chi_{n + 1}},{\chi_{n + 2}}} \right) \oplus d\left({{\chi_{n + 2}},{\chi_{n + 2}},{\chi_{n + 3}}} \right) \oplus d\left({{\chi_m},{\chi_m},{\chi_{n + 3}}} \right)} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,{\le_ \oplus}d\left({{\chi_n},{\chi_n},{\chi_{n + 1}}} \right) \oplus d\left({{\chi_{n + 1}},{\chi_{n + 1}},{\chi_{n + 2}}} \right) \oplus \cdots \oplus d\left({{\chi_m},{\chi_m},{\chi_{m - 1}}} \right)} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, = d\left({{\chi_{n + 1}},{\chi_{n + 1}},{\chi_n}} \right) \oplus d\left({{\chi_{n + 2}},{\chi_{n + 2}},{\chi_{n + 1}}} \right) \oplus \cdots \oplus d\left({{\chi_m},{\chi_m},{\chi_{m - 1}}} \right).} \hfill \cr} Now, by employing (3.3), we get $\begin{array}{l} d (χ_{n}, χ_{n}, χ_{m}) & \leq_{\oplus} Θ^{n} (d (χ_{1}, χ_{1}, χ_{0})) \oplus Θ^{n + 1} (d (χ_{1}, χ_{1}, χ_{0})) \oplus Θ^{n + 2} (d (χ_{1}, χ_{1}, χ_{0})) \oplus \dots \oplus Θ^{m - 1} (d (χ_{1}, χ_{1}, χ_{0})) \\ \leq_{\oplus} Θ^{n} (d (χ_{1}, χ_{1}, χ_{0})) \oplus Θ^{n} (d (χ_{1}, χ_{1}, χ_{0})) \oplus Θ^{n} (d (χ_{1}, χ_{1}, χ_{0})) \oplus \dots \oplus Θ^{n} (d (χ_{1}, χ_{1}, χ_{0})) \\ = Θ^{n} (d (χ_{1}, χ_{1}, χ_{0})) (By (ii) of Definition (2.3)) . \end{array}$ \matrix{{d\left({{\chi_n},{\chi_n},{\chi_m}} \right)} \hfill & {{\le_ \oplus}{\Theta^n}\left({d\left({{\chi_1},{\chi_1},{\chi_0}} \right)} \right) \oplus {\Theta^{n + 1}}\left({d\left({{\chi_1},{\chi_1},{\chi_0}} \right)} \right) \oplus {\Theta^{n + 2}}\left({d\left({{\chi_1},{\chi_1},{\chi_0}} \right)} \right) \oplus \cdots \oplus {\Theta^{m - 1}}\left({d\left({{\chi_1},{\chi_1},{\chi_0}} \right)} \right)} \hfill \cr {} \hfill & {{\le_ \oplus}{\Theta^n}\left({d\left({{\chi_1},{\chi_1},{\chi_0}} \right)} \right) \oplus {\Theta^n}\left({d\left({{\chi_1},{\chi_1},{\chi_0}} \right)} \right) \oplus {\Theta^n}\left({d\left({{\chi_1},{\chi_1},{\chi_0}} \right)} \right) \oplus \cdots \oplus {\Theta^n}\left({d\left({{\chi_1},{\chi_1},{\chi_0}} \right)} \right)} \hfill \cr {} \hfill & {= {\Theta^n}\left({d\left({{\chi_1},{\chi_1},{\chi_0}} \right)} \right)\left({{\rm{By}}\,\left({{\rm{ii}}} \right)\,{\rm{of\,Definition}}\,\left({2.3} \right)} \right).} \hfill \cr} Therefore $lim_{n \to \infty} d (χ_{n}, χ_{n}, χ_{m}) = 0_{𝔹} .$ \mathop {\lim}\limits_{n \to \infty} d\left({{\chi_n},{\chi_n},{\chi_m}} \right) = {0_{{\mathbb B}}}. Hence, the sequence {χ_n} is Cauchy in V. Since V is a complete PIV-S-metric space then there exists ξ ∈ V such that (3.4) $d (ξ, ξ, ξ) = lim_{m \to \infty} d (χ_{n}, χ_{n}, ξ) = lim_{n, m \to \infty} d (χ_{n}, χ_{n}, χ_{m}) = 0_{𝔹} .$ d\left({\xi,\xi,\xi} \right) = \mathop {\lim}\limits_{m \to \infty} d\left({{\chi_n},{\chi_n},\xi} \right) = \mathop {\lim}\limits_{n,m \to \infty} d\left({{\chi_n},{\chi_n},{\chi_m}} \right) = {0_{{\mathbb B}}}. Now, to show that ξ ∈ V is a fixed point of f, we note that $\begin{array}{l} d (ξ, ξ, f ξ) & \leq_{\oplus} d (ξ, ξ, χ_{n + 1}) \oplus d (T ξ, T ξ, χ_{n + 1}) \\ = d (ξ, ξ, χ_{n + 1}) \oplus d (f ξ, f ξ, f χ_{n}) . \end{array}$ \matrix{{d\left({\xi,\xi,f\xi} \right)} \hfill & {{\le_ \oplus}d\left({\xi,\xi,{\chi_{n + 1}}} \right) \oplus d\left({T\xi,T\xi,{\chi_{n + 1}}} \right)} \hfill \cr {} \hfill & {= d\left({\xi,\xi,{\chi_{n + 1}}} \right) \oplus d\left({f\xi,f\xi,f{\chi_n}} \right).} \hfill \cr} From (3.2), we have d(fξ, fξ, fχ_n) ≤_⊕ Θ d(ξ, ξ, χ_n), then $\begin{array}{l} d (ξ, ξ, f ξ) & \leq_{\oplus} d (ξ, ξ, χ_{n + 1}) \oplus Θ (d (ξ, ξ, χ_{n})) \\ = d (χ_{n + 1}, χ_{n + 1}, ξ) \oplus Θ (d (χ_{n}, χ_{n}, ξ)) . \end{array}$ \matrix{{d\left({\xi,\xi,f\xi} \right)} \hfill & {{\le_ \oplus}d\left({\xi,\xi,{\chi_{n + 1}}} \right) \oplus \Theta \left({d\left({\xi,\xi,{\chi_n}} \right)} \right)} \hfill \cr {} \hfill & {= d\left({{\chi_{n + 1}},{\chi_{n + 1}},\xi} \right) \oplus \Theta \left({d\left({{\chi_n},{\chi_n},\xi} \right)} \right).} \hfill \cr} Using (3.4) in the above inequality, we get d(ξ, ξ, fξ) = 0_𝔹 which implies fξ = ξ. Hence, ξ is a fixed point of f.

For the uniqueness part, let us assume that there exist two points ξ and ξ^∗ in the space V such that fξ = ξ and fξ^∗ = ξ^∗. In other words, ξ and ξ^∗ are fixed points of the mapping f. Then by employing (3.1), we have $\begin{array}{l} d (ξ, ξ, f ξ^{*}) & = d (f ξ, f ξ, f ξ^{*}) \\ \leq_{\oplus} α max^{\oplus} \{d (ξ, ξ, ξ^{*}), d (ξ, ξ, f ξ), d (ξ, ξ, f ξ), d (ξ^{*}, ξ^{*}, f ξ^{*})\} \\ = Θ (max^{\oplus} {d (ξ, ξ, ξ^{*}), d (ξ, ξ, ξ), d (ξ^{*}, ξ^{*}, ξ^{*})}) \\ = Θ (d (ξ, ξ, ξ^{*})) <_{\oplus} d (ξ, ξ, ξ^{*}), \end{array}$ \matrix{{d\left({\xi,\xi,f{\xi^*}} \right)} \hfill & {= d\left({f\xi,f\xi,f{\xi^*}} \right)} \hfill \cr {} \hfill & {{\le_ \oplus}\alpha \mathop {\max}\limits^ \oplus \;\left\{{d\left({\xi,\xi,{\xi^*}} \right),\;d\left({\xi,\xi,f\xi} \right),\;d\left({\xi,\xi,f\xi} \right),\;d\left({{\xi^*},{\xi^*},f{\xi^*}} \right)} \right\}} \hfill \cr {} \hfill & {= \Theta (\mathop {\max}\limits^ \oplus \;\{d(\xi,\xi,{\xi^*}),\;d\left({\xi,\xi,\xi} \right),d({\xi^*},{\xi^*},{\xi^*})\})} \hfill \cr {} \hfill & {= \Theta (d(\xi,\xi,{\xi^*})){<_ \oplus}d(\xi,\xi,{\xi^*}),} \hfill \cr} a contradiction. Hence ξ = ξ^∗. Therefore, ξ is a unique fixed point of f.

Finally, we show that d(ξ, ξ, ξ) = 0_𝔹. Let us suppose, d(ξ, ξ, ξ) >_⊕ 0_𝔹.

Then (3.1) implies that $\begin{array}{l} d (ξ, ξ, ξ) & = d (f ξ, f ξ, f ξ^{*}) \\ \leq_{\oplus} Θ (max^{\oplus} {d (ξ, ξ, ξ), d (ξ, ξ, f ξ), d (ξ, ξ, f ξ), d (ξ, ξ, f ξ)}) \\ = Θ (max^{\oplus} {d (ξ, ξ, ξ), d (ξ, ξ, ξ), d (ξ, ξ, ξ)}) \\ = Θ (d (ξ, ξ, ξ)) <_{\oplus} d (ξ, ξ, ξ), \end{array}$ \matrix{{d(\xi,\xi,\xi)} \hfill & {= d(f\xi,f\xi,f{\xi^*})} \hfill \cr {} \hfill & {{\le_ \oplus}\Theta (\mathop {\max}\limits^ \oplus \;\{d\left({\xi,\xi,\xi} \right),\,d\left({\xi,\xi,f\xi} \right),d\left({\xi,\xi,f\xi} \right),d(\xi,\xi,f\xi)\})} \hfill \cr {} \hfill & {= \Theta (\mathop {\max}\limits^ \oplus \{d\left({\xi,\xi,\xi} \right),d\left({\xi,\xi,\xi} \right),d(\xi,\xi,\xi)\})} \hfill \cr {} \hfill & {= \Theta \left({d\left({\xi,\xi,\xi} \right)} \right){<_ \oplus}d\left({\xi,\xi,\xi} \right),} \hfill \cr} which leads to a contradiction. Consequently, d(ξ, ξ, ξ) = 0_𝔹.

Example 3.4

Let V = [1, ∞), 𝔹 = ℝ endowed with the operation χ⊕ϱ=max{χ, ϱ}. Define a mapping d : V × V × V → 𝔹⁺ by $\begin{array}{l} d (χ, ϱ, θ) = χ \oplus ϱ \oplus θ, & \forall χ, ϱ, θ \in V . \end{array}$ \matrix{{d(\chi, \varrho,\theta) = \chi \oplus \varrho \oplus \theta,} \hfill & {\forall \chi, \varrho,\theta \in V.} \hfill \cr} Then the triplet (V, 𝔹, d) is a complete PIV-S-metric space. Define a mapping f : V → V by $f χ = \frac{χ + 2}{3} for all χ \in V$ f\chi = {{\chi + 2} \over 3}\,\,\,\,\,\,{\rm{for}}\,\,{\rm{all}}\,\,\,\,\,\,\chi \in V and define Θ: 𝔹⁺ → 𝔹⁺ by $Θ (b) = \frac{b}{2}$ \Theta (b) = {b \over 2} . Here, one can easily seen that Θ is continuous and non-decreasing function. Now, we have $\begin{array}{l} d (f χ, f ϱ, f θ) = \frac{χ + 2}{3} \oplus \frac{ϱ + 2}{3} \oplus \frac{θ + 2}{3} \\ = max \{\frac{χ + 2}{3}, \frac{ϱ + 2}{3}, \frac{θ + 2}{3}\} = \frac{1}{3} max \{χ, ϱ, θ\} \\ \leq \frac{1}{3} max \{(\frac{χ + 2}{3}, \frac{ϱ + 2}{3}, \frac{θ + 2}{3}), (χ, χ, \frac{χ + 2}{3}), (ϱ, ϱ, \frac{ϱ_{.} + 2}{3}), (θ, θ, \frac{θ + 2}{3})\} \\ = \frac{1}{3} max^{\oplus} \{(\frac{χ + 2}{3} \oplus \frac{ϱ + 2}{3} \oplus \frac{θ + 2}{3}), (χ \oplus χ \oplus \frac{χ + 2}{3}), (ϱ \oplus ϱ \oplus \frac{ϱ + 2}{3}), (θ \oplus θ \oplus \frac{θ + 2}{3})\} \\ \leq_{\oplus} Θ (max^{\oplus} {d (χ, ϱ, θ), d (χ, χ, f χ), d (ϱ, ϱ, f ϱ), d (θ, θ, f θ)}) . \end{array}$ \matrix{{d\left({f\chi,f \varrho,f\theta} \right) = {{\chi + 2} \over 3} \oplus {{\varrho + 2} \over 3} \oplus {{\theta + 2} \over 3}} \hfill \cr {\,\,\,\,\, = \max \left\{{{{\chi + 2} \over 3},{{\varrho + 2} \over 3},{{\theta + 2} \over 3}} \right\} = {1 \over 3}\max \;\left\{{\chi, \varrho,\;\theta} \right\}} \hfill \cr {\,\,\,\,\, \le {1 \over 3}\max \;\left\{{\left({{{\chi + 2} \over 3},{{\varrho + 2} \over 3},{{\theta + 2} \over 3}} \right),\left({\chi,\chi,{{\chi + 2} \over 3}} \right),\left({\varrho, \varrho,{{{\varrho _.} + 2} \over 3}} \right),\left({\theta,\theta,{{\theta + 2} \over 3}} \right)} \right\}} \hfill \cr {\,\,\,\,\, = {1 \over 3}\mathop {\max}\limits^ \oplus \left\{{\left({{{\chi + 2} \over 3} \oplus {{\varrho + 2} \over 3} \oplus {{\theta + 2} \over 3}} \right),\left({\chi \oplus \chi \oplus {{\chi + 2} \over 3}} \right),\left({\varrho \oplus \varrho \oplus {{\varrho + 2} \over 3}} \right),\left({\theta \oplus \theta \oplus {{\theta + 2} \over 3}} \right)} \right\}} \hfill \cr {\,\,\,\,\,{\le_ \oplus}\Theta (\mathop {\max}\limits^ \oplus \;\{d(\chi, \varrho,\theta),d(\chi,\chi,f\chi),d\left({\varrho, \varrho,f \varrho} \right),d\left({\theta,\theta,f\theta} \right)\}).} \hfill \cr} Therefore, all the prerequisites of Theorem 3.1 are met, confirming that ξ = 1 stands as the unique fixed point of the given mapping f.

Corollary 3.1

Consider a complete PIV-S-metric space (V, 𝔹, d) and a mapping f : V → V that fulfills the following: $d (f χ, f ϱ, f θ) \leq_{\oplus} α d (χ, ϱ, θ)$ d\left({f\chi,f \varrho,f\theta} \right){\le_ \oplus}\alpha d\left({\chi, \varrho,\theta} \right) for all χ, ϱ, θ ∈ V, where α ∈ [0, 1). Then f has a unique fixed point ξ ∈ V and d(ξ, ξ, ξ) = 0_𝔹.

4.

Best proximity point results in PIV-S-metric space

In this section, we delve into the study of best proximity points within the framework of PIV-S-metric spaces. The significance of best proximity point results lies in their relevance to best approximation outcomes from this perspective. The inception of best proximity point results can be traced back to Fan [11], who demonstrated that for a continuous mapping f : K → X defined on a nonempty compact convex subset K of a Hausdorff locally convex topological vector space V, equipped with the metric d, there exists a point χ ∈ K such that d(χ, fχ) = inf{d(ϱ, fχ) = inf{d(ϱ, fχ) : ϱ ∈ K}. Notably, when f is a self-mapping, the best proximity point transforms into a fixed point. The best approximation theorem ensures the existence of an approximate solution, while the best proximity point theorem proves instrumental in resolving the problem and offering an optimal approximate solution.

Consider two nonempty subsets, denoted as A and B, of a metric space (V, d). In the context of a mapping f : A → B, an element χ ∈ A is referred to as a fixed point if fχ = χ. It is important to highlight that the requirement f (A) ∩ A ≠ ∅ is a vital condition for the presence of a fixed point in the mapping f. However, it’s worth noting that this condition is necessary but not sufficient. If the intersection of A and f (A) is empty, it implies that there is no fixed point for f. In such cases, it is customary to seek an element χ that is in some way closest to fχ, with the hope of finding an approximate solution even though a fixed point may not exist.

Proposition 4.1

Let (V, 𝔹, d) be a PIV-S-metric space and S_d : V ×V → 𝔹 defined as follows (4.1) $s_{d} (χ, ϱ) = d (χ, χ, ϱ) \oplus d (ϱ, ϱ, χ) .$ {s_d}(\chi, \varrho) = d(\chi,\chi, \varrho) \oplus d(\varrho, \varrho,\chi). Then (V, 𝔹, S_d) is a PIV-metric space.

Proof

Observe that the conditions (i)–(iii) are satisfied. Now to for (iv), we have $\begin{array}{l} S_{d} (χ, ϱ) & = d (χ, χ, ϱ) \oplus d (ϱ, ϱ, χ) \leq_{\oplus} (d (χ, χ, θ) \oplus d (χ, χ, θ) \oplus d (ϱ, ϱ, θ)) \oplus (d (ϱ, ϱ, θ) \oplus d (ϱ, ϱ, θ) \oplus d (χ, χ, θ)) \\ = (d (χ, χ, θ) \oplus d (ϱ, ϱ, θ)) \oplus (d (ϱ, ϱ, θ) \oplus d (θ, θ, θ)) \\ = d (θ, θ, θ) \oplus d (θ, θ, χ) \oplus d (θ, θ, ϱ) \oplus d (ϱ, ϱ, θ) = S_{d} (χ, θ) \oplus S_{d} (θ, ϱ) . \end{array}$ \matrix{{{S_d}\left({\chi, \varrho} \right)} \hfill & {= d\left({\chi,\;\chi, \varrho} \right) \oplus d\left({\varrho, \varrho,\;\chi} \right){\le_ \oplus}\left({d\left({\chi,\;\chi,\;\theta} \right) \oplus d\left({\chi,\;\chi,\;\theta} \right) \oplus d\left({\varrho, \varrho,\;\theta} \right)} \right) \oplus \left({d\left({\varrho, \varrho,\;\theta} \right) \oplus d\left({\varrho, \varrho,\;\theta} \right) \oplus d\left({\chi,\;\chi,\;\theta} \right)} \right)} \hfill \cr {} \hfill & {= \left({d\left({\chi,\;\chi,\;\theta} \right) \oplus d\left({\varrho, \varrho,\;\theta} \right)} \right) \oplus \left({d\left({\varrho, \varrho,\;\theta} \right) \oplus d\left({\theta,\;\theta,\;\theta} \right)} \right)} \hfill \cr {} \hfill & {= d\left({\theta,\;\theta,\;\theta} \right) \oplus d\left({\theta,\;\theta,\;\chi} \right) \oplus d\left({\theta,\;\theta, \varrho} \right) \oplus d\left({\varrho, \varrho,\;\theta} \right) = {S_d}\left({\chi,\;\theta} \right) \oplus {S_d}\left({\theta, \varrho} \right).} \hfill \cr} Hence, (V, 𝔹, S_d) is a PIV-metric space.

Definition 4.1

Let A and B be two nonempty subsets of (V, 𝔹, d). Denote the distance between A and B by $S_{d} (A, B) = inf^{\oplus} {S_{d} (χ, ϱ) : χ \in A, ϱ \in B} .$ {S_d}(A,B) = \mathop {\inf}\limits^ \oplus \{{S_d}(\chi, \varrho):\chi \in A, \varrho \in B\}. Define the following $\begin{array}{l} A_{0} = {χ \in A : S_{d} (χ, ϱ) = S_{d} (A, B) for some ϱ \in B} and \\ B_{0} = {χ \in B : S_{d} (χ, ϱ) = S_{d} (A, B) for some ϱ \in A} . \end{array}$ \matrix{{{A_0} = \{\chi \in A:{S_d}(\chi, \varrho) = {S_d}(A,B)\,{\rm{for}}\,{\rm{some}}\,{\rm{\varrho}}\, \in B\} \,\,\,\,\,\,\,{\rm{and}}} \hfill \cr {{B_0} = \{\chi \in B:{S_d}(\chi, \varrho) = {S_d}(A,B)\,{\rm{for}}\,{\rm{some}}\,{\rm{\varrho}}\, \in A\}.} \hfill \cr}

In the same way, we have developed the best proximity point analysis in the framework of PIV-S-metric space (V, 𝔹, d).

An element χ ∈ A is said to be best proximity point of the map f : A → B if $S_{d} (χ, fA) = S_{d} (A, B) .$ {S_d}\left({\chi,fA} \right) = {S_d}\left({A,B} \right). The global minimum of the mapping χ → d(χ, fχ) is identified as the best proximity point, as it satisfies the condition S_d(χ, fχ) ≥_⊕ S_d(A, B) for every χ ∈ A. In other words, the best proximity point minimizes the distance between a point and its image under the mapping, making it an optimal approximate solution within the space A and B. If the mapping is a self-mapping, it is evident that the best proximity point coincides with a fixed point.

The fundamental objective of the best proximity point theory is to establish sufficient conditions that guarantee the existence of such points. By providing these conditions, the theory offers a valuable tool to determine when best proximity points are attainable, allowing for the identification of optimal approximate solutions in various scenarios.

In what follows, we introduce two notions.

Definition 4.2

Let (V, 𝔹, d) be a PIV-S-metric space and A, B two nonempty subsets of V. The set B is said to be approximatively compact with respect to A if every sequence {ϱ_n} ⊆ B satisfying the condition S_d(χ, ϱ_n) → S_d(χ, B) has a convergent subsequence for some χ in A.

Definition 4.3

Let A and B be two nonempty subsets of a PIV-S-metric space (V, 𝔹, d). The mapping f : A → B is said to be ⊕—proximal contraction mapping if (4.2) $\begin{matrix} \begin{matrix} S_{d} (x, f χ) = S_{d} (A, B) \\ S_{d} (y, f ϱ) = S_{d} (A, B) \end{matrix}\} & implies d (x, x, y) \leq_{\oplus} α d (χ, χ, ϱ), \end{matrix}$ \matrix{{\left. {\matrix{{{S_d}\left({x,f\chi} \right) = {S_d}\left({A,B} \right)} \cr {{S_d}\left({y,f \varrho} \right) = {S_d}\left({A,B} \right)} \cr}} \right\}} & {{\rm{implies}}\,\,\,\,\,\,d\left({x,x,y} \right){\le_ \oplus}\alpha d\left({\chi,\chi, \varrho} \right),} \cr} where α ∈ [0, 1), for all x, y, χ, ϱ ∈ A.

Theorem 4.1

Consider two nonempty subsets, A and B of a complete PIV-S-metric space (V, 𝔹, d), A₀ is nonempty, and B is approximately compact with respect to A. Let us assume that f : A → B is a ⊕—proximal contraction mapping satisfying f (A₀) ⊆ B₀. Then f has a unique best proximity point ξ ∈ A such that S_d(ξ, fξ) = S_d(A, B).

Proof

Fix an arbitrary point χ₀ ∈ A₀ and take fχ₀ ∈ f (A₀) ⊆ B₀ into account. We can choose χ₁ ∈ A₀ such that S_d(χ₁, fχ₀) = S_d(A, B). Also, since fχ₁ ∈ f (A₀) ⊆ B₀, there exists χ₁ ∈ A₀ such that S_d(χ₂, fχ₁) = S_d(A, B). Continuing this process, we can construct a sequence {χ_n} in A₀ such that $\begin{matrix} S_{d} (χ_{n + 1}, f χ_{n}) = S_{d} (A, B), & \forall n \in ℕ_{0}, \end{matrix}$ \matrix{{{S_d}\left({{\chi_{n + 1}},f{\chi_n}} \right) = {S_d}\left({A,B} \right),} & {\forall n \in {{\mathbb N}_0},} \cr} which shows that $\begin{matrix} S_{d} (x, f χ) = S_{d} (A, B), \\ S_{d} (y, f ϱ) = S_{d} (A, B), \end{matrix}$ \matrix{{{S_d}\left({x,f\chi} \right) = {S_d}(A,B),} \cr {{S_d}\left({y,f \varrho} \right) = {S_d}(A,B),} \cr} where x = χ_n, χ = χ_n−1, y = χ_n+1 and ϱ = χ_n. Then from (4.2), we obtain $\begin{array}{l} d (χ_{n}, χ_{n}, χ_{n + 1}) & \leq_{\oplus} α d (χ_{n - 1}, χ_{n - 1}, χ_{n}) \\ \leq_{\oplus} α^{2} d (χ_{n - 2}, χ_{n - 2}, χ_{n - 1}) \\ ⋮ \\ \leq_{\oplus} α^{n} d (χ_{0}, χ_{0}, χ_{1}), \end{array}$ \matrix{{d\left({{\chi_n},{\chi_n},{\chi_{n + 1}}} \right)} \hfill & {{\le_ \oplus}\alpha d\left({{\chi_{n - 1}},{\chi_{n - 1}},{\chi_n}} \right)} \hfill \cr {} \hfill & {{\le_ \oplus}{\alpha^2}d\left({{\chi_{n - 2}},{\chi_{n - 2}},{\chi_{n - 1}}} \right)} \hfill \cr {} \hfill & \vdots \hfill \cr {} \hfill & {{\le_ \oplus}{\alpha^n}d\left({{\chi_0},{\chi_0},{\chi_1}} \right),} \hfill \cr} which on making n → ∞, gives $lim_{n \to \infty} d (χ_{n}, χ_{n}, χ_{n + 1}) = 0_{𝔹} .$ \mathop {\lim}\limits_{n \to \infty} d({\chi_n},{\chi_n},{\chi_{n + 1}}) = {0_{{\mathbb B}}}. Now, we assert to show that {χ_n} is a Cauchy sequence in (V, 𝔹, d). Let us suppose, on the contrary, that there exists ɛ >_⊕ 0_𝔹 and a subsequence {χ_{n_k} } of {χ_n} such that (4.3) $\begin{matrix} d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k}}) \geq_{\oplus} ε & for n_{k} \geq m_{k} > k . \end{matrix}$ \matrix{{d({\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k}}}){\ge_ \oplus}\varepsilon} & {{\rm{for}}\,\,\,{n_k} \ge {m_k} > k.} \cr} Also, for any m_k, we can choose n_k with n_k > m_k which satisfies (4.3). Hence $d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k} - 1}) <_{\oplus} ε .$ d({\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k} - 1}}){<_ \oplus}\varepsilon. Setting Γ_n = d(χ_n, χ_n, χ_n−1), we have $\begin{array}{l} ε \leq_{\oplus} d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k}}) = d (χ_{n_{k}}, χ_{n_{k}}, χ_{m_{k}}) \\ \leq_{\oplus} d (χ_{n_{k}}, χ_{n_{k}}, χ_{n_{k} - 1}) \oplus d (χ_{n_{k}}, χ_{n_{k}}, χ_{n_{k} - 1}) \oplus d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k} - 1}) \\ = d (χ_{n_{k}}, χ_{n_{k}}, χ_{n_{k} - 1}) \oplus d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k} - 1}) <_{\oplus} Γ_{n_{k}} \oplus ε . \end{array}$ \matrix{{\varepsilon {\le_ \oplus}d({\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k}}}) = d({\chi_{{n_k}}},{\chi_{{n_k}}},{\chi_{{m_k}}})} \hfill \cr {\,\,\,{\le_ \oplus}d({\chi_{{n_k}}},{\chi_{{n_k}}},{\chi_{{n_k} - 1}}) \oplus d({\chi_{{n_k}}},{\chi_{{n_k}}},{\chi_{{n_k} - 1}}) \oplus d({\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k} - 1}})} \hfill \cr {\,\,\, = d({\chi_{{n_k}}},{\chi_{{n_k}}},{\chi_{{n_k} - 1}}) \oplus d({\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k} - 1}}){<_ \oplus}{\Gamma_{{n_k}}} \oplus \varepsilon.} \hfill \cr} By taking limit as k → ∞, we get $lim_{k \to \infty} d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k}}) = ε .$ \mathop {\lim}\limits_{k \to \infty} d\left({{\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k}}}} \right) = \varepsilon. Further, we have (4.4) $\begin{matrix} d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k}}) \leq_{\oplus} d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k} - 1}) \oplus d (χ_{n_{k}}, χ_{n_{k}}, χ_{m_{k} - 1}) \\ \leq_{\oplus} d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k} - 1}) \oplus d (χ_{n_{k}}, χ_{n_{k}}, χ_{n_{k} - 1}) \\ \oplus d (χ_{m_{k} - 1}, χ_{m_{k} - 1}, χ_{n_{k} - 1}) \\ <_{\oplus} (Γ_{m_{k}} \oplus Γ_{n_{k}}) \oplus d (χ_{m_{k} - 1}, χ_{m_{k} - 1}, χ_{n_{k} - 1}) \end{matrix}$ \matrix{{d\left({{\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k}}}} \right){\le_ \oplus}d\left({{\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k} - 1}}} \right) \oplus d\left({{\chi_{{n_k}}},\;{\chi_{{n_k}}},{\chi_{{m_k} - 1}}} \right)} \cr {{\le_ \oplus}d\left({{\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k} - 1}}} \right) \oplus d\left({{\chi_{{n_k}}},{\chi_{{n_k}}},{\chi_{{n_k} - 1}}} \right)} \cr {\oplus d\left({{\chi_{{m_k} - 1}},{\chi_{{m_k} - 1}},{\chi_{{n_k} - 1}}} \right)} \cr {{<_ \oplus}\left({{\Gamma_{{m_k}}} \oplus {\Gamma_{{n_k}}}} \right) \oplus d\left({{\chi_{{m_k} - 1}},{\chi_{{m_k} - 1}},{\chi_{{n_k} - 1}}} \right)} \cr} and (4.5) $\begin{array}{l} d (χ_{m_{k} - 1}, χ_{m_{k} - 1}, χ_{n_{k} - 1}) & \leq_{\oplus} d (χ_{m_{k} - 1}, χ_{m_{k} - 1}, χ_{m_{k}}) \oplus d (χ_{n_{k} - 1}, χ_{n_{k} - 1}, χ_{m_{k}}) \\ \leq_{\oplus} d (χ_{m_{k} - 1}, χ_{m_{k} - 1}, χ_{m_{k}}) \oplus d (χ_{n_{k} - 1}, χ_{n_{k} - 1}, χ_{n_{k}}) \oplus d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k}}) \\ <_{\oplus} (Γ_{m_{k - 1}} \oplus Γ_{n_{k - 1}}) \oplus d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k}}) . \end{array}$ \matrix{{d\left({{\chi_{{m_k} - 1}},{\chi_{{m_k} - 1}},{\chi_{{n_k} - 1}}} \right)} \hfill & {{\le_ \oplus}d\left({{\chi_{{m_k} - 1}},{\chi_{{m_k} - 1}},{\chi_{{m_k}}}} \right) \oplus d\left({{\chi_{{n_k} - 1}},{\chi_{{n_k} - 1}},{\chi_{{m_k}}}} \right)} \hfill \cr {} \hfill & {{\le_ \oplus}d\left({{\chi_{{m_k} - 1}},{\chi_{{m_k} - 1}},{\chi_{{m_k}}}} \right) \oplus d\left({{\chi_{{n_k} - 1}},{\chi_{{n_k} - 1}},{\chi_{{n_k}}}} \right) \oplus d\left({{\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k}}}} \right)} \hfill \cr {} \hfill & {{<_ \oplus}\left({{\Gamma_{{m_{k - 1}}}} \oplus {\Gamma_{{n_{k - 1}}}}} \right) \oplus d\left({{\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k}}}} \right).} \hfill \cr} By taking limit as k → ∞ in (4.5) and using (4.4), we get $lim_{k \to \infty} d (χ_{m_{k} - 1}, χ_{m_{k} - 1}, χ_{n_{k} - 1}) = ε .$ \mathop {\lim}\limits_{k \to \infty} d\left({{\chi_{{m_k} - 1}},{\chi_{{m_k} - 1}},{\chi_{{n_k} - 1}}} \right) = \varepsilon. From (4.2) with x = χ_{m_k}, χ = χ_{m_k −1}, y = χ_{n_k} and ϱ = χ_{n_k −1}, we obtain $\begin{matrix} d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k}}) \leq_{\oplus} α d (χ_{m_{k} - 1}, χ_{m_{k} - 1}, χ_{n_{k} - 1}) \\ \Rightarrow lim_{k \to \infty} d (χ_{m_{k}}, χ_{m_{k}}, χ_{n_{k}}) \leq_{\oplus} α lim_{k \to \infty} d (χ_{m_{k} - 1}, χ_{m_{k} - 1}, χ_{n_{k} - 1}) \\ ε \leq_{\oplus} α ε, \end{matrix}$ \matrix{{d\left({{\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k}}}} \right){\le_ \oplus}\alpha d\left({{\chi_{{m_k} - 1}},{\chi_{{m_k} - 1}},{\chi_{{n_k} - 1}}} \right)} \cr {\Rightarrow \mathop {\lim}\limits_{k \to \infty} d\left({{\chi_{{m_k}}},{\chi_{{m_k}}},{\chi_{{n_k}}}} \right){\le_ \oplus}\alpha \mathop {\lim}\limits_{k \to \infty} d\left({{\chi_{{m_k} - 1}},{\chi_{{m_k} - 1}},{\chi_{{n_k} - 1}}} \right)} \cr {\varepsilon {\le_ \oplus}\alpha \varepsilon,} \cr} which implies that ɛ = 0_𝔹. Thus $lim_{m, n \to \infty} d (χ_{m}, χ_{m_{k}}, χ_{n_{k}}) = 0_{𝔹} .$ \mathop {\lim}\limits_{m,n \to \infty} d\left({{\chi_m},{\chi_{{m_k}}},{\chi_{{n_k}}}} \right) = {0_{{\mathbb B}}}. Therefore, {χ_n} is a Cauchy sequence in A. Since (A, 𝔹, d) is a complete PIV-S-metric space then there exists ξ ∈ A such that $lim_{n \to \infty} χ_{n} = ξ$ \mathop {\lim}\limits_{n \to \infty} {\chi_n} = \xi . Furthermore, for all n ∈ ℕ, we have $\begin{array}{l} S_{d} (ξ, B) & \leq_{\oplus} S_{d} (ξ, f χ_{n}) \leq_{\oplus} S_{d} (ξ, f χ_{n + 1}) \oplus S_{d} (χ_{n + 1}, f χ_{n}) \\ = S_{d} (ξ, f χ_{n + 1}) \oplus S_{d} (A, B) . \end{array}$ \matrix{{{S_d}\left({\xi,B} \right)} \hfill & {{\le_ \oplus}{S_d}\left({\xi,f{\chi_n}} \right){\le_ \oplus}{S_d}\left({\xi,f{\chi_{n + 1}}} \right) \oplus {S_d}\left({{\chi_{n + 1}},f{\chi_n}} \right)} \hfill \cr {} \hfill & {= {S_d}\left({\xi,f{\chi_{n + 1}}} \right) \oplus {S_d}\left({A,B} \right).} \hfill \cr} Letting n → ∞, we have $lim_{n \to \infty} S_{d} (ξ, f χ_{n}) = S_{d} (ξ, B) = S_{d} (A, B) .$ \mathop {\lim}\limits_{n \to \infty} {S_d}\left({\xi,f{\chi_n}} \right) = {S_d}\left({\xi,B} \right) = {S_d}\left({A,B} \right). The sequence {fχ_n} has a subsequence {fχ_{n_k} } that converges to some η ∈ B since B is approximately compact with respect to A. Hence, $S_{d} (ξ, η) = lim_{n \to \infty} S_{d} (χ_{n_{k}}, f χ_{n_{k}}) = S_{d} (A, B),$ {S_d}\left({\xi,\eta} \right) = \mathop {\lim}\limits_{n \to \infty} {S_d}\left({{\chi_{{n_k}}},f{\chi_{{n_k}}}} \right) = {S_d}\left({A,B} \right), that is, ξ ∈ A₀. Since fξ ∈ f (A₀) ⊆ B₀ then there exists θ ∈ A₀ such that S_d(θ, fξ) = S_d(A, B). From (4.2) with x = χ_n+1, χ = χ_n, y = θ and ϱ = ξ, we obtain $d (χ_{n + 1}, χ_{n + 1}, θ) \leq_{\oplus} α d (χ_{n}, χ_{n}, ξ) \Rightarrow lim_{n \to \infty} d (ξ, ξ, θ) = 0_{𝔹},$ d\left({{\chi_{n + 1}},{\chi_{n + 1}},\theta} \right){\le_ \oplus}\alpha d\left({{\chi_n},{\chi_n},\xi} \right) \Rightarrow \mathop {\lim}\limits_{n \to \infty} d\left({\xi,\xi,\theta} \right) = {0_{{\mathbb B}}}, which implies that d(ξ, ξ, θ) = 0_𝔹 and so ξ = θ. Therefore, S_d(ξ, fξ) = S_d(A, B). Hence, f has the best proximity point.

For the uniqueness part, suppose that ξ ≠ ξ^∗, S_d(ξ, fξ) = S_d(A, B) and S_d(ξ^∗, fξ^∗) = S_d(A, B). Employing (4.2) with x = χ = ξ and y = ϱ = ξ^∗, we have $d (ξ, ξ, ξ^{*}) \leq_{\oplus} α d (ξ, ξ, ξ^{*}),$ d\left({\xi,\xi,{\xi^*}} \right){\le_ \oplus}\alpha d\left({\xi,\xi,{\xi^*}} \right), which implies that d(ξ, ξ, ξ^∗) = 0_𝔹 and, consequently, ξ = ξ^∗.

Example 4.1

In Example 3.1, define a mapping f : V → V by $\begin{matrix} f χ = \frac{χ}{2} & for all χ \in V . \end{matrix}$ \matrix{{f\chi = {\chi \over 2}} & {{\rm{for}}\,{\rm{all}}\,\chi \in V.} \cr} Here, (V, 𝔹, d) is a complete PIV-S-metric space. By employing (4.1), we have $S_{d} (χ, ϱ) = χ \oplus ϱ .$ {S_d}(\chi, \varrho) = \chi \oplus \varrho. Let A = {2, 4, 6} and B = {1, 2, 3, 5, 7}. Observe that S_d(A, B) = 2, A₀ = {4}, B₀ = {2} and f (A₀) ⊆ B₀. Suppose S_d(x, fχ) = S_d(A, B) and S_d(y, fϱ) = S_d(A, B) = 2 then (x, χ), (y, ϱ) ∈ {(2, 4), (2, 2)}. Since S_d(x, fχ) = S_d(A, B) and S_d(y, fϱ) = S_d(A, B), then from (4.2) for α ≤ 0 and x = y = 2, we have $d (x, x, y) \leq_{\oplus} α d (χ, χ, ϱ) .$ d\left({x,x,y} \right){\le_ \oplus}\alpha d\left({\chi,\chi, \varrho} \right). Hence, all the hypotheses of Theorem 4.1 are fulfilled and ξ = 2 is a unique best proximity point of f.

5.

Conclusion

In this paper, we presented a unification of the concepts of PIV-metric space and S-metric space, by introducing the notion of PIV-S-metric space and utilizing it to establish fixed point results. Additionally, we extended our study to prove best proximity point results within the framework of PIV-S-metric space. To illustrate the practical applications of our main results, we provided several examples that showcase their relevance and utility. This unified approach not only enhances our understanding of these mathematical spaces but also opens up new avenues for exploring fixed point and best proximity point properties within a broader context.

Sprache:: Englisch

Zeitrahmen der Veröffentlichung:: 2 Hefte pro Jahr
Fachgebiete der Zeitschrift:: Mathematik, Mathematik, Allgemeines

Zeitschrift RSS Feed

Fixed Point and Best Proximity Point Results in PIV-S-Metric Spaces

Mohammad Asim

Mohammad Imdad

Online veröffentlicht: 07. Juni 2024

Seitenbereich: 46 - 63

Eingereicht: 23. Aug. 2023

Akzeptiert: 10. Mai 2024

DOI: https://doi.org/10.2478/amsil-2024-0014

Schlüsselwörterfixed point, idempotent valued metric space, idempotent valued -metric space

© 2024 Mohammad Asim et al., published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

Schlüsselwörter
fixed point, idempotent valued metric space, idempotent valued -metric space