The realm of nite lattices in combination with a new dimension

2025-03-27T21:52:38Z

The Ordered Set Theory is a branch of Mathematics that studies partially ordered sets (usually posets) and lattices. The meaning of dimension is one of the main parts of this eld. Dimensions of partially ordered sets and lattices have been studied in various researches. In particular, the covering dimension, the Krull dimension and the small inductive dimension have been studied extensively for the class of nite lattices. In this paper, we insert new meaning of dimension for nite lattices called large inductive dimension and denoted by Ind. We study various of its properties based on minimal covers. Also, given two nite lattices, we study the dimension Ind of their linear sum, Cartesian, lexicographic and rectangular product, investigating the behavior of this dimension. In addition, we study relations of this new dimension with the small inductive dimension, covering dimension and Krull dimension, presenting various facts and examples that strengthen the corresponding results.

Scales, products and the second row of the Scheepers diagram

2025-03-27T15:21:54Z

We consider products of sets of reals with a combinatorial structure based on scales parameterized by filters. This kind of sets were intensively investigated in products of spaces with combinatorial covering properties as Hurewicz, Scheepers, Menger and Rothberger. We will complete this picture with focusing on properties from the second row of the Scheepers diagram. In particular we show that in the Miller model a product space of two $\mathfrak{d}$-concentrated sets has a strong covering property $\mathsf{S}_1(Γ,Ω)$. We provide also counterexamples in products to demonstrate limitations of used methods.

Some remark on real algebraic maps which are topologically special generic maps and generalize the canonical projections of the unit spheres

2025-03-27T06:41:16Z

Morse functions with exactly two singular points on homotopy spheres and canonical projections of spheres are generalized as special generic maps. A special generic map is, roughly, a smooth map represented as the composition of a smooth surjection onto a manifold whose preimages are diffeomorphic to a unit sphere in the interior of the manifold and single point sets on the boundary with a smooth immersion of codimension $0$. This paper constructs real algebraic maps topologically special generic maps whose images are smoothly embedded manifolds. We are also interested in construction of explicit and meaningful smooth maps in differential topology and recently ones in real algebraic geometry. This has been an important and difficult problem. In such stories, we have previously constructed real algebraic maps topologically regarded as special generic maps. This paper is a kind of additional short remark on such maps.

The small-scale limit of magnitude and the one-point property

2025-03-26T08:25:32Z

The magnitude of a metric space is a real-valued function whose parameter controls the scale of the metric. A metric space is said to have the one-point property if its magnitude converges to 1 as the space is scaled down to a point. Not every finite metric space has the one-point property: to date, exactly one example has been found of a finite space for which the property fails. Understanding the failure of the one-point property is of interest in clarifying the interpretation of magnitude and its stability with respect to the Gromov--Hausdorff topology. We prove that the one-point property holds generically for finite metric spaces, but that when it fails, the failure can be arbitrarily bad: the small-scale limit of magnitude can take arbitrary real values greater than 1.

Weight, net weight, and elementary submodels

2025-03-25T20:47:47Z

In this note we prove several theorems that are related to some results and problems from [6]. We answer two of the main problems that were raised in [6]. First we give a ZFC example of a Hausdorff space in $C(ω_1)$ that has uncountable net weight. Then we prove that after adding any number of Cohen reals to a model of CH, in the extension every regular space in $C(ω_1)$ has countable net weight. We prove in ZFC that for any regular topology of uncountable weight on $ω_1$ there is a non-stationary subset that has uncountable weight as well. Moreover, if all final segments of $ω_1$ have uncountable weight then the assumption of regularity can be dropped. By [6], the analogous statements for the net weight are independent from ZFC. Our proofs of all these results make essential use of elementary submodels.

Subfitness in distributive (semi)lattices

2025-03-25T10:33:21Z

We investigate whether the set of subfit elements of a distributive semilattice is an ideal. This question was raised by the second author at the BLAST conference in 2022. We show that in general it has a negative solution, however if the semilattice is a lattice, then the solution is positive. This is somewhat unexpected since, as we show, a semilattice is subfit if and only if so is its distributive lattice envelope.

Weight of convex compact spaces and their boundaries

2025-03-25T09:59:59Z

It is proved that if some boundary $B$ of a convex compact subset $X$ of a locally convex linear space has a countable network, then the convex compact space $X$ is metrizable. If the boundary $B$ is a Lindelof $Σ$-space, then the network weight $nw(B)$ of $B$ coincides with the weight $w(K)$ of $K$.

On the interplay between productively Menger and productively Hurewicz spaces in models of $\mathfrak b=\mathfrak d$

2025-03-23T07:30:54Z

This article is devoted to the interplay between productively Menger and productively Hurewicz subspaces of the Cantor space. In particular, we show that in the Laver model for the consistency of the Borel's conjecture these two notions coincide and characterize Hurewicz spaces. On the other hand, it is consistent with CH that there are productively Hurewicz subspaces of the Cantor space which are not productively Menger.

On closed embeddings in $P^N \cup Q^N$

2025-03-23T00:45:35Z

