Inductive limits of ideals

2025-01-03T15:46:09Z

G. Debs and J. Saint Raymond in 2009 defined the Borel separation rank of an analytic ideal $\mathcal{I}$ ($\text{rk}(\mathcal{I})$) as minimal ordinal $α<ω_{1}$ such that there is $\mathcal{S}\in\bf{Σ^0_{1+α}}$ with $\mathcal{I}\subseteq \mathcal{S}$ and $\mathcal{I}^\star\cap \mathcal{S}=\emptyset$, where $\mathcal{I}^\star$ is the filter dual to the ideal $\mathcal{I}$ (actually, the authors use the dual notion of filters instead of ideals). Moreover, they introduced ideals $\text{Fin}_α$, for all $α<ω_1$, and conjectured that $\text{rk}(\mathcal{I})\geqα$ if and only if $\mathcal{I}$ contains an isomorphic copy of $\text{Fin}_α$ ($\text{Fin}_α\sqsubseteq\mathcal{I}$). To define $\text{Fin}_α$ in the case of limit ordinals $0<α<ω_1$, G. Debs and J. Saint Raymond introduced inductive limits of ideals. We show that the above conjecture is false in the case of $α=ω$ by constructing an ideal $\text{Fin}'_ω$ of rank $ω$ such that $\text{Fin}_ω\not\sqsubseteq\text{Fin}'_ω$. However, we show that $\text{Fin}'_ω\sqsubseteq\mathcal{I}$ is equivalent to $\forall_{n\inω}\text{Fin}_n\sqsubseteq\mathcal{I}$. We discuss (indicated by the above result) possible modification of the original conjecture for limit ordinals.

Borel complexity of the family of attractors for weak IFSs

2025-01-03T15:45:10Z

This paper is an attempt to measure the difference between the family of iterated function systems attractors and a broader family, the set of attractors for weak iterated function systems. We discuss Borel complexity of the set wIFS$^d$ of attractors for weak iterated function systems acting on $[0,1]^d$ (as a subset of the hyperspace $K([0,1]^d)$ of all compact subsets of $[0,1]^d$ equipped in the Hausdorff metric). We prove that wIFS$^d$ is $G_{δσ}$-hard in $K([0,1]^d)$, for all $d\in\mathbb{N}$. In particular, wIFS$^d$ is not $F_{σδ}$ (in contrast to the family IFS$^d$ of attractors for classical iterated function systems acting on $[0,1]^d$, which is $F_σ$). Moreover, we show that in the one-dimensional case, wIFS$^1$ is an analytic subset of $K([0,1])$.

Comparison of the sets of attractors for systems of contractions and weak contractions

2025-01-03T15:44:10Z

For $n,d\in\mathbb{N}$ we consider the families: - $L_n^d$ of attractors for iterated function systems (IFS) consisting of $n$ contractions acting on $[0,1]^d$, - $wL_n^d$ of attractors for weak iterated function systems (wIFS) consisting of $n$ weak contractions acting on $[0,1]^d$. We study closures of the above families as subsets of the hyperspace $K([0,1]^d)$ of all compact subsets of $[0,1]^d$ equipped in the Hausdorff metric. In particular, we show that $\overline{L_n^d}=\overline{wL_n^d}$ and $L_{n+1}^d\setminus\overline{L_n^d}\neq\emptyset$, for all $n,d\in\mathbb{N}$. What is more, we construct a compact set belonging to $\overline{L_2^d}$ which is not an attractor for any wIFS. We present a diagram summarizing our considerations.

Porosities of the sets of attractors

2025-01-03T15:42:43Z

This paper is another attempt to measure the difference between the family $A[0,1]$ of attractors for iterated function systems acting on $[0,1]$ and a broader family, the set $A_w[0,1]$ of attractors for weak iterated function systems acting on $[0,1]$. It is known that both $A[0,1]$ and $A_w[0,1]$ are meager subsets of the hyperspace $K([0,1])$ (of all compact subsets of $[0,1]$ equipped in the Hausdorff metric). Actually, $A[0,1]$ is even $σ$-lower porous while the question about $σ$-lower porosity of $A_w[0,1]$ is still open. We prove that $A[0,1]$ is not $σ$-strongly porous in $K([0,1])$. Moreover, we show that $A_w[0,1]\setminus A[0,1]$ is dense in $K([0,1])$.

