Source author record

Petr Hájek

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

16works
4topics
4close collaborators

Published work

16 publications

preprint2022arXiv

Projecting Lipschitz functions onto spaces of polynomials

The Banach space P(2X)\mathcal{P}({}^2X) of 22-homogeneous polynomials on the Banach space XX can be naturally embedded in the Banach space Lip0(BX){{\rm Lip}_0}(B_X) of real-valued Lipschitz functions on BXB_X that vanish at 00. We investigate whether P(2X)\mathcal{P}({}^2X) is a complemented subspace of Lip0(BX){{\rm Lip}_0}(B_X). This line of research can be considered as a polynomial counterpart to a classical result by Joram Lindenstrauss, asserting that P(1X)=X∗\mathcal{P}({}^1X)=X^* is complemented in Lip0(BX){{\rm Lip}_0}(B_X) for every Banach space XX. Our main result asserts that P(2X)\mathcal{P}({}^2X) is not complemented in Lip0(BX){{\rm Lip}_0}(B_X) for every Banach space XX with non-trivial type.

preprint2020arXiv

On densely isomorphic normed spaces

In the first part of our note we prove that every Weakly Lindelöf Determined (WLD) (in particular, every reflexive) non-separable Banach XX space contains two dense linear subspaces YY and ZZ that are not densely isomorphic. This means that there are no further dense linear subspaces Y0Y_0 and Z0Z_0 of YY and ZZ which are linearly isomorphic. Our main result (Theorem B) concerns the existence of biorthogonal systems in normed spaces. In particular, we prove under the Continuum Hypothesis (CH) that there exists a dense linear subspace of ℓ2(ω1)\ell_2(ω_1) (or more generally every WLD space of density ω1ω_1) which contains no uncountable biorthogonal system. This result lies between two fundamental results concerning biorthogonal systems, namely the construction of Kunen (under CH) of a non-separable Banach space which contains no uncountable biorthogonal system, and the construction of Todorucević (under Martin Maximum) of an uncountable biorthogonal system in every non-separable Banach space.

preprint2020arXiv

Separated sets and Auerbach systems in Banach spaces

The paper elucidates the relationship between the density of a Banach space and possible sizes of well-separated subsets of its unit sphere. For example, it is proved that for a large enough space XX, the unit sphere SXS_X always contains an uncountable (1+)(1+)-separated subset. In order to achieve this, new results concerning the existence of large Auerbach systems are established that happen to be sharp for the class of WLD spaces. In fact, we offer the first consistent example of a non-separable WLD Banach space that contains no uncountable Auerbach system, as witnessed by a renorming of c0(ω1)c_0(ω_1). Moreover, the following optimal results for the classes of, respectively, reflexive and super-reflexive spaces are established: the unit sphere of an infinite-dimensional reflexive space contains a symmetrically (1+ε)(1+\varepsilon)-separated subset of any regular cardinality not exceeding the density of XX; should the space XX be super-reflexive, the unit sphere of XX contains such a subset of cardinality equal to the density of XX. The said problem is studied for other classes of spaces too, including the RNP spaces or strictly convex ones.

preprint2020arXiv

Smooth norms in dense subspaces of Banach spaces

In the first part of our paper, we show that ℓ∞\ell_\infty has a dense linear subspace which admits an equivalent real analytic norm. As a corollary, every separable Banach space, as well as ℓ1(c)\ell_1(\mathfrak{c}), also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of c0(ω1)c_0(ω_1) admits an analytic norm. In the second part, we prove (solving in particular an open problem of Guirao, Montesinos, and Zizler) that every Banach space with a long unconditional Schauder basis contains a dense subspace that admits a C∞C^{\infty}-smooth norm. Finally, we prove that there is a proper dense subspace of ℓ∞c(ω1)\ell_{\infty}^{c}(ω_1) that admits no Gâteaux smooth norm. (Here, ℓ∞c(ω1)\ell_{\infty}^{c} (ω_1) denotes the Banach space of real-valued, bounded, and countably supported functions on ω1ω_1.)

preprint2020arXiv

Symmetrically separated sequences in the unit sphere of a Banach space

We prove the symmetric version of Kottman's theorem, that is to say, we demonstrate that the unit sphere of an infinite-dimensional Banach space contains an infinite subset AA with the property that ∥x±y∥>1\|x\pm y\| > 1 for distinct elements x,y∈Ax,y\in A, thereby answering a question of J. M. F. Castillo. In the case where XX contains an infinite-dimensional separable dual space or an unconditional basic sequence, the set AA may be chosen in a way that ∥x±y∥⩾1+ε\|x\pm y\| \geqslant 1+\varepsilon for some ε>0\varepsilon > 0 and distinct x,y∈Ax,y\in A. Under additional structural properties of XX, such as non-trivial cotype, we obtain quantitative estimates for the said ε\varepsilon. Certain renorming results are also presented.

preprint2017arXiv

Some remarks on the structure of Lipschitz-free spaces

We give several structural results concerning the Lipschitz-free spaces F(M)\mathcal F(M), where MM is a metric space. We show that F(M)\mathcal F(M) contains a complemented copy of ℓ1(Γ)\ell_1(Γ), where Γ=dens(M)Γ=\text{dens}(M). If N\mathcal N is the net in a finite dimensional Banach space XX, we show that F(N)\mathcal F(\mathcal N) is isomorphic to its square. If XX contains a complemented copy of ℓp,c0\ell_p, c_0 then F(N)\mathcal F(\mathcal N) is isomorphic to its ℓ1\ell_1-sum. Finally, we prove that for all X≅C(K)X\cong C(K) spaces F(N)\mathcal F(\mathcal N) are mutually isomorphic spaces with a Schauder basis.

preprint2015arXiv

Approximation and Schur properties for Lipschitz free spaces over compact metric spaces

We prove that for any separable Banach space XX, there exists a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space contains a complemented subspace isomorphic to XX. As a consequence we give an example of a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space fails the approximation property and we prove that there exists an uncountable family of topologically equivalent distances on the Cantor space whose free spaces are pairwise non isomorphic. We also prove that the free space over a countable compact metric space has the Schur property. These results answer questions by G. Godefroy.

preprint2015arXiv

On uniformly differentiable mappings from ℓ∞(Γ)\ell_\infty(Γ)

In 1970 Haskell Rosenthal proved that if XX is a Banach space, ΓΓ is an infinite index set, and T:ℓ∞(Γ)→XT:\ell_\infty(Γ)\to X is a bounded linear operator such that inf⁡γ∈Γ∥T(eγ)∥>0\inf_{γ\inΓ}\|T(e_γ)\|>0 then TT acts as an isomorphism on ℓ∞(Γ′)\ell_\infty(Γ'), for some Γ′⊂ΓΓ'\subsetΓ of the same cardinality as ΓΓ. Our main result is a nonlinear strengthening of this theorem. More precisely, under the assumption of GCH and the regularity of ΓΓ, we show that if F:Bℓ∞(Γ)→X{F}:B_{\ell_\infty(Γ)}\to X is uniformly differentiable and such that inf⁡γ∈Γ∥F(eγ)−F(0)∥>0\inf_{γ\inΓ}\|{F}(e_γ){-F(0)}\|>0 then there exists x∈Bℓ∞(Γ)x\in B_{\ell_\infty(Γ)} such that dF(x)[⋅]d{F}(x)[\cdot] is a bounded linear operator which acts as an isomorphism on ℓ∞(Γ′)\ell_\infty(Γ'), for some Γ′⊂ΓΓ'\subsetΓ of the same cardinality as ΓΓ.

Research graph

See the researcher in context

Open full explorer

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.