BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Taras Banakh appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
A metric space is plastic if all its non-expansive bijections are isometries. We prove three main results: (1) every countable dense subspace of a normed space is not plastic, (2) every $k$-crowded separable metric space contains a plastic dense subspace, and (3) every strictly convex separable metric group contains a plastic dense subgroup.
In this paper various Steiner systems $S(2,k,v)$ for $k = 6$ are collected and enumerated for specific constructions. In particular, two earlier unknown types of $1$-rotational designs are found for the groups $SL(2,5)$ and $((\mathbb Z_3 \times \mathbb Z_3) \rtimes \mathbb Z_3) \times \mathbb Z_5$. Also new Steiner systems $S(2,6,96), S(2,6,106), S(2,6,111)$ are listed.
Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called $absolutely$ $\mathcal C$-$closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$. Let $\mathsf{T_{\!1}S}$, $\mathsf{T_{\!2}S}$, and $\mathsf{T_{\!z}S}$ be the classes of $T_1$, Hausdorff, and Tychonoff zero-dimensional topological semigroups, respectively. We prove that a commutative semigroup $X$ is absolutely $\mathsf{T_{\!z}S}$-closed if and only if $X$ is absolutely $\mathsf{T_{\!2}S}$-closed if and only if $X$ is chain-finite, bounded, group-finite and Clifford+finite. On the other hand, a commutative semigroup $X$ is absolutely $\mathsf{T_{\!1}S}$-closed if and only if $X$ is finite. Also, for a given absolutely $\mathcal C$-closed semigroup $X$ we detect absolutely $\mathcal C$-closed subsemigroups in the center of $X$.
Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called (1) $\mathcal C$-$closed$ if $X$ is closed in every topological semigroup $Y\in\mathcal C$ containing $X$ as a discrete subsemigroup, (2) $ideally$ $\mathcal C$-$closed$ if for any ideal $I$ in $X$ the quotient semigroup $X/I$ is $\mathcal C$-closed; (3) $absolutely$ $\mathcal C$-$closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$, (4) $injectively$ $\mathcal C$-$closed$ (resp. $\mathcal C$-$discrete$) if for any injective homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed (resp. discrete) in $Y$. Let $\mathsf{T_{\!z}S}$ be the class of Tychonoff zero-dimensional topological semigroups. For a semigroup $X$ let $V\!E(X)$ be the set of all viable idempotents of $X$, i.e., idempotents $e$ such that the complement $X\setminus\frac{H_e}e$ of the set $\frac{H_e}e=\{x\in X:xe=ex\in H_e\}$ is an ideal in $X$. We prove the following results: (i) for any ideally $\mathsf{T_{\!z}S}$-closed semigroup $X$ each subgroup of the center $Z(X)=\{z\in X:\forall x\in X\;\;(xz=zx)\}$ is bounded; (ii) for any $\mathsf{T_{\!z}S}$-closed semigroup $X$, each subgroup of the ideal center $I\!Z(X)=\{z\in Z(X):zX\subseteq Z(X)\}$ is bounded; (iii) for any $\mathsf{T_{\!z}S}$-discrete or injectively $\mathsf{T_{\!z}S}$-closed semigroup $X$, every subgroup of $Z(X)$ is finite, (iv) for any viable idempotent $e$ in an ideally (and absolutely) $\mathsf{T_{\!z}S}$-closed semigroup $X$, the maximal subgroup $H_e$ is ideally (and absolutely) $\mathsf{T_{\!z}S}$-closed and has bounded (and finite) center $Z(H_e)$.
A semigroup is called $E$-$separated$ if for any distinct idempotents $x,y\in X$ there exists a homomorphism $h:X\to Y$ to a semilattice $Y$ such that $h(x)\ne h(y)$. Developing results of Putcha and Weissglass, we characterize $E$-separated semigroups via certain commutativity properties of idempotents of $X$. Also we characterize $E$-separated semigroups in the class of $π$-regular $E$-semigroups.
A topological space $X$ is called a $Q$-space if every subset of $X$ is of type $F_σ$ in $X$. For $i\in\{1,2,3\}$ let $\mathfrak q_i$ be the smallest cardinality of a second-countable $T_i$-space which is not a $Q$-space. It is clear that $\mathfrak q_1\le\mathfrak q_2\le\mathfrak q_3$. For $i\in\{1,2\}$ we prove that $\mathfrak q_i$ is equal to the smallest cardinality of a second-countable $T_i$-space which is not perfect. Also we prove that $\mathfrak q_3$ is equal to the smallest cardinality of a submetrizable space, which is not a $Q$-space. Martin's Axiom implies that $\mathfrak q_i=\mathfrak c$ for all $i\in\{1,2,3\}$.
We prove that the countable product of lines contains a Borel linear subspace $L\ne\mathbb R^ω$ that cannot be covered by countably many closed Haar-meager sets. This example is applied to studying the interplay between various classes of ``large'' sets and Kuczma--Ger classes in the topological vector spaces $\mathbb R^n$ for $n\le ω$.
We prove that a homomorphism $h:X\to Y$ from a (locally compact) Cech-complete topological group $X$ to a topological group $Y$ is continuous if and only if $h$ is Borel-measurable if and only if $h$ is universally measurable (if and only if $h$ is Haar-measurable). This answers a problem of Kuznetsova and extends a result of Kleppner on the continuity of Haar-measurable homomorphisms between locally compact groups and a result of Rosendal on the continuity of universally measurable homomorphisms between Polish groups.
Let $A,X,Y$ be Banach spaces and $A\times X\to Y$, $(a,x)\mapsto ax$, be a continuous bilinear function, called a *Banach action*. We say that this action *preserves unconditional convergence* if for every bounded sequence $(a_n)_{n\inω}$ in $A$ and unconditionally convergent series $\sum_{n\inω}x_n$ in $X$ the series $\sum_{n\inω}a_nx_n$ is unconditionally convergent. We prove that a Banach action $A\times X\to Y$ preserves unconditional convergence if and only if for any linear functional $y^*\in Y^*$ the operator $D_{y^*}:X\to A^*$, $D_{y^*}(x)(a)=y^*(ax)$, is absolutely summing. Combining this characterization with the famous Grothendieck theorem on the absolute summability of operators from $\ell_1$ to $\ell_2$, we prove that a Banach action $A\times X\to Y$ preserves unconditional convergence if $A$ is a Hilbert space possessing an orthonormal basis $(e_n)_{n\inω}$ such that for every $x\in X$ the series $\sum_{n\inω}e_nx$ is weakly absolutely convergent. Applying known results of Garling on the absolute summability of diagonal operators between sequence spaces, we prove that for (finite or infinite) numbers $p,q,r\in[1,\infty]$ with $\frac1r\le\frac1p+\frac1q$, the coordinatewise multplication $\ell_p\times\ell_q\to\ell_r$ preserves unconditional convergence if and only if one of the following conditions holds: (i) $p\le 2$ and $q\le r$, (ii) $2<p<q\le r$, (iii) $2<p=q<r$, (iv) $r=\infty$, (v) $2\le q<p\le r$, (vi) $q<2<p$ and $\frac1p+\frac1q\ge\frac1r+\frac12$.
Let $\mathcal C$ be a class of $T_1$ topological semigroups, containing all Hausdorff zero-dimensional topological semigroups. A semigroup $X$ is $\mathcal C$-$closed$ if $X$ is closed in any topological semigroup $Y\in\mathcal C$ that contains $X$ as a discrete subsemigroup; $X$ is $injectively$ $\mathcal C$-$closed$ if for any (injective) homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$. A semigroup $X$ is $unipotent$ if it contains a unique idempotent. We prove that a unipotent commutative semigroup $X$ is (injectively) $\mathcal C$-closed if and only if $X$ is bounded, nonsingular (and group-finite). This characterization implies that for every injectively $\mathcal C$-closed unipotent semigroup $X$, the center $Z(X)$ is injectively $\mathcal C$-closed.
In this paper we discuss the notion of completeness of topologized posets and survey some recent results on closedness properties of complete topologized semilattices.
A semigroup $X$ is $absolutely$ (resp. $injectively$) $T_1S$-$closed$ if for any (injective) homomorphism $h:X\to Y$ to a $T_1$ topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$. We prove that a commutative semigroup $X$ is injectively $T_1S$-closed if and only if $X$ is bounded, nonsingular and Clifford-finite. Using this characterization, we prove that (1) every injectively $T_1S$-closed semigroup has injectively $T_1S$-closed center, and (2) every absolutely $T_1S$-closed semigroup has finite center.
Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is $injectively$ $\mathcal C$-$closed$ if $X$ is closed in each topological semigroup $Y\in\mathcal C$ containing $X$ as a subsemigroup. Let $\mathsf{T_{\!2}S}$ (resp. $\mathsf{T_{\!z}S}$) be the class of Hausdorff (and zero-dimensional) topological semigroups. We prove that a commutative semigroup $X$ is injectively $\mathsf{T_{\!2}S}$-closed if and only if $X$ is injectively $\mathsf{T_{\!z}S}$-closed if and only if $X$ is bounded, chain-finite, group-finite, nonsingular and not Clifford-singular.
A symmetrizability criterion of Arhangelskii implies that a second-countable Hausdorff space is symmetrizable if and only if it is perfect. We present an example of a non-symmetrizable second-countable submetrizable space of cardinality $\mathfrak q_0$ and study the smallest possible cardinality $\mathfrak q_i$ of a non-symmetrizable second-countable $T_i$-space for $i\in\{1,2\}$.
Given two elements $x,y$ of a semigroup $X$ we write $x\lesssim y$ if for every homomorphism $χ:X\to\{0,1\}$ we have $χ(x)\leχ(y)$. The quasiorder $\lesssim$ is called the $binary$ $quasiorder$ on $X$. It induces the equivalence relation $\Updownarrow$ that coincides with the least semilattice congruence on $X$. In the paper we discuss some known and new properties of the binary quasiorder on semigroups.
Using a game-theoretic approach we present a generalization of the classical result of Brzuchowski, Cichoń, Grzegorek and Ryll-Nardzewski on non-measurable unions. We also present applications of obtained results to Marczewski--Burstin representable ideals, as well as to establishing some countability and continuity properties of measurable functions and homomorphisms between topological groups.
Let $\mathcal C$ be a class of Hausdorff topological semigroups which contains all zero-dimensional Hausdorff topological semigroups. A semigroup $X$ is called $\mathcal C$-$closed$ if $X$ is closed in each topological semigroup $Y\in \mathcal C$ containing $X$ as a discrete subsemigroup; $X$ is $projectively$ $\mathcal C$-$closed$ if for each congruence $\approx$ on $X$ the quotient semigroup $X/_\approx$ is $\mathcal C$-closed. A semigroup $X$ is called $chain$-$finite$ if for any infinite set $I\subseteq X$ there are elements $x,y\in I$ such that $xy\notin\{x,y\}$. We prove that a semigroup $X$ is $\mathcal C$-closed if it admits a homomorphism $h:X\to E$ to a chain-finite semilattice $E$ such that for every $e\in E$ the semigroup $h^{-1}(e)$ is $\mathcal C$-closed. Applying this theorem, we prove that a commutative semigroup $X$ is $\mathcal C$-closed if and only if $X$ is periodic, chain-finite, all subgroups of $X$ are bounded, and for any infinite set $A\subseteq X$ the product $AA$ is not a singleton. A commutative semigroup $X$ is projectively $\mathcal C$-closed if and only if $X$ is chain-finite, all subgroups of $X$ are bounded and the union $H(X)$ of all subgroups in $X$ has finite complement $X\setminus H(X)$.
Let $M$ be an ANR space and $X$ be a homotopy dense subspace in $M$. Assume that $M$ admits a continuous binary operation $*:M\times M\to M$ such that for every $x,y\in M$ the inclusion $x*y\in X$ holds if and only if $x,y\in X$. Assume also that there exist continuous unary operations $u,v:M\to M$ such that $x=u(x)*v(x)$ for all $x\in M$. Given a $2^ω$-stable $\mathbf Π^0_2$-hereditary weakly $\mathbf Σ^0_2$-additive class of spaces $\mathcal C$, we prove that the pair $(M,X)$ is strongly $(\mathbf Π^0_1\cap\mathcal C,\mathcal C)$-universal if and only if for any compact space $K\in\mathcal C$, subspace $C\in\mathcal C$ of $K$ and nonempty open set $U\subseteq M$ there exists a continuous map $f:K\to U$ such that $f^{-1}[X]=C$. This characterization is applied to detecting strongly universal Lawson semilattices.
A locally convex space (lcs) $E$ is said to have an $ω^ω$-base if $E$ has a neighborhood base $\{U_α:α\inω^ω\}$ at zero such that $U_β\subseteq U_α$ for all $α\leqβ$. The class of lcs with an $ω^ω$-base is large, among others contains all $(LM)$-spaces (hence $(LF)$-spaces), strong duals of distinguished Fréchet lcs (hence spaces of distributions $D'(Ω)$). A remarkable result of Cascales-Orihuela states that every compact set in a lcs with an $ω^ω$-base is metrizable. Our main result shows that every uncountable-dimensional lcs with an $ω^ω$-base contains an infinite-dimensional metrizable compact subset. On the other hand, the countable-dimensional space $φ$ endowed with the finest locally convex topology has an $ω^ω$-base but contains no infinite-dimensional compact subsets. It turns out that $φ$ is a unique infinite-dimensional locally convex space which is a $k_{\mathbb{R}}$-space containing no infinite-dimensional compact subsets. Applications to spaces $C_{p}(X)$ are provided.
A subset $A$ of a semigroup $S$ is called a $chain$ ($antichain$) if $xy\in\{x,y\}$ ($xy\notin\{x,y\}$) for any (distinct) elements $x,y\in S$. A semigroup $S$ is called ($anti$)$chain$-$finite$ if $S$ contains no infinite (anti)chains. We prove that each antichain-finite semigroup $S$ is periodic and for every idempotent $e$ of $S$ the set $\sqrt[\infty]{e}=\{x\in S:\exists n\in\mathbb N\;\;(x^n=e)\}$ is finite. This property of antichain-finite semigroups is used to prove that a semigroup is finite if and only if it is chain-finite and antichain-finite. Also we present an example of an antichain-finite semilattice that is not a union of finitely many chains.
A Hausdorff topological space $X$ is called $\textit{superconnected}$ (resp. $\textit{coregular}$) if for any nonempty open sets $U_1,\dots U_n\subseteq X$, the intersection of their closures $\bar U_1\cap\dots\cap\bar U_n$ is not empty (resp. the complement $X\setminus (\bar U_1\cap\dots\cap\bar U_n)$ is a regular topological space). A canonical example of a coregular superconnected space is the projective space $\mathbb Q\mathsf P^\infty$ of the topological vector space $\mathbb Q^{<ω}=\{(x_n)_{n\inω}\in \mathbb Q^ω:|\{n\inω:x_n\ne 0\}|<ω\}$ over the field of rationals $\mathbb Q$. The space $\mathbb Q\mathsf P^\infty$ is the quotient space of $\mathbb Q^{<ω}\setminus\{0\}^ω$ by the equivalence relation $x\sim y$ iff $\mathbb Q{\cdot}x=\mathbb Q{\cdot}y$. We prove that every countable second-countable coregular space is homeomorphic to a subspace of $\mathbb Q\mathsf P^\infty$, and a topological space $X$ is homeomorphic to $\mathbb Q\mathsf P^\infty$ if and only if $X$ is countable, second-countable, and admits a decreasing sequence of closed sets $(X_n)_{n\inω}$ such that (i) $X_0=X$, $\bigcap_{n\inω}X_n=\emptyset$, (ii) for every $n\inω$ and a nonempty open set $U\subseteq X_n$ the closure $\bar U$ contains some set $X_m$, and (iii) for every $n\inω$ the complement $X\setminus X_n$ is a regular topological space. Using this topological characterization of $\mathbb Q\mathsf P^\infty$ we find topological copies of the space $\mathbb Q\mathsf P^\infty$ among quotient spaces, orbit spaces of group actions, and projective spaces of topological vector spaces over countable topological fields.
We obtain many results and solve some problems about feebly compact paratopological groups. We obtain necessary and sufficient conditions for such a group to be topological. One of them is the quasiregularity. We prove that each $2$-pseudocompact paratopological group is feebly compact and that each Hausdorff $σ$-compact feebly compact paratopological group is a compact topological group. Our particular attention concerns periodic and topologically periodic groups. We construct examples of various compact-like paratopological groups which are not topological groups, among them a $T_0$ sequentially compact group, a $T_1$ $2$-pseudocompact group, a functionally Hausdorff countably compact group (under the axiomatic assumption that there is an infinite torsion-free abelian countably compact topological group without non-trivial convergent sequences), and a functionally Hausdorff second countable group sequentially pracompact group. We investigate cone topologies of paratopological groups which provide a general tool to construct pathological examples, especially examples of compact-like paratopological groups with discontinuous inversion. We find a simple interplay between the algebraic properties of a basic cone subsemigroup $S$ of a group $G$ and compact-like properties of two basic semigroup topologies generated by $S$ on the group $G$. We prove that the product of a family of feebly compact paratopological groups is feebly compact, and that a paratopological group $G$ is feebly compact provided it has a feebly compact normal subgroup $H$ such that a quotient group $G/H$ is feebly compact.
We prove that for any coarse spaces $X_1,\dots,X_n$ of asymptotic dimension $\ge 1$, the product $X=X_1\times\dots\times X_n$ has asymptotic dimension $\ge n$. Another result states that a finitary coare space $Z$ has $\mathrm{asdim}(Z)\ge n$ if $Z$ admits an almost free action of the group $\mathbb Z^n$. We deduce these results from the following combinatorial result (that generalized the the Hex Theorem of Gale): for any cover $\mathcal F$ of a discrete box $K=k_1\times \dots \times k_n$, either some set $F\in\mathcal F$ contains a chain connecting two opposite faces of $K$ or there exists a set $B\subset K$ of diameter $\le 1$ such that $|\{F\in\mathcal F:F\cap B\ne\emptyset\}|>n$.
A topological space $X$ is cometrizable if it admits a weaker metrizable topology such that each point $x\in X$ has a (not necessarily open) neighborhood base consisting of metrically closed sets. We study the relation of cometrizable spaces to other generalized metric spaces and prove that all $\mathsf{as}$-cosmic spaces are cometrizable. Also, we present an example of a regular countable space of weight $ω_1$, which is not cometrizable. Under $ω_1=\mathfrak c$ this space contains no infinite compact subsets and hence is $\mathsf{cs}$-cosmic. Under $ω_1<\mathfrak p$ this countable space is Fréchet-Urysohn and is not $\mathsf{cs}$-cosmic.
For a metric space $X$, let $\mathsf FX$ be the space of all nonempty finite subsets of $X$ endowed with the largest metric $d^1_{\mathsf FX}$ such that for every $n\in\mathbb N$ the map $X^n\to\mathsf FX$, $(x_1,\dots,x_n)\mapsto \{x_1,\dots,x_n\}$, is non-expanding with respect to the $\ell^1$-metric on $X^n$. We study the completion of the metric space $\mathsf F^1\!X=(\mathsf FX,d^1_{\mathsf FX})$ and prove that it coincides with the space $\mathsf Z^1\!X$ of nonempty compact subsets of $X$ that have zero length (defined with the help of graphs). We prove that each subset of zero length in a metric space has 1-dimensional Hausdorff measure zero. A subset $A$ of the real line has zero length if and only if its closure is compact and has Lebesgue measure zero. On the other hand, for every $n\ge 2$ the Euclidean space $\mathbb R^n$ contains a compact subset of 1-dimensional Hausdorff measure zero that fails to have zero length.
We prove that an injective map $f:X\to Y$ between connected metrizable spaces $X,Y$ is continuous if for every connected subset $C\subset X$ the image $f(C)$ is connected and one of the following conditions is satisfied: (1) $Y$ is a 1-manifold and $X$ is compact; (2) $Y$ is a 2-manifold and $X$ is a closed $n$-manifold of dimension $n\ge 2$; (3) $Y$ is a 3-manifold and $X$ is a simply-connected closed $n$-manifold of dimension $n\ge 3$. This gives a partial answer to a problem of Willie Wong, posed on Mathoverflow.
The $Golomb$ $space$ (resp. the $Kirch$ $space$) is the set $\mathbb N$ of positive integers endowed with the topology generated by the base consisting of arithmetic progressions $a+b\mathbb N_0=\{a+bn:n\ge 0\}$ where $a\in\mathbb N$ and $b$ is a (square-free) number, coprime with $a$. It is known that the Golomb space (resp. the Kirch space) is connected (and locally connected). By a recent result of Banakh, Spirito and Turek, the Golomb space has trivial homeomorphism group and hence is topologically rigid. In this paper we prove the topological rigidity of the Kirch space.
Given a $T_0$ paratopological group $G$ and a class $\mathcal C$ of continuous homomorphisms of paratopological groups, we define the $\mathcal C$-$semicompletion$ $\mathcal C[G)$ and $\mathcal C$-$completion$ $\mathcal C[G]$ of the group $G$ that contain $G$ as a dense subgroup, satisfy the $T_0$-separation axiom and have certain universality properties. For special classes $\mathcal C$, we present some necessary and sufficient conditions on $G$ in order that the (semi)completions $\mathcal C[G)$ and $\mathcal C[G]$ be Hausdorff. Also, we give an example of a Hausdorff paratopological abelian group $G$ whose $\mathcal C$-semicompletion $\mathcal C[G)$ fails to be a $T_1$-space, where $\mathcal C$ is the class of continuous homomorphisms of sequentially compact topological groups to paratopological groups. In particular, the group $G$ contains an $ω$-bounded sequentially compact subgroup $H$ such that $H$ is a topological group but its closure in $G$ fails to be a subgroup.
Answering one problem that has its origins in quantum mechanics, we prove that for any sequence $(A_n)_{n\in\mathbb N}$ of convex nowhere dense sets in a Banach space $X$ and any sequence $(\varepsilon_n)_{n=1}^\infty$ of positive real numbers with $\lim_{n\to\infty}\varepsilon_n=0$, the set $A=\{x\in X:\forall n\in\mathbb N\;\exists a\in A_n\;\;\|x-a\|< \varepsilon_n\}$ is nowhere dense in $X$.
We pose some open problems related to boundedness of real-valued functions on balleans and coarse spaces. Also we prove that the Bergman property of groups is a coarse invariant. A special attention is payed to balleans on groups.
The linear continuity of a function defined on a vector space means that its restriction on every affine line is continuous. For functions defined on $\mathbb R^m$ this notion is near to the separate continuity for which it is required only the continuity on the straight lines which are parallel to coordinate axes. The classical Lebesgue theorem states that every separately continuous function $f:\mathbb R^m\to\mathbb R$ is of the $(m-1)$-th Baire class. In this paper we prove that every linearly continuous function $f:\mathbb R^m\to\mathbb R$ is of the first Baire class. Moreover, we obtain the following result. If $X$ is a Baire cosmic topological vector space, $Y$ is a Tychonoff topological space and $f:X\to Y$ is a Borel-measurable (even BP-measurable) linearly continuous function, then $f$ is $F_σ$-measurable. Using this theorem we characterize the discontinuity point set of an arbitrary linearly continuous function on $\mathbb R^m$. In the final part of the article we prove that any $F_σ$-measurable function $f:\partial U\to \mathbb R$ defined on the boundary of a strictly convex open set $U\subset\mathbb R^m$ can be extended to a linearly continuous function $\bar f:X\to \mathbb R$. This fact shows that in the ``descriptive sense'' the linear continuity is not better than the $F_σ$-measurability.
We introduce and study some generalizations of regular spaces, which were motivated by studying continuity properties of functions between (regular) topological spaces. In particular, we prove that a first-countable Hausdorff topological space is regular if and only if it does not contain a topological copy of the Gutik hedgehog.
We prove that any topological group $G$ containing a subspace $X$ of the Sorgenfrey line has spread $s(G)\ge s(X\times X)$. Under OCA, each topological group containing an uncountable subspace of the Sorgenfrey line has uncountable spread. This implies that under OCA a cometrizable topological group $G$ is cosmic if and only if it has countable spread. On the other hand, under CH there exists a cometrizable Abelian topological group that has hereditarily Lindelöf countable power and contains an uncountable subspace of the Sorgenfrey line. This cometrizable topological group has countable spread but is not cosmic.
A function $f:X\to \mathbb R$ defined on a topological space $X$ is called returning if for any point $x\in X$ there exists a positive real number $M_x$ such that for every path-connected subset $C_x\subset X$ containing the point $x$ and any $y\in C_x\setminus\{x\}$ there exists a point $z\in C_x\setminus\{x,y\}$ such that $|f(z)|\le \max\{M_x,|f(y)|\}$. A topological space $X$ is called path-inductive if a subset $U\subset X$ is open if and only if for any path $γ:[0,1]\to X$ the preimage $γ^{-1}(U)$ is open in $[0,1]$. The class of path-inductive spaces includes all first-countable locally path-connected spaces and all sequential locally contractible space. We prove that a function $f:X\to \mathbb R$ defined on a path-inductive space $X$ is continuous if and only of it is returning and has closed graph. This implies that a (weakly) Świ\c atkowski function $f:\mathbb R\to\mathbb R$ is continuous if and only if it has closed graph, which answers a problem of Maliszewski, inscibed to Lviv Scottish Book.
We present several known and new results on the Baire category properties in topological groups. In particular, we prove that a Baire topological group $X$ is metrizable if and only if $X$ is point-cosmic if and only if $X$ is a $σ$-space. A topological group $X$ is Choquet if and only if its Raikov completion $\bar X$ is Choquet and $X$ is $G_δ$-dense in $\bar X$. A topological group $X$ is complete-metrizable if and only if $X$ is a point-cosmic Choquet space if and only if $X$ is a Choquet $σ$-space. Finally, we pose several open problem, in particular, if each Choquet topological group is strong Choquet.
According to a folklore characterization of supercompact spaces, a compact Hausdorff space is supercompact if and only if it has a binary closed $k$-network. This characterization suggests to call a topological space $super$ if it has a binary closed $k$-network $\mathcal N$. The binarity of $\mathcal N$ means that every linked subfamily of $\mathcal N$ is centered. Therefore, a Hausdorff space is supercompact if and only if it is super and compact. In this paper we prove that the class of super spaces contains all GO-spaces, all supercompact spaces, all metrizable spaces, and all collectionwise normal $\aleph$-spaces. Moreover, the class of super spaces is closed under taking Tychonoff products and discretely dense sets in Tychonoff products. The superness of metrizable spaces implies that each compact metrizable space is supercompact, which was first proved by Strok and Szymański (1975) and then reproved by Mills (1979), van Douwen (1981), and D{\c e}bski (1984).
A topologized semilattice $X$ is complete if each non-empty chain $C\subset X$ has $\inf C\in\bar C$ and $\sup C\in\bar C$. It is proved that for any complete subsemilattice $X$ of a functionally Hausdorff semitopological semilattice $Y$ the partial order $P=\{(x,y)\in X\times X:xy=x\}$ of $X$ is closed in $Y\times Y$ and hence $X$ is closed in $Y$. This implies that for any continuous homomorphism $h:X\to Y$ from a compete topologized semilattice $X$ to a functionally Hausdorff semitopological semilattice $Y$ the image $h(X)$ is closed in $Y$. The functional Hausdorffness of $Y$ in these two results can be replaced by the weaker separation axiom $\vec T_{2δ}$, defined in this paper.
The $Golomb$ $space$ $\mathbb N_τ$ is the set $\mathbb N$ of positive integers endowed with the topology $τ$ generated by the base consisting of arithmetic progressions $\{a+bn:n\ge 0\}$ with coprime $a,b$. We prove that the Golomb space $\mathbb N_τ$ is topologically rigid in the sense that its homeomorphism group is trivial. This resolves a problem posed by the first author at Mathoverflow in 2017.
Two non-empty sets $A,B$ of a metric space $(X,d)$ are called parallel if $d(a,B)=d(A,B)=d(A,b)$ for any points $a\in A$ and $b\in B$. Answering a question posed on Mathoverflow, we prove that for a cover $\mathcal C$ of a metrizable space $X$ the following conditions are equivalent: (i) the topology of $X$ is generated by a metric $d$ such that any two sets $A,B\in\mathcal C$ are parallel; (ii) the cover $\mathcal C$ is disjoint, lower semicontinuous and upper semicontinuous.
The superextension $λ(X)$ of a set $X$ consists of all maximal linked families on $X$. Any associative binary operation $*: X\times X \to X$ can be extended to an associative binary operation $*: λ(X)\timesλ(X)\toλ(X)$. In the paper we study isomorphisms of superextensions of groups and prove that two groups are isomorphic if and only if their superextensions are isomorphic. Also we describe the automorphism groups of superextensions of all groups of cardinality $\leq 5$.
For a hypergraph $H=(V,\mathcal E)$, a subfamily $\mathcal C\subseteq \mathcal E$ is called a cover of the hypergraph if $\bigcup\mathcal C=\bigcup\mathcal E$. A cover $\mathcal C$ is called minimal if each cover $\mathcal D\subseteq\mathcal C$ of the hypergraph $H$ coincides with $\mathcal C$. We prove that for a hypergraph $H$ the following conditions are equivalent: (i) each countable subhypergraph of $H$ has a minimal cover; (ii) each non-empty subhypergraph of $H$ has a maximal edge; (iii) $H$ contains no isomorphic copy of the hypergraph $(ω,ω)$. This characterization implies that a countable hypergraph $(V,\mathcal E)$ has a minimal cover if every infinite set $I\subseteq V$ contains a finite subset $F\subseteq I$ such that the family of edges $\mathcal E_F:=\{E\in\mathcal E:F\subseteq E\}$ is finite. Also we prove that a hypergraph $(V,\mathcal E)$ has a minimal cover if $\sup\{|E|:E\in\mathcal E\}<ω$ or for every $v\in V$ the family $\mathcal E_v:=\{E\in\mathcal E:v\in E\}$ is finite.
The path component space of a topological space $X$ is the quotient space $π_0(X)$ whose points are the path components of $X$. We show that every Tychonoff space $X$ is the path-component space of a Tychonoff space $Y$ of weight $w(Y)=w(X)$ such that the natural quotient map $Y\to π_0(Y)=X$ is a perfect map. Hence, many topological properties of $X$ transfer to $Y$. We apply this result to construct a compact space $X\subset \mathbb{R}^3$ for which the fundamental group $π_1(X,x_0)$ is an uncountable, cosmic, $k_ω$-topological group but for which the canonical homomorphism $ψ:π_1(X,x_0)\to \checkπ_1(X,x_0)$ to the first shape homotopy group is trivial.
We prove that for a continuum $K\subset \mathbb R^n$ the sum $K^{+n}$ of $n$ copies of $K$ has non-empty interior in $\mathbb R^n$ if and only if $K$ is not flat in the sense that the affine hull of $K$ coincides with $\mathbb R^n$. Moreover, if $K$ is locally connected and each non-empty open subset of $K$ in not flat, then for any (analytic) non-meager subset $A\subset K$ the sum $A^{+n}$ of $n$ copies of $A$ is not meager in $\mathbb R^n$ (and then the sum $A^{+2n}$ of $2n$ copies of the analytic set $A$ has non-empty interior in $\mathbb R^n$ and the set $(A-A)^{+n}$ is a neighborhood of zero in $\mathbb R^n$). This implies that a mid-convex function $f:D\to\mathbb R$, defined on an open convex subset $D\subset\mathbb R^n$ is continuous if it is upper bounded on some non-flat continuum in $D$ or on a non-meager analytic subset of a locally connected nowhere flat subset of $D$.
We characterize topological (and uniform) spaces whose free (locally convex) topological vector spaces have a local $\mathfrak G$-base. A topological space $X$ has a local $\mathfrak G$-base if every point $x$ of $X$ has a neighborhood base $(U_α)_{α\inω^ω}$ such that $U_β\subset U_α$ for all $α\leβ$ in $ω^ω$. To construct $\mathfrak G$-bases in free topological vector spaces, we exploit a new description of the topology of a free topological vector space over a topological (or more generally, uniform) space.
A regular topological space $X$ is defined to be a $\mathfrak P_0$-space if it has countable Pytkeev network. A network $\mathcal N$ for $X$ is called a Pytkeev network if for any point $x\in X$, neighborhood $O_x\subset X$ of $x$ and subset $A\subset X$ accumulating at a $x$ there is a set $N\in\mathcal N$ such that $N\subset O_x$ and $N\cap A$ is infinite. The class of $\mathfrak P_0$-spaces contains all metrizable separable spaces and is (properly) contained in the Michael's class of $\aleph_0$-spaces. It is closed under many topological operations: taking subspaces, countable Tychonoff products, small countable box-products, countable direct limits, hyperspaces of compact subsets. For an $\aleph_0$-space $X$ and a $\mathfrak P_0$-space $Y$ the function space $C_k(X,Y)$ endowed with the compact-open topology is a $\mathfrak P_0$-space. For any sequential $\aleph_0$-space $X$ the free abelian topological group $A(X)$ and the free locally convex linear topological space $L(X)$ both are $\mathfrak P_0$-spaces. A sequential space is a $\mathfrak P_0$-space if and only if it is an $\aleph_0$-space. A topological space is metrizable and separable if and only if it is a $\mathfrak P_0$-space with countable fan tightness.
A family of closed subsets of a topological space $X$ is called a (strict) $Cld$-fan in $X$ if this family is (strictly) compact-finite but not locally finite in $X$. Applications of (strict) $Cld$-fans are based on a simple observation that $k$-spaces contain no $Cld$-fan and Ascoli spaces contain no strict $Cld$-fan. In this paper we develop the machinery of (strict) fans and apply it to detecting the $k$-space and Ascoli properties in spaces that naturally appear in General Topology, Functional Analysis, and Topological Algebra. In particular, we detect (generalized) metric spaces $X$ whose functor-spaces, functions spaces, free (para)topological (abelian) groups, free (locally convex) linear topological spaces, free (Lawson) topological semilattices, and free (para)topological (Clifford, Abelian) inverse semigroups are $k$-spaces or Ascoli spaces.
A topological group $G$ is called 2-swelling if for any compact subsets $A,B\subset G$ and elements $a,b,c\in G$ the inclusions $aA\cup bB\subset A\cup B$ and $aA\cap bB\subset c(A\cap B)$ are equivalent to the equalities $aA\cup bB=A\cup B$ and $aA\cap bB=c(A\cap B)$. We prove that an (abelian) topological group $G$ is 2-swelling if each 3-generated (resp. 2-generated) subgroup of $G$ is discrete. This implies that the additive group $\mathbb Q$ of rationals is 2-swelling and each locally finite topological group is 2-swelling.
Denote by $\mathbf C_k[\mathfrak M]$ the $C_k$-stable closure of the class $\mathfrak M$ of all metrizable spaces, i.e., $\mathbf C_k[\mathfrak M]$ is the smallest class of topological spaces that contains $\mathfrak M$ and is closed under taking subspaces, homeomorphic images, countable topological sums, countable Tychonoff products, and function spaces $C_k(X,Y)$ with Lindelöf domain. We show that the class $\mathbf C_k[\mathfrak M]$ coincides with the class of all topological spaces homeomorphic to subspaces of the function spaces $C_k(X,Y)$ with a separable metrizable space $X$ and a metrizable space $Y$. We say that a topological space $Z$ is Ascoli if every compact subset of $C_k(Z)$ is evenly continuous; by the Ascoli Theorem, each $k$-space is Ascoli. We prove that the class $\mathbf C_k[\mathfrak M]$ properly contains the class of all Ascoli $\aleph_0$-spaces and is properly contained in the class of $\mathfrak P$-spaces, recently introduced by Gabriyelyan and Kąkol. Consequently, an Ascoli space $Z$ embeds into the function space $C_k(X,Y)$ for suitable separable metrizable spaces $X$ and $Y$ if and only if $Z$ is an $\aleph_0$-space.
A topological space $X$ is called strongly $σ$-metrizable if $X=\bigcup_{n\inω}X_n$ for an increasing sequence $(X_n)_{n\inω}$ of closed metrizable subspaces such that every convergence sequence in $X$ is contained in some $X_n$. If, in addition, every compact subset of $X$ is contained in some $X_n$, $n\inω$, then $X$ is called super $σ$-metrizable. Answering a question of V.K.Maslyuchenko and O.I.Filipchuk, we prove that a topological space is strongly $σ$-metrizable if and only if it is super $σ$-metrizable.
Modifying the known definition of a Pytkeev network, we introduce a notion of Pytkeev$^*$ network and prove that a topological space has a countable Pytkeev network if and only if $X$ is countably tight and has a countable Pykeev$^*$ network. In the paper we establish some stability properties of the class of topological spaces with the strong Pytkeev$^*$-property.
For a Tychonoff space $X$, the constructions $\hat P(X)$ and $P_τ(X)$ of the spaces of probability Radon measures and probability $τ$-smooth measures on $X$ are considered. It is proved that these constructions determine functors in the category of Tychonoff spaces, which extend the functor $P$ of probability measures in the category of compacta. In this part we investigate general topological properties of the spaces $\hat P(X)$ and $P_τ(X)$, as well as categorial properties of the functors $\hat P$ and $P_τ$.
We prove that for infinite cardinals $κ<λ$ the alternating group $Alt(λ)$ (of even permutations) of $λ$ is not embeddable into the symmetric group $Sym(κ)$ (of all permutations) of $κ$. To prove this fact we introduce and study several monotone cardinal group invariants which take value $κ$ on the groups $Alt(κ)$ and $Sym(κ)$.
We prove that each closed locally continuum- connected subspace of a finite dimensional topological group is locally compact. This allows us to construct many 1-dimensional metrizable separable spaces that are not homeomorphic to closed subsets of finite-dimensional topological groups, which answers in negative a question of D.Shakhmatov. Another corollary is a characterization of Lie groups as finite-dimensional locally continuum-connected topological groups. For locally path connected topological groups this characterization was proved by Gleason and Palais in 1957.
A topological space $X$ is called a topological fractal if $X=\bigcup_{f\in\mathcal F}f(X)$ for a finite system $\mathcal F$ of continuous self-maps of $X$, which is topologically contracting in the sense that for every open cover $\mathcal U$ of $X$ there is a number $n\in\mathbb N$ such that for any functions $f_1,\dots,f_n\in \mathcal F$, the set $f_1\circ\dots\circ f_n(X)$ is contained in some set $U\in\mathcal U$. If, in addition, all functions $f\in\mathcal F$ have Lipschitz constant $<1$ with respect to some metric generating the topology of $X$, then the space $X$ is called a Banach fractal. It is known that each topological fractal is compact and metrizable. We prove that a zero-dimensional compact metrizable space $X$ is a topological fractal if and only if $X$ is a Banach fractal if and only if $X$ is either uncountable or $X$ is countable and its scattered height $\hbar(X)$ is a successor ordinal. For countable compact spaces this classification was recently proved by M.Nowak.
We prove that a topological manifold (possibly with boundary) admitting a continuous cancellative binary operation is orientable. This implies that the Möbius band admits no cancellative continuous binary operation. This answers a question posed by the second author in 2010.
For separable metrizable spaces $X,Y$ and a metrizable topological group $Z$ by $S(X\times Y,Z)$ we denote the space of all separately continuous functions $f:X\times Y\to Z$ endowed with the topology of layer-wise uniform convergence, generated by the subbase consisting of the sets $[K_X\times K_Y,U]=\{f\in S(X\times Y,Z):f(K_X\times K_Y)\subset U\}$, where $U$ is an open subset of $Z$ and $K_X\subset X$, $K_Y\subset Y$ are compact sets one of which is a singleton. We prove that every separately continuous function $f:X\times Y\to Z$ with zero-dimensional image $f(X\times Y)$ is a limit of a sequence of jointly continuous functions in the topology of layer-wise uniform convergence.
We derive many upper bounds on the submetrizability number and $i$-weight of paratopological groups and topological monoids with open shifts. In particular, we prove that each first countable Hausdorff paratopological group is submetrizable thus answering a problem of Arhangelskii posed in 2002. Also we construct an example of a zero-dimensional (and hence regular) Hausdorff paratopological abelian group $G$ with countable pseudocharacter which is not submetrizable. In fact, all results on the $i$-weight and submetrizability are derived from more general results concerning normally quasi-uniformizable and bi-quasi-uniformizable spaces.
We prove that any meager quasi-analytic subgroup of a topological group $G$ belongs to every $σ$-ideal $\mathcal I$ on $G$ possessing the closed $\pm n$-Steinhaus property for some $n\in\mathbb N$. An ideal $\mathcal I$ on a topological group $G$ is defined to have the closed $\pm n$-Steinhaus property if for any closed subsets $A_1,\dots,A_n\notin\mathcal I$ of $G$ the product $(A_1\cup A_1^{-1})\cdots (A_n\cup A_n^{-1})$ is not nowhere dense in $G$. Since the $σ$-ideal $\mathcal E$ generated by closed Haar null sets in a locally compact group $G$ has the closed $\pm 2$-Steinhaus property, we conclude that each meager quasi-analytic subgroup $H\subset G$ belongs to the ideal $\mathcal E$. For analytic subgroups of the real line this result was proved by Laczkovich in 1998. We shall discuss possible generalizations of the Laczkovich Theorem to non-locally compact groups and construct an example of a meager Borel subgroup in $\mathbb Z^ω$ which cannot be covered by countably many closed Haar-null (or even closed Haar-meager) sets. On the other hand, assuming that $cof(\mathcal M)=cov(\mathcal M)=cov(\mathcal N)$ we construct a subgroup $H\subset 2^ω$ which is meager and Haar null but does not belong to the $σ$-ideal $\mathcal E$. The construction uses a new cardinal characteristic $voc^*(\mathcal I,\mathcal J)$ which seems to be interesting by its own.
For any topological space $X$ we study the relation between the universal uniformity $\mathcal U_X$, the universal quasi-uniformity $q\mathcal U_X$ and the universal pre-uniformity $p\mathcal U_X$ on $X$. For a pre-uniformity $\mathcal U$ on a set $X$ and a word $v$ in the two-letter alphabet $\{+,-\}$ we define the verbal power $\mathcal U^v$ of $\mathcal U$ and study its boundedness numbers $\ell(\mathcal U^v)$ and $\bar \ell(\mathcal U^v)$. The boundedness numbers of the (Boolean operations over) the verbal powers of the canonical pre-uniformities $p\mathcal U_X$, $q\mathcal U_X$ and $\mathcal U_X$ yield new cardinal characteristics $\ell^v(X)$, $\bar \ell^v(X)$, $q\ell^v(X)$, $q\bar \ell^v(X)$, $u\ell(X)$ of a topological space $X$, which generalize all known cardinal topological invariants related to (star)-covering properties. We study the relation of the new cardinal invariants $\ell^v$, $\bar \ell^v$ to classical cardinal topological invariants such as Lindelöf number $\ell$, density $d$, and spread $s$. The simplest new verbal cardinal invariant is the foredensity $\ell^-(X)$ defined for a topological space $X$ as the smallest cardinal $κ$ such that for any neighborhood assignment $(O_x)_{x\in X}$ there is a subset $A\subset X$ of cardinality $|A|\leκ$ that meets each neighborhood $O_x$, $x\in X$. It is clear that $\ell^-(X)\le d(X)\le \ell^-(X)\cdot χ(X)$. We shall prove that $\ell^-(X)=d(X)$ if $|X|<\aleph_ω$. On the other hand, for every singular cardinal $κ$ (with $κ\le 2^{2^{cf(κ)}}$) we construct a (totally disconnected) $T_1$-space $X$ such that $\ell^-(X)=cf(κ)<κ=|X|=d(X)$.
For every functional functor $F:Comp\to Comp$ in the category $Comp$ of compact Hausdorff spaces we define the notions of $F$-Dugundji and $F$-Milutin spaces, generalizing the classical notions of a Dugundji and Milutin spaces. We prove that the class of $F$-Dugundji spaces coincides with the class of absolute $F$-valued retracts. Next, we show that for a monomorphic continuous functor $F:Comp\to Comp$ admitting tensor products each Dugundji compact is an absolute $F$-valued retract if and only if the doubleton $\{0,1\}$ is an absolute $F$-valued retract if and only if some points $a\in F(\{0\})\subset F(\{0,1\})$ and $b\in F(\{1\})\subset F(\{0,1\})$ can be linked by a continuous path in $F(\{0,1\})$. We prove that for the functor $Lip_k$ of $k$-Lipschitz functionals with $k<2$, each absolute $Lip_k$-valued retract is openly generated. On the other hand the one-point compactification of any uncountable discrete space is not openly generated but is an absolute $Lip_3$-valued retract. More generally, each hereditarily paracompact scattered compact space $X$ of finite scattered height $n$ is an absolute $Lip_k$-valued retract for $k=2^{n+2}-1$.
Let $X$ be a zero-dimensional compact metrizable space endowed with a strictly positive continuous Borel $σ$-additive measure $μ$ which is good in the sense that for any clopen subsets $U,V\subset X$ with $μ(U)<μ(V)$ there is a clopen set $W\subset V$ with $μ(W)=μ(U)$. We study $σ$-ideals with Borel base on $X$ which are invariant under the action of the group $H_μ(X)$ of measure-preserving homeomorphisms of $(X,μ)$, and show that any such $σ$-ideal $\mathcal I$ is equal to one of seven $σ$-ideals: $\{\emptyset\}$, $[X]^{\leω}$, $\mathcal E$, $\mathcal M\cap\mathcal N$, $\mathcal M$, $\mathcal N$, or $[X]^{\le \mathfrak c}$. Here $[X]^{\leκ}$ is the ideal consisting of subsets of cardiality $\leκ$ in $X$, $\mathcal M$ is the ideal of meager subsets of $X$, $\mathcal N=\{A\subset X:μ(A)=0\}$ is the ideal of null subsets of $(X,μ)$, and $\mathcal E$ is the $σ$-ideal generated by closed null subsets of $(X,μ)$.
In this paper we classify countable locally finite-by-abelian groups up to coarse isomorphism. This classification is derived from a coarse classification of amenable shift-homogeneous metric spaces.
In this paper we study the Hutchinson-Barnsley theory of fractals in the setting of multimetric spaces (which are sets endowed with point separating families of pseudometrics) and in the setting of topological spaces. We find natural connections between these two approaches.
In 1995 in Kourovka notebook the second author asked the following problem: it is true that for each partition $G=A_1\cup\dots\cup A_n$ of a group $G$ there is a cell $A_i$ of the partition such that $G=FA_iA_i^{-1}$ for some set $F\subset G$ of cardinality $|F|\le n$? In this paper we survey several partial solutions of this problem, in particular those involving certain canonical invariant densities and submeasures on groups.
Let $X$ be a universal (Urysohn) space. We prove that every topological fractal is homeomorphic (isometric) to the attractor $A_{\mathcal F}$ of a function system ${\mathcal F}$ on $X$ consisting of Rakotch contractions.
We prove that for each universal algebra $(A,\mathcal A)$ of cardinality $|A|\ge 2$ and an infinite set $X$ of cardinality $|X|\ge|\mathcal A|$, the $X$-th power $(A^X,\mathcal A^X)$ of the algebra $(A,\mathcal A)$ contains a free subset $\mathcal F\subset A^X$ of cardinality $|\mathcal F|=2^{|X|}$. This generalizes the classical Fichtenholtz-Kantorovitch-Hausdorff result on the existence of an independent family $\mathcal I\subset\mathcal P(X)$ of cardinality $|\mathcal I|=|\mathcal P(X)|$ in the Boolean algebra $\mathcal P(X)$ of subsets of an infinite set $X$.
In this note we collect some known information and prove new results about the small uncountable cardinal $\mathfrak q_0$. The cardinal $\mathfrak q_0$ is defined as the smallest cardinality $|A|$ of a subset $A\subset \mathbb R$ which is not a $Q$-set (a subspace $A\subset\mathbb R$ is called a $Q$-set if each subset $B\subset A$ is of type $F_σ$ in $A$). We present a simple proof of a folklore fact that $\mathfrak p\le\mathfrak q_0\le\min\{\mathfrak b,\mathrm{non}(\mathcal N),\log(\mathfrak c^+)\}$, and also establish the consistency of a number of strict inequalities between the cardinal $\mathfrak q_0$ and other standard small uncountable cardinals. This is done by combining some known forcing results. A new result of the paper is the consistency of $\mathfrak{p} < \mathfrak{lr} < \mathfrak{q}_0$, where $\mathfrak{lr}$ denotes the linear refinement number. Another new result is the upper bound $\mathfrak q_0\le\mathrm{non}(\mathcal I)$ holding for any $\mathfrak q_0$-flexible cccc $σ$-ideal $\mathcal I$ on $\mathbb R$.
In this paper we detect topological Clifford semigroups which are embeddable into Tychonoff products of topological semilattices and cones over topological groups. Also we detect topological Clifford semigroups which embed into compact topological Clifford semigroups.
We define a notion of a rotund quasi-uniform space and describe a new direct construction of a (right-continuous) quasi-pseudometric on a (rotund) quasi-uniform space. This new construction allows to give alternative proofs of several classical metrizability theorems for (quasi-)uniform spaces and also obtain some new metrizability results. Applying this construction to topological monoids with open shifts, we prove that the topology of any (semiregular) topological monoid with open shifts is generated by a family of (right-continuous) left-subinvariant quasi-pseudometrics, which resolves an open problem posed by Ravsky in 2001. This implies that a topological monoid with open shifts is completely regular if and only if it is semiregular. Since each paratopological group is a topological monoid with open shifts these results apply also to paratopological groups.
We prove that for every finite partition $G=A_1\cup\dots\cup A_n$ of a group $G$ either $cov(A_iA_i^{-1})\le n$ for all cells $A_i$ or else $cov(A_iA_i^{-1}A_i)<n$ for some cell $A_i$ of the partition. Here $cov(A)=\min\{|F|:F\subset G,\;G=FA\}$ is the covering number of $A$ in $G$. A similar result is proved also of partitions of $G$-spaces. This gives two partial answers to a problem of Protasov posed in 1995.
Let $H$ be a closed subgroup of a regular abelian paratopological group $G$. The group reflexion $G^\flat$ of $G$ is the group $G$ endowed with the strongest group topology, weaker that the original topology of $G$. We show that the quotient $G/H$ is Hausdorff (and regular) if $H$ is closed (and locally compact) in $G^\flat$. On the other hand, we construct an example of a regular abelian paratopological group $G$ containing a closed discrete subgroup $H$ such that the quotient $G/H$ is Hausdorff but not regular.
Toehold purchase, defined here as purchase of one share in a firm by an investor preparing a tender offer to acquire majority of shares in it, reduces by one the number of shares this investor needs for majority. In the paper we construct mathematical models for the toehold and no-toehold strategies and compare the expected profits of the investor and the probabilities of takeover the firm in both strategies. It turns out that the expected profits of the investor in both strategies coincide. On the other hand, the probability of takeover the firm using the toehold strategy is considerably higher comparing to the no-toehold strategy. In the analysis of the models we apply the apparatus of incomplete Beta functions and some refined bounds for central binomial coefficients.
Given a finite subset $Σ\subset\mathbb{R}$ and a positive real number $q<1$ we study topological and measure-theoretic properties of the self-similar set $K(Σ;q)=\big\{\sum_{n=0}^\infty a_nq^n:(a_n)_{n\inω}\inΣ^ω\big\}$, which is the unique compact solution of the equation $K=Σ+qK$. The obtained results are applied to studying partial sumsets $E(x)=\big\{\sum_{n=0}^\infty x_n\varepsilon_n:(\varepsilon_n)_{n\inω}\in\{0,1\}^ω\big\}$ of some (multigeometric) sequences $x=(x_n)_{n\inω}$.
We study and classify topologically invariant $σ$-ideals with a Borel base on the Hilbert cube and evaluate their cardinal characteristics. One of the results of this paper solves (positively) a known problem whether the minimal cardinalities of the families of Cantor sets covering the unit interval and the Hilbert cube are the same.
We characterize semigroups $X$ whose semigroups of filters $φ(X)$, maximal linked systems $λ(X)$, linked upfamilies $N_2(X)$, and upfamilies $\upsilon(X)$ are commutative.
This text contains lecture notes of the course taught to Ph.D. students of Jagiellonian University in Krakow on 25-28 November, 2013.
A topological space $X$ is called hereditarily supercompact if each closed subspace of X is supercompact. By a combined result of Bula, Nikiel, Tuncali, Tymchatyn, and Rudin, each monotonically normal compact Hausdorff space is hereditarily supercompact. A dyadic compact space is hereditarily supercompact if and only if it is metrizable. Under (MA + not CH) each separable hereditarily supercompact space is hereditarily separable and hereditarily Lindelöf. This implies that under (MA + not CH) a scattered compact space is metrizable if and only if it is separable and hereditarily supercompact. The hereditary supercompactness is not productive: the product [0,1] x αD of the closed interval and the one-point compactification αD of a discrete space D of cardinality |D|\ge non(M) is not hereditarily supercompact (but is Rosenthal compact and uniform Eberlein compact). Moreover, under the assumption cof(M)=ω_1 the space [0,1] x αD contains a closed subspace X which is first countable and hereditarily paracompact but not supercompact.
We prove that a separable Hausdorff topological space $X$ containing a cocountable subset homeomorphic to $[0,ω_1]$ admits no separately continuous mean operation and no diagonally continuous $n$-mean for $n\ge 2$.
Given a multi-valued function $Φ$ on a topological space $X$ we study the properties of its fixed fractal, which is defined as the closure of the orbit $Φ^ω(Fix(Φ))=\bigcup_{n\inω}Φ^n(Fix(Φ))$ of the set $Fix(Φ)=\{x\in X:x\inΦ(x)\}$ of fixed points of $Φ$. A special attention is paid to the duality between micro-fractals and macro-fractals, which are fixed fractals for a contracting compact-valued function $Φ$ on a complete metric space $X$ and its inverse multi-function $Φ^{-1}$. With help of algorithms (described in this paper) we generate various images of macro-fractals which are dual to some well-known micro-fractals like the fractal cross, the Sierpinski triangle, Sierpinski carpet, the Koch curve, or the fractal snowflakes. The obtained images show that macro-fractals have a large-scale fractal structure, which becomes clearly visible after a suitable zooming.
We prove that for each meager relation $E\subset X\times X$ on a Polish space $X$ there is a nowhere meager subspace $F\subset X$ which is $E$-free in the sense that $(x,y)\notin E$ for any distinct points $x,y\in F$.
We prove that every infinite-dimensional (locally convex) linear topological space that can be expressed as a direct limit of finite-dimensional metrizable compacta is (linearly) homeomorphic to the space $R^\infty=\dlim R^n$.
We prove that for every number k each countable infinite group $G$ admits a partition $G=A\cup B$ into two sets which are $k$-meager in the sense that for every $k$-element subset $K\subset G$ the sets $KA$ and $KB$ are not thick. The proof is based on the fact that $G$ possesses a syndetic submeasure, i.e., a left-invariant submeasure $μ:\mathcal P(G)\to[0,1]$ such that for each $ε> 1/|G|$ and subset $A\subset G$ with $μ(A)<1$ there is a set $B\subset G\setminus A$ such that $μ(B)<ε$ and $FB=G$ for some finite subset $F\subset G$.
A family $\mathcal N$ of closed subsets of a topological space $X$ is called a {\em closed $k$-network} if for each open set $U\subset X$ and a compact subset $K\subset U$ there is a finite subfamily $\mathcal F\subset\mathcal N$ with $K\subset\bigcup\F\subset \mathcal N$. A compact space $X$ is called {\em supercompact} if it admits a closed $k$-network $\mathcal N$ which is {\em binary} in the sense that each linked subfamily $\mathcal L\subset\mathcal N$ is centered. A closed $k$-network $\mathcal N$ in a topological group $G$ is {\em invariant} if $xAy\in\mathcal N$ for each $A\in\mathcal N$ and $x,y\in G$. According to a result of Kubiś and Turek, each compact (abelian) topological group admits an (invariant) binary closed $k$-network. In this paper we prove that the compact topological groups $S^3$ and $\SO(3)$ admit no invariant binary closed $k$-network.
We introduce the Solecki submeasure $σ(A)=\inf_F\sup_{x,y\in G}|F\cap xAy|/|F|$ and its left and right modifications on a group $G$, and study the interplay between the Solecki submeasure and the Haar measure on compact topological groups. Also we show that the right Solecki density on a countable amenable group coincides with the upper Banach density $d^*$ which allows us to generalize some fundamental results of Bogoliuboff, Folner, Cotlar and Ricabarra, Ellis and Keynes about difference sets and Jin, Beiglbock, Bergelson and Fish about the sumsets to the class of all amenable groups.
In this paper we introduce and study a new topologo-algebraic structure called a (di)topological unosemigroup. This is a topological semigroup endowed with continuous unary operations of left and right units (which have certain continuous division property called the dicontinuity). We show that the class of ditopological unosemigroups contains all topological groups, all topological semilattices, all uniformizable topological unoid-semigroups, all compact topological unosemigroups, and is closed under the operations of taking subunosemigroup, Tychonoff product, reduced product, semidirect product, and the Hartman-Mycielski extension.
Given a set $X$ and a family $G$ of self-maps of $X$, we study the problem of the existence of a non-discrete Hausdorff topology on $X$ with respect to which all functions $f\in G$ are continuous. A topology on $X$ with this property is called a $G$-topology. The answer is given in terms of the Zariski $G$-topology $ζ_G$ on $X$, that is, the topology generated by the subbase consisting of the sets $\{x\in X:f(x)\ne g(x)\}$ and $\{x\in X:f(x)\ne c\}$, where $f,g\in G$ and $c\in X$. We prove that, for a countable monoid $G\subset X^X$, $X$ admits a non-discrete Hausdorff $G$-topology if and only if the Zariski $G$-topology $ζ_G$ is non-discrete; moreover, in this case, $X$ admits $2^{\mathfrak c}$ hereditarily normal $G$-topologies.
In each manifold $M$ modeled on a finite or infinite dimensional cube $[0,1]^n$ we construct a meager $F_σ$-subset $X\subset M$ which is universal meager in the sense that for each meager subset $A\subset M$ there is a homeomorphism $h:M\to M$ such that $h(A)\subset X$. We also prove that any two universal meager $F_σ$-sets in $M$ are ambiently homeomorphic.
In each Menger manifold $M$ we construct: (i) a closed nowhere dense subset $M_0$ which is homeomorphic to $M$ and is universal nowhere dense in the sense that for each nowhere dense set $A\subset M$ there is a homeomorphism $h$ of $M$ such that $h(A)\subset M_0$; (ii) a meager $F_σ$-set $Σ_0\subset M$ which is universal meager in the sense that for each meager subset $B\subset M$ there is a homeomorphism $h$ of $M$ such that $h(B)\subset Σ_0$. Also we prove that any two universal meager $F_σ$-sets in $M$ are ambiently homeomorphic.
In each manifold $M$ modeled on a finite or infinite dimensional cube $[0,1]^n$ we construct a closed nowhere dense subset $S\subset M$ (called a spongy set) which is a universal nowhere dense set in $M$ in the sense that for each nowhere dense subset $A\subset M$ there is a homeomorphism $h:M\to M$ such that $h(A)\subset S$. The key tool in the construction of spongy sets is a theorem on topological equivalence of certain decompositions of manifolds. A special case of this theorem says that two vanishing cellular strongly shrinkable decompositions $\mathcal A,\mathcal B$ of a Hilbert cube manifold $M$ are topologically equivalent if any two non-singleton elements $A\in\mathcal A$ and $B\in\mathcal B$ of these decompositions are ambiently homeomorphic.
We present a topological characterization of LF-spaces and detect small box-products that are (locally) homeomorphic to LF-spaces.
We find necessary and sufficient conditions on an (inverse) semigroup $X$ under which its semigroups of maximal linked systems $λ(X)$, filters $ϕ(X)$, linked upfamilies $N_2(X)$, and upfamilies $\upsilon(X)$ are inverse.
In this paper we answer several questions of Dikran Dikranjan about algebraically determined topologies on the group of (finitely supported) permutations of a set X.
We prove that for a coarse space $X$ the ideal $S(X)$ of small subsets of $X$ coincides with the ideal $D_<(X)$ of subsets $A\subset X$ of asymptotic dimension $asdim(A)<asdim(X)$ provided that $X$ is coarsely equivalent to an Euclidean space $R^n$. Also we prove that for a locally compact Abelian group $X$, the equality $S(X)=D_<(X)$ holds if and only if the group $X$ is compactly generated.
Suppose M is a non-compact connected n-manifold without boundary, DD(M) is the group of C^\infty-diffeomorphisms of M endowed with the Whitney C^\infty-topology and DD_0(M) is the identity connected component of DD(M), which is an open subgroup in the group DD_c(M) \subset DD(M) of compactly supported diffeomorphisms of M. It is shown that DD_0(M) is homeomorphic to N \times IR^\infty for an l_2-manifold N whose topological type is uniquely determined by the homotopy type of DD_0(M). For instance, DD_0(M) is homeomorphic to l_2 \times IR^\infty if n = 1, 2 or n = 3 and M is orientable and irreducible. We also show that for any compact connected n-manifold N with non-empty boundary \partial N the group DD_0(N - \partial N) is homeomorphic to DD_0(N; \partial N) \times IR^\infty, where DD_0(N;\partial N) is the identity component of the group DD(N;\partial N) of diffeomorphisms of N that do not move points of the boundary \partial N.
Given a topological space $X$, we study the structure of $\infty$-convex subsets in the space $SC_p(X)$ of scatteredly continuous functions on $X$. Our main result says that for a topological space $X$ with countable strong fan tightness, each potentially bounded $\infty$-convex subset $F\subset SC_p(X)$ is weakly discontinuous in the sense that each non-empty subset $A\subset X$ contains an open dense subset $U\subset A$ such that each function $f|U$, $f\in F$, is continuous. This implies that $F$ has network weight $nw(F)\le nw(X)$.
We prove that for an unbounded metric space $X$, the minimal character $mχ(\check X)$ of a point of the Higson corona $\check X$ of $X$ is equal to $\mathfrak u$ if $X$ has asymptotically isolated balls and to $\max\{\mathfrak u,\mathfrak d\}$ otherwise. This implies that under $\mathfrak u<\mathfrak d$ a metric space $X$ of bounded geometry is coarsely equivalent to the Cantor macro-cube $2^{<\IN}$ if and only if $\dim(\check X)=0$ and $mχ(\check X)=\mathfrak d$. This contrasts with a result of Protasov saying that under CH the coronas of any two asymptotically zero-dimensional unbounded metric separable spaces are homeomorphic.
We prove that for any non-compact connected surface $M$ the group $H_c(M)$ of compactly suported homeomorphisms of $M$ endowed with the Whitney topology is homeomorphic to $R^\infty\times l_2$ or $Z\times R^\infty\times l_2$.
For every closed subset $X$ of a stratifiable [resp. metrizable] space $Y$ we construct a positive linear extension operator $T:R^{X\times X}\to R^{Y\times Y}$ preserving constant functions, bounded functions, continuous functions, pseudometrics, metrics, [resp. dominating metrics, and admissible metrics]. This operator is continuous with respect to each of the three topologies: point-wise convergence, uniform, and compact-open. An equivariant analog of the above statement is proved as well.
We find conditions for a smooth nonlinear map $f:U\rightarrow V$ between open subsets of Hilbert or Banach spaces to be locally convex in the sense that for some $c$ and each positive $\varepsilon<c$ the image $% f(B_\varepsilon(x))$ of each $\varepsilon$-ball $B_\varepsilon(x)\subset U$ is convex. We give a lower bound on $c$ via the second order Lipschitz constant $\mathrm{Lip}_2(f)$, the Lipschitz-open constant $\mathrm{Lip}_o(f)$ of $f$, and the 2-convexity number $\mathrm{conv}_2(X)$ of the Banach space $% X$.
We prove that for any topological space $X$ of countable tightness, each σ-convex subspace $\F$ of the space $SC_p(X)$ of scatteredly continuous real-valued functions on $X$ has network weight $nw(\F)\le nw(X)$. This implies that for a metrizable separable space $X$, each compact convex subset in the function space $SC_p(X)$ is metrizable. Another corollary says that two Tychonoff spaces $X,Y$ with countable tightness and topologically isomorphic linear topological spaces $SC_p(X)$ and $SC_p(Y)$ have the same network weight $nw(X)=nw(Y)$. Also we prove that each zero-dimensional separable Rosenthal compact space is homeomorphic to a compact subset of the function space $SC_p(ω^ω)$ over the space $ω^ω$ of irrationals.
We introduce and study oscillator topologies on paratopological groups and define certain related number invariants. As an application we prove that a Hausdorff paratopological group $G$ admits a weaker Hausdorff group topology provided $G$ is 3-oscillating. A paratopological group $G$ is 3-oscillating (resp. 2-oscillating) provided for any neighborhood $U$ of the unity $e$ of $G$ there is a neighborhood $V\subset G$ of $e$ such that $V^{-1}VV^{-1}\subset UU^{-1}U$ (resp. $V^{-1}V\subset UU^{-1}$). The class of 2-oscillating paratopological groups includes all collapsing, all nilpotent paratopological groups, all paratopological groups satisfying a positive law, all paratopological SIN-group and all saturated paratopological groups (the latter means that for any nonempty open set $U\subset G$ the set $U^{-1}$ has nonempty interior). We prove that each totally bounded paratopological group $G$ is countably cellular; moreover, every cardinal of uncountable cofinality is a precaliber of $G$. Also we give an example of a saturated paratopological group which is not isomorphic to its mirror paratopological group as well as an example of a 2-oscillating paratopological group whose mirror paratopological group is not 2-oscillating.
This is the list of open problems in topological algebra posed on the conference dedicated to the 20th anniversary of the Chair of Algebra and Topology of Lviv National University, that was held on 28 September 2001.
A function $f:X\to Y$ between topological spaces is called {\em compact-preserving} if the image $f(K)$ of each compact subset $K\subset X$ is compact. We prove that a function $f:X\to Y$ defined on a strong Frechet space $X$ is compact-preserving if and only if for each point $x\in X$ there is a compact subset $K_x\subset Y$ such that for each neighborhood $O_{f(x)}\subset Y$ of $f(x)$ there is a neighborhood $O_x\subset X$ of $x$ such that $f(O_x)\subset O_{f(x)}\cup K_x$ and the set $K_x\setminus O_{f(x)}$ is finite. This characterization is applied to give an alternative proof of a classical characterization of continuous functions on locally connected metrizable spaces as functions that preserve compact and connected sets. Also we show that for each compact-preserving function $f:X\to Y$ defined on a (strong) Fréchet space $X$, the restriction $f|LI'_f$ (resp. $f|LI_f)$ is continuous. Here $LI_f$ is the set of points $x\in X$ of local infinity of $f$ and $LI'_f$ is the set of non-isolated points of the set $LI_f$. Suitable examples show that the obtained results cannot be improved.
We study and classify topologically invariant sigma-ideals with an analytic base on Euclidean spaces and evaluate the cardinal characteristics of such ideals.
For a Banach space $X$ by $Conv_H(X)$ we denote the space of non-empty closed convex subsets of $X$, endowed with the Hausdorff metric. We prove that for any closed convex set $C\subset X$ and its metric component $H_C=\{A\in Conv_H(X):d_H(A,C)<\infty\}$ in $Conv_H(X)$, the following conditions are equivalent: (1) $C$ is approximatively polyhedral, which means that for every $ε>0$ there is a polyhedral convex subset $P\subset X$ on Hausdorff distance $d_H(P,C)<ε$ from $C$; (2) $C$ lies on finite Hausdorff distance $d_H(C,P)$ from some polyhedral convex set $P\subset X$; (3) the metric space $(H_C,d_H)$ is separable; (4) $H_C$ has density $dens(H_C)<\mathfrak c$; (5) $H_C$ does not contain a positively hiding convex set $P\subset X$. If the Banach space $X$ is finite-dimensional, then the conditions (1)--(5) are equivalent to: (6) $C$ is not positively hiding; (7) $C$ is not infinitely hiding. A convex subset $C\subset X$ is called {\em positively hiding} (resp. {\em infinitely hiding}) if there is an infinite set $A\subset X\setminus C$ such that $\inf_{a\in A}dist(a,C)>0$ (resp. $\sup_{a\in A}dist(a,C)=\infty$) and for any distinct points $a,b\in A$ the segment $[a,b]$ meets the set $C$.
We prove that a closed convex subset $C$ of a complete linear metric space $X$ is polyhedral in its closed linear hull if and only if no infinite subset $A\subset X\backslash C$ can be hidden behind $C$ in the sense $[x,y]\cap C\not = \emptyset$ for any distinct points $x,y\in A$.
Answering an old question of M.Hata, we construct an example of a 1-dimensional Peano continuum which is not homeomorphic to an attractor of IFS.
We prove that each coarsely homogenous separable metric space $X$ is coarsely equivalent to one of the spaces: the sigleton, the Cantor macro-cube or the Baire macro-space. This classification is derived from coarse characterizations of the Cantor macro-cube and of the Baire macro-space given in this paper. Namely, we prove that a separable metric space $X$ is coarsely equivalent to the Baire macro-space if any only if $X$ has asymptotic dimension zero and has unbounded geometry in the sense that for every $δ$ there is $ε$ such that no $ε$-ball in $X$ can be covered by finitely many sets of diameter $\le δ$.
We prove that a map between two realcompact spaces is skeletal if and only if it is homeomorphic to the limit map of a skeletal morphism between w-spectra with surjective limit projections.
We prove that the minimal left ideals of the superextension $λ(Z)$ of the discrete group $Z$ of integers are metrizable topological semigroups, topologically isomorphic to minimal left ideals of the superextension $λ(Z_2)$ of the compact group $Z_2$ of integer 2-adic numbers.
Given a semilattice $X$ we study the algebraic properties of the semigroup $\upsilon(X)$ of upfamilies on $X$. The semigroup $\upsilon(X)$ contains the Stone-Cech extension $β(X)$, the superextension $λ(X)$, and the space of filters $ϕ(X)$ on $X$ as closed subsemigroups. We prove that $\upsilon(X)$ is a semilattice iff $λ(X)$ is a semilattice iff $ϕ(X)$ is a semilattice iff the semilattice $X$ is finite and linearly ordered. We prove that the semigroup $β(X)$ is a band if and only if $X$ has no infinite antichains, and the semigroup $λ(X)$ is commutative if and only if $X$ is a bush with finite branches.
We prove that a continuum $X$ is tree-like (resp. circle-like, chainable) if and only if for each open cover $\U_4=\{U_1,U_2,U_3,U_4\}$ of $X$ there is a $\U_4$-map $f:X\to Y$ onto a tree (resp. onto the circle, onto the interval). A continuum $X$ is an acyclic curve if and only if for each open cover $\U_3=\{U_1,U_2,U_3\}$ of $X$ there is a $\U_3$-map $f:X\to Y$ onto a tree (or the interval $[0,1]$).
We study algebraic and topological properties of the convolution semigroups of probability measures on a topological groups and show that a compact Clifford topological semigroup $S$ embeds into the convolution semigroup $P(G)$ over some topological group $G$ if and only if $S$ embeds into the semigroup $\exp(G)$ of compact subsets of $G$ if and only if $S$ is an inverse semigroup and has zero-dimensional maximal semilattice. We also show that such a Clifford semigroup $S$ embeds into the functor-semigroup $F(G)$ over a suitable compact topological group $G$ for each weakly normal monadic functor $F$ in the category of compacta such that $F(G)$ contains a $G$-invariant element (which is an analogue of the Haar measure on $G$).
We present the characterization of metric spaces that are micro-, macro- or bi-uniformly equivalent to the extended Cantor set $\{\sum_{i=-n}^\infty\frac{2x_i}{3^i}:n\in\IN ,\;(x_i)_{i\in\IZ}\in\{0,1\}^\IZ\}\subset\IR$, which is bi-uniformly equivalent to the Cantor bi-cube $2^{<\IZ}=\{(x_i)_{i\in\IZ}\in \{0,1\}^\IZ:\exists n\;\forall i\ge n\;x_i=0\}$ endowed with the metric $d((x_i),(y_i))=\max_{i\in\IZ}2^i|x_i-y_i|$. Those characterizations imply that any two (uncountable) proper isometrically homogeneous ultrametric spaces are coarsely (and bi-uniformly) equivalent. This implies that any two countable locally finite groups endowed with proper left-invariant metrics are coarsely equivalent. For the proof of these results we develop a technique of towers which can have an independent interest.
A subset of a Polish space $X$ is called universally small if it belongs to each ccc $σ$-ideal with Borel base on $X$. Under CH in each uncountable Abelian Polish group $G$ we construct a universally small subset $A_0\subset G$ such that $|A_0\cap gA_0|=\mathfrak c$ for each $g\in G$. For each cardinal number $κ\in[5,\mathfrak c^+]$ the set $A_0$ contains a universally small subset $A$ of $G$ with sharp packing index $\pack^\sharp(A_κ)=\sup\{|\mathcal D|^+:\mathcal D\subset \{gA\}_{g\in G}$ is disjoint$\}$ equal to $κ$.
Let $F$ be a countable family of rational functions of two variables with real coefficients. Each rational function $f\in F$ can be thought as a continuous function $f:dom(f)\to\bar R$ taking values in the projective line $\bar R=R\cup\{\infty\}$ and defined on a cofinite subset $dom(f)$ of the torus $\bar R^2$. Then the family $\F$ determines a continuous vector-function $F:dom(F)\to\bar R^F$ defined on the dense $G_δ$-set $dom(F)=\bigcap_{f\in F}dom(F)$ of $\bar R^2$. The closure $\barΓ(F)$ of its graph $Γ(F)=\{(x,f(x)):x\in dom(F)\}$ in $\bar R^2\times\bar R^F$ is called the {\em graphoid} of the family $F$. We prove the graphoid $\barΓ(F)$ has topological dimension $dim(\barΓ(F))=2$. If the family $F$ contains all linear fractional transformations $f(x,y)=\frac{x-a}{y-b}$ for $(a,b)\in Q^2$, then the graphoid $\barΓ(F)$ has cohomological dimension $dim_G(\barΓ(F))=1$ for any non-trivial 2-divisible abelian group $G$. Hence the space $\barΓ(F)$ is a natural example of a compact space that is not dimensionally full-valued and by this property resembles the famous Pontryagin surface.
We prove that a topological Clifford semigroup $S$ is metrizable if and only if $S$ is an $M$-space and the set $E=\{e\in S:ee=e\}$ of idempotents of $S$ is a metrizable $G_δ$-set in $S$. The same metrization criterion holds also for any countably compact Clifford topological semigroup $S$.
A map $f:X\to Y$ between topological spaces is skeletal if the preimage $f^{-1}(A)$ of each nowhere dense subset $A\subset Y$ is nowhere dense in $X$. We prove that a normal functor $F:Comp\to Comp$ is skeletal (which means that $F$ preserves skeletal epimorphisms) if and only if for any open surjective open map $f:X\to Y$ between zero-dimensional compacta with two-element non-degeneracy set $N^f=\{x\in X:|f^{-1}(f(x))|>1\}$ the map $Ff:FX\to FY$ is skeletal. This characterization implies that each open normal functor is skeletal. The converse is not true even for normal functors of finite degree. The other main result of the paper says that each normal functor $F: Comp\to Comp$ preserves the class of skeletally generated compacta. This contrasts with the known Shchepin's result saying that a normal functor is open if and only if it preserves openly generated compacta.
For a non-isolated point $x$ of a topological space $X$ the network character $nw_χ(x)$ is the smallest cardinality of a family of infinite subsets of $X$ such that each neighborhood $O(x)$ of $x$ contains a set from the family. We prove that (1) each infinite compact Hausdorff space $X$ contains a non-isolated point $x$ with $nw_χ(x)=\aleph_0$; (2) for each point $x\in X$ with countable character there is an injective sequence in $X$ that $\F$-converges to $x$ for some meager filter $\F$ on $ω$; (3) if a functionally Hausdorff space $X$ contains an $\F$-convergent injective sequence for some meager filter $\F$, then for every $T_1$-space $Y$ that contains two non-empty open sets with disjoint closures, the function space $C_p(X,Y)$ is meager. Also we investigate properties of filters $\F$ admitting an injective $\F$-convergent sequence in $βω$.
We prove that a monomorphic functor $F:Comp\to Comp$ with finite supports is epimorphic, continuous, and its maximal $\emptyset$-modification $F^\circ$ preserves intersections. This implies that a monomorphic functor $F:Comp\to Comp$ of finite degree $deg F\le n$ preserves (finite-dimensional) compact ANR's if the spaces $F\emptyset$, $F^\circ\emptyset$, and $Fn$ are finite-dimensional ANR's. This improves a known result of Basmanov.
In this paper we introduce perfectly supportable semigroups and prove that they are σ-discrete in each Hausdorff shift-invariant topology. The class of perfectly supportable semigroups includes each subsemigroup S of the semigroup FRel(X) of finitely supported relations on an infinite set X such that S contains the group FSym(X) of finitely supported permutations of X.
Let $X$ be a Banach space and $Conv_H(X)$ be the space of non-empty closed convex subsets of $X$, endowed with the Hausdorff metric $d_H$. We prove that each connected component of the space $Conv_H(X)$ is homeomorphic to one of the spaces: a singleton, the real line, a closed half-plane, the Hilbert cube multiplied by the half-line, the separable Hilbert space, or a Hilbert space of density not less than continuum.
We prove that for every separately twice differentiable solution $f$ of the PDE $f"_{xx}=f"_{yy}$ is of the form $f(x,y)=ϕ(x+y)+ψ(x-y)$ for some twice differentiable functions $ϕ, ψ$.
We survey some principal results and open problems related to colorings of geometric and algebraic objects endowed with symmetries, concentrating the exposition on the maximal symmetry numbers of such objects.
Given a group $X$ we study the algebraic structure of the compact right-topological semigroup $λ(X)$ consisting of maximal linked systems on $X$. This semigroup contains the semigroup $β(X)$ of ultrafilters as a closed subsemigroup. We construct a faithful representation of the semigroup $λ(X)$ in the semigroup of all self-maps of the power-set of $X$ and using this representation describe the structure of minimal ideal and minimal left ideals of $λ(X)$ for each twinic group $X$. The class of twinic groups includes all amenable groups and all groups with periodic commutators but does not include the free group with two generators.
Given a topological group $G$ we calculate or evaluate the cardinal characteristic $c_k(G)$ (and $c_k^B(G)$) equal to the smallest cardinality of a $k$-centerpole subset $C\subset G$ for (Borel) colorings of $G$. A subset $C\subset G$ of a topological group $G$ is called {\em $k$-centerpole} if for each (Borel) $k$-coloring of $G$ there is an unbounded monochromatic subset $G$, which is symmetric with respect to a point $c\in C$ in the sense that $S=cS^{-1}c$.
We introduce and study varions notions of completeness of translation-invariant ideals in groups.
We prove that for each dense non-compact linear operator $S:X\to Y$ between Banach spaces there is a linear operator $T:Y\to c_0$ such that the operator $TS:X\to c_0$ is not compact. This generalizes the Josefson-Nissenzweig Theorem.
We detect Hilbert manifolds among isometrically homogeneous metric spaces and apply the obtained results to recognizing Hilbert manifolds among homogeneous spaces of the form G/H where G is a metrizable topological group and H is a closed balanced subgroup of G.
We study the topological structure of the direct limit $\glim G_n$ of a tower of topological groups $(G_n)$ in the category of topological groups and show that under some conditions on the tower $(G_n)$ the topology of $\glim G_n$ coincides with the topology of the direct limit $\ulim G_n$ of the groups $G_n$ endowed with the Roelcke uniformity in the category of uniform spaces.
We study algebraic and topological properties of topological semigroups containing a copy of the bicyclic semigroup C(p,q). We prove that each topological semigroup S with pseudocompact square contains no dense copy of C(p,q). On the other hand, we construct a (consistent) example of a pseudocompact (countably compact) Tychonov semigroup containing a copy of C(p,q).
We study algebraic and topological properties of subsemigroups of the hyperspace exp(G) of non-empty compact subsets of a topological group G endowed with the Vietoris topology and the natural semigroup operation. On this base we prove that a compact Clifford topological semigroup S is topologically isomorphic to a subsemigroup of exp(G) for a suitable topological group G if and only if S is a topological inverse semigroup with zero-dimensional idempotent semilattice.
Given a continuous monadic functor T in the category of Tychonov spaces for each discrete topological semigroup X we extend the semigroup operation of X to a right-topological semigroup operation on TX whose topological center contains the dense subsemigroup of all elements of TX that have finite support.
We prove that for a complete quasivariety $K$ of topological $E$-algebras of countable discrete signature $E$ and each submetrizable $ANR(k_ω)$-space $X$ its free topological $E$-algebra $F_K(X)$ in the class $K$ is a submetrizable $ANR(k_ω)$-space.
The book is devoted to constructing embedding finite-dimensional maps into trivial bundles and investigating the corresponding general position properties.
For a non-compact n-manifold M let H(M) denote the group of homeomorphisms of M endowed with the Whitney topology and H_c(M) the subgroup of H(M) consisting of homeomorphisms with compact support. It is shown that the group H_c(M) is locally contractible and the identity component H_0(M) of H(M) is an open normal subgroup in H_c(M). This induces the topological factorization H_c(M) \approx H_0(M) \times \M_c(M) for the mapping class group \M_c(M) = H_c(M)/H_0(M) with the discrete topology. Furthermore, for any non-compact surface M, the pair (H(M), H_c(M)) is locally homeomorphic to (\square^w l_2,\cbox^w l_2) at the identity id_M of M. Thus the group H_c(M) is an (l_2 \times R^\infty)-manifold. We also study topological properties of the group D(M) of diffeomorphisms of a non-compact smooth n-manifold M endowed with the Whitney C^\infty-topology and the subgroup D_c(M) of D(M) consisting of all diffeomorphisms with compact support. It is shown that the pair (D(M),D_c(M)) is locally homeomorphic to (\square^w l_2, \cbox^w l_2) at the identity id_M of M. Hence the group D_c(M) is a topological (l_2 \times R^\infty)-manifold for any dimension n.
We survey some properties of homotopical and homological $Z_n$-sets in topological spaces.
A paratopological group $G$ is saturated if the inverse $U^{-1}$ of each non-empty set $U\subset G$ has non-empty interior. It is shown that a [first-countable] paratopological group $H$ is a closed subgroup of a saturated (totally bounded) [abelian] paratopological group if and only if $H$ admits a continuous bijective homomorphism onto a (totally bounded) [abelian] topological group $G$ [such that for each neighborhood $U\subset H$ of the unit $e$ there is a closed subset $F\subset G$ with $e\in h^{-1}(F)\subset U$]. As an application we construct a paratopological group whose character exceeds its $π$-weight as well as the character of its group reflexion. Also we present several examples of (para)topological groups which are subgroups of totally bounded paratopological groups but fail to be subgroups of regular totally bounded paratopological groups.
We prove that if an ultrafilter L is not coherent to a Q-point, then each analytic non-sigma-bounded topological group G admits an increasing chain <G_a : a < b(L)> of its proper subgroups such that: (i) U_{a in b(L)} G_a=G; and $(ii)$ For every sigma-bounded subgroup H of G there exists a such that H is a subset of G_a. In case of the group Sym(w) of all permutations of w with the topology inherited from w^w this improves upon earlier results of S. Thomas.
Given a family $F$ of subsets of a group $G$ we describe the structure of its thin-completion $τ^*(F)$, which is the smallest thin-complete family that contains $I$. A family $F$ of subsets of $G$ is called thin-complete if each $F$-thin subset of $G$ belongs to $F$. A subset $A$ of $G$ is called $F$-thin if for any distinct points $x,y$ of $G$ the intersection $xA\cap yA$ belongs to the family $F$. We prove that the thin-completion of an ideal in an ideal. If $G$ is a countable non-torsion group, then the thin-completion $τ^*(F_G)$ of the ideal $F_G$ of finite subsets of $G$ is coanalytic but not Borel in the power-set $P_G$ of $G$.
Can the real line with removed zero be covered by countably many linearly (algebraically) independent subsets over the field of rationals? We use a matroid approach to show that an answer is "Yes" under the Continuum Hypothesis, and "No" under its negation.
For a topological monoid S the dual inverse monoid is the topological monoid of all identity preserving homomorphisms from S to the circle with attached zero. A topological monoid S is defined to be reflexive if the canonical homomorphism from S to its second dual inverse monoid is a topological isomorphism. We prove that a (compact or discrete) topological inverse monoid S is reflexive (if and) only if S is abelian and the idempotent semilattice of S is zero-dimensional. For a discrete (resp. compact) topological monoid its dual inverse monoid is compact (resp. discrete). These results unify the Pontryagin-van Kampen Duality Theorem for abelian groups and the Hofmann-Mislove-Stralka Duality Theorem for zero-dimensional topological semilattices.
Let X be a locally compact Polish space and G a non-discrete Polish ANR group. By C(X,G), we denote the topological group of all continuous maps f:X \to G endowed with the Whitney (graph) topology and by C_c(X,G) the subgroup consisting of all maps with compact support. It is known that if X is compact and non-discrete then the space C(X,G) is an l_2-manifold. In this article we show that if X is non-compact and not end-discrete then C_c(X,G) is an (R^\infty \times l_2)-manifold, and moreover the pair (C(X,G), C_c(X,G)) is locally homeomorphic to the pair of the box and the small box powers of l_2.
A metric space $M$ us said to have the fibered approximation property in dimension $n$ (br., $M\in \mathrm{FAP}(n)$) if for any $ε>0$, $m\geq 0$ and any map $g: I^m\times I^n\to M$ there exists a map $g':I^m\times I^n\to M$ such that $g'$ is $ε$-homotopic to $g$ and $\dim g'\big(\{z\}\times I^n\big)\leq n$ for all $z\in I^m$. The class of spaces having the $\mathrm{FAP}(n)$-property is investigated in this paper. The main theorems are applied to obtain generalizations of some results due to Uspenskij and Tuncali-Valov.
We prove that each infinite 2-group with a unique 2-element subgroup is isomorphic either to the quasicyclic 2-group or to the infinite group of generalized quaternions.
We prove that each non-separable completely metrizable convex subset of a Frechet space is homeomorphic to a Hilbert space. This resolves an old (more than 30 years) problem of infinite-dimensional topology. Combined with the topological classification of separable convex sets due to Klee, Dobrowoslki and Torunczyk, this result implies that each closed convex subset of a Frechet space is homemorphic to $[0,1]^n\times [0,1)^m\times l_2(k)$ for some cardinals $0\le n\leω$, $0\le m\le 1$ and $k\ge 0$.
A topological group $G$ is called an $M_ω$-group if it admits a countable cover $\K$ by closed metrizable subspaces of $G$ such that a subset $U$ of $G$ is open in $G$ if and only if $U\cap K$ is open in $K$ for every $K\in\K$. It is shown that any two non-metrizable uncountable separable zero-dimenisional $M_ω$-groups are homeomorphic. Together with Zelenyuk's classification of countable $k_ω$-groups this implies that the topology of a non-metrizable zero-dimensional $M_ω$-group $G$ is completely determined by its density and the compact scatteredness rank $r(G)$ which, by definition, is equal to the least upper bound of scatteredness indices of scattered compact subspaces of $G$.
We answer several questions of I.Protasov and E.Zelenyuk concerning topologies on groups determined by T-sequences. A special attention is paid to studying the operation of supremum of two group topologies.
We prove that each metrizable space (of cardinality less or equal to continuum) has a (first countable) uniform Eberlein compactification and each scattered metrizable space has a scattered hereditarily paracompact compactification. Each compact scattered hereditarily paracompact space is uniform Eberlein and belongs to the smallest class of compact spaces, that contain the empty set, the singleton, and is closed under producing the Aleksandrov compactification of the topological sum of a family of compacta from that class.
The $n$-th Zariski topology on a group $G$ is generated by the sub-base consiting of the cozero sets of monomials of degree $\le n$ on $G$. We prove that for each group $G$ the 2-nd Zariski topology is not discrete and present an example of a group $G$ of cardinality continuum whose 2-nd Zariski topology has countable pseudocharacter. On the other hand, the non-topologizable group $G$ constructed by Ol'shanskii has discrete 665-th Zariski topology.
Let $D$ denote a disk of unit area. We call a subset $A$ of $D$ perfect if it has measure 1/2 and, with respect to any axial symmetry of $D$, the maximal symmetric subset of $A$ has measure 1/4. We call a curve $β$ in $D$ an yin-yang line if $β$ splits $D$ into two congruent perfect sets, $β$ crosses each concentric circle of $D$ twice, $β$ crosses each radius of $D$ once. We prove that Fermat's spiral is a unique yin-yang line in the class of smooth curves algebraic in polar coordinates.
Suppose G is a topological group containing a (closed) topological copy of the Frechet-Urysohn fan. If G is a perfectly normal sequential space (a normal k-space) then every closed metrizable subset in $G$ is locally compact. Applying this result to topological groups whose underlying topological space can be written as a direct limit of a sequence of closed metrizable subsets, we get that every such a group either is metrizable or is homeomorphic to the product of a $k_ω$-space and a discrete space.
We prove that the group D^r(R) of C^r diffeomorphisms of the real line, endowed with the compact-open and Whitney C^r topologies, is bihomeomorphic to the group H(R) of homeomorphisms of the real line endowed with the compact-open and Whitney topologies. This implies that the diffeomorphism group D^r(R) endowed with the Whitney C^r topology is homeomorphic to the countable box-power of the separable Hilbert space.
We detect topological semigroups that are topological paragroups, i.e., are isomorphic to a Rees product of a topological group over topological spaces with a continuous sandwich function. We prove that a simple topological semigroup $S$ is a topological paragroup if one of the following conditions is satisfied: (1) $S$ is completely simple and the maximal subgroups of $S$ are topological groups, (2) $S$ contains an idempotent and the square $S\times S$ is countably compact or pseudocompact, (3) $S$ is sequentially compact or each power of $S$ is countably compact. The last item generalizes an old Wallace's result saying that each simple compact topological semigroup is a topological paragroup.
In this paper we introduce and study three new cardinal topological invariants called the cs*, cs-, and sb-characters. The class of topological spaces with countable cs*-character is closed under many topological operations and contains all aleph-spaces and all spaces with point-countable cs*-network. Our principal result states that each non-metrizable sequential topological group with countable cs*-character has countable pseudo-character and contains an open $k_ω$-subgroup.
Let $(X_n)_{n}$ be a sequence of uniform spaces such that each space $X_n$ is a closed subspace in $X_{n+1}$. We give an explicit description of the topology and uniformity of the direct limit $u-lim X_n$ of the sequence $(X_n)$ in the category of uniform spaces. This description implies that a function $f:u-lim X_n\to Y$ to a uniform space $Y$ is continuous if for every $n$ the restriction $f|X_n$ is continuous and regular at the subset $X_{n-1}$ in the sense that for any entourages $U\in\U_Y$ and $V\in\U_X$ there is an entourage $V\in\U_X$ such that for each point $x\in B(X_{n-1},V)$ there is a point $x'\in X_{n-1}$ with $(x,x')\in V$ and $(f(x),f(x'))\in U$. Also we shall compare topologies of direct limits in various categories.
Given a countable group $X$ we study the algebraic structure of its superextension $λ(X)$. This is a right-topological semigroup consisting of all maximal linked systems on $X$ endowed with the operation $$\mathcal A\circ\mathcal B=\{C\subset X:\{x\in X:x^{-1}C\in\mathcal B\}\in\mathcal A\}$$ that extends the group operation of $X$. We show that the subsemigroup $λ^\circ(X)$ of free maximal linked systems contains an open dense subset of right cancelable elements. Also we prove that the topological center of $λ(X)$ coincides with the subsemigroup $λ^\bullet(X)$ of all maximal linked systems with finite support. This result is applied to show that the algebraic center of $λ(X)$ coincides with the algebraic center of $X$ provided $X$ is countably infinite. On the other hand, for finite groups $X$ of order $3\le|X|\le5$ the algebraic center of $λ(X)$ is strictly larger than the algebraic center of $X$.
We prove that the semigroup operation of a topological semigroup $S$ extends to a continuous semigroup operation on its the Stone-Čech compactification $βS$ provided $S$ is a pseudocompact openly factorizable space, which means that each map $f:S\to Y$ to a second countable space $Y$ can be written as the composition $f=g\circ p$ of an open map $p:X\to Z$ onto a second countable space $Z$ and a map $g:Z\to Y$. We present a spectral characterization of openly factorizable spaces and establish some properties of such spaces.
For a subset $A$ of a Polish group $G$, we study the (almost) packing index $\ind_P(A)$ (resp. $\Ind_P(A)$) of $A$, equal to the supremum of cardinalities $|S|$ of subsets $S\subset G$ such that the family of shifts $\{xA\}_{x\in S}$ is (almost) disjoint (in the sense that $|xA\cap yA|<|A|$ for any distinct points $x,y\in S$). Subsets $A\subset G$ with small (almost) packing index are small in a geometric sense. We show that $\ind_P(A)\in \IN\cup\{\aleph_0,\cc\}$ for any $σ$-compact subset $A$ of a Polish group. If $A\subset G$ is Borel, then the packing indices $\ind_P(A)$ and $\Ind_P(A)$ cannot take values in the half-interval $[\sq(Π^1_1),\cc)$ where $\sq(Π^1_1)$ is a certain uncountable cardinal that is smaller than $\cc$ in some models of ZFC. In each non-discrete Polish Abelian group $G$ we construct two closed subsets $A,B\subset G$ with $\ind_P(A)=\ind_P(B)=\cc$ and $\Ind_P(A\cup B)=1$ and then apply this result to show that $G$ contains a nowhere dense Haar null subset $C\subset G$ with $\ind_P(C)=\Ind_P(C)=κ$ for any given cardinal number $κ\in[4,\cc]$.