DOCSLIB.ORG

Functional Analysis: Spectral Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Functional Analysis: Spectral Theory Functional Analysis: Spectral Theory V.S. Sunder Institute of Mathematical Sciences Madras 600113 INDIA July 31, 2000 i ha ha ii ha ha iii ha ha iv ha ha v Preface This book grew out of a course of lectures on functional anal- ysis that the author gave during the winter semester of 1996 at the Institute of Mathematical Sciences, Madras. The one dif- ference between the course of lectures and these notes stems from the fact that while the audience of the course consisted of somewhat mature students in the Ph.D. programme, this book is intended for Master’s level students in India; in particular, an attempt has been made to fill in some more details, as well as to include a somewhat voluminous Appendix, whose purpose is to (at least temporarily) fill in the possible gaps in the background of the prospective Master’s level reader. The goal of this book is to begin with the basics of normed linear spaces, quickly specialise to Hilbert spaces and to get to the spectral theorem for (bounded as well as unbounded) oper- ators on separable Hilbert space. The first couple of chapters are devoted to basic proposi- tions concerning normed vector spaces (including the usual Ba- nach space results - such as the Hahn-Banach theorems, the Open Mapping theorem, Uniform boundedness principle, etc.) and Hilbert spaces (orthonormal bases, orthogonal complements, projections, etc.). The third chapter is probably what may not usually be seen in a first course on functional analysis; this is no doubt influenced by the author’s conviction that the only real way to understand the spectral theorem is as a statement concerning representations of commutative C∗-algebras. Thus, this chapter begins with the standard Gelfand theory of commutative Banach algebras, and proceeds to the Gelfand-Naimark theorem on commutative C∗-algebras; this is then followed by a discussion of represen- tations of (not necessarily commutative) C∗-algebras (including the GNS construction which establishes the correspondence be- tween cyclic representations and states on the C∗-algebra, as well as the so-called ‘non-commutative Gelfand Naimark theorem’ which asserts that C∗-algebras admit faithful representations on Hilbert space); the final section of this chapter is devoted to the Hahn-Hellinger classification of separable representations of a commutative C∗-algebra (or equivalently, the classification of vi separable spectral measures on the Borel σ-algebra of a compact Hausdorff space). The fourth chapter is devoted to more standard ‘operator the- ory’ in Hilbert space. To start with, the traditonal form of the spectral theorem for a normal operator on a separable Hilbert space is obtained as a special case of the theory discussed in Chapter 3; this is followed by a discussion of the polar decompo- sition of operators; we then discuss compact operators and the spectral decomposition of normal compact operators, as well as the singular value decomposition of general compact operators. The final section of this chapter is devoted to the classical facts concerning Fredholm operators and their ‘index theory’. The fifth and final chapter is a brief introduction to the the- ory of unbounded operators on Hilbert space; in particular, we establish the spectral and polar decomposition theorems. A fairly serious attempt has been made at making the treat- ment almost self-contained. There are seven sections in the Ap- pendix which are devoted to: (a) discussing and establishing some basic results in each of the following areas: linear algebra, transfinite considerations (including Zorn’s lemma and a ‘naive’ treatment of infinite cardinals), general topology, compact and locally compact Hausdorff spaces, and measure theory; and (b) a proof of the Stone-Weierstrass theorem, and finally, a statement of the Riesz Representation theorem (on measures and continu- ous functions). Most statements in the appendix are furnished with proofs, the exceptions to this being the sections on measure theory and the Riesz representation theorem. The intended objective of the numerous sections in the Ap- pendix is this: if a reader finds that (s)he does not know some ‘elementary’ fact from, say linear algebra, which seems to be used in the main body of the book, (s)he can go to the perti- nent section in the Appendix, to attempt a temporary stop-gap filler. The reader who finds the need to pick up a lot of ‘back- ground material’ from some section of the Appendix, should, at the earliest opportunity, try to fill in the area in which a lacuna in one’s training has been indicated. In particular, it should be mentioned that the treatment in Chapter 3 relies heavily on var- ious notions from measure theory, and the reader should master these prerequisites before hoping to master the material in this vii chapter. A few ’standard’ references have been listed in the brief bibliography; these should enable the reader to fill in the gaps in the appendix. Since the only way to learn mathematics is to do it, the book is punctuated with a lot of exercises; often, the proofs of some propositions in the text are relegated to the exercises; further, the results stated in the exercises are considered to be on the same footing as ‘properly proved’ propositions, in the sense that we have freely used the statements of exercises in the subsequent treatment in the text. Most exercises, whose solutions are not immediate, are furnished with fairly elaborate hints; thus, a stu- dent who is willing to sit down with pen and paper and ‘get her hands dirty’ should be able to go through the entire book without too much difficulty. Finally, all the material in this book is very ‘standard’ and no claims for originality are made; on the contrary, we have been heavily influenced by the treatment of [Sim] and [Yos] in various proofs; thus, for instance, the proofs given here for the Open Mapping Theorem, Urysohn’s lemma and Alexander’s sub- base theorem, are more or less the same as the ones found in [Sim], while the proofs of the Weierstrass as well as the Stone- Weierstrass theorems are almost identical to the ones in [Yos]; furthermore, the treatment in A.2 has been influenced a little by [Hal], but primarily, the proofs§ of this section on cardinal num- bers are a specialisation of the proofs in [MvN] for corresponding statements in a more general context. viii Acknowledgements : The author would like to thank the Institute of Mathematical Sciences for the excellent facilities it provided him during his preparation of these notes; he also wishes to thank the students of his class - in particular, M. Rajesh - for having made the process of giving the course an enjoyable experience; he would also like to thank R. Bhatia and M. Krishna for their constant encouragement in this venture. Finally, the author would like to thank Paul Halmos for hav- ing taught him most of this material in the first instance, for hav- ing been a great teacher, and later, colleague and friend. This book is fondly dedicated to him and to the author’s parents (for reasons too numerous to go into here). Contents 1 Normed spaces 1 1.1 Vectorspaces .................... 1 1.2 Normedspaces ................... 4 1.3 Linearoperators. 8 1.4 The Hahn-Banach theorem . 13 1.5 Completeness .................... 16 1.6 Some topological considerations . 28 2 Hilbert spaces 37 2.1 InnerProductspaces . 37 2.2 Somepreliminaries . 41 2.3 Orthonormalbases . 46 2.4 The Adjoint operator . 56 2.5 Strong and weak convergence . 67 3 C∗-algebras 79 3.1 Banach algebras . 79 3.2 Gelfand-Naimark theory . 93 3.3 Commutative C∗-algebras . 103 3.4 Representations of C∗-algebras . 117 3.5 The Hahn-Hellinger theorem . 128 4 Some Operator theory 147 4.1 Thespectraltheorem . 147 4.2 Polar decomposition . 151 4.3 Compact operators . 158 4.4 Fredholm operators and index . 171 ix x CONTENTS 5 Unbounded operators 189 5.1 Closed operators . 189 5.2 Symmetric and Self-adjoint operators . 197 5.3 Spectral theorem and polar decomposition . 204 A Appendix 217 A.1 Some linear algebra . 217 A.2 Transfinite considerations . 233 A.3 Topological spaces . 241 A.4 Compactness .................... 250 A.5 Measure and integration . 265 A.6 The Stone-Weierstrass theorem . 287 A.7 The Riesz Representation theorem . 299 Chapter 1 Normed spaces 1.1 Vector spaces We begin with the fundamental notion of a vector space. Definition 1.1.1 A vector space is a (non-empty) set V that comes equipped with the following structure: (a) There exists a mapping V V V , denoted (x, y) x+ y, referred to as vector addition× ,→ which satisfies the following7→ conditions, for arbitrary x, y, z V : ∈ (i) (commutative law) x + y = y + x; (ii) (associative law) (x + y)+ z = x +(y + z); (iii) (additive identity) there exists an element in V, always denoted by 0 (or 0V , if it is important to draw attention to V ), such that x +0= x; (iv) (additive inverses) for each x in V, there exists an ele- ment of V , denoted by x, such that x +( x) = 0. − − (b) There exists a map C V V , denoted by (α, x) αx, referred to as scalar multiplication× → , which satisfies the7→ follow- ing conditions, for arbitrary x, y V, α,β C : ∈ ∈ (i) (associative law) α(βx) = (αβ)x; (ii) (distributive law) α(x + y) = αx + αy, and (α + β)x = αx + βx; and (iii) (unital law) 1x = x. 1 2 CHAPTER 1. NORMED SPACES Remark 1.1.2 Strictly speaking, the preceding axioms define what is usually called a ‘vector space over the field of complex numbers’ (or simply, a complex vector space).
Load more

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]
  • Appendix A. Measure and Integration
    Appendix A. Measure and integration We suppose the reader is familiar with the basic facts concerning set theory and integration as they are presented in the introductory course of analysis. In this appendix, we review them briefly, and add some more which we shall need in the text. Basic references for proofs and a detailed exposition are, e.g., [[ H a l 1 ]] , [[ J a r 1 , 2 ]] , [[ K F 1 , 2 ]] , [[ L i L ]] , [[ R u 1 ]] , or any other textbook on analysis you might prefer. A.1 Sets, mappings, relations A set is a collection of objects called elements. The symbol card X denotes the cardi- nality of the set X. The subset M consisting of the elements of X which satisfy the conditions P1(x),...,Pn(x) is usually written as M = { x ∈ X : P1(x),...,Pn(x) }.A set whose elements are certain sets is called a system or family of these sets; the family of all subsystems of a given X is denoted as 2X . The operations of union, intersection, and set difference are introduced in the standard way; the first two of these are commutative, associative, and mutually distributive. In a { } system Mα of any cardinality, the de Morgan relations , X \ Mα = (X \ Mα)and X \ Mα = (X \ Mα), α α α α are valid. Another elementary property is the following: for any family {Mn} ,whichis { } at most countable, there is a disjoint family Nn of the same cardinality such that ⊂ \ ∪ \ Nn Mn and n Nn = n Mn.Theset(M N) (N M) is called the symmetric difference of the sets M,N and denoted as M #N.
    [Show full text]
  • Singular Value Decomposition (SVD)
    San José State University Math 253: Mathematical Methods for Data Visualization Lecture 5: Singular Value Decomposition (SVD) Dr. Guangliang Chen Outline • Matrix SVD Singular Value Decomposition (SVD) Introduction We have seen that symmetric matrices are always (orthogonally) diagonalizable. That is, for any symmetric matrix A ∈ Rn×n, there exist an orthogonal matrix Q = [q1 ... qn] and a diagonal matrix Λ = diag(λ1, . , λn), both real and square, such that A = QΛQT . We have pointed out that λi’s are the eigenvalues of A and qi’s the corresponding eigenvectors (which are orthogonal to each other and have unit norm). Thus, such a factorization is called the eigendecomposition of A, also called the spectral decomposition of A. What about general rectangular matrices? Dr. Guangliang Chen | Mathematics & Statistics, San José State University3/22 Singular Value Decomposition (SVD) Existence of the SVD for general matrices Theorem: For any matrix X ∈ Rn×d, there exist two orthogonal matrices U ∈ Rn×n, V ∈ Rd×d and a nonnegative, “diagonal” matrix Σ ∈ Rn×d (of the same size as X) such that T Xn×d = Un×nΣn×dVd×d. Remark. This is called the Singular Value Decomposition (SVD) of X: • The diagonals of Σ are called the singular values of X (often sorted in decreasing order). • The columns of U are called the left singular vectors of X. • The columns of V are called the right singular vectors of X. Dr. Guangliang Chen | Mathematics & Statistics, San José State University4/22 Singular Value Decomposition (SVD) * * b * b (n>d) b b b * b = * * = b b b * (n<d) * b * * b b Dr.
    [Show full text]
  • Operator Theory in the C -Algebra Framework
    Operator theory in the C∗-algebra framework S.L.Woronowicz and K.Napi´orkowski Department of Mathematical Methods in Physics Faculty of Physics Warsaw University Ho˙za74, 00-682 Warszawa Abstract Properties of operators affiliated with a C∗-algebra are studied. A functional calculus of normal elements is constructed. Representations of locally compact groups in a C∗-algebra are considered. Generaliza- tions of Stone and Nelson theorems are investigated. It is shown that the tensor product of affiliated elements is affiliated with the tensor product of corresponding algebras. 1 0 Introduction Let H be a Hilbert space and CB(H) be the algebra of all compact operators acting on H. It was pointed out in [17] that the classical theory of unbounded closed operators acting in H [8, 9, 3] is in a sense related to CB(H). It seems to be interesting to replace in this context CB(H) by any non-unital C∗- algebra. A step in this direction is done in the present paper. We shall deal with the following topics: the functional calculus of normal elements (Section 1), the representation theory of Lie groups including the Stone theorem (Sections 2,3 and 4) and the extensions of symmetric elements (Section 5). Section 6 contains elementary results related to tensor products. The perturbation theory (in the spirit of T.Kato) is not covered in this pa- per. The elementary results in this direction are contained the first author’s previous paper (cf. [17, Examples 1, 2 and 3 pp. 412–413]). To fix the notation we remind the basic definitions and results [17].
    [Show full text]
  • Can One Identify Two Unital JB $^* $-Algebras by the Metric Spaces
    CAN ONE IDENTIFY TWO UNITAL JB∗-ALGEBRAS BY THE METRIC SPACES DETERMINED BY THEIR SETS OF UNITARIES? MAR´IA CUETO-AVELLANEDA, ANTONIO M. PERALTA Abstract. Let M and N be two unital JB∗-algebras and let U(M) and U(N) denote the sets of all unitaries in M and N, respectively. We prove that the following statements are equivalent: (a) M and N are isometrically isomorphic as (complex) Banach spaces; (b) M and N are isometrically isomorphic as real Banach spaces; (c) There exists a surjective isometry ∆ : U(M) →U(N). We actually establish a more general statement asserting that, under some mild extra conditions, for each surjective isometry ∆ : U(M) → U(N) we can find a surjective real linear isometry Ψ : M → N which coincides with ∆ on the subset eiMsa . If we assume that M and N are JBW∗-algebras, then every surjective isometry ∆ : U(M) → U(N) admits a (unique) extension to a surjective real linear isometry from M onto N. This is an extension of the Hatori–Moln´ar theorem to the setting of JB∗-algebras. 1. Introduction Every surjective isometry between two real normed spaces X and Y is an affine mapping by the Mazur–Ulam theorem. It seems then natural to ask whether the existence of a surjective isometry between two proper subsets of X and Y can be employed to identify metrically both spaces. By a result of P. Mankiewicz (see [34]) every surjective isometry between convex bodies in two arbitrary normed spaces can be uniquely extended to an affine function between the spaces.
    [Show full text]
  • Banach J. Math. Anal. 2 (2008), No. 2, 59–67 . OPERATOR-VALUED
    Banach J. Math. Anal. 2 (2008), no. 2, 59–67 Banach Journal of Mathematical Analysis ISSN: 1735-8787 (electronic) http://www.math-analysis.org . OPERATOR-VALUED INNER PRODUCT AND OPERATOR INEQUALITIES JUN ICHI FUJII1 This paper is dedicated to Professor Josip E. Peˇcari´c Submitted by M. S. Moslehian Abstract. The Schwarz inequality and Jensen’s one are fundamental in a Hilbert space. Regarding a sesquilinear map B(X, Y ) = Y ∗X as an operator- valued inner product, we discuss operator versions for the above inequalities and give simple conditions that the equalities hold. 1. Introduction Inequality plays a basic role in analysis and consequently in Mathematics. As surveyed briefly in [6], operator inequalities on a Hilbert space have been discussed particularly since Furuta inequality was established. But it is not easy in general to give a simple condition that the equality in an operator inequality holds. In this note, we observe basic operator inequalities and discuss the equality conditions. To show this, we consider simple linear algebraic structure in operator spaces: For Hilbert spaces H and K, the symbol B(H, K) denotes all the (bounded linear) operators from H to K and B(H) ≡ B(H, H). Then, consider an operator n n matrix A = (Aij) ∈ B(H ), a vector X = (Xj) ∈ B(H, H ) with operator entries Xj ∈ B(H), an operator-valued inner product n ∗ X ∗ Y X = Yj Xj, j=1 Date: Received: 29 March 2008; Accepted 13 May 2008. 2000 Mathematics Subject Classification. Primary 47A63; Secondary 47A75, 47A80. Key words and phrases. Schwarz inequality, Jensen inequality, Operator inequality.
    [Show full text]
  • Frames in 2-Inner Product Spaces
    Iranian Journal of Mathematical Sciences and Informatics Vol. 8, No. 2 (2013), pp 123-130 Frames in 2-inner Product Spaces Ali Akbar Arefijamaal∗ and Ghadir Sadeghi Department of Mathematics and Computer Sciences, Hakim Sabzevari University, Sabzevar, Iran E-mail: [email protected] E-mail: [email protected] Abstract. In this paper, we introduce the notion of a frame in a 2- inner product space and give some characterizations. These frames can be considered as a usual frame in a Hilbert space, so they share many useful properties with frames. Keywords: 2-inner product space, 2-norm space, Frame, Frame operator. 2010 Mathematics subject classification: Primary 46C50; Secondary 42C15. 1. Introduction and preliminaries The concept of frames in Hilbert spaces has been introduced by Duffin and Schaeffer [12] in 1952 to study some deep problems in nonharmonic Fourier se- ries. Various generalizations of frames have been proposed; frame of subspaces [2, 6], pseudo-frames [18], oblique frames [10], continuous frames [1, 4, 14] and so on. The concept of frames in Banach spaces have been introduced by Grochenig [16], Casazza, Han and Larson [5] and Christensen and Stoeva [11]. The concept of linear 2-normed spaces has been investigated by S. Gahler in 1965 [15] and has been developed extensively in different subjects by many authors [3, 7, 8, 13, 14, 17]. A concept which is related to a 2-normed space is 2-inner product space which have been intensively studied by many math- ematicians in the last three decades. A systematic presentation of the recent results related to the theory of 2-inner product spaces as well as an extensive ∗ Corresponding author Received 16 November 2011; Accepted 29 April 2012 c 2013 Academic Center for Education, Culture and Research TMU 123 124 Arefijamaal, Sadeghi list of the related references can be found in the book [7].
    [Show full text]
  • The Index of Normal Fredholm Elements of C* -Algebras
    proceedings of the american mathematical society Volume 113, Number 1, September 1991 THE INDEX OF NORMAL FREDHOLM ELEMENTS OF C*-ALGEBRAS J. A. MINGO AND J. S. SPIELBERG (Communicated by Palle E. T. Jorgensen) Abstract. Examples are given of normal elements of C*-algebras that are invertible modulo an ideal and have nonzero index, in contrast to the case of Fredholm operators on Hubert space. It is shown that this phenomenon occurs only along the lines of these examples. Let T be a bounded operator on a Hubert space. If the range of T is closed and both T and T* have a finite dimensional kernel then T is Fredholm, and the index of T is dim(kerT) - dim(kerT*). If T is normal then kerT = ker T*, so a normal Fredholm operator has index 0. Let us consider a generalization of the notion of Fredholm operator intro- duced by Atiyah. Let X be a compact Hausdorff space and consider continuous functions T: X —>B(H), where B(H) is the set of bounded linear operators on a separable infinite dimensional Hubert space with the norm topology. The set of such functions forms a C*- algebra C(X) <g>B(H). A function T is Fredholm if T(x) is Fredholm for each x . Atiyah [1, Appendix] showed how such an element has an index which is an element of K°(X). Suppose that T is Fredholm and T(x) is normal for each x. Is the index of T necessarily 0? There is a generalization of this question that we would like to consider.
    [Show full text]
  • C*-Algebraic Spectral Sets, Twisted Groupoids and Operators
    C∗-Algebraic Spectral Sets, Twisted Groupoids and Operators Marius M˘antoiu ∗ July 7, 2020 Abstract We treat spectral problems by twisted groupoid methods. To Hausdorff locally compact groupoids endowed with a continuous 2-cocycle one associates the reduced twisted groupoid C∗-algebra. Elements (or multipliers) of this algebra admit natural Hilbert space representations. We show the relevance of the orbit closure structure of the unit space of the groupoid in dealing with spectra, norms, numerical ranges and ǫ-pseudospectra of the resulting operators. As an ex- ample, we treat a class of pseudo-differential operators introduced recently, associated to group actions. We also prove a Decomposition Principle for bounded operators connected to groupoids, showing that several relevant spectral quantities of these operators coincide with those of certain non-invariant restrictions. This is applied to Toeplitz-like operators with variable coefficients and to band dominated operators on discrete metric spaces. Introduction Many applications of C∗-algebras to spectral analysis rely on a very simple principle: a morphism between two C∗-algebras is contractive and reduces the spectrum of elements. In addition, if it is injective, it is isometric and preserves spectra. While working on this project, we became aware of the fact that such a principle works ef- fectively for much more than spectra (and essential spectra). We call C∗-algebraic spectral set a function Σ sending, for any unital C∗-algebra E , the elements E of this one to closed (usually com- pact) subsets Σ(E |E ) of C , having the above mentioned behavior under C∗-morphisms. Definition 1.1 states this formally.
    [Show full text]
  • A Completely Positive Maps
    A Completely Positive Maps A.1. A linear map θ: A → B between C∗-algebrasiscalledcompletely positive if θ ⊗ id: A ⊗ Matn(C) → B ⊗ Matn(C) is positive for any n ∈ N. Such a map is automatically bounded since any ∗ positive linear functional on a C -algebra is bounded. ⊗ ∈ ⊗ C An operator T = i,j bij eij B Matn( ), where the eij’s are the usual C ∗ ≥ matrix units in Matn( ), is positive if and only if i,j bi bijbj 0 for any ∈ ⊗ C b1,...,bn B. Since every positive element in A Matn( )isthesumofn ∗ ⊗ → elements of the form i,j ai aj eij,weconcludethatθ: A B is completely positive if and only if n ∗ ∗ ≥ bi θ(ai aj)bj 0 i,j=1 for any n ∈ N, a1,...,an ∈ A and b1,...,bn ∈ B. A.2. If θ: A → B is completely positive and B ⊂ B(H), then there exist a Hilbert space K, a representation π: A → B(K) and a bounded operator V : H → K such that θ(a)=V ∗π(a)V and π(A)VH = K. The construction is as follows. Consider the algebraic tensor product AH, and define a sesquilinear form on it by (a ξ,c ζ)=(θ(c∗a)ξ,ζ). Complete positivity of θ means exactly that this form is positive definite. Thus taking the quotient by the space N = {x ∈ A H | (x, x)=0} we get a pre-Hilbert space. Denote its completion by K. Then define a representation π: A → B(K)by π(a)[c ζ]=[ac ζ], where [x] denotes the image of x in (A H)/N .
    [Show full text]
  • Tensor Products of Convex Cones, Part I: Mapping Properties, Faces, and Semisimplicity
    Tensor Products of Convex Cones, Part I: Mapping Properties, Faces, and Semisimplicity Josse van Dobben de Bruyn 24 September 2020 Abstract The tensor product of two ordered vector spaces can be ordered in more than one way, just as the tensor product of normed spaces can be normed in multiple ways. Two natural orderings have received considerable attention in the past, namely the ones given by the projective and injective (or biprojective) cones. This paper aims to show that these two cones behave similarly to their normed counterparts, and furthermore extends the study of these two cones from the algebraic tensor product to completed locally convex tensor products. The main results in this paper are the following: (i) drawing parallels with the normed theory, we show that the projective/injective cone has mapping properties analogous to those of the projective/injective norm; (ii) we establish direct formulas for the lineality space of the projective/injective cone, in particular providing necessary and sufficient conditions for the cone to be proper; (iii) we show how to construct faces of the projective/injective cone from faces of the base cones, in particular providing a complete characterization of the extremal rays of the projective cone; (iv) we prove that the projective/injective tensor product of two closed proper cones is contained in a closed proper cone (at least in the algebraic tensor product). 1 Introduction 1.1 Outline Tensor products of ordered (topological) vector spaces have been receiving attention for more than 50 years ([Mer64], [HF68], [Pop68], [PS69], [Pop69], [DS70], [vGK10], [Wor19]), but the focus has mostly been on Riesz spaces ([Sch72], [Fre72], [Fre74], [Wit74], [Sch74, §IV.7], [Bir76], [FT79], [Nie82], [GL88], [Nie88], [Bla16]) or on finite-dimensional spaces ([BL75], [Bar76], [Bar78a], [Bar78b], [Bar81], [BLP87], [ST90], [Tam92], [Mul97], [Hil08], [HN18], [ALPP19]).
    [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]