Searcharxiv⌕ Search

arXiv subjects

Marek Cúth

Publications and source records attributed to Marek Cúth.

28 records · Page 2Linked to original sources
arXiv2020

Complexity of distances: Theory of generalized analytic equivalence relations

We generalize the notion of analytic/Borel equivalence relations, orbit equivalence relations, and Borel reductions between them to their continuous and quantitative counterparts: analytic/Borel pseudometrics, orbit pseudometrics, and Borel reductions between them. We motivate these concepts on examples and we set some basic general theory. We illustrate the new notion of reduction by showing that the Gromov-Hausdorff distance maintains the same complexity if it is defined on the class of all Polish metric spaces, spaces bounded from below, from above, and from both below and above. Then we show that $E_1$ is not reducible to equivalences induced by orbit pseudometrics, generalizing the seminal result of Kechris and Louveau. We answer in negative a question of Ben-Yaacov, Doucha, Nies, and Tsankov on whether balls in the Gromov-Hausdorff and Kadets distances are Borel. In appendix, we provide new methods using games showing that the distance-zero classes in certain pseudometrics are Borel, extending the results of Ben Yaacov, Doucha, Nies, and Tsankov. There is a complementary paper of the authors where reductions between the most common pseudometrics from functional analysis and metric geometry are provided.

math.FA↗
arXiv2019

Isomorphisms between spaces of Lipschitz functions

We develop tools for proving isomorphisms of normed spaces of Lipschitz functions over various doubling metric spaces and Banach spaces. In particular, we show that $\operatorname{Lip}_0(\mathbb{Z}^d)\simeq\operatorname{Lip}_0(\mathbb{R}^d)$, for all $d\in\mathbb{N}$. More generally, we e.g. show that $\operatorname{Lip}_0(Γ)\simeq \operatorname{Lip}_0(G)$, where $Γ$ is from a large class of finitely generated nilpotent groups and $G$ is its Mal'cev closure; or that $\operatorname{Lip}_0(\ell_p)\simeq\operatorname{Lip}_0(L_p)$, for all $1\leq p<\infty$. We leave a large area for further possible research.

math.FA↗
arXiv2019

Large separated sets of unit vectors in Banach spaces of continuous functions

The paper concerns the problem whether a nonseparable $\C(K)$ space must contain a set of unit vectors whose cardinality equals to the density of $\C(K)$ such that the distances between every two distinct vectors are always greater than one. We prove that this is the case if the density is at most continuum and we prove that for several classes of $\C(K)$ spaces (of arbitrary density) it is even possible to find such a set which is $2$-equilateral; that is, the distance between every two distinct vectors is exactly 2.

math.FA↗
arXiv2018

Finitely additive measures and complementability of Lipschitz-free spaces

We prove in particular that the Lipschitz-free space over a finitely-dimensional normed space is complemented in its bidual. For Euclidean spaces the norm of the respective projection is $1$. As a tool to obtain the main result we establish several facts on the structure of finitely additive measures on finitely-dimensional spaces.

math.FA↗
arXiv2016

Isometric embedding of $\ell_1$ into Lipschitz-free spaces and $\ell_\infty$ into their duals

We show that the dual of every infinite-dimensional Lipschitz-free Banach space contains an isometric copy of $\ell_\infty$ and that it is often the case that a Lipschitz-free Banach space contains a $1$-complemented subspace isometric to $\ell_1$. Even though we do not know whether the latter is true for every infinite-dimensional Lipschitz-free Banach space, we show that the space is never rotund. Further, in the last section we survey the relations between "isometric embedding of~$\ell_\infty$ into the dual" and "containing as good copy of~$\ell_1$ as possible" in a general Banach space.

math.FA↗
arXiv2014

Note on Bessaga-Klee classification

We collect several variants of the proof of the third case of the Bessaga-Klee relative classification of closed convex bodies in topological vector spaces. We were motivated by the fact that we have not found anywhere in the literature a complete correct proof. In particular, we point out an error in the proof given in the book of C.~Bessaga and A.~Pełczyński (1975). We further provide a simplified version of T.~Dobrowolski's proof of the smooth classification of smooth convex bodies in Banach spaces which works simultaneously in the topological case.

math.FA↗
arXiv2014

Monotone retractability and retractional skeletons

We prove that a countably compact space is monotonically retractable if and only if it has a full retractional skeleton. In particular, a compact space is monotonically retractable if and only if it is Corson. This gives an answer to a question of R. Rojas-Hern{á}ndez and V. V. Tkachuk. Further, we apply this result to characterize retractional skeleton using a topology on the space of continuous functions, answering thus a question of the first author and a related question of W. Kubiś.

math.GN↗
arXiv2012

Sigma-porosity is separably determined

We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in X if and only if the intersection of A and V is sigma-porous in V. Such a result is proved for several types of sigma-porosity. The proof is done using the method of elementary submodels, hence the results can be combined with other separable reduction theorems. As an application we extend a theorem of L.Zajicek on differentiability of Lipschitz functions on separable Asplund spaces to the nonseparable setting.

math.FA↗
arXiv2011

Separable reduction theorems by the method of elementary submodels

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to a special separable subspace, dependent only on the given set (function). We are interested in properties of sets "to be dense, nowhere dense, meager, residual or porous" and in properties of functions "to be continuous, semicontinuous or Fréchet differentiable". Our method of creating separable subspaces enables us to combine our results, so we easily get separable reductions of function properties such as "be continuous on a dense subset", "be Fréchet differentiable on a residual subset", etc. Finally, we show some applications of presented separable reduction theorems and demonstrate that some results of Zajicek, Lindenstrauss and Preiss hold in nonseparable setting as well.

math.FA↗