Extended suprametric spaces and Stone-type theorem

: Extended suprametric spaces are deﬁned, and the contraction principle is established using elementary properties of the greatest lower bound instead of the usual iteration procedure. Thereafter, some topological results and the Stone-type theorem are derived in terms of suprametric spaces. Also, we have shown that every suprametric space is metrizable. Further, we prove the existence of a solution of Ito-Doob type stochastic integral equations using our main ﬁxed point theorem in extended suprametric spaces.


Introduction
A topological space can be presumed as an axiomatization of the notion of a point's closeness to a set. When a point is a member of the closure of a set, it is said to be close to the set. According to the theory of metric spaces, which is an axiomatization of the idea of a pair of points being close to one another in a metric space, the distance between any two points is assessed by a real number, and its basic properties are outlined by a set of axioms. Nevertheless, the class of metric spaces is inextricably linked with the fascinating class of metrizable spaces, which is a class of topological spaces and plays a significant role in applications of modern and general topology, as well as in the development of proper topological structures and relations. We place a high priority on metrizable spaces because they are utilized in numerous interesting topological spaces in multiple mathematical disciplines. Numerous researchers have been working on its extension, generalization or improvement because of its wide range of applications in numerous fields of mathematics. Topological spaces and metric spaces are both extensively used topics. As a special case of topological spaces, metric spaces are actually of interest, and the suggested axioms of certain spaces are geometrically meaningful. This makes metrizability a fascinating topic for topological spaces. Unsurprisingly, some spaces are not metrizable. As a result, researchers try to build more general and metrizable functions. Metric spaces are a unique type of topological space. In metric spaces, sequences are used to characterize topological properties. Sequences are completely inadequate for such convenience in topological spaces. Seeking classes that are largely independent of topological spaces and metric spaces is simple, and with members, sequences play an important role in assessing their topological properties.
A variety of spaces have recently been built, as well as some new types of modified metric spaces. Weakening the axioms of certain modified metric spaces or of metric spaces, in general, is the crucial step in creating these spaces. It is frequently not stated what the topological characteristics of new modified metric spaces are, and it is frequently not taken into account how these modified metric spaces relate to previously modified metric spaces in terms of fixed point theorems. In this article, extended suprametric spaces are introduced, and the contraction principle is established using elementary properties of the greatest lower bound instead of the usual iteration procedure. Thereafter, some topological results and the Stone-type theorem are derived in terms of suprametric spaces. Also, we have shown that every suprametric space is metrizable.
The metric space has been generalized in numerous research works to more abstract spaces, including the b-metric spaces of Bakhtin [1] and Bourbaki [2], the partial metric spaces of Matthews [3] and the rectangle metric spaces of Branciari [4]. The b-metric was developed due to the theories of Bakhtin [1] and Bourbaki [2]. Czerwik [5] established an axiom that was weaker than the triangular inequality and specifically defined a b-metric space in order to develop the Banach contraction result. Numerous authors have generalized the b-metric space as a result of being inspired by its idea and have produced a variety of fixed-point results (see, for example, [6][7][8][9]).

