Using the techniques of
noncommutative integration theory, classical results of Hermann Weyl concerning the
positive eigenvalues of the sum of two self-adjoint compact operators are extended to
self-adjoint operators which are measurable with respect to a gage space. Let
(H,A,m) be a gage space and let K and L be self-adjoint operators which are
measurable with respect to (H,A,m). Let PK[λ,∞) be the spectral projection of K
for the interval [λ,∞) and let ΛK(x) = sup{λ|m(PK[λ,∞)) ≧ x}. Then
ΛK+L(x + r) ≦ ΛK(x)+ ΛL(r). If K ≦ L, then ΛK(x) ≦ ΛL(x). If L is bounded, then
ΛLKL(x) ≦∥L∥2ΛK(x) for x ≦ m(PK[0,∞)). If q = m (support (L)) and q < ∞,
then ΛK(x + q) ≦ ΛK+L(x); if μ = Λ|K|(q), then ∥K + L∥p ≧∥KPK(−μ,μ)∥p for
1 ≦ p ≦∞.
|