Probabilistic Cone Metric Spaces

• Probabilistic cone metric spaces are defined by combining distribution functions with cone-induced order in a Banach space.
• They extend traditional metrics by incorporating continuous t-norms to enforce a probabilistic triangle inequality and convergence criteria.
• Their framework supports fixed point theorems for Kannan-type and Chatterjea-type contractions, with applications in stochastic analysis and scalarization theory.

Searching arXiv for recent and foundational papers on probabilistic cone metric spaces and closely related cone-metric/order-unit frameworks. Probabilistic cone metric spaces are intended to unify two established generalizations of ordinary metric spaces: probabilistic metric spaces, where distance is described by a distribution function rather than a single real number, and cone metric spaces, where values are governed by an ordered cone in a Banach space rather than the usual scalar order on $\mathbb R$. In the supplied literature, the subject is centered on distribution functions $F_{x,y}$, continuous $t$-norms, cone-induced order, and fixed point theory for Kannan-type, Chatterjea-type, and related contractions; adjacent literatures study order-unit scalarization of cone metrics, stochastic order on measures over cones, and metric-cone structures over spaces of probability measures (Rada, 18 Aug 2025).

1. Formal setting and basic objects

The explicit formalization in the supplied corpus works in a real Banach space $E$ with a cone $P\subset E$. A subset $P\subset E$ is a cone if $P$ is closed, nonempty, and $P\neq \{0\}$, if $ax+by\in P$ for all $a,b\ge 0$ and $F_{x,y}$0, and if $F_{x,y}$1. The cone induces a partial order on $F_{x,y}$2 by

$F_{x,y}$3

The cone is called normal if there exists $F_{x,y}$4 such that

$F_{x,y}$5

This is the standard cone-theoretic mechanism used in cone metric spaces: it allows one to compare elements of $F_{x,y}$6 through order, while normality ties the order to the Banach norm (Rada, 18 Aug 2025).

On the probabilistic side, a distribution function is a function $F_{x,y}$7 that is nondecreasing, left-continuous, and satisfies

$F_{x,y}$8

The set of all distribution functions is denoted by $F_{x,y}$9. The probabilistic triangle behavior is expressed through a continuous $t$0-norm $t$1, with examples such as

$t$2

A function

$t$3

is called a probabilistic cone metric when the following conditions are imposed: $t$4 for all $t$5 iff $t$6; $t$7; for all $t$8 and $t$9,

$E$0

and

$E$1

where $E$2 is a normal cone (Rada, 18 Aug 2025). The intended interpretation is that $E$3 measures the probability, or confidence level, that the distance between $E$4 and $E$5 is less than $E$6, while the cone structure encodes order or directional constraints.

The terminology “Menger cone PM-space” also appears in the metadata of a 2024 paper whose abstract announces normal and strictly convex structures together with a shared fixed point theorem for two self-mappings on a strictly convex probabilistic cone metric space. However, the supplied manuscript does not provide definitions, theorem statements, or proofs for that setting, so the exact meaning of “strictly convex” in that source is unavailable (Rashid, 2024).

2. Convergence, completeness, and the internal logic of the theory

The standard sequence notions in the supplied probabilistic-cone framework are formulated in Schweizer–Sklar style. A sequence $E$7 $E$8-converges to $E$9, written

$P\subset E$0

if for every $P\subset E$1, there exists $P\subset E$2 such that for all $P\subset E$3,

$P\subset E$4

A sequence $P\subset E$5 is Cauchy if for every $P\subset E$6, there exists $P\subset E$7 such that for all $P\subset E$8,

$P\subset E$9

A probabilistic cone metric space $P\subset E$0 is complete if every Cauchy sequence $P\subset E$1-converges to some point of $P\subset E$2 (Rada, 18 Aug 2025).

This formulation places probabilistic cone metric spaces within the broader fixed-point tradition of probabilistic metric geometry: one does not estimate a scalar distance directly, but instead proves that probabilistic closeness tends to $P\subset E$3 at each threshold. A key implicit fact used repeatedly is

$P\subset E$4

That limit converts recursive lower bounds on $P\subset E$5 into convergence of iterates and, after probabilistic triangle estimates, into Cauchy behavior.