Unboring ideals

2025-01-03T15:39:46Z

Our main object of interest is the following notion: we say that a topological space space $X$ is in FinBW($\mathcal{I}$), where $\mathcal{I}$ is an ideal on $ω$, if for each sequence $(x_n)_{n\inω}$ in $X$ one can find an $A\notin\mathcal{I}$ such that $(x_n)_{n\in A}$ converges in $X$. We define an ideal $\mathcal{BI}$ which is critical for FinBW($\mathcal{I}$) in the following sense: Under CH, for every ideal $\mathcal{I}$, $\mathcal{BI}\not\leq_K\mathcal{I}$ ($\leq_K$ denotes the Katětov preorder of ideals) iff there is an uncountable separable space in FinBW($\mathcal{I}$). We show that $\mathcal{BI}\not\leq_K\mathcal{I}$ and $ω_1$ with the order topology is in FinBW($\mathcal{I}$), for all $\bf{Π^0_4}$ ideals $\mathcal{I}$. We examine when FinBW($\mathcal{I}$)$\setminus$FinBW($\mathcal{J}$) is nonempty: we prove under MA($σ$-centered) that for $\bf{Π^0_4}$ ideals $\mathcal{I}$ and $\mathcal{J}$ this is equivalent to $\mathcal{J}\not\leq_K\mathcal{I}$. Moreover, answering in negative a question of M. Hrušák and D. Meza-Alcántara, we show that the ideal $\text{Fin}\times\text{Fin}$ is not critical among Borel ideals for extendability to a $\bf{Π^0_3}$ ideal. Finally, we apply our results in studies of Hindman spaces and in the context of analytic P-ideals.

On generalizations of some fixed point theorems in semimetric spaces with triangle functions

2025-01-03T10:16:15Z

In the present paper, we prove generalizations of Banach, Kannan, Chatterjea, Ćirić-Reich-Rus fixed point theorems, as well as of the fixed point theorem for mappings contracting perimeters of triangles. We consider corresponding mappings in semimetric spaces with triangle functions introduced by M. Bessenyei and Z. Páles. Such an approach allows us to derive corollaries for various types of semimetric spaces including metric spaces, ultrametric spaces, b-metric spaces etc. The significance of these generalized theorems extends across multiple disciplines, including optimization, mathematical modeling, and computer science. They may serve to establish stability conditions, demonstrate the existence of optimal solutions, and improve algorithm design.

On the uniqueness of continuation of a partially defined metric

2025-01-03T10:13:56Z

The problem of continuation of a partially defined metric can be efficiently studied using graph theory. Let $G=G(V,E)$ be an undirected graph with the set of vertices $V$ and the set of edges $E$. A necessary and sufficient condition under which the weight $w\colon E\to\mathbb R^+$ on the graph $G$ has a unique continuation to a metric $d\colon V\times V\to\mathbb R^+$ is found.

On stable pairs of Hahn and extremal sections of separately continuous functions on the products with a scattered multiplier

2025-01-02T13:56:13Z

The minimal and the maximal sections $\wedge_f,\vee\!_f:X\to\overline{\mathbb R}$ of a function $f:X\times Y\to\overline{\mathbb R}$ are defined by $\wedge_f(x)=\inf\limits_{y\in Y}f(x,y)$ and $\vee\!\!_f(x)=\sup\limits_{y\in Y}f(x,y)$ for any $x\in X$. A pair $(g,h)$ of functions on $X$ is called a stable pair of Hahn if there exists a sequence of continuous functions $u_n$ on $X$ such that $h(x)=\min\limits_{n\in\mathbb{N}}u_n(x)$ and $g(x)=\max\limits_{n\in\mathbb{N}}u_n(x)$ for any $x\in X$. Evidently, every stable pair of Hahn is a countable pair of Hahn, and hence a pair of Hahn. We prove that for any separately continuous function $f$ on the product of compact spaces $X$ and $Y$ such that $Y$ is scattered and at least one of them has the countable chain property, the pair $(\wedge_f,\vee\!_f)$ is a stable pair of Hahn. We prove that for any stable pair of Hahn $(g,h)$ on the product of a topological space $X$ and an infinity completely regular space $Y$ there exists a separately continuous function $f$ on $X\times Y$ such that $\wedge_f=g$ and $\vee\!_f=h$.

