Related papers: Isometries of Hilbert space valued function spaces
This article, addressed to a general audience of functional analysts, is intended to be an illustration of a few basic principles from `noncommutative functional analysis', more specifically the new field of {\em operator spaces.} In our…
Motivated by questions raised in the preprint [AL20] by Accardi and Lu (private communication), we examine criteria for when the product of two partial isometries between Hilbert spaces is again a partial isometry and we use this to define…
For a complex Banach space $\mathbb X$, we prove that $\mathbb X$ is a Hilbert space if and only if every strict contraction $T$ on $\mathbb X$ dilates to an isometry if and only if for every strict contraction $T$ on $\mathbb X$ the…
This paper is a continuation of the recent paper of the author, where a certain reproducing kernel Hilbert space $X_{\mathcal{S}}$ was constructed. The norm in $X_{\mathcal{S}}$ is related to a certain generalized isoperimetric inequality…
Let $E$ and $B$ be arbitrary weakly compact JB$^*$-triples whose unit spheres are denoted by $S(E)$ and $S(B)$, respectively. We prove that every surjective isometry $f: S(E) \to S(B)$ admits an extension to a surjective real linear…
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…
We will show that for any two bounded linear operators $X,Y$ on a Hilbert space ${\frak H}$, if they satisfy the triangle equality $|X+Y|=|X|+|Y|$, there exists a partial isometry $U$ on ${\frak H}$ such that $X=U|X|$ and $Y=U|Y|$. This is…
Partial Isometries are important constructs that help give nontrivial solutions once a simple solution is known. We generalize this notion to Extended Partial Isometries and include operators which have right inverses but no left inverses…
Given a Hilbert space $H$, the set $P(H)$ of one-dimensional subspaces of $H$ becomes an orthoset when equipped with the orthogonality relation $\perp$ induced by the inner product on $H$. Here, an \emph{orthoset} is a pair $(X,\perp)$ of a…
We examine the surjectivity of isometries between weighted spaces of holomorphic functions. We show that for certain classical weights on the open unit disc all isometries of the weighted space of holomorphic functions, ${ \mathcal…
In this paper we give necessary and sufficient conditions for a bounded linear Hilbert space operator to be an $m$-isometry for an unspecified $m$ written in terms of conditions that are applied to "one vector at a time". We provide…
A well-known theorem of Paulsen says that if $\mathcal{A}$ is a unital operator algebra and $\phi:\mathcal{A}\to B(\mathcal{H})$ is a unital completely bounded homomorphism, then $\phi$ is similar to a completely contractive map $\phi'$.…
Let $H(\mathbb{D})$ be the linear space of all analytic functions on the open unit disc $\mathbb{D}$ and $H^p(\mathbb{D})$ the Hardy space on $\mathbb{D}$. The characterization of complex linear isometries on $\mathcal{S}^p=\{f\in…
Let $\mathcal{M}$ be an atomless semifinite von Neumann algebra (or an atomic von Neumann algebra with all atoms having the same trace) acting on a (not necessarily separable) Hilbert space $H$ equipped with a semifinite faithful normal…
Motivated by importance of operator spaces contained in the set of all scalar multiples of isometries ($MI$-spaces) in a separable Hilbert space for $C^*$-algebras and E-semigroups we exhibit more properties of such spaces. For example, if…
We investigate an extended version of Hilbert space of analytic functions called Hilbert space of complex-valued harmonic functions. It is found that functions in Hilbert space of complex-valued harmonic functions exhibit many properties…
We explicitly describe all Hilbert function spaces that are interpolation spaces with respect to a given couple of Sobolev inner product spaces considered over $\mathbb{R}^{n}$ or a half-space in $\mathbb{R}^{n}$ or a bounded Euclidean…
Let $H$ be an infinite dimensional Hilbert space. We show that there exists a subspace of $B(H)$ which is isometric to $\ell_2$ and completely isometric to its antidual in the sense of the theory of operator spaces recently developed by…
Let $H$ be a reflexive, dense, separable, infinite dimensional complex Hilbert space and let $B(H)$ be the algebra of all bounded linear operators on $H$. In this paper, we carry out characterizations of norm-attainable operators in normed…
Parallel to the study of finite dimensional Banach spaces, there is a growing interest in the corresponding local theory of operator spaces. We define a family of Hilbertian operator spaces H_n^k,0< k < n+1, generalizing the row and column…