A NOTE ON COMPACT OPERATORS

Similar documents
The Gram matrix in inner product modules over C -algebras

Analysis Preliminary Exam Workshop: Hilbert Spaces

ON OPERATORS WITH AN ABSOLUTE VALUE CONDITION. In Ho Jeon and B. P. Duggal. 1. Introduction

FUNCTIONAL ANALYSIS-NORMED SPACE

A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.

Math Solutions to homework 5

The Dirichlet-to-Neumann operator

arxiv: v1 [math.fa] 1 Oct 2015

The essential numerical range and the Olsen problem

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

Banach Journal of Mathematical Analysis ISSN: (electronic)

A Spectral Characterization of Closed Range Operators 1

SOME INEQUALITIES FOR THE EUCLIDEAN OPERATOR RADIUS OF TWO OPERATORS IN HILBERT SPACES

Spectral theorems for bounded self-adjoint operators on a Hilbert space

285K Homework #1. Sangchul Lee. April 28, 2017

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

Hilbert Spaces. Contents

CESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE

NORMS ON SPACE OF MATRICES

A NOTE ON QUASI ISOMETRIES II. S.M. Patel Sardar Patel University, India

SPECTRAL RADIUS ALGEBRAS OF WEIGHTED CONDITIONAL EXPECTATION OPERATORS ON L 2 (F) Groups and Operators, August 2016, Chalmers University, Gothenburg.

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

Operators with numerical range in a closed halfplane

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT

APPROXIMATION OF MOORE-PENROSE INVERSE OF A CLOSED OPERATOR BY A SEQUENCE OF FINITE RANK OUTER INVERSES

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

FORMAL TAYLOR SERIES AND COMPLEMENTARY INVARIANT SUBSPACES

A NOTE ON THE G-CYCLIC OPERATORS OVER A BOUNDED SEMIGROUP

Elementary linear algebra

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

Patryk Pagacz. Characterization of strong stability of power-bounded operators. Uniwersytet Jagielloński

TWO MAPPINGS RELATED TO SEMI-INNER PRODUCTS AND THEIR APPLICATIONS IN GEOMETRY OF NORMED LINEAR SPACES. S.S. Dragomir and J.J.

Functional Analysis F3/F4/NVP (2005) Homework assignment 3

On the Generalized Reid Inequality and the Numerical Radii

Rolle s Theorem for Polynomials of Degree Four in a Hilbert Space 1

Algebras Generated by Invertible Elements

DAVIS WIELANDT SHELLS OF NORMAL OPERATORS

On the simplest expression of the perturbed Moore Penrose metric generalized inverse

Hilbert Space Methods Used in a First Course in Quantum Mechanics A Recap WHY ARE WE HERE? QUOTE FROM WIKIPEDIA

Compact operators, the essential spectrum and the essential numerical range

CONTINUITY OF CP-SEMIGROUPS IN THE POINT-STRONG OPERATOR TOPOLOGY

OPERATOR SEMIGROUPS. Lecture 3. Stéphane ATTAL

Errata Applied Analysis

Your first day at work MATH 806 (Fall 2015)

Spectral analysis for rank one perturbations of diagonal operators in non-archimedean Hilbert space

AND COMPACT PERTURBATIONS

Lax Solution Part 4. October 27, 2016

SEMI-INNER PRODUCTS AND THE NUMERICAL RADIUS OF BOUNDED LINEAR OPERATORS IN HILBERT SPACES

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz

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

The Split Hierarchical Monotone Variational Inclusions Problems and Fixed Point Problems for Nonexpansive Semigroup

DEFINABLE OPERATORS ON HILBERT SPACES

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

Function Space and Convergence Types

REAL AND COMPLEX ANALYSIS

On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings

Hilbert space methods for quantum mechanics. S. Richard

A Concise Course on Stochastic Partial Differential Equations

Higher rank numerical ranges of rectangular matrix polynomials

Proof. We indicate by α, β (finite or not) the end-points of I and call

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

THE SPECTRAL DIAMETER IN BANACH ALGEBRAS

Spectral Theory, with an Introduction to Operator Means. William L. Green

A locally convex topology and an inner product 1

1 Continuity Classes C m (Ω)

The local equicontinuity of a maximal monotone operator

arxiv: v1 [math.fa] 26 May 2012

INVARIANT SUBSPACES FOR CERTAIN FINITE-RANK PERTURBATIONS OF DIAGONAL OPERATORS. Quanlei Fang and Jingbo Xia

Spectral theory for linear operators on L 1 or C(K) spaces

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Optimization Theory. A Concise Introduction. Jiongmin Yong

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

A brief introduction to trace class operators

Five Mini-Courses on Analysis

Ginés López 1, Miguel Martín 1 2, and Javier Merí 1

