BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Petr Hájek 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
We construct a complete metric space $M$ of cardinality continuum such that every non-singleton closed separable subset of $M$ fails to be a Lipschitz retract of $M$. This provides a metric analogue to the various classical and recent examples of Banach spaces failing to have linearly complemented subspaces of prescribed smaller density character.
The Banach space $\mathcal{P}({}^2X)$ of $2$-homogeneous polynomials on the Banach space $X$ can be naturally embedded in the Banach space ${{\rm Lip}_0}(B_X)$ of real-valued Lipschitz functions on $B_X$ that vanish at $0$. We investigate whether $\mathcal{P}({}^2X)$ is a complemented subspace of ${{\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 $\mathcal{P}({}^1X)=X^*$ is complemented in ${{\rm Lip}_0}(B_X)$ for every Banach space $X$. Our main result asserts that $\mathcal{P}({}^2X)$ is not complemented in ${{\rm Lip}_0}(B_X)$ for every Banach space $X$ with non-trivial type.
In the present paper we prove that a necessary condition for a Banach space $X$ to admit a generating compact Lipschitz retract $K$, which satisfies an additional mild assumption on its shape, is that $X$ enjoys the Bounded Approximation Property. This is a partial solution to a question raised by Godefroy and Ozawa.
In the present note we give a construction (based on a retractional argument) of a Schauder basis for the Lipschitz free space $\mathcal{F}(N)$, over a net $N$ in any separable infinite dimensional $\mathcal{L}_\infty$-space $X$. In particular, this yields the first example of an infinite dimensional Banach space $X$ not containing $c_0$ with such a property.
We show that finite dimensional Banach spaces fail to be uniformly non locally almost square. Moreover, we construct an equivalent almost square bidual norm on $\ell_\infty.$ As a consequence we get that every dual Banach space containing $c_0$ has an equivalent almost square dual norm. Finally we characterize separable real almost square spaces in terms of their position in their fourth duals.
In this note we are concerned with the validity of an uncountable analogue of a combinatorial lemma due to Vlastimil Pták. We show that the validity of the result for $ω_1$ can not be decided in ZFC alone. We also provide a sufficient condition, for a class of larger cardinals.
In the first part of our note we prove that every Weakly Lindelöf Determined (WLD) (in particular, every reflexive) non-separable Banach $X$ space contains two dense linear subspaces $Y$ and $Z$ that are not densely isomorphic. This means that there are no further dense linear subspaces $Y_0$ and $Z_0$ of $Y$ and $Z$ 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 $\ell_2(ω_1)$ (or more generally every WLD space of density $ω_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.
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 $X$, the unit sphere $S_X$ always contains an uncountable $(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 $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+\varepsilon)$-separated subset of any regular cardinality not exceeding the density of $X$; should the space $X$ be super-reflexive, the unit sphere of $X$ contains such a subset of cardinality equal to the density of $X$. The said problem is studied for other classes of spaces too, including the RNP spaces or strictly convex ones.
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 $\ell_1(\mathfrak{c})$, also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of $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^{\infty}$-smooth norm. Finally, we prove that there is a proper dense subspace of $\ell_{\infty}^{c}(ω_1)$ that admits no Gâteaux smooth norm. (Here, $\ell_{\infty}^{c} (ω_1)$ denotes the Banach space of real-valued, bounded, and countably supported functions on $ω_1$.)
We prove that in every separable Banach space $X$ with a Schauder basis and a $C^k$-smooth norm it is possible to approximate, uniformly on bounded sets, every equivalent norm with a $C^k$-smooth one in a way that the approximation is improving as fast as we wish on the elements depending only on the tail of the Schauder basis. Our result solves a problem from the recent monograph of Guirao, Montesinos and Zizler.
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 $A$ with the property that $\|x\pm y\| > 1$ for distinct elements $x,y\in A$, thereby answering a question of J. M. F. Castillo. In the case where $X$ contains an infinite-dimensional separable dual space or an unconditional basic sequence, the set $A$ may be chosen in a way that $\|x\pm y\| \geqslant 1+\varepsilon$ for some $\varepsilon > 0$ and distinct $x,y\in A$. Under additional structural properties of $X$, such as non-trivial cotype, we obtain quantitative estimates for the said $\varepsilon$. Certain renorming results are also presented.
We give several structural results concerning the Lipschitz-free spaces $\mathcal F(M)$, where $M$ is a metric space. We show that $\mathcal F(M)$ contains a complemented copy of $\ell_1(Γ)$, where $Γ=\text{dens}(M)$. If $\mathcal N$ is the net in a finite dimensional Banach space $X$, we show that $\mathcal F(\mathcal N)$ is isomorphic to its square. If $X$ contains a complemented copy of $\ell_p, c_0$ then $\mathcal F(\mathcal N)$ is isomorphic to its $\ell_1$-sum. Finally, we prove that for all $X\cong C(K)$ spaces $\mathcal F(\mathcal N)$ are mutually isomorphic spaces with a Schauder basis.
We prove that for any separable Banach space $X$, there exists a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space contains a complemented subspace isomorphic to $X$. 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.
In 1970 Haskell Rosenthal proved that if $X$ is a Banach space, $Γ$ is an infinite index set, and $T:\ell_\infty(Γ)\to X$ is a bounded linear operator such that $\inf_{γ\inΓ}\|T(e_γ)\|>0$ then $T$ 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_{\ell_\infty(Γ)}\to X$ is uniformly differentiable and such that $\inf_{γ\inΓ}\|{F}(e_γ){-F(0)}\|>0$ then there exists $x\in B_{\ell_\infty(Γ)}$ such that $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 $Γ$.
A typical result in this note is that if $X$ is a Banach space which is a weak Asplund space and has the $ω^*$-$ω$-Kadets Klee property, then $X$ is already an Asplund space.
Let X be a separable real Banach space having a k-times continuously Fréchet differentiable (i.e. C^k-smooth) norm where k=1,...,\infty. We show that any equivalent norm on X can be approximated uniformly on bounded sets by C^k-smooth norms.