It is shown that the weak $L^p$ spaces ${\ell }^{p,\infty },L^{p,\infty }[0,1]$, and $L^{p,\infty }[0,\infty )$ are isomorphic as Banach spaces.

Bessaga and Pełczyński showed that if $c_0$ embeds in the dual $X^{*}$ of a Banach space X, then ${\ell }^1$ embeds as a complemented subspace of X. Pełczyński proved that every infinite-dimensional closed linear subspace of ${\ell }^1$ contains a copy of ${\ell }^1$ that is complemented in ${\ell }^1$. Later, Kadec and Pełczyński proved that every non-reflexive closed linear subspace of $L^1[0,1]$ contains a copy of ${\ell }^1$ that is complemented in $L^1[0,1]$. In this note a traditional sliding hump argument is used to establish a simple mapping property of...

It is shown that for every 1 ≤ ξ < ω, two subspaces of the Schreier space $X^{\xi }$ generated by subsequences $\left(e_{l_n}^{\xi }\right)$ and $\left(e_{m_n}^{\xi }\right)$, respectively, of the natural Schauder basis $\left(e_n^{\xi }\right)$ of $X^{\xi }$ are isomorphic if and only if $\left(e_{l_n}^{\xi }\right)$ and $\left(e_{m_n}^{\xi }\right)$ are equivalent. Further, $X^{\xi }$ admits a continuum of mutually incomparable complemented subspaces spanned by subsequences of $\left(e_n^{\xi }\right)$. It is also shown that there exists a complemented subspace spanned by a block basis of $\left(e_n^{\xi }\right)$, which is not isomorphic to a subspace generated by a subsequence of $\left(e_n^{\zeta }\right)$,...

Let $ℬ=f:ℝ\to ℝ:fisbounded$, and $ℳ=f:ℝ\to ℝ:fisLebesguemeasurable$. We show that there is a linear operator $\Phi :ℬ\to ℳ$ such that Φ(f)=f a.e. for every $f\in ℬ\cap ℳ$, and Φ commutes with all translations. On the other hand, if $\Phi :ℬ\to ℳ$ is a linear operator such that Φ(f)=f for every $f\in ℬ\cap ℳ$, then the group $G_{\Phi }$ = a ∈ ℝ:Φ commutes with the translation by a is of measure zero and, assuming Martin’s axiom, is of cardinality less than continuum. Let Φ be a linear operator from ${ℂ}^{ℝ}$ into the space of complex-valued measurable functions. We show that if Φ(f) is non-zero for every $f\left(x\right)=e^{cx}$,...

It is proved that if ${\phi }_n$ is a complete orthonormal system of bounded functions and ɛ>0, then there exists a measurable set E ⊂ [0,1] with measure |E|>1-ɛ, a measurable function μ(x), 0 < μ(x) ≤ 1, μ(x) ≡ 1 on E, and a series of the form ${\sum }_{k=1}^{\infty }{c}_k{\phi }_k\left(x\right)$, where $c_k\in l_q$ for all q>2, with the following properties: 1. For any p ∈ [1,2) and $f\in L_{\mu }^p[0,1]=f:{ʃ}_0^1{\left|f\left(x\right)\right|}^p\mu \left(x\right)dx<\infty$ there are numbers ${\varepsilon }_k$, k=1,2,…, ${\varepsilon }_k$ = 1 or 0, such that $li{m}_{n\to \infty }{ʃ}_0^1{|{\sum }_{k=1}^n{\varepsilon }_k{c}_k{\phi }_k\left(x\right)-f\left(x\right)|}^p\mu \left(x\right)dx=0.$ 2. For every p ∈ [1,2) and $f\in L_{\mu }^p[0,1]$ there are a function $g\in L^1[0,1]$ with g(x) = f(x) on E and numbers ${\delta }_k$, k=1,2,…, ${\delta }_k=1$ or 0,...

Il lavoro presenta diverse caratterizzazioni degli spazi Lorentz-Zygmund generalizzati (GLZ) $L_{p,q;\alpha }\left(R\right)$, con $p,q\in \left(0,+\mathrm{\infty }\right]$, $m\in \mathbb{N}$, $\alpha \in {\mathbb{R}}^m$ e $\left(R,\mu \right)$ spazio misurato con misura $\mu \left(R\right)$ finita. Dato uno spazio misurato $\left(R,\mu \right)$ e $\alpha \in {\mathcal{R}}_{-}^m$ , otteniamo representazioni equivalenti per la (quasi-) norma dello spazio GLZ $L_{\mathrm{\infty },\mathrm{\infty };\alpha }\left(R\right)$. Inoltre, se $\left(R,\mu \right)$ è uno spazio misurato con misura finita e $\alpha \in {\mathcal{R}}_{+}^m$, viene presentata in termini di decomposizioni una norma equivalente per lo spazio $L_{1,1;\alpha }\left(R\right)$. Si dimostra che le norme equivalenti considerate per $L_{\mathrm{\infty },\mathrm{\infty };\alpha }\left(R\right)$, con $\left(R,\mu \right)$ uno spazio a misura...

For every element x** in the double dual of a separable Banach space X there exists the sequence $\left(x^{\left(2n\right)}\right)$ of the canonical reproductions of x** in the even-order duals of X. In this paper we prove that every such sequence defines a spreading model for X. Using this result we characterize the elements of X**╲ X which belong to the class $B_1\left(X\right)╲B_{1/2}\left(X\right)$ (resp. to the class $B_{1/4}\left(X\right)$) as the elements with the sequence $\left(x^{\left(2n\right)}\right)$ equivalent to the usual basis of ${\ell }^1$ (resp. as the elements with the sequence $(x^{(4n-2)}-x^{\left(4n\right)})$ equivalent to the...

Let $Q={\left(Q_k\right)}_{k\ge 0},Q_0=1,Q_{k+1}=q_k{Q}_k,q_k\ge 2$, be a Cantor scale, ${𝐙}_Q$ the compact projective limit group of the groups $𝐙/Q_k𝐙$, identified to ${\prod }_{0\le j\le k-1}𝐙/q_j𝐙$, and let $\mu$ be its normalized Haar measure. To an element $x=\{a_0,a_1,a_2,\cdots \},0\le a_k\le q_{k+1}-1$, of ${𝐙}_Q$ we associate the sequence of integral valued random variables $x_k={\sum }_{0\le j\le k}{a}_j{Q}_j$. The main result of this article is that, given a complex $𝐐$-multiplicative function $g$ of modulus $1$, we have $$\underset{x_k\to x}{lim}(\frac{1}{x_k}\sum _{n\le x_k-1}g\left(n\right)-\prod _{0\le j\le k}\frac{1}{q_j}\sum _{0\le a\le q_j}g\left(a{Q}_j\right))=0\mu \text{-a.e}.$$