The ordinary cone-metric background clarifies why completeness and topology are delicate in any cone-based generalization. In the order-unit framework, an order-unit-metric space $P\subset E$6 is defined by the same axioms as a cone metric except that “strict positivity” is encoded through order units rather than the interior of a cone. The order-unit-topology generated by

$P\subset E$7

is metrizable in the Archimedean case, and convergence in that topology is equivalent to order-valued convergence. The associated scalarized metric is

$P\subset E$8

where $P\subset E$9 is induced by the Kadison–Bonsall representation (Çağlar et al., 2013). This suggests that any probabilistic cone metric theory must explain what remains genuinely nonreducible after order-theoretic scalarization.

3. Contractive classes and fixed point theorems

The main fixed point results in the supplied direct literature concern Kannan-type, Chatterjea-type, and Zamfirescu-type contractions. A mapping $P$0 is a Kannan-type contraction if there exists $P$1 such that for all $P$2 and $P$3,

$P$4

It is a Chatterjea-type contraction if there exists $P$5 such that

$P$6

In a complete probabilistic cone metric space, each of these conditions yields existence and uniqueness of a fixed point (Rada, 18 Aug 2025).

The proofs follow the classical iterative template, but with scalar distance inequalities replaced by lower bounds for distribution functions and repeated use of the probabilistic triangle inequality

$P$7

For the Picard-type iteration $P$8, the Kannan argument derives estimates of the form

$P$9

and since $P\neq \{0\}$0, the denominator tends to $P\neq \{0\}$1, the argument tends to $P\neq \{0\}$2, and the right-hand side tends to $P\neq \{0\}$3. After that, a probabilistic triangle estimate shows that $P\neq \{0\}$4, so the orbit is Cauchy; completeness supplies a limit $P\neq \{0\}$5; a final scaling argument yields $P\neq \{0\}$6; and uniqueness follows by substituting two fixed points into the contraction inequality. The Chatterjea proof has the same architecture but routes the successive-iterate estimate through a skip-distance and another use of the $P\neq \{0\}$7-norm triangle relation (Rada, 18 Aug 2025).

The hybrid Zamfirescu-type theorem unifies three contractive alternatives. For every $P\neq \{0\}$8 and $P\neq \{0\}$9, at least one of the following is assumed: $ax+by\in P$0 or

$ax+by\in P$1

or

$ax+by\in P$2

Under completeness, uniqueness of the fixed point again follows (Rada, 18 Aug 2025).

The supplied examples place these theorems in stochastic analysis. One proposition studies random operators on $ax+by\in P$3 with

$ax+by\in P$4

and shows that an almost-sure Kannan-type estimate together with a cone constraint $ax+by\in P$5 almost surely implies that $ax+by\in P$6 is a Kannan-type contraction in $ax+by\in P$7. Another example considers the stochastic integral equation

$ax+by\in P$8

equips $ax+by\in P$9 with

$a,b\ge 0$0

and deduces fixed-point existence from a contractive estimate with $a,b\ge 0$1 (Rada, 18 Aug 2025).

4. Relation to cone metric spaces and scalarization theory

Probabilistic cone metric spaces inherit much of their structural vocabulary from cone metric spaces. In the standard deterministic setting, a cone metric is a map

$a,b\ge 0$2

such that $a,b\ge 0$3, $a,b\ge 0$4, and

$a,b\ge 0$5

Controlled variants and double controlled variants replace the triangle inequality by inequalities weighted by one or two control functions; for a double controlled cone metric,

$a,b\ge 0$6

These constructions are not probabilistic, but they show how cone-valued distance theories are often enriched by altering the triangle inequality rather than the codomain (Shateri, 2022).

The more foundational issue is metrizability. The order-unit-metric literature argues that cone metric spaces, under the standard ordered-vector-space hypotheses, are not topologically beyond ordinary metrics. If $a,b\ge 0$7 is Archimedean with order unit $a,b\ge 0$8, then the order-unit-topology is metrizable by

$a,b\ge 0$9

and completeness in the order-valued sense agrees with completeness of $F_{x,y}$00. A corollary states that every cone metric space $F_{x,y}$01 is metrizable (Çağlar et al., 2013).