Extended suprametric spaces and contraction principle
Definition 2.1. Let χ be a non-empty set.
(a) A suprametric on the set χ is a function D : χ × χ → R + which satisfies the following conditions: (b) An extended suprametric on the set χ is a function D : χ × χ → R + which satisfies conditions (i) and (ii) of item (a) and the following condition: (iv) there exists a function γ : χ × χ → [1, +∞) such that : If D is a suprametric (respectively, an extended suprametric) on χ , then the ordered pair ( χ , D ) is called a suprametric space [10] (respectively, an extended suprametric space).
Proof. Clearly, conditions (i) and (ii) of item (a) holds for all x, y ∈ χ .
For any x, y, z ∈ χ , consider an extended suprametric space.
Remark 2.3. If γ(x, y) = ζ for ζ ≥ 1 then we obtain the definition of a suprametric space.
Definition 2.4. A sequence {x n } in χ is said to be a convergent sequence in an extended suprametric In this case, we write it as lim n→∞ x n = x.
Definition 2.5. A sequence {x n } in χ is said to be a Cauchy sequence in an extended suprametric space Definition 2.6. An extended suprametric space ( χ , D ) is complete if and only if every Cauchy sequence in χ is convergent.
Remark 2.7. Assume that ( χ , D ) is an extended suprametric space. If D is continuous, then every convergent sequence has a unique limit.
Remark 2.8. Whenever a sequence {x n } n∈N is a Cauchy sequence in a complete extended suprametric space then there exists x ∈ χ such that lim n→∞ D (x n , x ) = 0 and that every subsequence {x n(h) }h ∈N converges to x .
Let K represent a non-empty collection of positive real numbers that is bounded below. Then c is an infimum of K and any number in K that exceeds c can't be the lower bound of K according to the infimum property of R (see [11]). A straightforward result of the infimum's properties is as follows: Lemma 2.9. Let K = {a/a is a nonnegative real number} be a nonempty set with zero as its greatest lower bound (shortly, glb). Then lim n→∞ g n = 0, where the sequence {g n } ∞ n=1 exists in K . Theorem 2.10. Assume that ( χ , D ) is a complete extended suprametric space such that D is continuous and Z : χ → χ be a mapping. Consider that there exists θ ∈ [0, 1) such that D (Zx, Zy) ≤ θD (x, y), for all x, y ∈ χ . (2.1) Then, Z has a unique fixed point, and for every x 0 ∈ χ the iterative sequence defined by x n = Zx n−1 , n ∈ N converges to this fixed point.
Proof. Define the sequence x n by x n = Zx n−1 for all n ∈ N for some arbitrary x 0 ∈ χ . Now, we demonstrate that the fixed point's existence can be effectively established by utilizing only the basic properties of an extended suprametric space and an infimum, omitting the usual iteration process. Case-1: For θ = 0. This case is trivial since for θ = 0, Z is a constant map, so Z has a fixed point. Case-2: For 0 < θ < 1. We define D = {D (x, Zx)/x ∈ χ } and put p = inf D. Suppose that p > 0. Since 0 < θ < 1, we have p θ > p, so there exists x p ∈ D such that D (x p , Zx p ) < p θ . Then The contradiction obtained shows that p = 0. Now, since p = 0, there exists a sequence {x n } of members of χ such that lim n→∞ D (x n , Zx n ) = 0. Thus, for all ε > 0, there existsh ∈ N such that for all n ≥h, as a result D (x n , x n+1 ) < ε.

(2.2)
Now we will demonstrate that the sequence {x n } is Cauchy. Using the existing assumptions and (2.2), and for large enough integers a, b such that b > a >h, consider Similarly, Performing this process repeatedly and using (2.2) in each term of the sum until we reach continuing this process and using (2.2) in every term of the sum, until we obtain . Hence from (2.5), we can deduce that, D (x a , x b ) tends to zero as a, b tend to infinity, that suggests the sequence {x n } is Cauchy. Therefore by completeness of χ , as a result of this {x n } converges to some x ∈ χ (say). We will now prove that x is a fixed point of Z.
By utilizing conditions (2) and (3) of Remark 2.7 and (2.1), we get Therefore ash → ∞, thus, we conclude x = Zx . Therefore, our assertion is true. To prove uniqueness, let us assume x a and x b are two fixed points of Z, additionally from (2.5), we get, Hence x a = x b . This completes the proof of the theorem.

