Extending the Formula to Calculate the Spectral Radius of an Operator

Total Page:16

File Type:pdf, Size:1020Kb

Extending the Formula to Calculate the Spectral Radius of an Operator PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 126, Number 1, January 1998, Pages 97{103 S 0002-9939(98)04430-X EXTENDING THE FORMULA TO CALCULATE THE SPECTRAL RADIUS OF AN OPERATOR FERNANDO GARIBAY BONALES AND RIGOBERTO VERA MENDOZA (Communicated by Dale Alspach) Abstract. In a Banach space, Gelfand's formula is used to find the spectral radius of a continuous linear operator. In this paper, we show another way to find the spectral radius of a bounded linear operator in a complete topological linear space. We also show that Gelfand's formula holds in a more general setting if we generalize the definition of the norm for a bounded linear operator. 1. Introduction and basic definitions In all that follows E stands for a linear vector space over the field C of complex numbers. E[t] will denote a complete locally convex topological vector space, with a Hausdorff topology t,and T:E E will be a linear map. Finally, ϑ(t) will be the filter of all balanced, convex and→ closed t-neighborhoods of zero (in E). Definition 1. The linear operator T : E[t] E[t] is said to be a bounded operator, if there is a neighborhood U ϑ(t) such→ that T (U) is a bounded set. ∈ If in the definition above T (U) is a relatively compact set, then T is said to be a compact operator. Any compact operator is a bounded operator, and any bounded operator is continuous (with the t-topology) (see [5]). We recall that, given any topological linear space E[ω]andS:E[ω] E[ω]a linear operator, the resolvent of S is the set → ρ (S)= ξ C ξI S : E[ω] E[ω] ! ∈ − → n is bijective and has a continuous inverse . o The spectrum of S is defined by σ!(S)=C ρ!(S) (the set-theoretic complement in C of the resolvent set), and the spectral radius\ by sr (S)=sup λ λ σ (S) . ! | | ∈ ! n o Definition 2. Anet xα J E is said to be t-ultimately bounded (t-ub) if, { } ⊂ given any V ϑ(t) , there is a positive real number r andanindex α0 J, both depending on∈V , such that x rV α α . ∈ α ∈ ∀ ≥ 0 Received by the editors February 27, 1996. 1991 Mathematics Subject Classification. Primary 47A10; Secondary 46A03. Key words and phrases. Spectral radius, bounded linear operator, locally convex topological space, t-ultimately bounded net. Research supported by the Coordinaci´on de Investigaci´on Cient´ıfica de la UMSNH. c 1998 American Mathematical Society 97 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 98 F. GARIBAY BONALES AND R. VERA MENDOZA Let us denote by Γ the set of all t-ub nets in E. Remark 1. Any bounded, convergent or Cauchy net is a t-ub net. For more details about t-ub nets we refer the reader to [1]. Γ Definition 3. Let ξ C . We will say that 1 T n t 0(Tn=T T ... T , n ∈ ξn −→ ◦ ◦ ◦ times) if, given both V ϑ(t)and xα J Γ , there exist α0 J and n0 N such that 1 T n(x ) V∈ α α {and} ∈n n . ∈ ∈ ξn α ∈ ∀ ≥ 0 ∀ ≥ 0 Γ Definition 4. γ (T ) = inf ξ 1 T n t 0 . t | | ξn −→ n o Remark 2. It is shown by Vera [4] that for a bounded operator T, we have: Γ (i) γ (T ) < , and for any ξ C such that γ (T ) < ξ , 1 T n t 0 . t ∞ ∈ t | | ξn −→ (ii) sr (T ) γ (T ), where sr (T) is the spectral radius of T . t ≤ t t (iii) When E[t] is a Banach space, γt(T )=rt(T). In [2] it was proved, based in the above result, that γt(T )=srt(T )whenTis a compact operator. In this paper we extend that result to any bounded operator. 2. Main results From now on let T : E[t] E[t] be a bounded operator and let U ϑ(t)be such that T (U) is a bounded→ set. ∈ Let PU be the functional of Minkowski (see [3]) generated by U, which is a seminorm on E.LetE[PU] denote the vector space E with the topology given by the seminorm PU . Remark 3. The topology on E given by the seminorm PU is coarser than the topology t (P t ). U ≤ Proposition 1. T : E[PU ] E[PU ] is a bounded operator (hence a continuous one). → Proof. Since T (U) is a bounded set and P t, T(U)isalsoa P -bounded set U ≤ U in E[PU ]. ΓP Definition 5. γ (T ) = inf ξ 1 T n U 0 . PU | | ξn −→ n o Here ΓPU convergence means that, given any net xα J E such that for { } ⊂ all α , PU (xα) r for some positive real number r ( PU -bounded net), then P ( 1 T nx ) ≤0asanetinRwhose index set is N J . U ξn α → × Proposition 2. γPU (T )=γt(T). Proof. Let ξ C be such that γPU (T) < ξ , and let V ϑ(t)and xαJ Γ ∈ 1 | | ∈ { } ∈ be given. Since ξ T (U) is a bounded set, there is a positive real number r1 such 1 that T (U) V . In [1] is shown that xα J Γ r1xα J Γ. This implies r1ξ ⊂ { } ∈ ⇒{ } ∈ that there exist both α J and r > 0 such that r x r U α α , 0 ∈ 2 1 α ∈ 2 ∀ ≥ 0 i.e., PU (r1xα) r2 , that is, the net xα α α is a PU -bounded net; therefore, ≤ { } ≥ 0 α J (α α )andn Nsuch that P ( 1 T n(x )) < 1 α α ,n ∃ 1 ∈ 1 ≥ 0 1∈ U ξn α ∀ ≥ 1 ≥ n , that is, 1 T n(x ) U for those indices. Hence 1 ξn α ∈ 1 1 1 1 n+1 = ( n ) ( ) n+1 T xα T n T r1xα T U V α α1 ,n n1, ξ r1ξ ξ ∈ r1ξ ⊂ ∀ ≥ ≥ License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use SPECTRAL RADIUS OF AN OPERATOR 99 Γ that is, 1 T n t 0 , and therefore, γ (T ) ξ. Thisimpliesthatγ (T) ξn −→ t ≤|| PU ≤ γt(T). On the other hand, let γt(T ) < ξ and xα J , a PU -bounded net; that is, x rU for all α and some r>| | 0. Then{ } 1Tx rT(U), where α ∈ {ξ α}J ⊂ ξ Γ rT(U)isat-bounded set; therefore, 1 Tx Γ . Since 1 T n t 0,given ξ { ξ α}J ∈ ξn −→ >0, α Jand n N such that 1 T n+1x = 1 T n( 1 Tx ) U ∃ 0 ∈ 0 ∈ ξn+1 α ξn ξ α ∈ α α ,n n;thatis,P ( 1 T n+1x ) for those indices. This says ∀ ≥ 0 ≥ 0 U ξn+1 α ≤ that 1 T nx is P -convergent to 0; therefore, γ (T ) ξ . This implies that ξn α U PU ≤| | γ (T ) γ (T ) . t ≤ PU Definition 6. L(E)= S : E[t] E[t] Sis a linear and continuous operator , → n o L (E)= S L (E) S(U) is a bounded set , U ∈ n o L (E) is a vector subspace of the complex vector space L(E). U Remark 4. For the bounded operator T that we have been working on we have n n T, T ,λT,λT LU(E) for all n N and all λ C . Moreover, for any∈ S L(E), S ∈T,T S L (E∈). ∈ ◦ ◦ ∈ U Definition 7. For any operator S LU (E) , we define, taking into account that S(U) is a bounded set, the following∈ real number: S =sup P (Sx) x U . || ||U { U | ∈ } It easy to check that Sn S n S L (E)and n N. || ||U ≤|| ||U ∀ ∈ U ∀ ∈ Γ Theorem 1. If S t S in L(E), then S T S T 0 . n −→ || n ◦ − ◦ ||U → Proof. Let us prove it by way of contradiction. Let >0 be such that there exist natural numbers n1 <n2 <n3 < ... such that < S T S T ; hence, for each of those n there is x U such that || nk ◦ − ◦ ||U k nk ∈ PU [(Snk T S T )xnk )] >.Since Txnk T(U) , it is a bounded sequence; hence, for◦ V−= U◦ ϑ(t) there is an index{ m}⊂ N such that (S S)(Tx ) ∈ 0 ∈ n − nk ∈ V for all n, nk m0 ; this implies that PU [(Snk T S T )xnk )] ,which yields a contradiction.≥ ◦ − ◦ ≤ Proposition 3. ρ (T ) ρ (T ) . t ⊂ PU Proof. Let us suppose first that γt(T ) < 1. Let ξ ρt(T) be such that ξ > 1 k ∈ | | 1 γ (T ). Then S = ∞ k+1 T is a continuous operator and S =(ξI T)− . t k=0 ξ − n 1 k Γt Set Sn = k+1PT .ThenSn S , and from Theorem 1 it follows that k=0 ξ −→ S 1 T S 1 T 0. On the other hand, S 1 T = S 1 I and S || n ◦ ξ −P ◦ ξ ||U → n ◦ ξ n+1 − ξ ◦ 1 T = S 1 I ; hence S S 0 . Thereby, given x E such that ξ − ξ || n+1 − ||U → { m}N ⊂ P (x ) 0,then P (Sx ) P [(S S )x ]+P (S x ) 0.Thisproves U m → U m ≤ U − n m U n m → that S : E[PU ] E[PU ] is a continuous operator; hence ξ ρPU (T ). Now let ξ →ρ (T ) be such that ξ γ(T).
Recommended publications
  • An Elementary Proof of the Spectral Radius Formula for Matrices
    AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES JOEL A. TROPP Abstract. We present an elementary proof that the spectral ra- dius of a matrix A may be obtained using the formula 1 ρ(A) = lim kAnk =n; n!1 where k · k represents any matrix norm. 1. Introduction It is a well-known fact from the theory of Banach algebras that the spectral radius of any element A is given by the formula ρ(A) = lim kAnk1=n: (1.1) n!1 For a matrix, the spectrum is just the collection of eigenvalues, so this formula yields a technique for estimating for the top eigenvalue. The proof of Equation 1.1 is beautiful but advanced. See, for exam- ple, Rudin's treatment in his Functional Analysis. It turns out that elementary techniques suffice to develop the formula for matrices. 2. Preliminaries For completeness, we shall briefly introduce the major concepts re- quired in the proof. It is expected that the reader is already familiar with these ideas. 2.1. Norms. A norm is a mapping k · k from a vector space X into the nonnegative real numbers R+ which has three properties: (1) kxk = 0 if and only if x = 0; (2) kαxk = jαj kxk for any scalar α and vector x; and (3) kx + yk ≤ kxk + kyk for any vectors x and y. The most fundamental example of a norm is the Euclidean norm k·k2 which corresponds to the standard topology on Rn. It is defined by 2 2 2 kxk2 = k(x1; x2; : : : ; xn)k2 = x1 + x2 + · · · + xn: Date: 30 November 2001.
    [Show full text]
  • Linear Operators and Adjoints
    Chapter 6 Linear operators and adjoints Contents Introduction .......................................... ............. 6.1 Fundamentals ......................................... ............. 6.2 Spaces of bounded linear operators . ................... 6.3 Inverseoperators.................................... ................. 6.5 Linearityofinverses.................................... ............... 6.5 Banachinversetheorem ................................. ................ 6.5 Equivalenceofspaces ................................. ................. 6.5 Isomorphicspaces.................................... ................ 6.6 Isometricspaces...................................... ............... 6.6 Unitaryequivalence .................................... ............... 6.7 Adjoints in Hilbert spaces . .............. 6.11 Unitaryoperators ...................................... .............. 6.13 Relations between the four spaces . ................. 6.14 Duality relations for convex cones . ................. 6.15 Geometric interpretation of adjoints . ............... 6.15 Optimization in Hilbert spaces . .............. 6.16 Thenormalequations ................................... ............... 6.16 Thedualproblem ...................................... .............. 6.17 Pseudo-inverseoperators . .................. 6.18 AnalysisoftheDTFT ..................................... ............. 6.21 6.1 Introduction The field of optimization uses linear operators and their adjoints extensively. Example. differentiation, convolution, Fourier transform,
    [Show full text]
  • A Note on Riesz Spaces with Property-$ B$
    Czechoslovak Mathematical Journal Ş. Alpay; B. Altin; C. Tonyali A note on Riesz spaces with property-b Czechoslovak Mathematical Journal, Vol. 56 (2006), No. 2, 765–772 Persistent URL: http://dml.cz/dmlcz/128103 Terms of use: © Institute of Mathematics AS CR, 2006 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz Czechoslovak Mathematical Journal, 56 (131) (2006), 765–772 A NOTE ON RIESZ SPACES WITH PROPERTY-b S¸. Alpay, B. Altin and C. Tonyali, Ankara (Received February 6, 2004) Abstract. We study an order boundedness property in Riesz spaces and investigate Riesz spaces and Banach lattices enjoying this property. Keywords: Riesz spaces, Banach lattices, b-property MSC 2000 : 46B42, 46B28 1. Introduction and preliminaries All Riesz spaces considered in this note have separating order duals. Therefore we will not distinguish between a Riesz space E and its image in the order bidual E∼∼. In all undefined terminology concerning Riesz spaces we will adhere to [3]. The notions of a Riesz space with property-b and b-order boundedness of operators between Riesz spaces were introduced in [1]. Definition. Let E be a Riesz space. A set A E is called b-order bounded in ⊂ E if it is order bounded in E∼∼. A Riesz space E is said to have property-b if each subset A E which is order bounded in E∼∼ remains order bounded in E.
    [Show full text]
  • Stat 309: Mathematical Computations I Fall 2018 Lecture 4
    STAT 309: MATHEMATICAL COMPUTATIONS I FALL 2018 LECTURE 4 1. spectral radius • matrix 2-norm is also known as the spectral norm • name is connected to the fact that the norm is given by the square root of the largest eigenvalue of ATA, i.e., largest singular value of A (more on this later) n×n • in general, the spectral radius ρ(A) of a matrix A 2 C is defined in terms of its largest eigenvalue ρ(A) = maxfjλij : Axi = λixi; xi 6= 0g n×n • note that the spectral radius does not define a norm on C • for example the non-zero matrix 0 1 J = 0 0 has ρ(J) = 0 since both its eigenvalues are 0 • there are some relationships between the norm of a matrix and its spectral radius • the easiest one is that ρ(A) ≤ kAk n for any matrix norm that satisfies the inequality kAxk ≤ kAkkxk for all x 2 C , i.e., consistent norm { here's a proof: Axi = λixi taking norms, kAxik = kλixik = jλijkxik therefore kAxik jλij = ≤ kAk kxik since this holds for any eigenvalue of A, it follows that maxjλij = ρ(A) ≤ kAk i { in particular this is true for any operator norm { this is in general not true for norms that do not satisfy the consistency inequality kAxk ≤ kAkkxk (thanks to Likai Chen for pointing out); for example the matrix " p1 p1 # A = 2 2 p1 − p1 2 2 p is orthogonal and therefore ρ(A) = 1 but kAkH;1 = 1= 2 and so ρ(A) > kAkH;1 { exercise: show that any eigenvalue of a unitary or an orthogonal matrix must have absolute value 1 Date: October 10, 2018, version 1.0.
    [Show full text]
  • Hilbert's Projective Metric in Quantum Information Theory D. Reeb, M. J
    Hilbert’s projective metric in quantum information theory D. Reeb, M. J. Kastoryano and M. M. Wolf REPORT No. 31, 2010/2011, fall ISSN 1103-467X ISRN IML-R- -31-10/11- -SE+fall HILBERT’S PROJECTIVE METRIC IN QUANTUM INFORMATION THEORY David Reeb,∗ Michael J. Kastoryano,† and Michael M. Wolf‡ Department of Mathematics, Technische Universit¨at M¨unchen, 85748 Garching, Germany Niels Bohr Institute, University of Copenhagen, 2100 Copenhagen, Denmark (Dated: August 15, 2011) We introduce and apply Hilbert’s projective metric in the context of quantum information theory. The metric is induced by convex cones such as the sets of positive, separable or PPT operators. It provides bounds on measures for statistical distinguishability of quantum states and on the decrease of entanglement under LOCC protocols or other cone-preserving operations. The results are formulated in terms of general cones and base norms and lead to contractivity bounds for quantum channels, for instance improving Ruskai’s trace-norm contraction inequality. A new duality between distinguishability measures and base norms is provided. For two given pairs of quantum states we show that the contraction of Hilbert’s projective metric is necessary and sufficient for the existence of a probabilistic quantum operation that maps one pair onto the other. Inequalities between Hilbert’s projective metric and the Chernoff bound, the fidelity and various norms are proven. Contents I. Introduction 2 II. Basic concepts 3 III. Base norms and negativities 7 IV. Contractivity properties of positive maps 9 V. Distinguishability measures 14 VI. Fidelity and Chernoff bound inequalities 21 VII. Operational interpretation 24 VIII.
    [Show full text]
  • Banach Algebras
    Banach Algebras Yurii Khomskii Bachelor Thesis Department of Mathematics, Leiden University Supervisor: Dr. Marcel de Jeu April 18, 2005 i Contents Foreword iv 1. Algebraic Concepts 1 1.1. Preliminaries . 1 1.2. Regular Ideals . 3 1.3. Adjoining an Identity . 4 1.4. Quasi-inverses . 8 2. Banach Algebras 10 2.1. Preliminaries of Normed and Banach Algebras . 10 2.2. Inversion and Quasi-inversion in Banach Algebras . 14 3. Spectra 18 3.1. Preliminaries . 18 3.2. Polynomial Spectral Mapping Theorem and the Spectral Radius Formula . 22 4. Gelfand Representation Theory 25 4.1. Multiplicative Linear Functionals and the Maximal Ideal Space . 25 4.2. The Gelfand Topology . 30 4.3. The Gelfand Representation . 31 4.4. The Radical and Semi-simplicity . 33 4.5. Generators of Banach algebras . 34 5. Examples of Gelfand Representations 36 5.1. C (X ) for X compact and Hausdorff . 36 5.2. C 0(X ) for X locally compact and Hausdorff. 41 5.3. Stone-Cecˇ h compactification . 42 5.4. A(D) . 44 5.5. AC (Γ) . 46 5.6. H 1 . 47 ii iii Foreword The study of Banach algebras began in the twentieth century and originated from the observation that some Banach spaces show interesting properties when they can be supplied with an extra multiplication operation. A standard exam- ple was the space of bounded linear operators on a Banach space, but another important one was function spaces (of continuous, bounded, vanishing at infin- ity etc. functions as well as functions with absolutely convergent Fourier series). Nowadays Banach algebras is a wide discipline with a variety of specializations and applications.
    [Show full text]
  • Isospectral Graph Reductions, Estimates of Matrices' Spectra, And
    ISOSPECTRAL GRAPH REDUCTIONS, ESTIMATES OF MATRICES’ SPECTRA, AND EVENTUALLY NEGATIVE SCHWARZIAN SYSTEMS A Thesis Presented to The Academic Faculty by Benjamin Zachary Webb In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the School of Mathematics Georgia Institute of Technology May 2011 ISOSPECTRAL GRAPH REDUCTIONS, ESTIMATES OF MATRICES’ SPECTRA, AND EVENTUALLY NEGATIVE SCHWARZIAN SYSTEMS Approved by: Dr. Leonid A. Bunimovich, Advisor Dr. Dana Randall School of Mathematics College of Computing Georgia Institute of Technology Georgia Institute of Technology Dr. Yuri Bakhtin Dr. Howie Weiss School of Mathematics School of Mathematics Georgia Institute of Technology Georgia Institute of Technology Dr. Luca Dieci Date Approved: March 8, 2011 School of Mathematics Georgia Institute of Technology To my wife, Rebekah. iii ACKNOWLEDGEMENTS In acknowledging the people who have advised, mentored, guided, supported, and helped me throughout my time at Georgia Tech I would like to start with my advisor Dr. Leonid Bunimovich, with whom I have enjoyed working and who has had a significant impact on my understanding of mathematics, mentoring, and academics in general. I am also grateful for Yuri Bakhtin, Luca Dieci, Dana Randall, and Howie Weiss for not only serving as part of my dissertation committee but also guiding and supporting my endeavors while at Georgia Tech. I would also like to thank those in the School of Mathematics at Georgia Tech for the general atmosphere of supportiveness. This is especially true of both Klara Grodzinsky and Rena Brakebill who have guided my teaching efforts over the past years. I would also extend this thanks to Sharon McDowell and Genola Turner who along with my advisor have not only been supportive of myself but of my wife and children who have found themselves in a rather unique situation over the past years of my doctoral studies.
    [Show full text]
  • Wavelets Through a Looking Glass: SATISFACTION GUARANTEED! the World of the Spectrum Remember: Your 30-Day Return Privilege by O
    20% Discount Pre-Pub Offer Forthcoming June 2002! List Price: $59.95 (tent.) Special Price: $47.96 + shipping & handling Wavelets through a Please mention reference # Y404 when placing your order! Offer Valid Until 31 August 2002 Looking Glass Table of Contents The World of the Spectrum List of Figures List of Tables O. Bratteli, University of Oslo, Oslo, Norway Preface P. Jorgensen, University of Iowa, Iowa City, IA 1. Introduction Overture: Why wavelets? * Subband filters This book combining wavelets and the world of the spectrum focuses on recent and sieves * Matrix functions and developments in wavelet theory, emphasizing fundamental and relatively multiresolutions * Qubits: The oracle of timeless techniques that have a geometric and spectral-theoretic flavor. The Feynman and the algorithm of Shor * Chaos exposition is clearly motivated and unfolds systematically, aided by numerous and cascade approximation * Spectral bounds for the transfer and subdivision graphics. operators * Connections to group theory * Wavelet packets * The Gabor transform * Key features of the book: Exercises * Terminology 2. Homotopy Theory and Cascades • The important role of the spectrum of a transfer operator is studied The dangers of navigating the landscape of • wavelets * Homotopy classes of wavelets * Excellent graphics show how wavelets depend on the spectra of the transfer Multiresolution analysis and tight frames * operators Generality of multiresolution analysis * • Key topics of wavelet theory are examined: connected components in the Global homotopy and an index theorem * Cascades in L2(R) * An open problem * variety of wavelets, the geometry of winding numbers, the Galerkin projection Exercises method, classical functions of Weierstrass and Hurwitz and their role in describing the eigenvalue-spectrum of the transfer operator, isospectral 3.
    [Show full text]
  • Isospectral Graph Reductions
    Graphs Reductions Eigenvalue Estimation Summary and Implications Isospectral Graph Reductions Leonid Bunimovich Leonid Bunimovich Isospectral Graph Reductions Networks and Graphs Graphs Reductions Definitions Eigenvalue Estimation Graph Reductions Summary and Implications Main Results Outline 1 Graphs Reductions Networks and Graphs Definitions Graph Reductions Main Results 2 Eigenvalue Estimation Gershgorin’s Theorem Brauer’s Theorem Brualdi’s Theorem 3 Summary and Implications References Leonid Bunimovich Isospectral Graph Reductions Networks and Graphs Graphs Reductions Definitions Eigenvalue Estimation Graph Reductions Summary and Implications Main Results Network Structure Typical real networks are defined by some large graph with complicated structure [2,8,11]. E.coli metabolic network Question: To what extent can this structure be simplified/reduced while maintaining some characteristic of the network? Leonid Bunimovich Isospectral Graph Reductions Networks and Graphs Graphs Reductions Definitions Eigenvalue Estimation Graph Reductions Summary and Implications Main Results The collection of graphs G The graph of a network may or may not be directed, weighted, have multiple edges or loops. Each such graph can be considered a weighted, directed graph without multiple edges possibly with loops. 3 2 1 3 2 Let G be the collection of all such graphs. Leonid Bunimovich Isospectral Graph Reductions Networks and Graphs Graphs Reductions Definitions Eigenvalue Estimation Graph Reductions Summary and Implications Main Results The collection of graphs G Definition A graph G ∈ G is triple G = (V , E, ω) where V is its vertices, E its edges, and ω : E → W where W is the set of edge weights. An important characteristic of a network/graph is the spectrum of its weighted adjacency matrix [1,3,10].
    [Show full text]
  • Baire Category Theorem and Its Consequences
    Functional Analysis, BSM, Spring 2012 Exercise sheet: Baire category theorem and its consequences S1 Baire category theorem. If (X; d) is a complete metric space and X = n=1 Fn for some closed sets Fn, then for at least one n the set Fn contains a ball, that is, 9x 2 X; r > 0 : Br(x) ⊂ Fn. Principle of uniform boundedness (Banach-Steinhaus). Let (X; k · kX ) be a Banach space, (Y; k · kY ) a normed space and Tn : X ! Y a bounded operator for each n 2 N. Suppose that for any x 2 X there exists Cx > 0 such that kTnxkY ≤ Cx for all n. Then there exists C > 0 such that kTnk ≤ C for all n. Inverse mapping theorem. Let X; Y be Banach spaces and T : X ! Y a bounded operator. Suppose that T is injective (ker T = f0g) and surjective (ran T = Y ). Then the inverse operator T −1 : Y ! X is necessarily bounded. 1. Consider the set Q of rational numbers with the metric d(x; y) = jx − yj; x; y 2 Q. Show that the Baire category theorem does not hold in this metric space. 2. Let (X; d) be a complete metric space. Suppose that Gn ⊂ X is a dense open set for n 2 N. Show that T1 n=1 Gn is non-empty. Find a non-complete metric space in which this is not true. T1 In fact, we can say more: n=1 Gn is dense. Prove this using the fact that a closed subset of a complete metric space is also complete.
    [Show full text]
  • Lecture Notes on Spectra and Pseudospectra of Matrices and Operators
    Lecture Notes on Spectra and Pseudospectra of Matrices and Operators Arne Jensen Department of Mathematical Sciences Aalborg University c 2009 Abstract We give a short introduction to the pseudospectra of matrices and operators. We also review a number of results concerning matrices and bounded linear operators on a Hilbert space, and in particular results related to spectra. A few applications of the results are discussed. Contents 1 Introduction 2 2 Results from linear algebra 2 3 Some matrix results. Similarity transforms 7 4 Results from operator theory 10 5 Pseudospectra 16 6 Examples I 20 7 Perturbation Theory 27 8 Applications of pseudospectra I 34 9 Applications of pseudospectra II 41 10 Examples II 43 1 11 Some infinite dimensional examples 54 1 Introduction We give an introduction to the pseudospectra of matrices and operators, and give a few applications. Since these notes are intended for a wide audience, some elementary concepts are reviewed. We also note that one can understand the main points concerning pseudospectra already in the finite dimensional case. So the reader not familiar with operators on a separable Hilbert space can assume that the space is finite dimensional. Let us briefly outline the contents of these lecture notes. In Section 2 we recall some results from linear algebra, mainly to fix notation, and to recall some results that may not be included in standard courses on linear algebra. In Section 4 we state some results from the theory of bounded operators on a Hilbert space. We have decided to limit the exposition to the case of bounded operators.
    [Show full text]
  • Bounded Operator - Wikipedia, the Free Encyclopedia
    Bounded operator - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Bounded_operator Bounded operator From Wikipedia, the free encyclopedia In functional analysis, a branch of mathematics, a bounded linear operator is a linear transformation L between normed vector spaces X and Y for which the ratio of the norm of L(v) to that of v is bounded by the same number, over all non-zero vectors v in X. In other words, there exists some M > 0 such that for all v in X The smallest such M is called the operator norm of L. A bounded linear operator is generally not a bounded function; the latter would require that the norm of L(v) be bounded for all v, which is not possible unless Y is the zero vector space. Rather, a bounded linear operator is a locally bounded function. A linear operator on a metrizable vector space is bounded if and only if it is continuous. Contents 1 Examples 2 Equivalence of boundedness and continuity 3 Linearity and boundedness 4 Further properties 5 Properties of the space of bounded linear operators 6 Topological vector spaces 7 See also 8 References Examples Any linear operator between two finite-dimensional normed spaces is bounded, and such an operator may be viewed as multiplication by some fixed matrix. Many integral transforms are bounded linear operators. For instance, if is a continuous function, then the operator defined on the space of continuous functions on endowed with the uniform norm and with values in the space with given by the formula is bounded.
    [Show full text]