The modulus of an order bounded functional on a Riesz space is the sum of a pair of Riesz homomorphisms if and only if the kernel of this functional is a Grothendieck subspace of the ambient Riesz space. An operator version of this fact is given.
Fuzzy ordered linear spaces, Riesz spaces, fuzzy Archimedean spaces and $σ$-complete fuzzy Riesz spaces were defined and studied in several works. Following the efforts along this line, we define fuzzy Riesz subspaces, fuzzy ideals, fuzzy bands and fuzzy band projections and establish their fundamental properties.
A closed subspace $S$ of $\ell_\infty$ is said to be a \emph{$\ell_\infty$-Grothendieck subspace} if $c_0\subset S$ (hence $\ell_\infty\subset S^{**}$) and every $σ(S^*,S)$-convergent sequence in $S^*$ is $σ(S^*,\ell_\infty)$-convergent. Here we give examples of closed subspaces of $\ell_\infty$ containing $c_0$ which are or fail to be $\ell_\infty$-Grothendieck.
We prove that a Hilbert space frame $\fti$ contains a Riesz basis if every subfamily $\ftj , J \subseteq I ,$ is a frame for its closed span. Secondly we give a new characterization of Banach spaces which do not have any subspace isomorphic to $c_0$. This result immediately leads to an improvement of a recent theorem of Holub concerning frames consisting of a Riesz basis plus finitely many elements.
Linear combinations of exponentials $e^{iλ_kt}$ in the case where the distance between some points $λ_k$ tends to zero are studied. D. Ullrich has proved the basis property of the divided differences of exponentials in the case when the groups consist of equal number of points all of them are close enough to integers. We have generalized this result for groups with arbitrary number of close points and obtained a full description of Riesz bases of exponential divided differences. The application to a control problem is presented.
In 1955, A. Grothendieck has shown that if the linear operator $T$ in a Banach subspace of an $L_\infty$-space is 2/3-nuclear then the trace of $T$ is well defined and is equal to the sum of all eigenvalues $\{μ_k(T)\}$ of $T.$ V.B. Lidski\vı, in 1959, proved his famous theorem on the coincidence of the trace of the $S_1$-operator in $L_2(ν)$ with its spectral trace $\sum_{k=1}^\infty μ_k(T).$ We show that for $p\in[1,\infty]$ and $s\in (0,1]$ with $1/s=1+|1/2-1/p|,$ and for every $s$-nuclear operator $T$ in every subspace of any $L_p(ν)$-space the trace of $T$ is well defined and equals the s…
An order bounded functional on a Riesz space is a difference of Riesz homomorphisms if and only if the kernel of this functional is a Riesz subspace of the ambient Riesz space.
Let $X$ be a Banach space and $Y \subseteq X$ be a closed subspace. We prove that if the quotient $X/Y$ is weakly Lindelöf determined or weak Asplund, then for every $w^*$-convergent sequence $(y_n^*)_{n\in \mathbb N}$ in $Y^*$ there exist a subsequence $(y_{n_k}^*)_{k\in \mathbb N}$ and a $w^*$-convergent sequence $(x_k^*)_{k\in \mathbb N}$ in $X^*$ such that $x_k^*|_Y=y_{n_k}^*$ for all $k\in \mathbb N$. As an application we obtain that $Y$ is Grothendieck whenever $X$ is Grothendieck and $X/Y$ is reflexive, which answers a question raised by González and Kania.
Let $L$ be a Riesz space with a strong unit $e>0$.$\mathfrak{\ }$We show that a unital linear functional $H:L\rightarrow \mathbb{R}$ satisfies $% H\left( u\right) \neq 0$ for any strong unit $u\in L$ if and only if $H$ acts like a Riesz homomorphism on every $e$-clean vector subspace of $L.$ We deduce that $L$ is $e$-clean if and only if any unital linear functional $% H:L\rightarrow \mathbb{R}$ such that $H\left( u\right) \neq 0$ for any strong unit $u\in L$ is a Riesz homomorphism.
In 1955, A.~Grothendieck proved a basic inequality which shows that any bounded linear operator between $L^1(μ)$-spaces maps (Lebesgue-) dominated sequences to dominated sequences. An elementary proof of this inequality is obtained via a new decomposition principle for the lattice of measurable functions. An exposition is also given of the M.~Lévy extension theorem for operators defined on subspaces of $L^1(μ)$-spaces.
G-frames are generalized frames which include ordinary frames, bounded invertible linear operators, as well as many recent generalizations of frames, e.g., bounded quasi-projectors and frames of subspaces. G-frames are natural generalizations of frames and provide more choices on analyzing functions from frame expansion coefficients. We give characterizations of g-frames and prove that g-frames share many useful properties with frames. We also give generalized version of Riesz bases and orthonormal bases. As an application, we get atomic resolutions for bounded linear operators.
Pre-Riesz spaces are ordered vector spaces which can be order densely embedded into vector lattices, their so-called vector lattice covers. Given a vector lattice cover $Y$ for a pre-Riesz space $X$, we address the question how to find vector lattice covers for subspaces of $X$, such as ideals and bands. We provide conditions such that for a directed ideal $I$ in $X$ its smallest extension ideal in $Y$ is a vector lattice cover. We show a criterion for bands in $X$ and their extension bands in $Y$ as well. Moreover, we state properties of ideals and bands in $X$ which are generated by sets, an…
We prove the operator space Grothendieck inequality for bilinear forms on subspaces of noncommutative $L_p$-spaces with $2<p<\infty$. One of our results states that given a map $u: E\to F^*$, where $E, F\subset L_p(M)$ ($2<p<\infty$, $M$ being a von Neumann algebra), $u$ is completely bounded iff $u$ factors through a direct sum of a $p$-column space and a $p$-row space. We also obtain several operator space versions of the classical little Grothendieck inequality for maps defined on a subspace of a noncommutative $L_p$-space ($2<p<\infty$) with values in a $q$-column space for every $q\in [p'…
We shall say that a bounded linear operator $T$ acting on a Banach space $X$ admits a generalized Kato-Riesz decomposition if there exists a pair of $T$-invariant closed subspaces $(M,N)$ such that $X=M\oplus N$, the reduction $T_M$ is Kato and $T_N$ is Riesz. In this paper we define and investigate the generalized Kato-Riesz spectrum of an operator. For $T$ is said to be generalized Drazin-Riesz invertible if there exists a bounded linear operator $S $ acting on $X$ such that $TS=ST$, $STS=S$, $ TST-T$ is Riesz. We investigate generalized Drazin-Riesz invertible operators and also, characteri…
Using the method of forcing we prove that consistently there is a Banach space of continuous functions on a compact Hausdorff space with the Grothendieck property and with density less than the continuum. It follows that the classical result stating that ``no nontrivial complemented subspace of a Grothendieck $C(K)$ space is separable'' cannot be strengthened by replacing ``is separable'' by ``has density less than that of $l_\infty$'', without using an additional set-theoretic assumption. Such a strengthening was proved by Haydon, Levy and Odell, assuming Martin's axiom and the negation of th…
For alpha>0 we consider the system l_k^{(alpha-1)/2}(x) of the Laguerre functions which are eigenfunctions of the differential operator Lf =-\frac{d^2}{dx^2}f-\frac{alpha}{x}\frac{d}{dx}f+x^2 f. We define an atomic Hardy space H^1_{at}(X), which is a subspace of L^1((0,infty), x^alpha dx). Then we prove that the space H^1_{at}(X) is also characterized by the Riesz transform Rf=\sqrtπ\frac{d}{dx}L^{-1/2}f in the sense that f\in H^1_{at}(X) if and only if f,Rf \in L^1((0,infty),x^alpha dx).
In this paper we study the tensor product of two $f$-algebras. We show that the Riesz Subspace generated by a subalgebra in an $f$-algebra is an algebra in order to prove that the Riesz tensor product of two $f$-algebras has a structure of an $f$-algebra.
Following a recent idea by Ball, we introduce the notion of strongly truncated Riesz space with a suitable spectrum. We prove that, under an extra Archimedean type condition, any strongly truncated Riesz space is isomorphic to a uniformly dense Riesz subspace of a $C_{0}\left( X\right) $-space. This turns out to be a direct generalization of the classical Kakutani Representation Theorem on Archimedean Riesz spaces with strong unit. Another representation theorem on normed Riesz spaces, due to Fremlin, will be obtained as a consequence of our main result.
We consider subspaces of Morrey spaces defined in terms of various vanishing properties of functions. Such subspaces were recently used to describe the closure of $C_0^\infty(\mathbb{R}^n)$ in Morrey norm. We show that these subspaces are invariant with respect to some classical operators of harmonic analysis, such as the Hardy-Littlewood maximal operator, singular type operators and Hardy operators. We also show that the vanishing properties defining those subspaces are preserved under the action of Riesz potential operators and fractional maximal operators.
To describe a set of functions, which forms a reflexive subspace B of the classical Banach space L a special function that characterizes their average integral growth is introduced. It is shown that this function essentially depends on the geometry of B. By the way, one question of la Vallee Poussin is answered. Also a short proof of the known result about the existence of an uncomplemented subspace isomorphic to the Hilbert space in every Lebesgue - Riesz space Lp (1<p<2) is obtained.
Truncated Riesz spaces was first introduced by Fremlin in the context of real-valued functions. An appropriate axiomatization of the concept was given by Ball. Keeping only the first Ball's Axiom (among three) as a definition of truncated Riesz spaces, the first named author and El Adeb proved that if $E$ is truncated Riesz space then $E\oplus\mathbb{R}$ can be equipped with a non-standard structure of Riesz space such that $E$ becomes a Riesz subspace of $E\oplus\mathbb{R}$ and the truncation of $E$ is provided by meet with $1$. In the present paper, we assume that the truncated Riesz space $…
It is not usual to characterize an operator valued series via completeness of multiplier spaces. In this study, by using a series of bounded linear operators, we introduce the space $M^\infty_{R}\big(\sum_k T_k\big)$ of Riesz summability which is a generalization of the Cesàro summability. Therefore, we give the completeness criteria of these spaces with $c_0(X)$-multiplier convergent operator series. It is a natural consequence that one can characterize the completeness of a normed space through $M^\infty_{R}\big(\sum_k T_k\big)$ which will be assumed that is complete for every $c_0(X)$-multi…
By a result of Johnson, the Banach space $F=(\bigoplus_{n=1}^\infty \ell_1^n)_{\ell_\infty}$ contains a complemented copy of $\ell_1$. We identify $F$ with a complemented subspace of the space of (bounded, linear) operators on the reflexive space $(\bigoplus_{n=1}^\infty \ell_1^n)_{\ell_p}$ ($p\in (1,\infty))$, thus giving a negative answer to the problem posed in the monograph of Diestel and Uhl which asks whether the space of operators on a reflexive Banach space is Grothendieck.
The purpose of this article is twofold. First of all, the notion of $(D, E)$-quasi basis is introduced for a pair $(D, E)$ of dense subspaces of Hilbert spaces. This consists of two biorthogonal sequences $\{ φ_n \}$ and $\{ ψ_n \}$ such that $\sum_{n=0}^\infty \ip{x}{φ_n}\ip{ψ_n}{y}=\ip{x}{y}$ for all $x \in D$ and $y \in E$. Secondly, it is shown that if biorthogonal sequences $\{ φ_n \}$ and $\{ ψ_n \}$ form a $(D ,E)$-quasi basis, then they are generalized Riesz systems. The latter play an interesting role for the construction of non-self-adjoint Hamiltonians and other physically relevant …
We show that the space $\text{Lip}_0(\mathbb R^n)$ is the dual space of $L^{1}({\mathbb R}^{n}; {\mathbb R}^{n})/N$ where $N$ is the subspace of $L^{1}({\mathbb R}^{n}; {\mathbb R}^{n})$ consisting of vector fields whose divergence vanishes. We prove that although the quotient space $L^{1}({\mathbb R}^{n}; {\mathbb R}^{n})/N$ is weakly sequentially complete, the subspace $N$ is not nicely placed - in other words, its unit ball is not closed for the topology $τ_m$ of local convergence in measure. We prove that if $Ω$ is a bounded open star-shaped subset of $\mathbb {R}^n$ and $X$ is a closed su…
Let $\mathfrak A$ be a maximal subdiagonal algebra in a $σ$-finite von Neumann algebra $\mathcal M$. If every right invariant subspace of $\mathfrak A$ in the non-commutative Hardy space $H^2$ is of Beurling type, then we say $\mathfrak A$ to be type 1. We determine generators of these algebras and consider a Riesz type factorization theorem for the non-commutative $H^1$ space. We show that the right analytic Toeplitz algebra on the non-commutative Hardy space $H^p$ associated with a type 1 subdiagonal algebra with multiplicity 1 is hereditary reflexive.
Consider a linear functional $L$ defined on the space $\mathcal D[s]$ of Dirichlet polynomials with real coefficients and the set $\mathcal D_+[s]$ of non-negative elements in $\mathcal D[s].$ An analogue of the Riesz-Haviland theorem in this context asks: What are all $\mathcal D_+[s]$-positive linear functionals $L,$ which are moment functionals? Since the space $\mathcal D[s],$ when considered as a subspace of $C([0, \infty), \mathbb R),$ fails to be an adapted space in the sense of Choquet, the general form of Riesz-Haviland theorem is not applicable in this situation. In an attempt to ans…
In this paper, which is part of a study of positive representations of locally compact groups in Banach lattices, we initiate the theory of positive representations of finite groups in Riesz spaces. If such a representation has only the zero subspace and possibly the space itself as invariant principal bands, then the space is Archimedean and finite dimensional. Various notions of irreducibility of a positive representation are introduced and, for a finite group acting positively in a space with sufficiently many projections, these are shown to be equal. We describe the finite dimensional posi…
Let $(E,F)$ be a pair of Fréchet spaces. In this paper, we discuss whether a certain property $P$ enjoyed by both $E$ and $F$ is also satisfied by the complete tensor product $E \widehat{\otimes}_π F$. Specifically we focus on the two properties generalizing Köthe spaces: the normability condition called the property $(y)$, and the property of smallness of bounded subsets of Fréchet spaces up to a complemented Banach subspace in connection with the problem of topologies of A. Grothendieck. We also consider the stability of some well known equivalences of operator classes with an application in…
The main themes of this survey are as follows: (a) the canonical (Riesz--Nevanlinna) factorization in various classes of analytic functions on the disk that are smooth up to its boundary, and (b) model subspaces (i.e., invariant subspaces of the backward shift) in the Hardy spaces $H^p$ and in BMOA. It is the interrelationship and a peculiar cross-fertilization between the two topics that we wish to highlight.
Let $Γ$ be a rectifiable Jordan curve, let $X$ and $Y$ be two reflexive Banach function spaces over $Γ$ such that the Cauchy singular integral operator $S$ is bounded on each of them, and let $M(X,Y)$ denote the space of pointwise multipliers from $X$ to $Y$. Consider the Riesz projection $P=(I+S)/2$, the corresponding Hardy type subspaces $PX$ and $PY$, and the Toeplitz operator $T(a):PX\to PY$ defined by $T(a)f=P(af)$ for a symbol $a\in M(X,Y)$. We show that if $X\hookrightarrow Y$ and $a\in M(X,Y)\setminus\{0\}$, then $T(a)\in\mathcal{L}(PX,PY)$ has a trivial kernel in $PX$ or a dense image…
Given an arbitrary finite set of data F= {f_1,..., f_m} in L2(Rd) we prove the existence and show how to construct a "small shift invariant space" that is "closest" to the data F over certain class of closed subspaces of L2(Rd). The approximating subspace is required to have extra-invariance properties, that is to be invariant under translations by a prefixed additive subgroup of Rd containing Zd. This is important for example in situations where we need to deal with jitter error of the data. Here small means that our solution subspace should be generated by the integer translates of a small n…
We introduce a new concept of perturbation of closed linear subspaces and operators in Banach spaces called uniform lambda-adjustment which is weaker than perturbations by small gap, operator norm, q-norm, and K2-approximation. In arbitrary Banach spaces some of the classical Fredholm stability theorems remain true under uniform lambda-adjustment, while other fail. However, uniformly lambda-adjusted subspaces and linear operators retain their (semi--)Fredholm properties in a Banach space which dual is Fréchet-Urysohn in weak* topology. We also introduce another concept of perturbation called u…
For a second countable locally compact group $G$ and a closed abelian subgroup $H$, we give a range function classification of closed subspaces in $L^2(G)$ invariant under left translation by $H$. For a family $\mathscr{A} \subset L^2(G)$, this classification ties with a set of conditions under which the translations of $\mathscr{A}$ by $H$ form a continuous frame or a Riesz sequence. When $G$ is abelian, our work relies on a fiberization map; for the more general case, we introduce an analogue of the Zak transform. Both transformations intertwine translation with modulation, and both rely on …
We investigate the structure of subspaces of a Hilbert space that are invariant under unitary representations of a discrete group. We work with square integrable representations, and we show that they are those for which we can construct an isometry intertwining the representation with the right regular representation, that we call a Helson map. We then characterize invariant subspaces using the Helson map, and provide general characterizations of Riesz and frame sequences of orbits. These results extend to the nonabelian setting several known results for abelian groups. They also extend to co…
Based on Bohr's equivalence relation which was established for general Dirichlet series, in this paper we introduce a new equivalence relation on the space of almost periodic functions in the sense of Besicovitch, $B(\mathbb{R},\mathbb{C})$, defined in terms of polynomial approximations. From this, we show that in an important subspace $B^2(\mathbb{R},\mathbb{C})\subset B(\mathbb{R},\mathbb{C})$, where Parseval's equality and Riesz-Fischer theorem holds, its equivalence classes are sequentially compact and the family of translates of a function belonging to this subspace is dense in its own cl…
Let $X$ be a ball quasi-Banach function space satisfying some mild assumptions and $H_X(\mathbb{R}^n)$ the Hardy space associated with $X$. In this article, the authors introduce both the Hardy space $H_X(\mathbb{R}^{n+1}_+)$ of harmonic functions and the Hardy space $\mathbb{H}_X(\mathbb{R}^{n+1}_+)$ of harmonic vectors, associated with $X$, and then establish the isomorphisms among $H_X(\mathbb{R}^n)$, $H_{X,2}(\mathbb{R}^{n+1}_+)$, and $\mathbb{H}_{X,2}(\mathbb{R}^{n+1}_+)$, where $H_{X,2}(\mathbb{R}^{n+1}_+)$ and $\mathbb{H}_{X,2}(\mathbb{R}^{n+1}_+)$ are, respectively, certain subspaces o…
We introduce and study multivariate generalizations of the classical BV spaces of Jordan, F. Riesz and Wiener. The family of the introduced spaces contains or is intimately related to a considerable class of function spaces of modern analysis including BMO, BV, Morrey spaces and those of Sobolev of arbitrary smoothness, Besov and Triebel-Lizorkin spaces. We prove under mild restrictions that the BV spaces of this family are dual and present constructive characterizations of their preduals via atomic decompositions. Moreover, we show that under additional restrictions such a predual space is is…
The structure of subspaces of a Hilbert space that are invariant under unitary representations of a discrete group is related to a notion of Hilbert modules endowed with inner products taking values in spaces of unbounded operators. A theory of reproducing systems in such modular structures is developed, providing a general framework that includes fundamental results of shift-invariant spaces. In particular, general characterizations of Riesz and frame sequences associated to group representations are provided, extending previous results for abelian groups and for cyclic subspaces of unitary r…
We construct a sequence ${ϕ_i(\cdot-j)\mid j\in{\ZZ}, i=1,...,r}$ which constitutes a $p$-frame for the weighted shift-invariant space [V^p_μ(Φ)=\Big{\sum\limits_{i=1}^r\sum\limits_{j\in{\mathbb{Z}}}c_i(j)ϕ_i(\cdot-j) \Big| {c_i(j)}_{j\in{\mathbb{Z}}}\in\ell^p_μ, i=1,...,r\Big}, p\in[1,\infty],] and generates a closed shift-invariant subspace of $L^p_μ(\mathbb{R})$. The first construction is obtained by choosing functions $ϕ_i$, $i=1,...,r$, with compactly supported Fourier transforms $\hatϕ_i$, $i=1,...,r$. The second construction, with compactly supported $ϕ_i,i=1,...,r,$ gives the Riesz bas…
The aim of this work is to study the structure of bounded finite potent endomorphisms on Hilbert spaces. In particular, for these operators, an answer to the Invariant Subspace Problem is given and the main properties of its adjoint operator are offered. Moreover, for every bounded finite potent endomorphism we show that Tate's trace coincides with the Leray trace and with the trace defined by R. Elliott for Riesz Trace Class operators.
We study closed subspaces of $L^2(X)$, where $(X, μ)$ is a $σ$-finite measure space, that are invariant under the unitary representation associated to a measurable action of a discrete countable LCA group $Γ$ on $X$. We provide a complete description for these spaces in terms of range functions and a suitable generalized Zak transform. As an application of our main result, we prove a characterization of frames and Riesz sequences in $L^2(X)$ generated by the action of the unitary representation under consideration on a countable set of functions in $L^2(X)$. Finally, closed subspaces of $L^2(G…
Assume that $T$ is a self-adjoint operator on a Hilbert space $\mathcal{H}$ and that the spectrum of $T$ is confined in the union $\bigcup_{j\in J}Δ_j$, $J\subseteq\mathbb{Z}$, of segments $Δ_j=[α_j, β_j]\subset\mathbb{R}$ such that $α_{j+1}>β_j$ and $$ \inf_{j} \left(α_{j+1}-β_j\right) = d > 0. $$ If $B$ is a bounded (in general non-self-adjoint) perturbation of $T$ with $\|B\|=:b<d/2$ then the spectrum of the perturbed operator $A=T+B$ lies in the union $\bigcup_{j\in J} U_{b}(Δ_j)$ of the mutually disjoint closed $b$-neighborhoods $U_{b}(Δ_j)$ of the segments $Δ_j$ in $\mathbb{C}$. Let $Q_j…
The purpose of this seminar, which was presented at the Universitat Politècnica de València in late 2012, is to explain several results concerning the bounded approximation property for Fréchet spaces. We give a full detailed proof of an important result due to Pełczyński that asserts that every separable Fréchet space with the bounded approximation property is isomorphic to a complemented subspace of a Fréchet space with a Schauder basis. We also explain Vogt's example of a nuclear Fréchet space without the bounded approximation property. This example is simpler than the original counterexamp…
Let $Φ$ be a concave function on $(0,\infty)$ of strictly lower type $p_Φ\in(0,1]$ and $ω\in A^{\mathop\mathrm{loc}}_{\infty}(\mathbb{R}^n)$. We introduce the weighted local Orlicz-Hardy space $h^Φ_ω(\mathbb{R}^n)$ via the local grand maximal function. Let $ρ(t)\equiv t^{-1}/Φ^{-1}(t^{-1})$ for all $t\in(0,\infty)$. We also introduce the $\mathop\mathrm{BMO}$-type space $\mathop\mathrm{bmo}_{ρ,\,ω}(\mathbb{R}^n)$ and establish the duality between $h^Φ_ω(\mathbb{R}^n)$ and $\mathop\mathrm{bmo}_{ρ,\,ω}(\mathbb{R}^n)$. Several real-varaiable characterizations of $h^Φ_ω(\mathbb{R}^n)$ are presente…
Perturbed Hodge-Dirac operators and their holomorphic functional calculi, as investigated in the papers by Axelsson, Keith and the second author, provided insight into the solution of the Kato square-root problem for elliptic operators in $L^2$ spaces, and allowed for an extension of these estimates to other systems with applications to non-smooth boundary value problems. In this paper, we determine conditions under which such operators satisfy conical square function estimates in a range of $L^p$ spaces, thus allowing us to apply the theory of Hardy spaces associated with an operator, to prov…