This does not collapse probabilistic cone metric spaces automatically, because the probabilistic layer assigns distribution functions rather than single order-valued distances. Nonetheless, the order-unit analysis sets a clear benchmark. A plausible implication is that any probabilistic cone metric theory that claims genuinely new topological content must identify the point at which order-theoretic scalarization ceases to reduce the theory to an ordinary probabilistic metric or another familiar scalar framework.

5. Related probabilistic and cone-geometric frameworks

Several closely related literatures are adjacent to, but not identical with, probabilistic cone metric spaces. One line studies ordered probability spaces on open cones in Banach spaces equipped with the Thompson metric. For an open cone $F_{x,y}$02 with normal closure, the order is

$F_{x,y}$03

the Thompson metric is

$F_{x,y}$04

and probability enters through Borel measures of finite first moment on $F_{x,y}$05. The stochastic order is defined by

$F_{x,y}$06

and the principal approximation theorem states that if $F_{x,y}$07, then there exist uniform finitely supported measures $F_{x,y}$08 such that

$F_{x,y}$09

in the $F_{x,y}$10-Wasserstein metric and

$F_{x,y}$11

Here probability is built over a cone metric space, not into the distance itself (Lawson, 2016).

A second adjacent framework studies metric cones over spaces of probability measures. In the Hellinger–Kantorovich theory, the space of finite nonnegative measures $F_{x,y}$12 is identified as a metric cone over the probability space $F_{x,y}$13, with the explicit decomposition

$F_{x,y}$14

and cone formula

$F_{x,y}$15

This is a genuine metric-cone structure over a probability space, but it is neither a cone metric space in the ordered-Banach-space sense nor a probabilistic metric space in the random-distance sense (Laschos et al., 2017).

The three strands can be compared succinctly.

Framework	Probability enters as	Cone aspect
Probabilistic cone metric spaces	Distribution functions $F_{x,y}$16	Ordered cone in a Banach space
Ordered probability spaces	Measures on $F_{x,y}$17 and Wasserstein geometry	Cone-induced order and Thompson metric
HK cone geometry	Probability space $F_{x,y}$18 as cone base	Metric cone, not ordered-Banach-space cone

This comparison shows that “probabilistic cone metric space” is not a single uniform label across the literature. In one usage, it means probabilistic distances combined with cone order; in another, it refers only indirectly to cones carrying probability measures or to metric cones whose base is a space of probabilities.

6. Terminological and documentary issues

The supplied corpus contains both substantive mathematics and incomplete documentary records. The 2024 record titled “A common fixed point theorem for two self-mappings defined on strictly convex probabilistic cone metric space” announces, in its abstract, the introduction of normal and strictly convex structures in Menger cone PM-space and a shared fixed point theorem for two self-mappings on a strictly convex probabilistic cone metric space. However, the supplied document itself contains only the title placeholder “THE THEOREM,” an author line, a dummy abstract, and an empty introduction; there are no definitions, assumptions, proofs, or examples from which the announced notions can be reconstructed (Rashid, 2024). Likewise, the record “Examples in Cone Metric Spaces: A Survey” is unavailable as mathematical text in the supplied material, so it cannot be used as a source for specific examples or theorems (Asadi et al., 2011).

A more substantive technical issue concerns the formal definition in the 2025 fixed-point paper. There is an explicit tension between the statement that $F_{x,y}$19, hence $F_{x,y}$20, and the additional requirement

$F_{x,y}$21

As supplied, this mixes scalar-valued distribution functions with cone-valued outputs. The proofs themselves proceed using scalar probabilistic inequalities and scalar $F_{x,y}$22-norms, while the cone is described as motivational and structural. The formalism is therefore not completely internally resolved (Rada, 18 Aug 2025).

These issues are not peripheral. They indicate that the field, as represented in the supplied sources, is mathematically heterogeneous. One line of work offers direct fixed-point theorems in a probabilistic-cone language; another establishes that ordinary cone metrics are metrizable through order units; still another develops ordered probability theory on cone metric spaces or metric-cone geometry over probability spaces. This suggests that the most stable core of the subject presently lies in the interaction among four ingredients: cone-induced order, probabilistic or measure-theoretic notions of uncertainty, scalarization or metrization techniques, and fixed-point or barycentric constructions.