TRANSLATION INVARIANCE OF FOCK SPACES

Generalized Absolute Values and Polar Decompositions of a Bounded Operator

Your first day at work MATH 806 (Fall 2015)

ON MATRIX VALUED SQUARE INTEGRABLE POSITIVE DEFINITE FUNCTIONS

Continuous Functions on Metric Spaces

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

ON SOME RESULTS ON LINEAR ORTHOGONALITY SPACES

SPECTRAL THEORY EVAN JENKINS

A SHORT INTRODUCTION TO BANACH LATTICES AND

Notes on nets and convergence in topology

FUNCTIONAL ANALYSIS LECTURE NOTES: ADJOINTS IN HILBERT SPACES

SOME PROPERTIES PRESERVED BY WEAK NEARNESS. Adriana Buică

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

arxiv: v1 [math.fa] 24 Oct 2018

On polynomially -paranormal operators

arxiv: v1 [math.fa] 6 Nov 2015

Functional Analysis HW #5

Math 123 Homework Assignment #2 Due Monday, April 21, 2008

ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES

AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)

Linear maps preserving AN -operators

Yuqing Chen, Yeol Je Cho, and Li Yang

Transcription:

Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. 15 (2004), 26 31. Available electronically at http: //matematika.etf.bg.ac.yu A NOTE ON COMPACT OPERATORS Adil G. Naoum, Asma I. Gittan Let H be a separable complex Hilbert space and let B(H) be the algebra of bounded linear operators on H. Recall that an operator T B(H) is said to be compact if for every bounded sequence {x n } of vectors in H, the sequence {T x n } contains a converging subsequence. An operator T is said to be of finite rank if the range of T, R(T ) is finite dimensional. It is easily seen that every finite rank operator is compact, however, the converse is false. The operator T is said to be of almost finite rank of T is the limit, in the norm topology of B(H), of a sequence of finite rank operators. Finally, the operator T is said to be completely continuous (or C.C.) if for every weakly convergent sequence {x n }, the sequence {T x n } converges. A sequence {x n } in H is said to converge weakly if the sequence { x n, y } of numbers converges for all y. For these concepts see [1], [2], [3], [6]. The following result is well known (see [4], [7]): Theorem. Let T B(H). The following statements are equivalent: 1. T is compact. 2. T is of almost finite rank. 3. T is completely continuous. In this note we introduce the concepts of a quasi-compact operator and semicompact operator and we show the equivalence of these concepts with compactness. 1. QUASI-COMPACT OPERATORS AND SEMI-COMPACT OPERATORS We start this by definitions: Definition 1.1. An operator T B(H) is said to be quasi-compact if for every sequence {x n } in H that converges weakly to the zero vektor 0, the sequence { T x n, x n } converges to 0. Note that this definition is equivalent to saying that when x n x weakly, then T x n, x n T x, x. 2000 Mathematics Subject Classification: 47B07 Keywords and Phrases: Quasi compact, semi compact, compact operators. 26

A note on compact operators 27 Definition 1.2. An operator T B(H) is said to be semi-compact if for every orthonormal sequence {e n } in H, the sequence { T e n, e n } converges to 0. Since every orthonormal sequence converges weakly to 0, then it is clear that every quasi-compact operator is semi-compact. Our main result in this note is the following. Theorem 1.3. Let T B(H). The following statements are equivalent: 1. T is compact. 2. T is quasi-compact. 3. T is semi-compact. For the proof of the theorem we need the following lemmas: Lemma 1.4. If A is self adjoint operator (A = A ) in B(H) which is quasicompact, then A is C.C., and hence is compact. Proof. Let each of {x n } and {y n } be a weakly convergent sequence in H that converges to 0. Thus Ax n, x n 0 and Ay n, y n 0. It is clear that the sequences {x n + y n } and {x n y n } are weakly converging to 0. Thus A(x n + y n ), x n + y n 0 and A(x n y n ), x n y n 0. Thus Ax n, x n + Ax n, y n + Ay n, x n + Ay n, y n 0. But Ax n, x n 0 and Ay n, y n 0, hence Ax n, y n + Ay n, x n 0. Because A = A, then Ay n, x n = y n, Ax n = Ax n, y n. Thus Ax n, y n + Ax n, y n = 2 Re Ax n, y n 0. Similarly, Ax n, y n Ax n, y n = 2 Im Ax n, y n 0. Hence the sequence { Ax n, y n } 0 for any two sequences {x n }, {y n } that converge to 0 weakly. In particular, if {y n } = {Ax n }, then { Ax n, Ax n } = { Ax n 2 } converges to 0. And the operator A is a C.C. operator. Lemma 1.5. If A is a self adjoint operator which is semi-compact, then A is of almost finite rank. We postpone the proof of the lemma to Section 3. Theorem 1.3 now follows from the following. Theorem 1.6. Let T B(H), then the following statements are equivalent: 1. T is a compact operator. 2. T is a C.C. operator. 3. T is a quasi-compact operator. 4. T is a semi-compact operator. 5. T is of almost finite rank. Proof. The equivalence of 1 and 2 is well known. (2) (3) : Let {x n } be a weakly convergent sequence to 0. Since T is C.C., T x n 0. By the continuity of the inner product, T x n, x n 0, thus T is quasi-compact. (3) (2) : Let T = A + ib, where A = 1 2 (T + T ) and B = 1 2i (T T ), it is clear that A and B are self adjoint. Let {x n } be a weakly convergent sequence to 0. Since T is quasi-compact, then T x n, x n 0, which implies T x n, x n 0. Hence Ax n, x n = 1 2 T x n, x n + 1 2 T x n, x n 0.