Spectral spaces of normal subgroups

2025-01-01T14:05:22Z

The aim of this note is to prove that the set of proper normal subgroups of a group endowed with coarse lower topology is a spectral space.

On quasisymmetric mappings in semimetric spaces

2024-12-31T11:12:35Z

The class of quasisymmetric mappings on the real axis was first introduced by A. Beurling and L. V. Ahlfors in 1956. In 1980 P. Tukia and J. Väisälä considered these mappings between general metric spaces. In our paper we generalize the concept of quasisymmetric mappings to the case of general semimetric spaces and study some properties of these mappings. In particular, conditions under which quasisymmetric mappings preserve triangle functions, Ptolemy's inequality and the relation ``to lie between'' are found. Considering quasisymmetric mappings between semimetric spaces with different triangle functions we have found a new estimation for the ratio of diameters of two subsets, which are images of two bounded subsets. This result generalizes the well-known Tukia-Väisälä inequality. Moreover, we study connections between quasisymmetric mappings and weak similarities which are a special class of mappings between semimetric spaces.

Fixed point theorems for weak, partial, Bianchini and Chatterjea-Bianchini contractions in semimetric spaces with triangle functions

2024-12-31T11:12:16Z

This paper advances a line of research in fixed point theory initiated by M. Bessenyei and Z. Páles, building on their introduction of the triangle function concept in [J. Nonlinear Convex Anal, Vol 18 (3), 515-524 (2017)]. By applying this concept, the study revises several well-known fixed point theorems in metric spaces, extending their applicability to semimetric spaces with triangle functions. The paper focuses on general theorems involving weak, partial, Bianchini and Chatterjea-Bianchini contractions, deriving corollaries relevant to metric spaces, $b$-metric spaces, ultrametric spaces, and distance spaces with power triangle functions. Notably, several new and interesting findings emerge in the context of weak and partial contractions.

Three point analogue of Ćirić-Reich-Rus type mappings with non-unique fixed points

2024-12-31T11:12:05Z

In this paper, we introduce a three-point analogue of Ćirić-Reich-Rus type mappings, termed as generalized Ćirić-Reich-Rus type mappings. We demonstrate that these mappings generally exhibit discontinuity within their domain of definition but necessitate continuity at their fixed points. We showcase the existence and non-uniqueness of fixed points for these generalized Ćirić-Reich-Rus type mappings. By imposing additional conditions, specifically asymptotic regularity and continuity, we extend the applicability of fixed-point theorems to a broader class of mappings. Finally, we obtain two fixed point theorems for generalized Ćirić-Reich-Rus type mappings in metric spaces that are not necessarily complete.

Ponzi schemes on coarse spaces with uniform measure

2024-12-31T08:16:05Z

Ponzi schemes, defined by Block-Weinberger(1992) and Roe(2003), give a characterization of amenability from the viewpoint of coarse geometry. We consider measures in coarse spaces, and propose a reformulation of Ponzi schemes with measures.

On compact topologies on the semigroup of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set

2024-12-30T11:53:27Z

We study topologization of the semigroup $\mathscr{O\!\!I}\!_n(L)$ of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set $(L,\leqslant)$. In particular we show that every $T_1$ left-topological (right-topological) semigroup $\mathscr{O\!\!I}\!_n(L)$ is a completely Hausdorff, Urysohn, totally separated, scattered space. We prove that on the semigroup $\mathscr{O\!\!I}\!_n(L)$ admits a unique Hausdorff countably compact (pseudocompact) shift-continuous topology which is compact, and the Bohr compactification of a Hausdorff topological semigroup $\mathscr{O\!\!I}\!_n(L)$ is the trivial semigroup.

A Constructive Approach to Complete Spaces

2024-12-30T10:02:17Z

In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete spaces. This subcategory is closely related to a particular subcategory of locales, offering an alternative approach to localic completion. Additionally, we demonstrate how this framework provides simple constructive definitions of compact spaces, uniform convergence, and limits of nets.