Source author record

T. Banakh

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GN math.FA math.GT math.AT math.GR math.MG math.AG math.CO math.CT math.RA

Catalog footprint

Research overview

16works

10topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

The $\ell^p$ -metrization of functors with finite supports

Let $p\in[1,\infty]$ and $F:\mathbf{Set}\to\mathbf{Set}$ be a functor with finite supports in the category $\mathbf{Set}$ of sets. Given a non-empty metric space $(X,d_X)$ , we introduce the distance $d^p_{FX}$ on the functor-space $FX$ as the largest distance such that for every $n\in\mathbb N$ and $a\in Fn$ the map $X^n\to FX$ , $f\mapsto Ff(a)$ , is non-expanding with respect to the $\ell^p$ -metric $d^p_{X^n}$ on $X^n$ . We prove that the distance $d^p_{FX}$ is a pseudometric if and only if the functor $F$ preserves singletons; $d^p_{FX}$ is a metric if $F$ preserves singletons and one of the following conditions holds: (1) the metric space $(X,d_X)$ is Lipschitz disconnected, (2) $p=1$ , (3) the functor $F$ has finite degree, (4) $F$ preserves supports. We prove that for any Lipschitz map $f:(X,d_X)\to (Y,d_Y)$ between metric spaces the map $Ff:(FX,d^p_{FX})\to (FY,d^p_{FY})$ is Lipschitz with Lipschitz constant $\mathrm{Lip}(Ff)\le \mathrm{Lip}(f)$ . If the functor $F$ is finitary, has finite degree (and preserves supports), then $F$ preserves uniformly continuous function, coarse functions, coarse equivalences, asymptotically Lipschitz functions, quasi-isometries (and continuous functions). For many dimension functions we prove the formula $\dim F^pX\le\mathrm{deg}(F)\cdot\dim X$ . Using injective envelopes, we introduce a modification $\check d^p_{FX}$ of the distance $d^p_{FX}$ and prove that the functor $\check F^p:\mathbf{Dist}\to\mathbf{Dist}$ , $\check F^p:(X,d_X)\mapsto (FX,\check d^p_{FX})$ , in the category $\mathbf{Dist}$ of distance spaces preserves Lipschitz maps and isometries between metric spaces.

preprint2018arXiv

Josefson-Nissenzweig property for $C_p$ -spaces

The famous Rosenthal-Lacey theorem asserts that for each infinite compact space $K$ the Banach space $C(K)$ admits a quotient which is either a copy of $c_{0}$ or $\ell_{2}$ . The aim of the paper is to study a natural variant of this result for the space $C_{p}(K)$ of continuous real-valued maps on $K$ with the pointwise topology. Following famous Josefson-Nissenzweig theorem for infinite-dimensional Banach spaces we introduce a corresponding property (called Josefson-Nissenzweig property, briefly, the JNP) for $C_{p}$ -spaces. We prove: For a Tychonoff space $X$ the space $C_p(X)$ satisfies the JNP if and only if $C_p(X)$ has a quotient isomorphic to $c_{0}$ (with the product topology of $\mathbb R^\mathbb{N}$ ) if and only if $C_{p}(X)$ contains a complemented subspace, isomorphic to $c_0$ . For a pseudocompact space $X$ the space $C_p(X)$ has the JNP if and only if $C_p(X)$ has a complemented metrizable infinite-dimensional subspace. This applies to show that for a Tychonoff space $X$ the space $C_p(X)$ has a complemented subspace isomorphic to $\mathbb R^{\mathbb N}$ or $c_0$ if and only if $X$ is not pseudocompact or $C_p(X)$ has the JNP. The space $C_{p}(β\mathbb{N})$ contains a subspace isomorphic to $c_0$ and admits a quotient isomorphic to $\ell_{\infty}$ but fails to have a quotient isomorphic to $c_{0}$ . An example of a compact space $K$ without infinite convergent sequences with $C_{p}(K)$ containing a complemented subspace isomorphic to $c_{0}$ is constructed.

preprint2018arXiv

Metrizable quotients of $C_p$ -spaces

The famous Rosenthal-Lacey theorem asserts that for each infinite compact set $K$ the Banach space $C(K)$ admits a quotient which is either a copy of $c$ or $\ell_{2}$ . What is the case when the uniform topology of $C(K)$ is replaced by the pointwise topology? Is it true that $C_p(X)$ always has an infinite-dimensional separable (or better metrizable) quotient? In this paper we prove that for a Tychonoff space $X$ the function space $C_p(X)$ has an infinite-dimensional metrizable quotient if $X$ either contains an infinite discrete $C^*$ -embedded subspace or else $X$ has a sequence $(K_n)_{n\in\mathbb N}$ of compact subsets such that for every $n$ the space $K_n$ contains two disjoint topological copies of $K_{n+1}$ . Applying the latter result, we show that under $\lozenge$ there exists a zero-dimensional Efimov space $K$ whose function space $C_{p}(K)$ has an infinite-dimensional metrizable quotient. These two theorems essentially improve earlier results of Kąkol and Śliwa on infinite-dimensional separable quotients of $C_p$ -spaces.