28 Adil G. Naoum, Asma I. Gittan Thus A is a quasi-compact operator. But A is self adjoint, hence by Lemma 1.4, A is C.C. By the same argument B is C.C., and hence T is C.C. (3) (4) : Follows from the fact that every orthonormal sequence converges weakly to 0. (4) (5) : Let T = A+iB, where A = 1 2 (T +T ) and B = 1 2i (T T ). Let {e n } be an orthonormal sequence in H. Since T is semi-compact, T e n, e n 0, which implies T e n, e n 0. Consequently, Ae n, e n = 1 2 T e n, e n + 1 2 T e n, e n 0. Similarly Be n, e n 0. Thus by Lemma 1.5, each of A and B is of almost finite rank. Hence T = A + ib is almost finite rank. (5) (1) : Follows from the fact that each finite rank operator is compact and the set of compact operators is closed, [6]. Now, for the proof of the Lemma 1.5, we need the functional calculus. 2. FUNCTIONAL CALCULUS For a general reference on functional calculus see [3], [4], [6], [7]. Let A be a self-adjoint operator in B(H). It is easily seen that Ax, x is real for all x H. It is known that A = { Ax, x }, [6, Prop. 68.5]. Let m = m(a) = inf x =1 { Ax, x }, M = M(A) = sup sup x =1 x =1 { Ax, x }. These numbers are called the lower and the upper bounds of A, respectively. It is known that A = Max { m, M }. Let P be the linear space of all polynomial functions with real coefficients defined on the interval [n, M]. Let p(t) = a 0 + a 1 t + + A n t n P, p(a) = a 0 I + a 1 A + + a n A n. Recall that a self adjoint operator A is called positive, A 0, if Ax, x 0 for all x H. Consequently, if A, B are self adjoint operators on H, we say that A B if B A is positive, i.e. Ax, x Bx, x for all x H. Next we turn to continuous functions on [m, M]. Since every continuous function can be approximated uniformly by the sequence of polynomial functions (Weierstrass approximation theorem), the map p p(a) can be extended to the Banach space of all continuous functions on [m, M]. Let A B(H) be a self adjoint operator, and let f be a continuous function on [m, M]. Then there exists a unique operator f(a) which is bounded and self adjoint. Next we extend the notion f(a) to functions which are not necessarily continuous. But first we need a definition. Definition 2.1. [6] A sequence {T n } of self adjoint operators is said to be monotonic increasing (decreasing) if T 1 T 2 L (T 1 T 2 T 3 ). It is

