Related papers: Complex Bounded Operators in Isabelle/HOL
We develop the concept of operators in Hilbert spaces which are similar to their adjoints via antiunitary operators, the latter being not necessarily involutive. We discuss extension theory, refined polar and singular-value decompositions,…
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…
Researchers have identified complex matrices $A$ such that a bounded linear operator $B$ acting on a Hilbert space will admit a dilation of the form $A \otimes I$ whenever the numerical range inclusion relation $W(B) \subseteq W(A)$ holds.…
We provide several perturbation theorems regarding closable operators on a real or complex Hilbert space. In particular we extend some classical results due to Hess--Kato, Kato--Rellich and W\"ust. Our approach involves ranges of matrix…
Operator systems are the unital self-adjoint subspaces of the bounded operators on a Hilbert space. Complex operator systems are an important category containing the C*-algebras and von Neumann algebras, which is increasingly of interest in…
We study two classes of bounded operators on mixed norm Lebesgue spaces, namely composition operators and product operators. A complete description of bounded composition operators on mixed norm Lebesgue spaces are given. For a certain…
We characterize weak* closed unital vector spaces of operators on a Hilbert space $H$. More precisely, we first show that an operator system, which is the dual of an operator space, can be represented completely isometrically and weak*…
We provide the definition and fundamental properties of algebraic elements with respect to an operator satisfying hypothesis (h). Furthermore, we analyze Hilbert modules using C_0-operators relative to a bounded finitely connected region…
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…
The paper develops a theory of spectral boundary value problems from the perspective of general theory of linear operators in Hilbert spaces. An abstract form of spectral boundary value problem with generalized boundary conditions is…
In the paper, we investigate weighted composition operators on Bergman spaces of a half-plane. We characterize weighted composition operators which are hermitian and those which are complex symmetric with respect to a family of…
Some preliminaries and basic facts regarding unbounded Wiener-Hopf operators (WH) are provided. WH with rational symbols are studied in detail showing that they are densely defined closed and have finite dimensional kernels and deficiency…
We introduce a notion of a noncommutative function defined on a domain of $d$-tuples of bounded operators on an infinite dimensional Hilbert space. Inverse and implicit function theorems in this setting are established. When these…
We provide a detailed description of the model Hilbert space $L^2(\bbR; d\Sigma; \cK)$, were $\cK$ represents a complex, separable Hilbert space, and $\Sigma$ denotes a bounded operator-valued measure. In particular, we show that several…
We consider the decomposition of bounded linear operators on Hilbert spaces in terms of functions forming frames. Similar to the singular-value decomposition, the resulting frame decompositions encode information on the structure and…
Proper splittings of operators are commonly used to study the convergence of iterative processes. In order to approximate solutions of operator equations, in this article we deal with proper splittings of closed range bounded linear…
We study the numerical range of bounded linear operators on quaternionic Hilbert spaces and its relation with the S-spectrum. The class of complex operators on quaternionic Hilbert spaces is introduced and the upper bild of normal complex…
The paper introduces unbounded antilinear operators on Hilbert spaces and develops their fundamental theory. In particular, we establish a closed range theorem, a polar decomposition theorem, and the convexity of the numerical range for…
Linear spaces with an Euclidean metric are ubiquitous in mathematics, arising both from quadratic forms and inner products. Operators on such spaces also occur naturally. In recent years, the study of multivariate operator theory has made…
This paper explores the Invariant Subspace Problem in operator theory and functional analysis, examining its applications in various branches of mathematics and physics. The problem addresses the existence of invariant subspaces for bounded…