Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2404.05740

On three-point generalizations of Banach and Edelstein fixed point theorems

Christian Bey·Evgeniy Petrov·Ruslan Salimov
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $X$ be a metric space. Recently in~[1] it was considered a new type of mappings $T\colon X\to X$ which can be characterized as mappings contracting perimeters of triangles. These mappings are defined by the condition based on the mapping of three points of the space instead of two, as it is adopted in many fixed-point theorems. In the present paper we consider so-called $(F,G)$-contracting mappings, which form a more general class of mappings than mappings contracting perimeters of triangles. The fixed-point theorem for these mappings is proved. We prove also a fixed-point theorem for mappings contracting perimeters of triangles in the sense of Edelstein.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Christian Bey, Evgeniy Petrov, Ruslan Salimov. 2024-04-02. On three-point generalizations of Banach and Edelstein fixed point theorems. https://doi.org/10.2298/fil2501185b

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Homogeneous linearly ordered spaces

Every compact subset of a homogeneous generalized ordered (GO) space has character at most $ω_1$ and cardinality at most $2^{ω_1}$; if such a subset has uncountable character, then the character of the whole space equals $ω_1$ and its $π$-character is countable. We construct a homogeneous $σ$-compact linearly ordered space (LOTS) $\mathbf{H}$ containing a compact subset $\mathbf{S}$ of cardinality $2^{ω_1}$ whose character is $ω_1$ at every point and whose weight and Souslin number are both $2^{ω_1}$; thus both bounds obtained are sharp. We prove that a semitopological group that is a GO space is hereditarily paracompact; if, in addition, it is not a $P$-space, then it is submetrizable, has countable character, and its compact subsets are metrizable. Every linearly ordered semitopological group (and, more generally, every GO semitopological group) is either metrizable or is a $P$-space; the same holds for topological groups. We also show that in an order-homogeneous LOTS every compact subset is first countable.

math.GN↗
arXiv2026

A New Approach to Universal Measurability

V. Fedorchuk, A. Chizogidze, and T. Banakh in 2003 and V. Bogachev in 2024 posed the following questions: (i) is it true that $P_τ(X)$ is $C$-embedded in $P_σ(X)$; (ii) Is it true that $P_R(X)$ is $C$-embedded in $P_R(βX)$ if and only if $X$ is pseudocompact, where $P_σ$, $P_τ$, and $P_R$ are the functors of probability $σ$-additive on the Baire $σ$-algebra, $τ$-additive, and Radon measures on the space $X$? The answers to these questions are negative. However, if instead of probability measures we consider the corresponding alternating measures $M_σ$, $M_τ$, and $M_R$, the situation changes. It is proved that (i) $M_τ(X)$ is $C$-embedded in $M_σ(X)$; (ii) $M_R(X)$ is $C$-embedded in $M_R(βX)$ if and only if $X$ is pseudocompact. The question of $C$-embedding of measure spaces is an extension of the question of coincidence of measure spaces, which is a development of the classical concepts of universally measurable and universal measure zero sets. A general theorem is obtained, which leads to the mentioned results.

math.GN↗
arXiv2026

One-Point Metrizable Coarsenings: Gauges and Local Metric Preservation

Let $(X,τ)$ be metrizable and let $a\in X$. We give a constructive account of metrizable topologies $σ\subseteqτ$ that agree with $τ$ on $X\setminus\{a\}$. Applying Hausdorff's classical metric collapse construction, for every noncompact $(X,τ)$ and every compatible metric $d$ we obtain a strict coarsening with a metric $p\le d$ that agrees with $d$ on a common neighborhood of each point other than $a$. A prescribed countably infinite closed discrete set $\{x_n:n\in\N\}\subseteq X\setminus\{a\}$ can be made to satisfy $p(a,x_n)\leλ_n$ for any positive null sequence $(λ_n)$. The resulting metric is greatest among the metrics dominated by $d$ that satisfy these bounds, and is complete whenever $d$ is complete. We exhibit its realization as a classical metric quotient. We also represent all localized metrizable coarsenings by continuous scalar gauges using a standard cone metric. Inclusion is expressed by the cofinal comparison of sublevel sets familiar from extension-trace theory, while pointwise maximum and minimum realize finite joins and meets. A closed-discrete criterion detects strictness. Standard preservation results for Borel structure, complete metrizability, and Polishness, together with function-space and local-field examples, complete the account.

math.GN↗