We prove that if a separable metrizable $X$ is a union of two disjoint 0-dimensional sets $E$, $F$, $E$ is absolutely $G_δ$ and $F$ is absolutely $F_{σδ}$ then there is a closed embedding $h$ into the union of countable products of the irrationals and the rationals with $E$ being the preimage under $h$ of the countable product of the irrationals and $F$ being the preimage under $h$ of the countable product of the rationals. We prove also that for the set $H$ of points $x$ in the Hilbert cube such that for each $k$ there is $l$ with $x(2^k 3^l)=0$, whenever $A$ is an $F_{σδ}$ set in a compact one-dimensional space $X$, there is an embedding $h$ into the union of the countable product of the irrationals with added point $0$, and the countable product of the rationals, such that $A$ is the preimage under $h$ of the set $H$.

Topologically independent sets in topological groups and vector spaces

2025-03-21T11:35:59Z

We study topological versions of an independent set in an abelian group and a linearly independent set in a vector space, a {\em topologically independent set} in a topological group and a {\em topologically linearly independent set} in a topological vector space. These counterparts of their algebraic versions are defined analogously and possess similar properties. Let $\C^\times$ be the multiplicative group of the field of complex numbers with its usual topology. We prove that a subset $A$ of an arbitrary Tychonoff power of $\C^\times$ is topologically independent if and only if the topological subgroup $\hull{A}$ that it generates is the Tychonoff direct sum $\bigoplus_{a\in A}\hull{a}$. This theorem substantially generalizes an earlier result of the author, who has proved this for Abelian precompact groups. Further, we show that topologically independent and topologically linearly independent sets coincide in vector spaces with weak topologies, although they are different in general. We characterize topologically linearly independent sets in vector spaces with weak topologies and normed spaces. In a weak topology, a set $A$ is topologically linearly independent if and only if its linear span is the Tychonoff direct sum $\R^{(A)}$. In normed spaces $A$ is topologically linearly independent if and only if it is uniformly minimal. Thus, from the point of view of topological linear independence, the Tychonoff direct sums $\R^{(A)}$ and (linear spans of) uniformly minimal sets, which are closely related to bounded biorthogonal systems, are of the same essence.

Remetrizing dynamical systems to control distances of points in time

2025-03-19T13:01:52Z

The main aim of this article is to prove that for any continuous function $f \colon X \to X$, where $X$ is metrizable (or, more generally, for any family $\mathcal{F}$ of such functions, satisfying an additional condition), there exists a compatible metric $d$ on $X$ such that the $n$th iteration of $f$ (more generally, the composition of any $n$ functions from $\mathcal{F}$) is Lipschitz with constant $a_k$ where $(a_k)_{k=1}^{\infty}$ is an arbitrarily fixed sequence of real numbers such that $1 < a_k$ and $\lim\limits_{k\to+\infty}a_k = +\infty$. In particular, any dynamical system can be remetrized in order to significantly control the distance between points by their initial distance.

No product of two non-trivial countable-dimensional continua maps lightly into any of the factors

2025-03-18T13:12:07Z

We shall prove that if X, Y are compact metrizable spaces of positive dimension and h: X x Y --> X is a continuous map with zero-dimensional fibers then X contains a non-trivial continuum without one-dimensional subsets; in particular X is not a countable union of zero-dimensional sets, which provides a negative answer to a question of J. Dudák and B. Vejnar.

Kernels, Distances, and Bridges

2025-03-17T18:17:17Z

The purpose of this paper is to study more general real-valued functions of two variables than just metrics on a set X. We concentrate mainly on the classes of distances and almost distances. We also introduce the notion of a bridge on the disjoint union of two sets and show that it induces a symmetric distance on the disjoint union.

Entire functions with Cantor bouquet Julia sets

2025-03-17T13:40:43Z

A hyperbolic transcendental entire function with connected Fatou set is said to be of disjoint type. It is known that the Julia set of a disjoint-type function of finite order is a Cantor bouquet; in particular, it is a collection of arcs (''hairs''), each connecting a finite endpoint to infinity. We show that the latter property is equivalent to the function being criniferous (a necessary condition for having a Cantor bouquet Julia set). On the other hand, we show that there is a criniferous disjoint-type entire function whose Julia set is not a Cantor bouquet. We also provide a new characterisation of Cantor bouquet Julia sets in terms of the existence of certain absorbing sets for the set of escaping points, and use this to give a new intrinsic description of a class of entire functions previously introduced by the first author. Finally, the main known sufficient condition for Cantor bouquet Julia sets is the so-called head-start condition of Rottenfusser et al. Under a mild geometric assumption, we prove that this condition is also necessary.

On Sierpiński sets, Hurewicz spaces and Hilgers functions

2025-03-17T13:16:46Z

The Hurewicz property is a classical generalization of $σ$-compactness and Sierpiński sets (whose existence follows from CH) are standard examples of non-$σ$-compact Hurewicz spaces. We show, solving a problem stated by Szewczak and Tsaban, that for each Sierpiński set S of cardinality at least $\mathfrak b$ there is a Hurewicz space H with $S\times H$ not Hurewicz. Some other questions in the literature concerning this topic are also answered.