Stone-type theorem in suprametric spaces
From the outset of General Topology, metrization has been and continues to be one of its most crucial fields. In the literature, there are numerous metrization theorems (see [12][13][14][15][16][17][18]). The metrizability hypotheses vary greatly from one metrization theorem to another, even though the thesis is always the same. Furthermore, not only are the proofs very dissimilar, but it is also difficult to draw any conclusions about one metrization theorem from another. The Stone-type theorem is derived in terms of suprametric spaces in this section. In addition, we have shown that every suprametric space is metrizable.
One can easily see that s is a topology on χ .
For every x ∈ χ we define a collection of families of subsets M (x) of χ that have the following characteristics: Let be the family of all subsets of χ that are unions of subfamilies of we construct a topology on the set χ is called the topology induced by the metric D. One can easily check that and s coincides. Clearly the family of all open balls is a base for ( χ , ). The family of The topology induced by the suprametric D on a set χ was introduced by Maher Berzig [10] in Proposition 1.2.
The topology is Hausdorff space according to [10], since for every pair x, y of distinct points of χ , it follows from the (iii) of Definition 2.1 that B(x, 2 ) and B(y, 2+ζ ) are disjoint neighbourhoods of x and y, where = D (x, y) > 0. Also note that every suprametric space is continuous [10]. Let us define, We will prove that D is a suprametric. First of all to prove that D is well-defined. That is, the series in the definition of D is convergent.
Let us note that for every pair of points p = p i , q = q i in H and any positive integer , we have Thus the series in the notion of D is convergent and D (p, q) is well-defined. Now we will prove that D is a suprametric. and For = 1, 2, ...., we have which implies, D (p, ) ≤ D (p, q) + D (q, ) + ζD (p, q)D (q, ).
Hence D is a suprametric on H.
Definition 3.2. [19] Suppose H = {H q : q ∈ S } be a family of subsets of topological space χ .
• If for all x ∈ χ there will be a neighbourhood Q x of x, so that the family {q ∈ S : Q x ∩ H q ∅} is finite then H is known as locally finite.
• If for all x ∈ χ , there will be a neighbourhood Q x of x, so that the family {p ∈ S : H p ∩ Q x ∅} will have at most one element then H is known as discrete. It is obvious that any finite family is locally finite. • For every locally finite H i , if H = i=N H i , then the family H is called σ-locally finite.
• For every H i is discrete, if H = i=N H i then the family H is called σ-discrete • If p∈S H p = χ , then the family H is called a cover of χ .
• If for all i ∈ I there will be p ∈ S , so that B i ⊂ A p , then a cover B of subsets of χ is known as a refinement of the cover H , where B = {B i /i ∈ I}. (2) W is said to be a closed set whenever χ \W ∈ .
(3) x ∈ χ is called to be a limit point of W whenever there is > 0 such that (W (x, )\{x}) ∩ W having an infinite number of points of W .
(4) Denoted by W , the collection of all limit points of W is known as the derived set of W . Let a ∈ B(y, s), thus D (a, y) < s. Besides x ∈ χ , y ∈ F and a ∈ B(y, s), we now have D (x, y) ≤ D (x, a) + D (a, y) + ζD (x, a)D (a, y).
Theorem 3.6. Assume that ( χ , D ) is a suprametric space. Whenever E be a closed subset of χ and x ∈ χ \ E then there are two disjoint open sets Q and R containing E and x.
Proof. As x ∈ χ \ E , E is closed. Which yields, D (x, a) > 0 for all a ∈ E . Let 2 = inf{D (x, a)/a ∈ E }, where > 0. Let us assume the open ball B(x, 2 ) = R (fix) and the open set Q = a∈E B(a, 3 2+ζ ). Therefore E ⊂ Q. We will prove that Q ∩ R = ∅. Assume that there is ξ ∈ Q ∩ R. Thus for any a ∈ E , Our assumption is contradicted by this, so Q and R are two disjoint non-empty open sets in χ , each containing E and x. Proof. Let a ∈ O, b ∈ L and a b which implies D (a, b) > 0.
where the union is taken over all points δ ∈ χ gratifying the below mentioned assertions.
(c 1 ) In order for δ ∈ W to exist, must be the smallest element in S .
The set R ,i is open, as it is given in Proposition 1.1 of [10]. Note that ζ ≥ 0 by Definition 1.1 of [10].
x be a point of χ , take the smallest element ∈ S such that x ∈ W and a natural number i such that B x, It implies that x ∈ C if and only if x R p,η for all η < i and all p ∈ S. In this case x ∈ R ,i . Then we either have x ∈ R p,η for some η < i and some p ∈ S or x ∈ R ,i . Hence the union We shall prove that for every i. If x 1 ∈ R 1 ,i , x 2 ∈ R 2 ,i and 1 2 then (3.2) and this will show that the families R i are discrete, because every 1 2 i+1 ball meets at most one member of R i . Let x 1 ∈ R 1 ,i and x 2 ∈ R 2 ,i ∀i ∈ N having 1 2 . Let us assume that 1 < 2 . By the definition of R 1 ,i and R 2 ,i , there exist points δ 1 , δ 2 satisfying conditions (c 1 )-(c 3 ) such that xh ∈ B(δh, 1 2 i ) ⊂ R h ,i forh = 1, 2.
From condition (c 3 ), as a result of this, B δ 1 , 3 2 ⊂ W 1 and from (c 1 ) we see that Since this goes against our assumption, so radius −1+ 1+ ζ 2 i ζ of every ball coincides at only one element of R i . This can be written as X = i∈N R i is σ-discrete. Assume that i ∈ N, additionally for each p ∈ S, i ≥ η +h and δ ∈ C which gives δ R p,η . Here whenever B x, 1 2¯h ⊂ R p,η then δ B x, 1 2¯h , which yields that D (x, δ) ≥ 1 2¯h . Note that η +h ≥h + 1 and i ≥h + 1 then 1 2 η+h ≤ 1 2¯h +1 and 1 Suppose to the contrary that there exists y ∈ B x, 1 This implies B x, 1 2 η+h ∩ R ,i ∅ for i ≥ η +h and ∈ S with B x, 1 2¯h ⊂ R p,η . Let x ∈ χ , as such R is refinement of W, there exist l, η and p so D (x, 1 2 l ) ⊂ R p,η and thus there ish, η and p so D (x, 1 2¯h ) ⊂ R p,η . Thus the ball B x, 1 2 η+h fulfils at most η +h − 1 members of R. Which concludes, R is σ-locally finite as X i is locally finite.
Which yields χ has an open cover F i . Making use of Theorem 3.12, F i has an open σ-discrete refinement B i . We get our claim that χ has a σ-discrete base i∈N B i , as one can easily prove that i∈N B i is a base of χ . Theorem 3.14. Every suprametric space ( χ , D ) is metrizable.
Proof. Now, we present two proofs of the metrizability of suprametric spaces using two different approaches. In the first approach, Stone's theorem is used, while in the second, the Collins-Roscoe metrization theorem is used. Approach-I. One can easily conclude that χ is regular space with σ-discrete base from Corollary 3.13 and Theorem 3.6. Thus χ is metrizable by making use of Theorem 3.10. Approach-II. Now, assume that D is a suprametric on a set χ , and ζ ∈ R + is a fixed constant such that: (∀x, y, z ∈ χ ) D (x, z) ≤ D (x, y) + D (y, z) + ζD (x, y)D(y, z).
Remark 3.15. It is well known that Stone's theorem is unprovable in ZF (see Theorem 2 of [20]). Additionally, in ZF, it is unprovable to demonstrate that any metric space has a σ-locally finite basis. Mathematical Surveys and Monographs. Vol. 59. Providence, Rhode Island: American Mathematical Society. ISBN 9780821809778. [21]). Therefore Theorem 3.12 and Corollary 3.13 of the manuscript are both unprovable in ZF. As a result, this manuscript's Theorem 3.12, which involves the axiom of choice, leads to the conclusion that any suprametrizable space is metrizable. Furthermore, the Collins-Roscoe Metrization Theorem, which is an alternate and more straightforward argument, is used to demonstrate that suprametrizable space is metrizable.
Remark 3.16. Theorem 3.12 and Corollary 3.13 are straightforward from the perspective of Approach-II. Furthermore, any suprametrizable space is normal, which follows directly from Approach-II. Therefore, according to Approach-II, Theorems 3.6 and 3.7 are not necessary in order to establish that X is metrizable.

