Let $U$ be an infinite-dimensional separable Fréchet space with a topology defined by a family of norms. Let $F$ be an infinite-dimensional Banach space. Then $F$ is the inductive limit of a family of spaces equal to $E$. The choice of suitable classes of Fréchet spaces allows to give characterizations of ultrabornological spaces using the result above.. Let $\Omega$ be a non-empty open set in the euclidean $n$-dimensional space $R^n$. Then $F$ is the inductive limit of a family of spaces equal to $\mathbf{D}\left(\Omega \right)$. ...

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.

We consider the Volterra integral operator $T:L^p\left({ℝ}^{+}\right)\to L^p\left({ℝ}^{+}\right)$ defined by $\left(Tf\right)\left(x\right)=v\left(x\right){ʃ}_0^{x}u\left(t\right)f\left(t\right)dt$. Under suitable conditions on u and v, upper and lower estimates for the approximation numbers $a_n\left(T\right)$ of T are established when 1 < p < ∞. When p = 2 these yield $li{m}_{n\to \infty }n{a}_n\left(T\right)={\pi }^{-1}{ʃ}_0^{\infty }\left|u\left(t\right)v\left(t\right)\right|dt$. We also provide upper and lower estimates for the ${\ell }^{\alpha }$ and weak ${\ell }^{\alpha }$ norms of (an(T)) when 1 < α < ∞.

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,...

$(s_{jk}:j,k=0,1,...)$ be a double sequence of real numbers which is summable (C,1,1) to a finite limit. We give necessary and sufficient conditions under which $\left(s_{jk}\right)$ converges in Pringsheim’s sense. These conditions are satisfied if $\left(s_{jk}\right)$ is slowly decreasing in certain senses defined in this paper. Among other things we deduce the following Tauberian theorem of Landau and Hardy type: If $\left(s_{jk}\right)$ is summable (C,1,1) to a finite limit and there exist constants $n_1>0$ and H such that $jk(s_{jk}-s_{j-1,k}-s_{j-1,k}+s_{j-1,k-1})\ge -H$, $j(s_{jk}-s_{j-1,k})\ge -H$ and $k(s_{jk}-s_{j,k-1})\ge -H$ whenever $j,k>n_1$, then...

In [2] and [3] upper and lower estimates and asymptotic results were obtained for the approximation numbers of the operator $T:L^p\left({ℝ}^{+}\right)\to L^p\left({ℝ}^{+}\right)$ defined by $\left(Tf\right)\left(x\right)≔v\left(x\right){ʃ}_0^{\infty }u\left(t\right)f\left(t\right)dt$ when 1 < p < ∞. Analogous results are given in this paper for the cases p = 1,∞ not included in [2] and [3].

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 Λ_R(α) be a nuclear power series space of finite or infinite type with lim_{j→∞} (1/j) log α_j = 0. We consider open polydiscs D_a in Λ_R(α)'_b with finite radii and the spaces H(D_a) of all holomorphic functions on D_a under the compact-open topology. We characterize all isomorphy classes of the spaces {H(D_a) | a ∈ Λ_R(α), a > 0}. In the case of a nuclear power series space Λ₁(α) of finite type we give this characterization in terms of the invariants (Ω̅ ) and (Ω̃ ) known from...

A rigid space is a topological vector space whose endomorphisms are all simply scalar multiples of the identity map. The first complete rigid space was published in 1981 in [2]. Clearly a rigid space is a trivial-dual space, and admits no compact endomorphisms. In this paper a modification of the original construction results in a rigid space which is, however, the domain space of a compact operator, answering a question that was first raised soon after the existence of complete rigid...

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...

We prove that for every closed locally convex subspace E of $L_0$ and for any continuous linear operator T from $L_0$ to $L_0/E$ there is a continuous linear operator S from $L_0$ to $L_0$ such that T = QS where Q is the quotient map from $L_0$ to $L_0/E$.

It is shown that the restricted maximal operator of the two-dimensional dyadic derivative of the dyadic integral is bounded from the two-dimensional dyadic Hardy-Lorentz space $H_{p,q}$ to $L_{p,q}$ (2/3 < p < ∞, 0 < q ≤ ∞) and is of weak type $(L_1,L_1)$. As a consequence we show that the dyadic integral of a ∞ function $f\in L_1$ is dyadically differentiable and its derivative is f a.e.

Let $P(\lambda ,D)={\sum }_{\left|\alpha \right|\le m}{a}_{\alpha }\left(\lambda \right)D^{\alpha }$ be a differential operator with constant coefficients $a_{\alpha }$ depending analytically on a parameter $\lambda$. Assume that the family $\{$ P($\lambda$,D)$\}$ is of constant strength. We investigate the equation $P(\lambda ,D){𝔣}_{\lambda }\equiv g_{\lambda }$ where ${𝔤}_{\lambda }$ is a given analytic function of $\lambda$ with values in some space of distributions and the solution ${𝔣}_{\lambda }$ is required to depend analytically on $\lambda$, too. As a special case we obtain a regular fundamental solution of P($\lambda$,D) which depends analytically on $\lambda$. This result answers a question of L. Hörmander. ...