BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

T. Banakh

T. Banakh contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GNmath.FAmath.GTmath.ATmath.GRmath.MGmath.AGmath.COmath.CTmath.RA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
16works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

16 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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γ$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access