arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1904.10742

Halmos' two projections theorem for Hilbert $C^*$-module operators and the Friedrichs

Wei Luo·Mohammad Sal Moslehian·Qingxiang Xu
View original source ↗Read source document ↗Export metadata ↓

Abstract

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.

Explore related subjects

math.FAmath.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Wei Luo, Mohammad Sal Moslehian, Qingxiang Xu. 2019-04-24. Halmos' two projections theorem for Hilbert $C^*$-module operators and the Friedrichs. https://doi.org/10.1016/j.laa.2019.04.025

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A General Proof of the Fong-Tsui Conjecture

We present a general proof of the Fong-Tsui conjecture for bounded operators on arbitrary complex Hilbert spaces. Specifically, we show that $|T|\leq|\operatorname{Re}T|$ implies that $T$ is self-adjoint. The argument combines a positive inverse of a Sylvester map with a spectral cutoff determined by the norm of the positive defect $|\operatorname{Re}T|-|T|$. A local vanishing lemma reduces the analysis to the classical squared self-adjointness criterion, while positivity of the defect yields a global norm contradiction. We formulate the argument as an abstract four-operator vanishing principle, without compactness, trace, or separability assumptions. We also establish a quantitative stability estimate: if $|T|\leq|\operatorname{Re}T|+\varepsilon I$ and $0\leq\varepsilon\leq|T|$, then $|\operatorname{Im}T|\leq6|T|^{7/8}\varepsilon^{1/8}$. The constant is independent of the dimension, and the exponent is not claimed to be optimal. Large language models (LLMs) were used to assist with proof development, algebraic calculations, numerical checks, and auditing of the arguments.

math.FA↗
arXiv2026

The natural components of an autoregressive time series on Banach space

We show that an autoregressive time series on Banach space can be canonically identified with a finite direct product of self-contained and self-determined natural components defined on separate subspaces by the spectral projections for each spectral point of the characteristic linear pencil. We assume the resolvent of the pencil is analytic everywhere except for the spectral points which may be poles or isolated essential singularities. Each natural component is represented as a forward, backward or outward flow fixed by an upstream boundary condition in the far distant past, the far distant future, or at a nominated initial time---depending on whether the corresponding spectral point is outside, inside, or on the unit circle.

math.FA↗
arXiv2026

Structure properties of Banach spaces of I-null sequences

We investigate structural properties of the ideal-null sequence spaces c_{0,I} and c_{0,I}(X), and of the quotient l_infty/c_{0,I}, emphasizing the interaction between Banach space theory and combinatorial, topological, and measure-theoretic properties of the underlying ideal. We study classical problems related to c_0, including the dual space, compactness criteria, bounded and compact c_{0,I}-valued operators, Sobczyk-type extension phenomena, and complemented copies of c_0. We identify c_{0,I}^* isometrically with a space of bounded finitely additive measures on I and obtain a canonical atomic-singular decomposition, with l_1 as an isometrically complemented summand. A Dini principle for ideal convergence yields characterizations of relatively compact subsets of c_{0,I} and of compact operators with range in c_{0,I}. We prove a Sobczyk theorem for c_{0,I} and show that its separable-injectivity constant is exactly 2 for every proper ideal. We also construct, in ZFC, a class of statistical ideals for which c_{0,I} is not complemented in l_infty, and characterize complemented copies of c_0 in c_{0,I}(X) via the corresponding properties of c_{0,I} and X. Finally, we describe quotients associated with direct and Frolik sums of ideals, characterize Banach-lattice copies of c_0(kappa) in l_infty/c_{0,I} through I-almost disjoint families, identify ad(I) with the cellularity of the associated Stone space, and determine its behavior under Fubini products.

math.FA↗