Related papers: A canonical decomposition for linear operators and…
In this work, oriented for students with knowledge of basics of linear algebra, we demonstrate, how the use of polar decomposition allows one to understand metric properties of non-degenerate linear operators in $R^2$.
The description of all correct restrictions of the maximal operator are considered in a Hilbert space. A class of correct restrictions are obtained for which a similar transformation has the domain of the fixed correct restriction. The…
Monadic decomposibility --- the ability to determine whether a formula in a given logical theory can be decomposed into a boolean combination of monadic formulas --- is a powerful tool for devising a decision procedure for a given logical…
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…
A pair of Hermitian operators is canonical if they satisfy the canonical commutation relation. It has been believed that no such canonical pair exists in finite-dimensional Hilbert space. Here, we obtain canonical pairs by noting that the…
If $a$ is a densely defined sectorial form in a Hilbert space which is possibly not closable, then we associate in a natural way a holomorphic semigroup generator with $a$. This allows us to remove in several theorems of semigroup theory…
Let $T$ be a closed linear relation from a Hilbert space ${\mathfrak H}$ to a Hilbert space ${\mathfrak K}$ and let $B \in \mathbf{B}({\mathfrak K})$ be selfadjoint. It will be shown that the relation $T^{*}(I+iB)T$ is maximal sectorial via…
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*…
This paper aims to study reducible and irreducible approximation in the set $\textsl{CSO}$ of all complex symmetric operators on a separable, complex Hilbert space $\mathcal H$. When ${\rm dim} \mathcal H=\infty$, it is proved that both…
In this article we prove the existence of the polar decomposition for densely defined closed right linear operators in quaternionic Hilbert spaces: If $T$ is a densely defined closed right linear operator in a quaternionic Hilbert space…
We consider the notion of real center of mass and total center of mass of a bounded linear operator relative to another bounded linear operator and explore their relation with cosine and total cosine of a bounded linear operator acting on a…
In a previous paper, the authors introduced the idea of a symmetric pair of operators as a way to compute self-adjoint extensions of symmetric operators. In brief, a symmetric pair consists of two densely defined linear operators $A$ and…
This paper deals mainly with some aspects of the adjointable operators on Hilbert $C^*$-modules. A new tool called the generalized polar decomposition for each adjointable operator is introduced and clarified. As an application, the general…
We consider this and related questions: When is a finite linear combination of composition operators, acting on the Hardy space or the standard weighted Bergman spaces on the unit disk, a compact operator?
An \textit{ideal} of $N$-tuples of operators is a class invariant with respect to unitary equivalence which contains direct sums of arbitrary collections of its members as well as their (reduced) parts. New decomposition theorems (with…
We study the minus order on the algebra of bounded linear operators on a Hilbert space. By giving a characterization in terms of range additivity, we show that the intrinsic nature of the minus order is algebraic. Applications to…
A Cartesian decomposition of a coherent configuration $\cal X$ is defined as a special set of its parabolics that form a Cartesian decomposition of the underlying set. It turns out that every tensor decomposition of $\cal X$ comes from a…
A linear relation $E$ acting on a Hilbert space is idempotent if $E^2=E.$ A triplet of subspaces is needed to characterize a given idempotent: $(\mathrm{ran} \, E, \mathrm{ran}(I-E), \mathrm{dom}\, E),$ or equivalently, $(\mathrm{ker}(I-E),…
We study star product algebras of analytic functions for which the power series defining the products converge absolutely. Such algebras arise naturally in deformation quantization theory and in noncommutative quantum field theory. We…
We construct interpolation operators for functions taking values in a symmetric space -- a smooth manifold with an inversion symmetry about every point. Key to our construction is the observation that every symmetric space can be realized…