Application
We will examine the existence and uniqueness of a random solution to a stochastic integral equation of the following type in this section: where t ∈ [0, 1]. The subsequent integral, defined in regard to scalar Brownian motion procedures 1], is an Ito-type stochastic integral. The primary integral is a Lebesgue integral. Keep in mind that C * ([0, 1], L 2 (φ, S , K )) ⊂ C c (R + , L 2 (φ, S , K )). The operators will be defined as and U z(t, λ) = t 0 z(t, λ)dδ(τ). Here z(t, λ) ∈ C * ([0, 1], L 2 (φ, S , K )). Let T be a linear operator, and let A and B be a pair of Banach spaces. The preceding lemma, which is relevant to the examination of this section, is given. It is employed in the main theorem.  Definition 4.4. [22] By stating that the Banach space B is stronger than the space C c (R + , L 2 (φ, S , K ))we mean that every convergent sequence in B, with respect to its norm, will also converge in C c .
Proof. We split the proof into four steps.
Step-2. We will show that M is a contraction operator on χ.
Open Question: Let ( χ , D ) be a extended suprametric space. If D is continuous in one variable, then χ is metrizable?

Conclusions
In this article, we focus on the extended suprametric space which opens new rooms for researchers. We consider that this new structure shall lead to the help of the solutions of certain differential equations and hence, produce new applications. In addition, we foresee that it shall allow us to achieve more refined results in existing applications.