The Gram matrix in inner product modules over C -algebras

Similar documents
arxiv: v3 [math.oa] 24 Feb 2011

arxiv: v1 [math.oa] 21 May 2009

5 Compact linear operators

Analysis Preliminary Exam Workshop: Hilbert Spaces

A Brief Introduction to Functional Analysis

Your first day at work MATH 806 (Fall 2015)

Applied Linear Algebra in Geoscience Using MATLAB

I teach myself... Hilbert spaces

A NOTE ON COMPACT OPERATORS

Fourier and Wavelet Signal Processing

Linear Normed Spaces (cont.) Inner Product Spaces

NORMS ON SPACE OF MATRICES

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India

Lecture 5. Ch. 5, Norms for vectors and matrices. Norms for vectors and matrices Why?

1 Functional Analysis

MA677 Assignment #3 Morgan Schreffler Due 09/19/12 Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1:

Elementary linear algebra

Projection Theorem 1

1 Compact and Precompact Subsets of H

The spectrum of a self-adjoint operator is a compact subset of R

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

CHAPTER VIII HILBERT SPACES

Functional Analysis HW #5

The second dual of a C*-algebra

FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

INNER PRODUCT SPACE. Definition 1

Projection-valued measures and spectral integrals

Best approximation in the 2-norm

The essential numerical range and the Olsen problem

The following definition is fundamental.

Measure, Integration & Real Analysis

Normality of adjointable module maps

LECTURE OCTOBER, 2016

Introduction to Empirical Processes and Semiparametric Inference Lecture 22: Preliminaries for Semiparametric Inference

Functional Analysis Review

Functional Analysis, Math 7321 Lecture Notes from April 04, 2017 taken by Chandi Bhandari

Linear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall A: Inner products

Mathematical foundations - linear algebra

The Banach Tarski Paradox and Amenability Lecture 23: Unitary Representations and Amenability. 23 October 2012

1 angle.mcd Inner product and angle between two vectors. Note that a function is a special case of a vector. Instructor: Nam Sun Wang. x.

Linear Algebra and its Applications

Your first day at work MATH 806 (Fall 2015)

OPERATOR INEQUALITIES RELATED TO WEAK 2 POSITIVITY

Inner products. Theorem (basic properties): Given vectors u, v, w in an inner product space V, and a scalar k, the following properties hold:

Mathematics of Information Spring semester 2018

Another consequence of the Cauchy Schwarz inequality is the continuity of the inner product.

Spectral Mapping Theorem

10.1. The spectrum of an operator. Lemma If A < 1 then I A is invertible with bounded inverse

Inner product on B -algebras of operators on a free Banach space over the Levi-Civita field

Recall that any inner product space V has an associated norm defined by

About Grupo the Mathematical de Investigación Foundation of Quantum Mechanics

DYNAMICAL SYSTEMS ON HILBERT MODULES OVER LOCALLY C -ALGEBRAS

Math Solutions to homework 5

