Let $\mathcal{E}$ be a Banach space contained in a Hilbert space $\mathcal{L}$. Assume that the inclusion is continuous with dense range. Following the terminology of Gohberg and Zambicki\vı, we say that a bounded operator on $\mathcal{E}$ is a proper operator if it admits an adjoint with respect to the inner product of $\mathcal{L}$. By a proper subspace $\mathcal{S}$ we mean a closed subspace of $\mathcal{E}$ which is the range of a proper projection. If there exists a proper projection which is also self-adjoint with respect to the inner product of $\mathcal{L}$, then $\mathcal{S}$ belongs to a well-known class of subspaces called compatible subspaces. We find equivalent conditions to describe proper subspaces. Then we prove a necessary and sufficient condition to ensure that a proper subspace is compatible. Each proper subspace $\mathcal{S}$ has a supplement $\mathcal{T}$ which is also a proper subspace. We give a characterization of the compatibility of both subspaces $\mathcal{S}$ and $\mathcal{T}$. Several examples are provided that illustrate different situations between proper and compatible subspaces.
Operators of multiplication by independent variables on the space of square summable functions over the torus and its Hardy subspace are considered. Invariant subspaces where the operators are compatible are described.
We consider the standard quantum logic ${\mathcal L}(H)$ associated to a complex Hilbert space $H$, i.e. the lattice of closed subspaces of $H$ together with the orthogonal complementation. The orthogonality and compatibility relations are defined for any logic. In the standard quantum logic, they have a simple interpretation in terms of operator theory. For example, two closed subspaces (propositions in the logic ${\mathcal L}(H)$) are compatible if and only if the projections on these subspaces commute. We present both classical and more resent results on transformations of ${\mathcal L}(H)$…
The wandering subspace problem for an analytic norm-increasing $m$-isometry $T$ on a Hilbert space $\mathcal H$ asks whether every $T$-invariant subspace of $\mathcal H$ can be generated by a wandering subspace. An affirmative solution to this problem for $m=1$ is ascribed to Beurling-Lax-Halmos, while that for $m=2$ is due to Richter. In this paper, we capitalize on the idea of weighted shift on one-circuit directed graph to construct a family of analytic cyclic $3$-isometries, which do not admit the wandering subspace property and which are norm-increasing on the orthogonal complement of a o…
We extend and study the notion of bounded point evaluation introduced by Williams for a cyclic operator to the class of operators with the wandering subspace property. We characterize the set $bpe(T)$ of all bounded point evaluations for an operator $T$ with the wandering subspace property in terms of the invertibility of certain projections. This result generalizes the earlier established characterization of $bpe(T)$ for a finitely cyclic operator $T$. Further, if $T$ is a left-invertible operator with the wandering subspace property, then we determine the $bpe(T)$ and the set $abpe(T)$ of al…
A hereditarily indecomposable Banach space $\mathfrak{X}_{\mathfrak{nr}}$ is constructed that is the first known example of a $\mathscr{L}_\infty$-space not containing $c_0$, $\ell_1$, or reflexive subspaces and answers a question posed by J. Bourgain. Moreover, the space $\mathfrak{X}_{\mathfrak{nr}}$ satisfies the "scalar-plus-compact" property and it is the first known space without reflexive subspaces having this property. It is constructed using the Bourgain-Delbaen method in combination with a recent version of saturation under constraints in a mixed-Tsirelson setting. As a result, the s…
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.
Let $Y$ be a subspace of a topological vector space $X$, and $A\subset X$ an open convex set that intersects $Y$. We say that the property $(QE)$ [property $(CE)$] holds if every continuous quasiconvex [continuous convex] function on $A\cap Y$ admits a continuous quasiconvex [continuous convex] extension defined on $A$. We study relations between $(QE)$ and $(CE)$ properties, proving that $(QE)$ always implies $(CE)$ and that, under suitable hypotheses (satisfied for example if $X$ is a normed space and $Y$ is a closed subspace of $X$), the two properties are equivalent. By combining the previ…
This paper studies the bounded approximation property (BAP) in quasi Banach spaces. In the first part of the paper we show that the kernel of any surjective operator $\ell_p\to X$ has the BAP when $X$ has it and $0<p\leq 1$, which is an analogue of the corresponding result of Lusky for Banach spaces. We then obtain and study nonlocally convex versions of the Kadec-Pełczyński-Wojtaszczyk complementably universal spaces for Banach spaces with the BAP.
Let $H$ be a Hilbert space and $H_1,...,H_n$ be closed subspaces of $H$. Denote by $P_k$ the orthogonal projection onto $H_k$, $k=1,2,...,n$. Following Patrick L. Combettes and Noli N. Reyes, we will say that the system of subspaces $H_1,...,H_n$ possesses the inverse best approximation property (IBAP) if for arbitrary elements $x_1\in H_1,...,x_n\in H_n$ there exists an element $x\in H$ such that $P_k x=x_k$ for all $k=1,2,...,n$. We provide various new necessary and sufficient conditions for a system of $n$ subspaces to possess the IBAP. Using the main characterization theorem, we study prop…
A Fréchet space $X$ satisfies the Hereditary Invariant Subspace (resp. Subset) Property if for every closed infinite-dimensional subspace $M$ in $X$, each continuous operator on $M$ possesses a non-trivial invariant subspace (resp. subset). In this paper, we exhibit a family of non-normable separable infinite-dimensional Fréchet spaces satisfying the Hereditary Invariant Subspace Property and we show that many non-normable Fréchet spaces do not satisfy this property. We also state sufficient conditions for the existence of a continuous operator without non-trivial invariant subset and deduce a…
We consider Banach spaces E of functions holomorphic on the open unit disc D such that the unilateral shift S and the backward shift T are bounded on E. Assuming that the spectra of S and T are equal to the closed unit disc we discuss the existence of closed z-invariant of N of E having the "division property", which means that the function f $λ$ : z $\rightarrow$ f (z)/ z--$λ$ belongs to N for every $λ$ $\in$ D and for every f $\in$ N such that f ($λ$) = 0. This question is related to the existence of nontrivial bi-invariant subspaces of Banach spaces of hyperfunctions on the unit circle T.
We discuss a set-valued generalization of strong proximinality in Banach spaces, introduced by J. Mach [Continuity properties of Chebyshev centers, J. Approx. Theory, 29(3):223--230, 1980] as property-$(P_1)$. We establish that if the closed unit ball of a closed subspace of a Banach space $X$ possesses property-$(P_1)$ for each of the classes of closed bounded, compact and finite subsets of $X$, then so does the subspace. It is also proved that the closed unit ball of an $M$-ideal in an $L_{1}$-predual space satisfies property-$(P_{1})$ for the compact subsets of the space. For a Choquet simp…
We study operators of multiplication by $z^k$ in Dirichlet-type spaces $D_α$. We establish the existence of $k$ and $α$ for which some $z^k$-invariant subspaces of $D_α$ do not satisfy the wandering property. As a consequence of the proof, any Dirichlet-type space accepts an equivalent norm under which the wandering property fails for some space for the operator of multiplication by $z^k$, for any $k \geq 6$.