preprint2015arXiv

Characterizing meager paratopological groups

We prove that a Hausdorff paratopological group G is meager if and only if there are a nowhere dense subset A of G and a countable subset C in G such that CA=G=AC.

preprint2013arXiv

Topological structure of non-separable sigma-locally compact convex sets

For an infinite cardinal $κ$ let $\ell_2(κ)$ be the linear hull of the standard othonormal base of the Hilbert space $\ell_2(κ)$ of density $κ$ . We prove that a non-separable convex subset $X$ of density $κ$ in a locally convex linear metric space if homeomorphic to the space (i) $\ell_2^f(κ)$ if and only if $X$ can be written as countable union of finite-dimensional locally compact subspaces, (ii) $[0,1]^ω\times \ell_2^f(κ)$ if and only if $X$ contains a topological copy of the Hilbert cube and $X$ can be written as a countable union of locally compact subspaces.

preprint2012arXiv

Algebraic and topological properties of some sets in $l_1$

For a sequence $x \in l_1 \setminus c_{00}$ , one can consider the set $E(x)$ of all subsums of series $\sum_{n=1}^{\infty} x(n)$ . Guthrie and Nymann proved that $E(x)$ is one of the following types of sets: (I) a finite union of closed intervals; (C) homeomorphic to the Cantor set; (MC) homeomorphic to the set $T$ of subsums of $\sum_{n=1}^\infty b(n)$ where $b(2n-1) = 3/4^n$ and $b(2n) = 2/4^n$ . By $I$ , $C$ and $MC$ we denote the sets of all sequences $x \in l_1 \setminus c_{00}$ , such that $E(x)$ has the corresponding property. In this note we show that $I$ and $C$ are strongly $\mathfrak{c}$ -algebrable and $MC$ is $\mathfrak{c}$ -lineable. We show that $C$ is a dense $G_δ$ -set in $l_1$ and $I$ is a true $F_σ$ -set. Finally we show that $I$ is spaceable while $C$ is not spaceable.

preprint2012arXiv

Compactly convex sets in linear topological spaces

A convex subset X of a linear topological space is called compactly convex if there is a continuous compact-valued map $Φ:X\to exp(X)$ such that $[x,y]\subsetΦ(x)\cup Φ(y)$ for all $x,y\in X$ . We prove that each convex subset of the plane is compactly convex. On the other hand, the space $R^3$ contains a convex set that is not compactly convex. Each compactly convex subset $X$ of a linear topological space $L$ has locally compact closure $\bar X$ which is metrizable if and only if each compact subset of $X$ is metrizable.

preprint2012arXiv

Detecting topological groups which are (locally) homeomorphic to LF-spaces

We present a simple-to-apply criterion for recognizing topological groups that are (locally) homeomorphic to LF-spaces.

preprint2012arXiv

On closed embeddings of free topological algebras

Let $\mathcal K$ be a complete quasivariety of completely regular universal topological algebras of continuous signature $\mathcal E$ (which means that $\mathcal K$ is closed under taking subalgebras, Cartesian products, and includes all completely regular topological $\mathcal E$ -algebras algebraically isomorphic to members of $\mathcal K$ ). For a topological space $X$ by $F(X)$ we denote the free universal $\mathcal E$ -algebra over $X$ in the class $\mathcal K$ . Using some extension properties of the Hartman-Mycielski construction we prove that for a closed subspace $X$ of a metrizable (more generally, stratifiable) space $Y$ the induced homomorphism $F(X)\to F(Y)$ between the respective free universal algebras is a closed topological embedding. This generalizes one result of V.Uspenskii concerning embeddings of free topological groups.

preprint2011arXiv

The dimension of the space of R-places of certain rational function fields

We prove that the space $M(K(x,y))$ of $\mathbb R$ -places of the field $K(x,y)$ of rational functions of two variables with coefficients in a totally Archimedean field $K$ has covering and integral dimensions $\dim M(K(x,y))=\dim_\IZ M(K(x,y))=2$ and the cohomological dimension $\dim_G M(K(x,y))=1$ for any Abelian 2-divisible coefficient group $G$ .

preprint2009arXiv

Connected economically metrizable spaces

A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected sequential topological space X is the image of a nonseparably connected complete metric space Eco(X) under a monotone quotient map. The metric d of the space Eco(X) is economical in the sense that for each infinite subspace A of X the cardinality of the set {d(a,b):a,b in A} does not exceed the density of A. The construction of the space Eco(X) determines a functor Eco from the category Top of topological spaces and their continuous maps into the category Metr of metric spaces and their non-expanding maps.

preprint2009arXiv

The topology of systems of hyperspaces determined by dimension functions

