We define the notion of $φ$-perturbation of a densely defined adjointable mapping and prove that any such mapping $f$ between Hilbert ${\mathcal A}$-modules over a fixed $C^*$-algebra ${\mathcal A}$ with densely defined corresponding mapping $g$ is ${\mathcal A}$-linear and adjointable in the classical sense with adjoint $g$. If both $f$ and $g$ are everywhere defined then they are bounded. Our work concerns with the concept of Hyers--Ulam--Rassias stability originated from the Th.M. Rassias' stability theorem that appeared in his paper [On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (1978), 297--300]. We also indicate interesting complementary results in the case where the Hilbert $C^*$-modules admit non-adjointable $C^*$-linear mappings.
The parallel sum for adjoinable operators on Hilbert $C^*$-modules is introduced and studied. Some results known for matrices and bounded linear operators on Hilbert spaces are generalized to the case of adjointable operators on Hilbert $C^*$-modules. It is shown that there exist a Hilbert $C^*$-module $H$ and two positive operators $A, B\in\mathcal{L}(H)$ such that the operator equation $A^{1/2}=(A+B)^{1/2}X, X\in \cal{L}(H)$ has no solution, where $\mathcal{L}(H)$ denotes the set of all adjointable operators on $H$.
Let $n$ be any natural number. The $n$-centered operator is introduced for adjointable operators on Hilbert $C^*$-modules. Based on the characterizations of the polar decomposition for the product of two adjointable operators, $n$-centered operators, centered operators as well as binormal operators are clarified, and some results known for the Hilbert space operators are improved. It is proved that for an adjointable operator $T$, if $T$ is Moore-Penrose invertible and is $n$-centered, then its Moore-Penrose inverse is also $n$-centered. A Hilbert space operator $T$ is constructed such that $T…
Normality of bounded and unbounded adjointable operators are discussed. Suppose $T$ is an adjointable operator between Hilbert C*-modules which has polar decomposition, then $T$ is normal if and only if there exists a unitary operator $ \mathcal{U}$ which commutes with $T$ and $T^*$ such that $T=\mathcal{U} \, T^*.$ Kaplansky's theorem for normality of the product of bounded operators is also reformulated in the framework of Hilbert C*-modules.
In this paper, we investigate the structure of the multiplier module of a Hilbert module over a locally C*-algebra and the relationship between the set of all adjointable operators from a Hilbert A-module E to a Hilbert A-module F and the set of all adjointable operators from the multiplier module M(E)of E to the multiplier module M(F) of F.
It is proved that for adjointable operators $A$ and $B$ between Hilbert $C^*$-modules, certain majorization conditions are always equivalent without any assumptions on $\overline{\mathcal{R}(A^*)}$, where $A^*$ denotes the adjoint operator of $A$ and $\overline{\mathcal{R}(A^*)}$ is the norm closure of the range of $A^*$. In the case that $\overline{{\mathcal R}(A^*)}$ is not orthogonally complemented, it is proved that there always exists an adjointable operator $B$ whose range is contained in that of $A$, whereas the associated equation $AX=B$ for adjointable operators is unsolvable.
In this paper we consider A-Fredholm and semi-A-Fredholm operators on Hilbert C*-modules over a W*-algebra A defined in [3],[10]. Using the assumption that A is a W*-algebra (and not an arbitrary C*-algebra), we obtain several results such as generalization of Schechter-Lebow characterization of semi-Fredholm operators and generalization of "punctured neighbourhood" theorem, as well as some other results that generalize their classical counterparts. We consider both adjointable and non adjointable semi-Fredholm operators over W*-algebras. Moreover, we also work with general bounded, adjointabl…
We study and compare the gap and the Riesz topologies of the space of all unbounded regular operators on Hilbert C*-modules. We show that the space of all bounded adjointable operators on Hilbert C*-modules is an open dense subset of the space of all unbounded regular operators with respect to the gap topology. The restriction of the gap topology on the space of all bounded adjointable operators is equivalent with the topology which is generated by the usual operator norm. The space of regular selfadjoint Fredholm operators on Hilbert C*-modules over the C*-algebra of compact operators is path…
In this paper, we investigate some characterizations of dual continuous frames and give some results about them. Also, we refer to the method of constructing a family of duals through a fixed dual and show there exists a one-to-one correspondence between duals of a continuous frame for Hilbert $C^*$-module $U$ and adjointable operators $K$ from $U$ to $L^{2}(Ω,\mathcal A)$. Then we check the conditions that the sum of two duals of a given continuous frame under the influence of adjointable mappings becomes a dual of it and state some results about them.
Motivated from the theory of Hilbert-Schmidt morphisms between Hilbert C*-modules over commutative C*-algebras by Stern and van Suijlekom \textit{[J. Funct. Anal., 2021]}, we introduce the notion of p-absolutely summing morphisms between Hilbert C*-modules over commutative C*-algebras. We show that an adjointable morphism between Hilbert C*-modules over monotone closed commutative C*-algebra is 2-absolutely summing if and only if it is Hilbert-Schmidt. We formulate version of Pietsch factorization problem for p-absolutely summing morphisms and solve partially
We show that pure strongly continuous semigroups of adjointable isometries on a Hilbert C*-module are standard right shifts. By counter examples, we illustrate that the analogy of this result with the classical result on Hilbert spaces by Sz.-Nagy, cannot be improved further to understand arbitrary isometry semigroups of isometries in the classical way.
Halmos' two projections theorem for Hilbert space operators is one of the fundamental results in operator theory. In this paper, we introduce the term of two harmonious projections in the context of adjointable operators on Hilbert $C^*$-modules, extend Halmos' two projections theorem to the case of two harmonious projections. We also give some new characterizations of the closed submodules and their associated projections. As an application, a norm equation associated to a characterization of the Friedrichs angle is proved to be true in the framework of Hilbert $C^*$-modules.
We introduce a uniform structure on any Hilbert $C^*$-module $\mathcal N$ and prove the following theorem: suppose, $F:{\mathcal M}\to {\mathcal N}$ is a bounded adjointable morphism of Hilbert $C^*$-modules over $\mathcal A$ and $\mathcal N$ is countably generated. Then $F$ belongs to the Banach space generated by operators $θ_{x,y}$, $θ_{x,y}(z):=x\langle y,z\rangle$, $x\in {\mathcal N}$, $y,z\in {\mathcal M}$ (i.e. $F$ is ${\mathcal A}$-compact, or "compact") if and only if $F$ maps the unit ball of ${\mathcal M}$ to a totally bounded set with respect to this uniform structure (i.e. $F$ is …
We define Schatten classes of adjointable operators on Hilbert modules over abelian $C^*$-algebras. Many key features carry over from the Hilbert space case. In particular, the Schatten classes form two-sided ideals of compact operators and are equipped with a Banach norm and a $C^*$-valued trace with the expected properties. For trivial Hilbert bundles, we show that our Schatten-class operators can be identified bijectively with Schatten-norm-continuous maps from the base space into the Schatten classes on the Hilbert space fiber, with the fiberwise trace. As applications, we introduce the $C…
The goal of the present paper is to extend the theory of frames for countably generated Hilbert $C^*$-modules over arbitrary $C^*$-algebras. In investigating the non-unital case we introduce the concept of outer frame as a sequence in the multiplier module $M(X)$ that has the standard frame property when applied to elements of the ambient module $X$. Given a Hilbert $\A$-module $X$, we prove that there is a bijective correspondence of the set of all adjointable surjections from the generalized Hilbert space $\ell^2(\A)$ to $X$ and the set consisting of all both frames and outer frames for $X$.…
The aim of this paper is to present a unified framework in the setting of Hilbert $C^*$-modules for the scalar- and vector-valued reproducing kernel Hilbert spaces and $C^*$-valued reproducing kernel spaces. We investigate conditionally negative definite kernels with values in the $C^*$-algebra of adjointable operators acting on a Hilbert $C^*$-module. In addition, we show that there exists a two-sided connection between positive definite kernels and reproducing kernel Hilbert $C^*$-modules. Furthermore, we explore some conditions under which a function is in the reproducing kernel module and …
We investigate the structured frames for Hilbert $C^{*}$-modules. In the case that the underlying $C^{*}$-algebra is a commutative $W^*$-algebra, we prove that the set of the Parseval frame generators for a unitary operator group can be parameterized by the set of all the unitary operators in the double commutant of the group. Similar result holds for the set of all the general frame generators where the unitary operators are replaced by invertible and adjointable operators. Consequently, the set of all the Parseval frame generators is path-connected. We also obtain the existence and uniquenes…
Let $A,B$ and $C$ be adjointable operators on a Hilbert $C^*$-module $\mathscr{E}$. Giving a suitable version of the celebrated Douglas theorem in the context of Hilbert $C^*$-modules, we present the general solution of the equation $AX+YB=C$ when the ranges of $A,B$ and $C$ are not necessarily closed. We examine a result of Fillmore and Williams in the setting of Hilbert $C^*$-modules. Moreover, we obtain some necessary and sufficient conditions for existence of a solution for $AXA^*+BYB^*=C$. Finally, we deduce that there exist nonzero operators $X, Y\geq 0$ and $Z$ such that $AXA^*+BYB^*=CZ…
In the first part of the paper, we use states on $C^*$-algebras in order to establish some equivalent statements to equality in the triangle inequality, as well as to the parallelogram identity for elements of a pre-Hilbert $C^*$-module. We also characterize the equality case in the triangle inequality for adjointable operators on a Hilbert $C^*$-module. Then we give certain necessary and sufficient conditions to the Pythagoras identity for two vectors in a pre-Hilbert $C^*$-module under the assumption that their inner product has negative real part. We introduce the concept of Pythagoras orth…
Frame Theory has a great revolution for recent years. This theory has been extended from Hilbert spaces to Hilbert $C^{\ast}$-modules. In this paper, we introduce the concept of Controlled K-operator frame for the space $End_{\mathcal{A}}^{\ast}(\mathcal{H})$ of all adjointable operators on a Hilbert $\mathcal{A}$-module $\mathcal{H}$ and we establish some results.
Frame Theory has a great revolution for recent years. This theory has been extended from Hilbert spaces to Hilbert $C^{\ast}$-modules. In this paper, we introduce the concept of Controlled $\ast$-$K$-operator frame for the space $End_{\mathcal{A}}^{\ast}(\mathcal{H})$ of all adjointable operators on a Hilbert $\mathcal{A}$-module $\mathcal{H}$ and we establish some results.
We study adjointable, bounded operators on the direct sum of two copies of the standard Hilbert C*-module over a unital C*-algebra A that are given by upper triangular 2 by 2 operator matrices. Using the definition of A-Fredholm and semi-A-Fredholm operators given in [3], [4], we obtain conditions relating semi-A-Fredholmness of these operators and that of their diagonal entries, thus generalizing the results in [1], [2]. Moreover, we generalize the notion of the spectra of operators by replacing scalars by the center of the C*-algebra A denoted by Z(A).Considering these new spectra in Z(A) of…
A result of Gilbert shows that every completely bounded multiplier $f$ of the Fourier algebra $A(G)$ arises from a pair of bounded continuous maps $α,β:G \rightarrow K$, where $K$ is a Hilbert space, and $f(s^{-1}t) = (β(t)|α(s))$ for all $s,t\in G$. We recast this in terms of adjointable operators acting between certain Hilbert C$^*$-modules, and show that an analogous construction works for completely bounded left multipliers of a locally compact quantum group. We find various ways to deal with right multipliers: one of these involves looking at the opposite quantum group, and this leads to …
Introduced by Duffin and Schaefer as a part of their work on nonhamonic fourrier series in 1952, the theory of frames has undergone a very interesting evolution in recent decades following the multiplicity of work carried out in this field. In this work, we introduce a new concept that of integral operator frame for the set of all adjointable operators on a Hilbert C*-modules H and we give some new propertis relating for some construction of integral operator frame, also we establish some new results. Some illustrative examples are provided to advocate the usability of our results.
We give a modified definition of a reproducing kernel Hilbert $C^*$-module (shortly, $RKHC^*M$) without using the condition of self-duality and discuss some related aspects; in particular, an interpolation theorem is presented. We investigate the exterior tensor product of $RKHC^*M$s and find their reproducing kernel. In addition, we deal with left multipliers of $RKHC^*M$s. Under some mild conditions, it is shown that one can make a new $RKHC^*M$ via a left multiplier. Moreover, we introduce the Berezin transform of an operator in the context of $RKHC^*M$s and construct a unital subalgebra of…
The concept of operator frame can be considered as a generalization of frame. Firstly, we introduce the notion of operator frame for the set of all adjointable operators $Hom_{\mathcal{A}}^{\ast}(\mathcal{X})$ on a Hilbert pro-$C^{\ast}$-module $\mathcal{X}.$ The analysis operator, the synthesis operator and the frame operator are presented. Secondly, we study the stability of operator frame under small perturbations. We also study the tensor product of operator frame for Hilbert pro-$C^{\ast}$-modules. Finally, we establish its dual and some properties.
In the classical operator theory, there are several versions of spectra, related to special classes of operators (Fredholm, semi-Fredholm, upper/lower semi-Fredholm,etc.). We generalize these notions for adjointable operators on Hilbert C*-modules replacing scalars by the center of the algebra, and show that most relations between these spectra are still true for these generalized versions. The relation between these spectra of an operator and those of its compressions is also transferred to the case of Hilbert C*-modules.
In the first part of the paper we describe the dual \ell^2(A)^{\prime} of the standard Hilbert C*-module \ell^2(A) over an arbitrary (not necessarily unital) C*-algebra A. When A is a von Neumann algebra, this enables us to construct explicitly a self-dual Hilbert A-module \ell^2_{\text{strong}}(A) that is isometrically isomorphic to \ell^2(A)^{\prime}, which contains \ell^2(A), and whose A-valued inner product extends the original inner product on \ell^2(A). This serves as a concrete realization of a general construction for Hilbert C*-modules over von Neumann algebras introduced by W. Paschk…
As a partial generalisation of the Uhlhorn theorem to Hilbert $C^*$-modules, we show in this article that the module structure and the orthogonality structure of a Hilbert $C^*$-module determine its Hilbert $C^*$-module structure. In fact, we have a more general result as follows. Let $A$ be a $C^*$-algebra, $E$ and $F$ be Hilbert $A$-modules, and $I_E$ be the ideal of $A$ generated by $\{\langle x,y\rangle_A: x,y\in E\}$. If $Φ: E\to F$ is an $A$-module map, not assumed to be bounded but satisfying $$ \langle Φ(x),Φ(y)\rangle_A\ =\ 0\quad\text{whenever}\quad\langle x,y\rangle_A\ =\ 0, $$ then…
Let $\mathcal{L}(\mathscr{H})$ denote the $C^*$-algebra of adjointable operators on a Hilbert $C^*$-module $\mathscr{H}$. We introduce the generalized Cauchy-Schwarz inequality for operators in $\mathcal{L}(\mathscr{H})$ and investigate various properties of operators which satisfy the generalized Cauchy--Schwarz inequality. In particular, we prove that if an operator $A\in\mathcal{L}(\mathscr{H})$ satisfies the generalized Cauchy-Schwarz inequality such that $A$ has the polar decomposition, then $A$ is paranormal. In addition, we show that if for $A$ the equality holds in the generalized Cauc…
