The list of known Banach spaces whose linear geometry determines the (nonlinear) democracy functions of their quasi-greedy bases to the extent that they end up being democratic, reduces to $c_0$, $\ell_2$, and all separable $\mathcal{L}_1$-spaces. Oddly enough, these are the only Banach spaces that, when they have an unconditional basis, it is unique. Our aim in this paper is to study the connection between quasi-greediness and democracy of bases in nonlocally convex spaces. We prove that all quasi-greedy bases in $\ell_p$ for $0<p<1$ (which also has a unique unconditional basis) are democratic with fundamental function of the same order as $(m^{1/p})_{m=1}^\infty$. The methods we develop allow us to obtain even more, namely that the same occurs in any separable $\mathcal{L}_p$-space, $0<p<1$, with the bounded approximation property.
We show that for quasi-greedy bases in real or complex Banach spaces the error of the thresholding greedy algorithm of order N is bounded by the best N- term error of approximation times a function of N which depends on the democracy functions and the quasi-greedy constant of the basis. If the basis is democratic this function is bounded by C logN. We show with two examples that this bound is attained for quasi-greedy democratic bases.
We use new methods, specific of non-locally convex quasi-Banach spaces, to investigate when the quasi-greedy bases of a $p$-Banach space for $0<p<1$ are democratic. The novel techniques we obtain permit to show in particular that all quasi-greedy bases of the Hardy space $H_p(\mathbb{D})$ for $0<p<1$ are democratic while, in contrast, no quasi-greedy basis of $H_p(\mathbb{D}^d)$ for $d\ge 2$ is, solving thus a problem that was raised in [F. Albiac, J. L. Ansorena, and P. Wojtaszczyk, \textit{Quasi-greedy bases in $\ell_p$ ($0<p<1$) are democratic}, J. Funct. Anal. \textbf{280} (2021), no. 7, 1…
In nonlinear greedy approximation theory, bidemocratic bases have traditionally played the role of dualizing democratic, greedy, quasi-greedy, or almost greedy bases. In this article we shift the viewpoint and study them for their own sake, just as we would with any other kind of greedy-type bases. In particular we show that bidemocratic bases need not be quasi-greedy, despite the fact that they retain a strong unconditionality flavor which brings them very close to being quasi-greedy. Our constructive approach gives that for each $1<p<\infty$ the space $\ell_p$ has a bidemocratic basis which …
We introduce the notion of a \textit{weight-almost greedy} basis and show that a basis for a real Banach space is $w$-almost greedy if and only if it is both quasi-greedy and $w$-democratic. We also introduce the notion of \textit{weight-semi-greedy} basis and show that a $w$-almost greedy basis is $w$-semi-greedy and that the converse holds if the Banach space has finite cotype.
We study the problem of improving the greedy constant or the democracy constant of a basis of a Banach space by renorming. We prove that every Banach space with a greedy basis can be renormed, for a given $\vare>0$, so that the basis becomes $(1+\vare)$-democratic, and hence $(2+\vare)$-greedy, with respect to the new norm. If in addition the basis is bidemocratic, then there is a renorming so that in the new norm the basis is $(1+\vare)$-greedy. We also prove that in the latter result the additional assumption of the basis being bidemocratic can be removed for a large class of bases. Applicat…
We show that non of the spaces $(\bigoplus_{n=1}^\infty\ell_p)_{\ell_q}$, $1\le p\not= q<\infty$, have a greedy basis. This solves a problem raised by Dilworth, Freeman, Odell and Schlumprect. Similarly, the spaces $(\bigoplus_{n=1}^\infty\ell_p)_{c_0}$, $1\le p<\infty$, and $(\bigoplus_{n=1}^\infty c_o)_{\ell_q}$, $1\le q<\infty$, do not have greedy bases. It follows from that and known results that a class of Besov spaces on $\R^n$ lack greedy bases as well.
We prove thatthe Banach space $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_q}$, which is isomorphic to certain Besov spaces, has a greedy basis whenever $1\leq p \leq\infty$ and $1<q<\infty$. Furthermore, the Banach spaces $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_1}$, with $1<p\le \infty$, and $(\oplus_{n=1}^\infty \ell_p^n)_{c_0}$, with $1\le p<\infty$ do not have a greedy bases. We prove as well that the space $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_q}$ has a 1-greedy basis if and only if $1\leq p=q\le \infty$.
We prove that the sequence spaces $\ell_p\oplus\ell_q$ and the spaces of infinite matrices $\ell_p(\ell_q)$, $\ell_q(\ell_p)$ and $(\bigoplus_{n=1}^\infty \ell_p^n)_{\ell_q}$, which are isomorphic to certain Besov spaces, have an almost greedy basis whenever $0<p<1<q<\infty$. More precisely, we custom-build almost greedy bases in such a way that the Lebesgue parameters grow in a prescribed manner. Our arguments critically depend on the extension of the Dilworth-Kalton-Kutzarova method from [S. J. Dilworth, N. J. Kalton, and D. Kutzarova, On the existence of almost greedy bases in Banach spaces…
Let $\mathcal{F}$ be a hereditary collection of finite subsets of $\mathbb{N}$. In this paper, we introduce and characterize $\mathcal{F}$-(almost) greedy bases. Given such a family $\mathcal{F}$, a basis $(e_n)_n$ for a Banach space $X$ is called $\mathcal{F}$-greedy if there is a constant $C\geqslant 1$ such that for each $x\in X$, $m \in \mathbb{N}$, and $G_m(x)$, we have $$\|x - G_m(x)\|\ \leqslant\ C \inf\left\{\left\|x-\sum_{n\in A}a_ne_n\right\|\,:\, |A|\leqslant m, A\in \mathcal{F}, (a_n)\subset \mathbb{K}\right\}.$$ Here $G_m(x)$ is a greedy sum of $x$ of order $m$, and $\mathbb{K}$ i…
The fact that finite direct sums of two or more mutually different spaces from the family $\{\ell_{p} : 1\le p<\infty\}\cup c_{0}$ fail to have greedy bases is stated in [Dilworth et al., Greedy bases for Besov spaces, Constr. Approx. 34 (2011), no. 2, 281-296]. However, the concise proof that the authors give of this fundamental result in greedy approximation relies on a fallacious argument, namely the alleged uniqueness of unconditional basis up to permutation of the spaces involved. The main goal of this note is to settle the problem by providing a correct proof. For that we first show that…
Motivated by Altshuler's famous characterization of the unit vector basis of $c_0$ or $\ell_p$ among symmetric bases, we obtain similar characterizations among democratic bases and among bidemocratic bases. We also prove a separate characterization of the unit vector basis of $\ell_1$.
We construct for each $0<p\le 1$ an infinite collection of subspaces of $\ell_p$ that extend the example from [J. Lindenstrauss, On a certain subspace of $\ell_{1}$, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 12 (1964), 539-542] of a subspace of $\ell_{1}$ with no unconditional basis. The structure of this new class of $p$-Banach spaces is analyzed and some applications to the general theory of $\mathcal{L}_{p}$-spaces for $0<p<1$ are provided. The introduction of these spaces serves the purpose to develop the theory of conditional quasi-greedy bases in $p$-Banach spaces for $p<1$…
Our aim is to investigate the properties of existence and uniqueness of greedy bases in Banach spaces. We show the non-existence of greedy basis in some Nakano spaces and Orlicz sequence spaces and produce the first-known examples of non-trivial spaces (i.e., different from $c_0$, $\ell_1$, and $\ell_2$) with a unique greedy basis.
Let $X$ be a Banach space and $\mathcal{K}$ be a compact subset in $X$. We consider a greedy algorithm for finding an $n$-dimensional subspace $V_n\subset X$ which can be used to approximate the elements of $\mathcal{K}$. We are interested in how well the space $V_n$ approximates the elements of $\mathcal{K}$. For this purpose we compare the performance of greedy algorithm measured by $σ_n(\mathcal{K})_X:=\text{dist}(\mathcal{K},V_n)_X$ with the Kolmogorov width $d_n(\mathcal{K})_X$ which is the best possible error one can achieve when approximating $\mathcal{K}$ by $n$-dimensional subspaces. …
We prove that, given $2<p<\infty$, the Fourier coefficients of functions in $L_2(\mathbb{T}, \lvert t \rvert^{1-2/p}\, dt)$ belong to $\ell_p$, and that, given $1<p<2$, the Fourier series of sequences in $\ell_p$ belong $L_2(\mathbb{T}, \lvert t \rvert^{2/p-1}\, dt)$. Then, we apply these results to the study of conditional Schauder bases and conditional almost greedy bases in Banach spaces. Specifically, we prove that, for every $1<p<\infty$ and every $0\le α<1$, there is a Schauder basis of $\ell_p$ whose conditionality constants grow as $(m^α)_{m=1}^\infty$, and there is an almost greedy ba…
We prove that the outer $L^p_μ(\ell^r)$ spaces, introduced by Do and Thiele, are isomorphic to Banach spaces, and we show the expected duality properties between them for $1 < p \leq \infty, 1 \leq r < \infty$ or $p=r \in \{ 1, \infty \}$ uniformly in the finite setting. In the case $p=1, 1 < r \leq \infty$, we exhibit a counterexample to uniformity. We show that in the upper half space setting these properties hold true in the full range $1 \leq p,r \leq \infty$. These results are obtained via greedy decompositions of functions in $L^p_μ(\ell^r)$. As a consequence, we establish the equivalenc…