Given a non-degenerate Peano continuum $X$ , a dimension function $D:2^X_*\to[0,\infty]$ defined on the family $2^X_*$ of compact subsets of $X$ , and a subset $Γ\subset[0,\infty)$ , we recognize the topological structure of the system $(2^X,\D_{\leγ}(X))_{α\inΓ}$, where $2^X$ is the hyperspace of non-empty compact subsets of $X$ and $D_{\leγ}(X)$ is the subspace of $2^X$ , consisting of non-empty compact subsets $K\subset X$ with $D(K)\leγ$ .

preprint2008arXiv

Algebra in superextensions of groups, I: zeros and commutativity

Given a 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 characterize right zeros of $λ(X)$ as invariant maximal linked systems on $X$ and prove that $λ(X)$ has a right zero if and only if each element of $X$ has odd order. On the other hand, the semigroup $λ(X)$ contains a left zero if and only if it contains a zero if and only if $X$ has odd order $|X|\le5$ . The semigroup $λ(X)$ is commutative if and only if $|X|\le4$ . We finish the paper with a complete description of the algebraic structure of the semigroups $λ(X)$ for all groups $X$ of cardinality $|X|\le5$ .

preprint2008arXiv

On scatteredly continuous maps between topological spaces

A map $f:X\to Y$ between topological spaces is defined to be {\em scatteredly continuous} if for each subspace $A\subset X$ the restriction $f|A$ has a point of continuity. We show that for a function $f:X\to Y$ from a perfectly paracompact hereditarily Baire Preiss-Simon space $X$ into a regular space $Y$ the scattered continuity of $f$ is equivalent to (i) the weak discontinuity (for each subset $A\subset X$ the set $D(f|A)$ of discontinuity points of $f|A$ is nowhere dense in $A$ ), (ii) the $σ$ -continuity ( $X$ can be written as a countable union of closed subsets on which $f$ is continuous), (iii) the $G_δ$ -measurability (the preimage of each open set is of type $G_δ$ ). Also under Martin Axiom, we construct a $G_δ$ -measurable map $f:X\to Y$ between metrizable separable spaces, which is not piecewise continuous. This answers an old question of V.Vinokurov.

preprint2008arXiv

Symmetric monochromatic subsets in colorings of the Lobachevsky plane

We prove that for each partition of the Lobachevsky plane into finitely many Borel pieces one of the cells of the partition contains an unbounded centrally symmetric subset.

preprint2005arXiv

Characterizing metric spaces whose hyperspaces are absolute neighborhood retracts

We characterize metric spaces $X$ whose hyperspaces $2^X$ or $Bd(X)$ of non-empty closed (bounded) subsets, endowed with the Hausdorff metric, are absolute [neighborhood] retracts.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

T. Banakh

Research overview

Is this your work?

16 publications

The $\ell^p$ -metrization of functors with finite supports

Josefson-Nissenzweig property for $C_p$ -spaces

Metrizable quotients of $C_p$ -spaces

Characterizing meager paratopological groups

Topological structure of non-separable sigma-locally compact convex sets

Algebraic and topological properties of some sets in $l_1$

Compactly convex sets in linear topological spaces

Detecting topological groups which are (locally) homeomorphic to LF-spaces

On closed embeddings of free topological algebras

The dimension of the space of R-places of certain rational function fields

Connected economically metrizable spaces

The topology of systems of hyperspaces determined by dimension functions

Algebra in superextensions of groups, I: zeros and commutativity

On scatteredly continuous maps between topological spaces

Symmetric monochromatic subsets in colorings of the Lobachevsky plane

Characterizing metric spaces whose hyperspaces are absolute neighborhood retracts

See the researcher in context

Building this map preview

T. Banakh

Research overview

Is this your work?

16 publications

The ℓp\ell^pℓp-metrization of functors with finite supports

Josefson-Nissenzweig property for CpC_pCp​-spaces

Metrizable quotients of CpC_pCp​-spaces

Characterizing meager paratopological groups

Topological structure of non-separable sigma-locally compact convex sets

Algebraic and topological properties of some sets in l1l_1l1​

Compactly convex sets in linear topological spaces

Detecting topological groups which are (locally) homeomorphic to LF-spaces

On closed embeddings of free topological algebras

The dimension of the space of R-places of certain rational function fields

Connected economically metrizable spaces

The topology of systems of hyperspaces determined by dimension functions

Algebra in superextensions of groups, I: zeros and commutativity

On scatteredly continuous maps between topological spaces

Symmetric monochromatic subsets in colorings of the Lobachevsky plane

Characterizing metric spaces whose hyperspaces are absolute neighborhood retracts

See the researcher in context

Building this map preview

The $\ell^p$ -metrization of functors with finite supports

Josefson-Nissenzweig property for $C_p$ -spaces

Metrizable quotients of $C_p$ -spaces

Algebraic and topological properties of some sets in $l_1$