A note on compact operators 29 said to be bounded from above (below) if there exists a self adjoint operator B with T n B (T n B) for all n. A sequence is said to be bounded if it is bounded from below and above. The proof of the following proposition is not difficult (see [6]). Proposition 2.2. Every monotonic and bounded sequence of self adjoint operators on H converges strongly (i.e. pointwise) to a self adjoint operator, i.e. exists a self adjoint operator T on H such that T n x T x 0 for each x H. Let K 1 be the class of functions f : [m, M] R for which the following holds: There exists a sequence of continuous functions {f n } on [m, M] with f n (t) f n+1 (t) 0 and f n (t) f(t) for every t [m, M]. Remark 2.3. By Weierstrass approximation theorem, we can replace the functions {f n } by polynomials {p n }. Proposition 2.4. Let A B(H) be a self adjoint operator. Let f K 1 and h n (t) be a monotone decreasing sequence of polynomials that converges pointwise to f. Then the sequence of operators {h n (A)} converges strongly to an operator denoted by f(a), moreover, f(a) is self adjoint and does not depend on the choice of {h n }. Proof. See [6] and [7]. Proposition 2.5. Let A B(H) be a self adjoint operator. Then the mapping f f(a), where f K 1 has the following properties: (1) If f, g K 1 and f(t) g(t) for all t [m, M], then f(a) g(a). (2) (αf)(a) = α ( f(a) ) for α 0. (3) (f + g)(a) = f(a) + g(a). (4) fg(a) = f(a)g(a). Proof. Proof is simple. 3. PROOF OF LEMMA 1.5 In this section we apply the tools constructed in Section 2 to prove Lemma 1.5. We start by the following: Proposition 3.1. Let µ R, define the characteristic function e µ as follows: { 0 (for λ µ) e µ (λ) = 1 (for λ > µ) Then the function e µ belongs to the class K 1 and e µ (A) is a projection operator. Proof. Define a sequence {f n } of continuous functions on R as follows: f n (λ) = 1 for λ µ, f n (λ) = 0 for λ µ + 1 ( n and on µ, µ + 1 ) the function f n is linear. n Now, if A B(H) is self adjoint with m, M defined as above, then by Proposition 2.4, the operator e µ (A) is defined in B(H) and is self adjoint. Moreover, since eµ 2 (λ) = e µ (λ), then by Proposition 2.5 eµ 2 (A) = e µ (A). Thus the operator

30 Adil G. Naoum, Asma I. Gittan e µ (A) is a projection operator. Notice that e µ (A) = 0, the zero operator if µ < m and e µ (A) = I, the identity operator if µ > M. Lemma 3.2. Let A be a self adjoint operator and α is non negative real number. Let { 0 (for λ < α) p α (λ) = 1 (for λ α). Then p α (A) is a self adjoint operator. Proof. Define the characteristic functions q α (λ) and r α (λ) as follows: { { 0 (for λ α) 0 (for λ α) q α (λ) = 1 (for λ > α), r α(λ) = 1 (for λ < α). It is clear that p α (λ) = q α (λ) + r α (λ). By Proposition 3.1, each of the operators r α (A) and q α (A) is defined and self adjoint. By Proposition 2.5, the operator p α (A) = q α (A) + r α (A) is self adjoint. Lemma 3.3. If A is a self adjoint operator which is semi compact and p α (A) is the function defined in Lemma 3.2, then p α (A) is an operator of finite rank. Proof. It is enough to show that each of the operators r α (A) and q α (A) is of finite rank. Assume that r α (A) is not of finite rank, i.e. its range r α (A)H is infinite dimensional. Let {e n } be an infinite orthonormal sequence in r α (A)H. Since r α (A) is a projection by Proposition 3.1, then r α (A)e n = e n for each n. Thus Ae n, e n = Ar α (A)e n, r α (A)e n. Now, define the function { λ (for λ α) t α (λ) = α (for λ < α). Notice that λr α (λ) = t α (λ)r α (λ). Using Proposition 2.5, we get Ar α (A) = t α (A)r α (A). Note also, because t α (λ) is non negative for all λ R, then t α (A) is a positive operator. Moreover, since t α (A)λ α for all real λ, then by Proposition 2.5, t α (A) αi. Consequently t α (A)u, u α u, u for all u H. In particular, if u = r α (A)e n, we get Ae n, e n = t α (A)r α (A)e n, r α (A) α r α (A)e n, r α (A)e n = α e n, e n = α. But this relation is true for each α > 0, thus Ae n, e n 0, and hence A is not semi compact which is a contradiction. Thus r α (A) is an operator of finite rank. Similarly q α (A) has finite rank. We are now in a position to prove Lemma 1.5. Proof of Lemma 1.5. Let p α (A) be the function defined as in Lemma 3.2. Consider the function λ ( 1 p α (λ) ) = λ λp α (λ). Since λ λpα (λ) α for all real

A note on compact operators 31 λ, then by Proposition 2.5, A Ap α (A) α. Since the operator p α (A) has finite rank, so is Ap α (A). Hence for each n N, take α = 1/n. Then A Ap 1/n (A) 1/n. Thus Ap 1/n (A) A, and hence A is almost finite rank. REFERENCES 1. S. K. Berberian: Introduction to Hilbert space. Second edition. Chelsea Publishing Co., New York, (1976). 2. A. Brown, A. Page: Elements of functional analysis. Van Nostrand, (1970). 3. G. B. Conway: A course in functional analysis. Springer Verlag, New York, (1985). 4. N. Dunford, J. Schwartz: Linear operators and Spectral theory. I, II, Interscience, New York, (1958, 1963). 5. P. R. Halmos: A Hilbert space problem book. Springer Verlag, New York, (1967). 6. H. G. Heuser: Functional analysis. John Wiley, New York, (1982). 7. V. Istratescu: Introduction to linear operator theory. Mercel Dekker, (1981). Department of Mathematics, (Received October 23, 2000) College of Science, University of Baghdad, Iraq Department of Mathematics, College of Science, Saddam University, Iraq