11. Spectral theory For operators on finite dimensional vectors spaces, we can often find a basis of eigenvectors (which we use to diagonalize the

Functional Analysis Exercise Class

A note on the σ-algebra of cylinder sets and all that

Topological vectorspaces

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

Buzano Inequality in Inner Product C -modules via the Operator Geometric Mean

Introduction to Functional Analysis With Applications

Simultaneous zero inclusion property for spatial numerical ranges

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.

Remarks on the Spectrum of Bounded and Normal Operators on Hilbert Spaces

Hilbert space methods for quantum mechanics. S. Richard

Functional Analysis II held by Prof. Dr. Moritz Weber in summer 18

V. SUBSPACES AND ORTHOGONAL PROJECTION

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

1 The Projection Theorem

THE PROBLEMS FOR THE SECOND TEST FOR BRIEF SOLUTIONS

Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that. (1) (2) (3) x x > 0 for x 0.

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017

x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.

Geometric interpretation of signals: background

Linear Algebra Lecture Notes-II

2. Review of Linear Algebra

arxiv: v2 [math.oa] 21 Nov 2010

1 Math 241A-B Homework Problem List for F2015 and W2016

CHAPTER II HILBERT SPACES

Perturbation Theory for Self-Adjoint Operators in Krein spaces

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

DEFINABLE OPERATORS ON HILBERT SPACES

Compact operators, the essential spectrum and the essential numerical range

2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2

Math 108b: Notes on the Spectral Theorem

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0

ON SOME GENERALIZED NORM TRIANGLE INEQUALITIES. 1. Introduction In [3] Dragomir gave the following bounds for the norm of n. x j.

3 Orthogonality and Fourier series

CHAPTER 3. Hilbert spaces

Functional Analysis HW #3

Gaussian Hilbert spaces

Linear Algebra Massoud Malek

1 Inner Product Space

Measures, orthogonal polynomials, and continued fractions. Michael Anshelevich

AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES

ALMOST AUTOMORPHIC GENERALIZED FUNCTIONS

Linear Algebra. Session 12

Vector spaces. DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis.

ON GENERALIZED n-inner PRODUCT SPACES

Transcription:

The Gram matrix in inner product modules over C -algebras Ljiljana Arambašić (joint work with D. Bakić and M.S. Moslehian) Department of Mathematics University of Zagreb Applied Linear Algebra May 24 28, Novi Sad Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 1 / 15

C -algebras and C -modules Definition A C -algebra is a Banach -algebra A such that a a = a 2, a A. A right A-module X is a semi-inner product A-module if there is an A-semi-inner product, : X X A, i.e. the mapping satisfying 1 x, x 0; 2 x, λy + z = λ x, y + x, z ; 3 x, ya = x, y a; 4 x, y = y, x. for all x, y, z X, λ C, a A. Let X be a semi-inner product A-module. We define a semi-norm on X by x = x, x 1 2, x X where the latter norm denotes that in the C -algebra A. Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 2 / 15

C -algebras and C -modules Examples of C -algebras: 1 C([0, 1]) = {f : [0, 1] C : f is continuous} with f = max{ f (t) : t [0, 1]}. 2 B(H) with the operator norm and the usual adjoint. 3 In particular, if H is n-dimensional, then M n (C) = B(H) is a C -algebra. 4 Every closed -subalgebra of B(H) is a C -algebra. Examples of semi-inner product modules: 1 Every semi-inner product space is a semi-inner product C-module. 2 Each C -algebra A can be regarded as a semi inner product A-module via a, b = a b (a, b A). 3 For every pair of Hilbert spaces H 1 and H 2, the space B(H 1, H 2 ) of all bounded linear operators from H 1 to H 2 is a Hilbert B(H 1 )-module with the inner product T, S = T S. Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 3 / 15

The Gram matrix Definition Let (X,, ) be a semi-inner product A-module and n N. The Gram matrix of elements x 1,..., x n X is defined as the matrix [ x i, x j ] M n (A). For every x 1,..., x n X it holds [ x i, x j ] 0 in M n (A). The Cauchy-Schwarz inequality for x, y X [ ] x, y y, x y 2 x, x x, y x, x x, y 0. y, y e Positivity of the Gram matrix sharpens the Cauchy-Schwarz inequality, since [ ] [ ] x, x x, y x, x x, y x, y y, y e x, y 0. y, y Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 4 / 15

The Gram matrix Let (X,, ) be a semi-inner product A-module. For z X, z, z 0, we define, z : X X A, x, y z := z 2 x, y x, z z, y. Observe that x, x z = z 2 x, x x, z z, x 0. Then, z is another semi-inner product on X and therefore [ x i, x j z ] 0, that is, [ xi, x j ] 1 [ xi z 2, z z, x j ] = [ ( ) 1 x i, z z 2 e z, x j ]. Replacing, with, z in the last inequality we get [ xi, x j ] [ ( ) 1 x i, z z 2 e + b z, x j ] where b := 1 z 2 z 2 z,z z,z 2 ( z 2 e z, z ) 2 A +. We proceed by induction. Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 5 / 15

The Gram matrix Theorem Let (X,, ) be a semi-inner product A-module, n N and x 1,..., x n X. Let z X, z, z 0. Then there is a non-decreasing sequence (p m ( z, z )) m A + such that [ x i, x j ]... [ x i, z p m ( z, z ) z, x j ] [ x i, z p m 1 ( z, z ) z, x j ]... [ x i, z p 0 ( z, z ) z, x j ] = 1 z 2 [ x i, z z, x j ] 0. Theorem Let (X,, ) be a semi-inner product A-module, n N and x 1,..., x n X. Let z X, z, z 0. If b A + is such that zb 1 2 1, then [ xi, x j ] [ x i, z b z, x j ]. It holds that zp m ( z, z ) 1 2 = 1, m N. Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 6 / 15

Let A be a unital C -algebra. For a positive element a A, a 0, define f 0 (a) = a, g 0 (a) = f 0 (a) e f 0 (a), f m (a) = f m 1 (a)g m 1 (a), g m (a) = f m (a) e f m (a), m N. For m such that f m (a) 0 we define p 0 (a) = p 1 (a) = p 2 (a) =... p m (a) = e f 0 (a), e f 0 (a) + g 0 (a) 2 f 0 (a) f 1 (a), e f 0 (a) + g 0 (a) 2 f 0 (a) f 1 (a) + g 0 (a) 2 g 1 (a) 2 f 0 (a) f 1 (a) f 2 (a), e f 0 (a) + m l=1 ( 1 l k=0 f k(a) If f m (a) 0 and f m+1 (a) = 0 then we define p j (a) = p m (a), j > m. l 1 k=0 g k(a) 2 ). Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 7 / 15

Suppose A B(H). f m (a), m N are polynomials in a: f 0 (λ) = λ, f 1 (λ) = a λ λ 2, f m (λ) = f m 1 (a) f m 1 (λ) f m 1 (λ) 2, m N. Observe that deg f m = 2 m for all m. f m (a) 0 for all m N. f m+1 (a) 1 4 f m(a) 2. Suppose that there is m N such that f m (a) = 0. Let λ σ(a). Then f m (λ) f m (σ(a)) = σ(f m (a)) = {0}. This shows that σ(a) is contained in a finite set, namely in the set of all zeros of the polynomial f m. Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 8 / 15

Suppose σ(a) is a finite set. Let σ(a) \ {0} = {λ 1, λ 2,... λ k } where λ 1 > λ 2 >... > λ k > 0. By the spectral theory there exist orthogonal projections P 1, P 2,... P k B(H) which are mutually orthogonal and such that a = k i=1 λ ip i. k f 0 (a) = a = λ i P i, f 0 (a) = λ 1. i=1 f 1 (a) = λ 1 f 0 (a) f 0 (a) 2 = k λ i (λ 1 λ i )P i. This shows that f 1 (a) has at most k 1 non-zero elements in its spectrum. Suppose that λ 2 (λ 1 λ 2 ) λ i (λ 1 λ i ) for all i = 2,... k. Then f 1 (a) = λ 2 (λ 1 λ 2 ) and k f 2 (a) = (λ 1 λ i )(λ 2 λ i )(λ 1 λ 2 λ i )λ i P i. i=3 i=2 Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 9 / 15

Let a be a positive element of a C -algebra A B(H). Then there exists m N such that f m (a) = 0 if and only if a has a finite spectrum. If such m exists, then m card σ(a). If A is finite-dimensional, then σ(a) is finite. Suppose that A = C, i.e. that X is a semi-inner product space. Then for each z X the spectrum σ( z, z ) is a singleton, so f 1 ( z, z ) = 0. Hence, in this situation, we have only one inequality: [ xi, x j ] 1 z 2 [ xi, z z, x j ] 0. Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 10 / 15

Example Let a = diag(5, 4, 2, 1). Here we have f 0 (a) = diag(5, 4, 2, 1), f 0 (a) = 5, p 0 (a) = diag( 1 5, 1 5, 1 5, 1 5 ), f 1 (a) = diag(0, 4, 6, 4), f 1 (a) = 6, p 1 (a) = diag( 1 5, 7 30, 1 2, 11 15 ), f 2 (a) = diag(0, 8, 0, 8), f 2 (a) = 8, p 2 (a) = diag( 1 5, 1 4, 1 2, 1), f 3 (a) = 0 p k (a) = p 2 (a), k 3. Observe that p 2 (a) = a 1. Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 11 / 15

Theorem Let A B(H) be a C -algebra and a A +, a 0 such that σ(a) is finite. Let M be the number with the property f M (a) 0 and f M+1 (a) = 0. Then: ap M (a) is the orthogonal projection to the image of a. In particular, if a is an invertible operator, then p M (a) = a 1. Sketch of the proof. For every λ σ(a) there is m M such that f m (λ) = f m (a). If f m (λ m ) = f m (a) then p j (λ m ) = 1 λ m for all j m. { 1, λ σ(a) \ {0}, λp M (λ) = 0, λ σ(a) {0}. Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 12 / 15

Theorem Let a be a positive element in a C -algebra A B(H) with an infinite spectrum. Then lim m a2 p m (a) = a. In particular, if a is an invertible operator, lim m p m (a) = a 1. Remark From lim m a 2 p m (a) = a one easily gets lim m ap m (a) = p in the strong operator topology. Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 13 / 15

Example Suppose that a is a positive compact operator with an infinite spectrum. Then ap m (a) is compact operator for every m. If the sequence (ap m (a)) converges in norm, then the limit has to be a compact operator. Let p be the orthogonal projection to Im a. Since σ(a) is an infinite set, Im a is an infinite dimensional subspace and hence p is a non-compact operator. Therefore, the sequence (ap m (a)) does not converge to p in norm. Proposition Let a B(H) be a positive operator and p B(H) the orthogonal projection to Im a. Then (ap m (a)) m converges to p in norm if and only if Im a is a closed subspace of H. Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 14 / 15

At the end, let us turn back to the Gram matrix. Proposition Let X be a semi-inner product module over a C -algebra A B(H). For z X and a = z, z A, let p B(H) denotes the orthogonal projection to Im a. Suppose that there exists a positive operator h B(H) such that for all x 1,..., x n X and every m 0 it holds [ x i, x j ] [ x i, z h z, x j ] [ x i, z p m (a) z, x j ]. Then aha = a and ah = p. If σ(a) is finite and M N such that ap M (a) = p, then h and p M (a) coincide on Im a. Lj. Arambašić (University of Zagreb) The Gram matrix in inner product modules ALA 2010 15 / 15