Related papers: On the invariant subspace problem in Hilbert space…
Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…
I prove that a Hilbert space has the property that each of its dense (not necessarily closed) subspaces contains an orthoormal basis if and only if it is separable.
A bounded linear operator $T$ acting on a Hilbert space $\mathcal{H}$ is said to be recurrent if for every non-empty open subset $U\subset \mathcal{H}$ there is an integer $n$ such that $T^n (U)\cap U\neq\emptyset$. In this paper, we…
Let $T$ be a self-adjoint operator in a Hilbert space $H$ with domain $\mathcal D(T)$. Assume that the spectrum of $T$ is confined in the union of disjoint intervals $\Delta_k =[\alpha_{2k-1},\alpha_{2k}]$, $k\in \mathbb{Z}$, and $$…
Let A be a linear space of operators on a Hilbert space H, x a vector in H, and Ax the subspace of H comprising all vectors of the form Tx with T in A. We discuss, within a Bishop-style constructive framework, conditions under which the…
A bounded linear operator $A$ on a Hilbert space $\mathcal{H}$ is posinormal if there exists a positive operator $P$ such that $AA^{*} = A^{*}PA$. We show that if $A$ is posinormal with closed range, then $A^n$ is posinormal and has closed…
In this paper, we characterize all closed linear operators in a separable Hilbert space which are unitarily equivalent to an integral bi-Carleman operator in $L_2(R)$ with bounded and arbitrarily smooth kernel on $R^2$. In addition, we give…
A closed subspace is invariant under the Ces\`aro operator $\mathcal{C}$ on the classical Hardy space $H^2(\mathbb D)$ if and only if its orthogonal complement is invariant under the $C_0$-semigroup of composition operators induced by the…
If $U$ is a unitary operator on a separable complex Hilbert space $\mathcal{H}$, an application of the spectral theorem says there is a conjugation $C$ on $\mathcal{H}$ (an antilinear, involutive, isometry on $\mathcal{H}$) for which $ C U…
We obtain a general concept of triplet of Hilbert spaces with closed (unbounded) embeddings instead of continuous (bounded) ones. The construction starts with a positive selfadjoint operator $H$, that is called the Hamiltonian of the…
We find a class of algebras A satisfying the following property: for every nontrivial noncommutative polynomial, the linear span of all its values in A equals A. This class includes the algebras of all bounded and all compact operators on…
This paper considers the inversion of ill-posed linear operators. To regularise the problem the solution is enforced to lie in a non-convex subset. Theoretical properties for the stable inversion are derived and an iterative algorithm akin…
A Hilbert space operator $U$ is called universal (in the sense of Rota) if every Hilbert space operator is similar to a multiple of $U$ restricted to one of its invariant subspaces. It follows that the Invariant Subspace Problem for Hilbert…
By H\"ormander's $L^2$-m\'ethode, we study some operators in the Hilbert space of weight $L^2(\mathbb{C}, \mathrm{e}^{-|z|^2})$. We prove in each case of operator the existence of its inverse which is also a bounded operator.
In this paper we characterize hypercyclic translation operators on the space of all compact linear operators on a Hilbert space H. Also, we give some sufficient condition for a related cosine operator function to be chaotic or topologically…
This note studies Arveson's curvature invariant for d-contractions specialized to the case d=1 of a single contraction operator on a Hilbert space. It establishes a formula which gives an easy-to-understand meaning for the curvature of a…
In this paper we study noncommutative domains D_f in B(H)^n, generated by positive regular free holomorphic functions f, where B(H) is the algebra of all bounded linear operators on a Hilbert space H.
The composition operator $C_{\phi_a}f=f\circ\phi_a$ on the Hardy-Hilbert space $H^2(\mathbb{D})$ with affine symbol $\phi_a(z)=az+1-a$ and $0<a<1$ has the property that the Invariant Subspace Problem for complex separable Hilbert spaces…
We show that for any bounded operator $T$ acting on infinite dimensional, complex Banach space, and for any $\varepsilon>0$, there exists an operator $F$ of rank at most one and norm smaller than $\varepsilon$ such that $T+F$ has an…
Let $H$ be a real Hilbert space. In this short note, using some of the properties of bounded linear operators with closed range defined on $H$, certain bounds for a specific convex subset of the solution set of infinite linear…