9. Banach algebras and C -algebras

Size: px
Start display at page:

Download "9. Banach algebras and C -algebras"

Transcription

1 Institut for Matematiske Fag Det Naturvidenskabelige Fakultet Aarhus Universitet September 2005

2 We read in W. Rudin: Functional Analysis Based on parts of Chapter 10 and parts of Chapter 11.

3 Banach algebras - the definition A complex algebra A is a vector space over C in which a multiplication is defined such that and x(yz) = (xy)z, (x + y)z = xz + yz, x(y + z) = xy + xz, α(xy) = (αx)y = x(αy) for all x,y,z A and all α C. Examples to have in mind: i) The complex n n matrices is an algebra M n (C) with the usual multiplication of matrices: n (AB) ij = A ik B kj. k=1 ii) The complex functions f : X C on any set X: (fg)(x) = f (x)g(x).

4 Banach algebras - the definition If a complex algebra A in addition is a Banach space with respect to a norm which satisfies that xy x y for all x,y A, then A is a Banach algebra. A is a unital Banach algebra when it is a Banach algebra and there is an element e A such that ex = x = xe for all x A. e is then called the unit of A. In contrast to Rudin, I usually denote the unit by 1. (Note that we slightly deviate from Rudin s terminology since he only allow Banach algebras that are unital.) An important class of examples: Let X be a Banach space. A linear map L : X X is often called an operator and it is bounded when there is a constant K > 0 such that Lx K x for all x X. The set of such bounded operators is denoted by B(X) and it is a complex vector space in an obvious way.

5 B(X) B(X) is a complex algebra when the product is given by composition: (AB)(x) = A(Bx), and a Banach algebra when B(X) is given the operator norm: L = sup { Lx : x 1}. It follows, for example, that M n (C) is a Banach algebra in the operator norm A = sup { Av : v C n, v 1}. Then norm v on C n can be any norm - showing that an algebra can be a Banach algebra in more than one way! We shall later see the signifigance of choosing the euclidian norm on C n in this case.

6 Basic theory of Banach algebras Let A be a complex algebra. A non-zero linear map φ : A C which satisfies that φ(ab) = φ(a)φ(b), a,b A, is called a complex homomorphism or a character. Example to think of: Let X be a compact Hausdorff space, and C(X) the algebra of continuous complex-valued functions on X. Let x X, and define φ x : C(X) C by φ x (f ) = f (x). Then φ x is a character. An element a of a unital algebra A (with unit 1) is invertible when there is an element b A such that ab = ba = 1. The element b, which is then unique, is called the inverse of a, and denoted by a 1. Thus in M n (C) a matrix a is inverible if and only if the determinant of a is not zero. And in the algebra of all functions on a set X, a function f : X C is invertible if and only if f (x) 0 for all x X.

7 A lemma Lemma (Proposition 10.6) Let A be a complex algebra with unit 1, and φ : A C a character. Then φ(1) = 1 and φ(x) 0 when x A is invertible. Proof. Since φ is not identical zero there is a y A such that φ(y) 0. Since φ(y) = φ(1y) = φ(1)φ(y), we conclude that φ(1) = 1, When x A is invertible we find that 1 = φ(1) = φ ( xx 1) = φ(x)φ ( x 1). This is only possible when φ(x) 0.

8 A fundamental theorem on Banach algebras Theorem Let A be a Banach algebra with unit 1, and x A an element with x < 1. Then (a) 1 x is invertible, (b) (1 x) 1 1 x x 2 1 x, (c) φ(x) < 1 for every character φ on A. Proof. (a) Set s n = 1 + x + x x n, and note that m s n s m = x j m x j m x j when m > n. j=n+1 j=n+1 j=n+1

9 A fundamental theorem on Banach algebras This yields (b) when we let n tend to infinity. Proof. Since j=0 x j <, we conclude that {s n } is a Cauchy sequence in A. Set s = lim n s n A. Since s n x = x + x x n+1 = s n+1 1, we find be letting n tend to, that sx = s 1 1 = s(1 x). Similarly, the equality xs n = x + x x n+1 = s n+1 1 leads to the conclusion that 1 = (1 x)s. It follows that 1 x is invertible and that (1 x) 1 = s. (b) Note that s n 1 x = x 2 + x x n x j = j=2 x j 1 x = j=0 n x j j=2 1 x 2 1 x = 1 x 1 x.

10 A fundamental theorem on Banach algebras Proof. (c) Let λ C, λ 1. Then λ 1 x < 1 and hence 1 λ 1 x is invertible by (a). By Lemma 1 this implies that 1 λ 1 φ(x) = φ ( 1 λ 1 x ) 0. Thus φ(x) λ. We conclude that φ(x) < 1.

11 The spectrum Let A be a unital Banach algebra, and x A. The spectrum of x is by definition the set of complex numbers λ such that λ1 x is not invertible in A. We denote the spectrum of x by σ(x), i.e. σ(x) = {λ C : λ1 x is not invertible}. The spectral radius of x is ρ(x) = sup { λ : λ σ(x)}. At this point it is not at all clear if the spectrum can be empty - the next goal is to show that this can never happen. I.e. we will show that σ(x).

12 A lemma Lemma (Theorem ) (a) Let A be a unital Banach algebra, x A an invertible element, and h A an element such that h < 1 2 x 1 1. Then x + h is invertible and (x + h) 1 x 1 + x 1 hx 1 2 x 1 3 h 2. (b) The set A 1 of invertible elements of A is an open subset of A and the map x x 1 is a homeomorphism of A 1 onto A 1.

13 A lemma - the proof Proof. (b) follows immediately from (a) so we concentrate on (a): Since x + h = x ( 1 + x 1 h ) = x ( 1 ( x 1 h )) and x 1 h h x 1 x x 1 1 = 1 2, it follows from (a) of Theorem 2 that x + h is invertible and from (b) of the same theorem that (x + h) 1 x 1 + x 1 hx 1 = ( 1 ( x 1 h )) 1 x 1 x 1 + x 1 hx 1 = (1 ( [ x 1 h )) ] x 1 h x 1 x 1 x 1 h 2 1 x 1 h x 1 x 1 2 h 2 1/2 = 2 x 1 3 h 2. In order to compensate for the lack of background in complex function theory we now deviate briefly from Rudins presentation.

14 Another lemma Lemma Let A be a unital Banach algebra and let x A be an invertible element. Then every element y A with x y < 1 is also x 1 invertible and x 1 y 1 x 1 2 x y 1 x 1 x y. Proof. Note that 1 x 1 y = x 1 (x y) x 1 x y < 1 so that x 1 y is invertible. y must therefore also be invertible with y 1 = (x 1 y) 1 x 1 = n=0 (1 x 1 y) n x 1, so that x 1 y 1 x 1 n=1 1 x 1 y n = x 1 1 x 1 y 1 1 x 1 y x 1 2 x y 1 x 1 x y.

15 On the last lemmas + another one Note that the qualitative statements of the last lemmas is that the invertible elements form an open subset of A and that the map x x 1 is continuous on this subset. In particular we see that for any sequence {x n } in A we have the equivalence lim x n = 0 lim (1 x n) 1 = 1. (1) n n Lemma Let {α n } be a sequence of real numbers such that 1 α n+m α n + α m for all n,m N. Then the limit lim n n α n 1 exists and equals inf n N n α n.

16 Proof of the last lemma Fix ǫ > 0 and m N. Choose N N so large that 2 m N max { α 1, 1 2 α 2,..., 1 m α m } < ǫ. If n N we write n = lm + r where l N and r {1,2,...,m}. Then 1 n α n 1 n α lm + 1 n α r l n α m + 1 n α r = lm 1 n m α m + r 1 n r α r = 1 m α m + r 1 n r α r r 1 n m α m 1 m α m + 2 m N max { α 1, 1 2 α 2,..., 1 m α m } < 1 m α m + ǫ.

17 Proof of the last lemma Thus lim sup n 1 n α 1 n sup n N n α n 1 m α m + ǫ. If we let ǫ 0 and take the infimum over all m N we see that lim sup n 1 n α 1 n inf n N n α n. 1 Since obviously inf n N n α 1 n lim inf n n α n we conclude that 1 lim n n α 1 n = inf n N n α n.

18 The hard lemma Lemma Let A be a unital Banach algebra and a A. There is an element λ σ(a) such that λ lim n a n 1 n = inf n N a n 1 n. To prove this we prove first that lim n a n 1 n = inf n N a n 1 n. If a k = 0 for some k N, a n = 0 n k and the conclusion is trivial. So we assume that a n > 0 n N and set α n = log a n. Note that α n+k α n + α k, n,k N. α By one of the preceding lemmas lim n n n = inf n N It follows that α n n. lim n an 1 1 n = exp( lim n n α 1 n) = exp( inf n N n α n) = inf n N an n. 1

19 The proof of the hard lemma Set r = lim n a n 1 n. We will prove that σ(a) contains an element λ with λ r. If r = 0 it follows that 0 σ(a). Indeed, if a is invertible we have that 1 = a n a n so that 1 a n a n for all n N and this implies that 1 r lim n a n n, 1 which is impossible because r = 0. We can therefore assume that r > 0. Assume to get a contradiction that λ1 a is invertible whenever λ r. Fix first n N and let ω = e 2πi n. 1 Set M k = {1,2,...,n}\{k}, k = 1,2,...,n. Then n (1 ω k z) = 1 z n, z C,and k=1 n k=1 i M k (1 ω i z) = n, z C.

20 The proof of the hard lemma If the reader find it difficult to prove these algebraic identities, we offer the following arguments : The identity n k=1 (1 ωk z) = 1 z n follows from the fact that the two polynomials have the same roots, namely {ω k : k = 1,2,,n}. The second identity follows by observing that the left hand side is a polynomial of degree n 1, which takes the same value at n distinct points, namely at z = ω k, k = 1,2,,n. It must therefore be the constant polynomial, and the constant value, n, is easily identified by checking for z = 0. By assumption 1 a λ is invertible when λ r and the above polynomial identities show that n (1 ω k a λ ) = 1 an λ n (2) and k=1 n (1 ω i a ) = n1. (3) λ i M k k=1

21 The proof of the hard lemma Substituting (2) into (3) yields that 1 n n (1 an λ n)(1 a ωk λ ) 1 = 1 k=1 or, alternatively, that (1 an λ n ) is invertible with (1 an λ n ) 1 = 1 n n (1 ω k a λ ) 1 (4) k=1 when λ r. Set K = sup { (λ1 a) 1 : λ r}. This is a finite number for the following reason. When λ > a + 1 we have that (λ1 a) 1 = λ 1 (1 a λ ) 1 = λ 1 n=0 ( a λ )n λ 1 n=0 ( a λ )n = 1 λ a 1.

22 The proof of the hard lemma Since M = {λ C : r λ a + 1} is a compact set and λ (λ1 a) 1 is continuous by any of the two previous lemmas, we see that K max {1, sup (λ1 a) 1 } <. λ M For each k N and λ r we have that (1 ω k a r ) 1 (1 ω k a λ ) 1 = ω k a( 1 r 1 λ )(1 ωk a r ) 1 (1 ω k a λ ) 1 = ω k a(λ r)(r1 ω k a) 1 (λ1 ω k a) 1 which gives the estimate (1 ω k a r ) 1 (1 ω k a λ ) 1 λ r a K 2 when λ r. By substituting this estimate into (4) we get that (1 an r n ) 1 (1 an λ n ) 1 λ r a K 2 (5)

23 The proof of the hard lemma We prove next that an lim 1 (1 n r n ) 1 = 0. (6) Let ǫ > 0. Choose λ C such that λ > r and a K 2 λ r ǫ 2. a Since λ > r, it follows that lim n ] n λ = 0. To see this, let n t r λ [.,1 Since lim n a n 1 n λ = λ 1 lim n n a n 1 n = r λ < t, there is an N so large that a n 1 n < t n for all n N. Hence lim n a n λ n = 0 because lim n t n = 0.

24 The proof of the hard lemma Now an application of (1) gives N N such that 1 (1 an λ n ) 1 ǫ 2, n N. Combined with (5) this shows that 1 (1 an r n ) 1 1 (1 an λ n ) 1 + (1 an λ n ) 1 (1 an r n ) 1 ǫ, n N proving (6). Combined with (1), (6) implies that lim n a n r n = 0. Thus ( an r n ) 1 n = r 1 ( a n ) 1 n < 1 for all sufficiently large n. But this is impossible since r = inf n a n 1 n.

25 The fundamental theorem on spectra Theorem Let A be a unital Banach algebra and a A. Then σ(a) is a non-empty compact subset of C and ρ(a) = inf n N an 1 n = lim n an 1 n a. Proof: If λ n > a n for some n N, λ n 1 a n = λ n (1 an λ ) is n invertible by Theorem 2. Since λ n 1 a n = (λ1 a) n 1 k=0 λk a n k 1, it follows that λ1 a is invertible, i.e. λ / σ(a). This shows that ρ(a) inf n N an 1 n = lim n an 1 n. But Lemma 6 implies that lim n a n 1 n ρ(a), i.e. we have that ρ(a) = inf n N an 1 n = lim n an 1 n.

26 Proof of the fundamental theorem on spectra and a corollary Since a n 1 n a, this identity implies that ρ(a) a. In particular, ρ(a) is a bounded subset of C. The invertible elements of A form an open subset of A and hence C\σ(a) = {λ C : λ1 a is invertible} is open in C; i.e. σ(a) is closed and therefore compact. σ(a) is non-empty by Lemma 6. Corollary Let A be a unital Banach algebra. If all non-zero a A are invertible we have that A = C1. Proof. Let a A. By Theorem 7 σ(a), so there is a λ C such that λ1 a is not invertible. By assumption this implies that λ1 a = 0, i.e. a = λ1.

3. The Banach-Steinhaus theorem

3. The Banach-Steinhaus theorem matkt@imf.au.dk Institut for Matematiske Fag Det Naturvidenskabelige Fakultet Aarhus Universitet September 2005 We read in W. Rudin: Functional Analysis We read in W. Rudin: Functional Analysis Covering

More information

19. From a resolution of the identity to operators - and bac

19. From a resolution of the identity to operators - and bac 19. From a resolution of the identity to operators - and back matkt@imf.au.dk Institut for Matematiske Fag Det Naturvidenskabelige Fakultet Aarhus Universitet December 2005 We read Sections 12.21 in Rudins

More information

Final Exam Practice Problems Math 428, Spring 2017

Final Exam Practice Problems Math 428, Spring 2017 Final xam Practice Problems Math 428, Spring 2017 Name: Directions: Throughout, (X,M,µ) is a measure space, unless stated otherwise. Since this is not to be turned in, I highly recommend that you work

More information

are Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication

are Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication 7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =

More information

3. The Hahn-Banach separation theorem

3. The Hahn-Banach separation theorem matkt@imf.au.dk Institut for Matematiske Fag Det Naturvidenskabelige Fakultet Aarhus Universitet September 2005 We read in W. Rudin: Functional Analysis Covering Chapter 3, Theorem 3.4 and its proof. The

More information

AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES

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 radius of a matrix A may be obtained using the formula ρ(a) lim

More information

equivalence in expansive dynamics

equivalence in expansive dynamics On the C -algebras of homoclinic and heteroclinic equivalence in expansive dynamics matkt@imf.au.dk Institut for Matematiske Fag Det Naturvidenskabelige Fakultet Aarhus Universitet November 2007 Based

More information

Commutative Banach algebras 79

Commutative Banach algebras 79 8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)

More information

Ronalda Benjamin. Definition A normed space X is complete if every Cauchy sequence in X converges in X.

Ronalda Benjamin. Definition A normed space X is complete if every Cauchy sequence in X converges in X. Group inverses in a Banach algebra Ronalda Benjamin Talk given in mathematics postgraduate seminar at Stellenbosch University on 27th February 2012 Abstract Let A be a Banach algebra. An element a A is

More information

Here is an example of a block diagonal matrix with Jordan Blocks on the diagonal: J

Here is an example of a block diagonal matrix with Jordan Blocks on the diagonal: J Class Notes 4: THE SPECTRAL RADIUS, NORM CONVERGENCE AND SOR. Math 639d Due Date: Feb. 7 (updated: February 5, 2018) In the first part of this week s reading, we will prove Theorem 2 of the previous class.

More information

Functional Analysis HW #3

Functional Analysis HW #3 Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform

More information

5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1

5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1 Robert Oeckl FA NOTES 5 19/05/2010 1 5 Banach Algebras 5.1 Invertibility and the Spectrum Suppose X is a Banach space. Then we are often interested in (continuous) operators on this space, i.e, elements

More information

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

Math 123 Homework Assignment #2 Due Monday, April 21, 2008 Math 123 Homework Assignment #2 Due Monday, April 21, 2008 Part I: 1. Suppose that A is a C -algebra. (a) Suppose that e A satisfies xe = x for all x A. Show that e = e and that e = 1. Conclude that e

More information

Weak Topologies, Reflexivity, Adjoint operators

Weak Topologies, Reflexivity, Adjoint operators Chapter 2 Weak Topologies, Reflexivity, Adjoint operators 2.1 Topological vector spaces and locally convex spaces Definition 2.1.1. [Topological Vector Spaces and Locally convex Spaces] Let E be a vector

More information

NORMS ON SPACE OF MATRICES

NORMS ON SPACE OF MATRICES NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system

More information

Stone-Čech compactification of Tychonoff spaces

Stone-Čech compactification of Tychonoff spaces The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological

More information

Multiplication Operators with Closed Range in Operator Algebras

Multiplication Operators with Closed Range in Operator Algebras J. Ana. Num. Theor. 1, No. 1, 1-5 (2013) 1 Journal of Analysis & Number Theory An International Journal Multiplication Operators with Closed Range in Operator Algebras P. Sam Johnson Department of Mathematical

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Introduction and Preliminaries

Introduction and Preliminaries Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis

More information

Math 209B Homework 2

Math 209B Homework 2 Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact

More information

Functional Analysis HW #1

Functional Analysis HW #1 Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

MA651 Topology. Lecture 10. Metric Spaces.

MA651 Topology. Lecture 10. Metric Spaces. MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky

More information

1 Definition and Basic Properties of Compa Operator

1 Definition and Basic Properties of Compa Operator 1 Definition and Basic Properties of Compa Operator 1.1 Let X be a infinite dimensional Banach space. Show that if A C(X ), A does not have bounded inverse. Proof. Denote the unit ball of X by B and the

More information

Topological Properties of Operations on Spaces of Continuous Functions and Integrable Functions

Topological Properties of Operations on Spaces of Continuous Functions and Integrable Functions Topological Properties of Operations on Spaces of Continuous Functions and Integrable Functions Holly Renaud University of Memphis hrenaud@memphis.edu May 3, 2018 Holly Renaud (UofM) Topological Properties

More information

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint

More information

Regularity conditions for Banach function algebras. Dr J. F. Feinstein University of Nottingham

Regularity conditions for Banach function algebras. Dr J. F. Feinstein University of Nottingham Regularity conditions for Banach function algebras Dr J. F. Feinstein University of Nottingham June 2009 1 1 Useful sources A very useful text for the material in this mini-course is the book Banach Algebras

More information

7 Complete metric spaces and function spaces

7 Complete metric spaces and function spaces 7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m

More information

Banach Spaces II: Elementary Banach Space Theory

Banach Spaces II: Elementary Banach Space Theory BS II c Gabriel Nagy Banach Spaces II: Elementary Banach Space Theory Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we introduce Banach spaces and examine some of their

More information

Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k

Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the

More information

A note on a construction of J. F. Feinstein

A note on a construction of J. F. Feinstein STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform

More information

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

Notes for Functional Analysis

Notes for Functional Analysis Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) November 6, 2015 1 Lecture 18 1.1 The convex hull Let X be any vector space, and E X a subset. Definition 1.1. The convex hull of E is the

More information

Exercise Solutions to Functional Analysis

Exercise Solutions to Functional Analysis Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n

More information

and Michael White 1. Introduction

and Michael White 1. Introduction SPECTRAL CHARACTERIZATION OF ALGEBRAIC ELEMENTS Thomas Ransford 1 and Michael White 1. Introduction Let A be a unital Banach algebra. An element a A is algebraic if there exists a nonconstant polynomial

More information

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

Another consequence of the Cauchy Schwarz inequality is the continuity of the inner product. . Inner product spaces 1 Theorem.1 (Cauchy Schwarz inequality). If X is an inner product space then x,y x y. (.) Proof. First note that 0 u v v u = u v u v Re u,v. (.3) Therefore, Re u,v u v (.) for all

More information

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More information

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................

More information

Linear Normed Spaces (cont.) Inner Product Spaces

Linear Normed Spaces (cont.) Inner Product Spaces Linear Normed Spaces (cont.) Inner Product Spaces October 6, 017 Linear Normed Spaces (cont.) Theorem A normed space is a metric space with metric ρ(x,y) = x y Note: if x n x then x n x, and if {x n} is

More information

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MAT 578 FUNCTIONAL ANALYSIS EXERCISES MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.

More information

CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS

CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS In this chapter we deal with the problem of extending a linear functional on a subspace Y to a linear functional on the

More information

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016 Abstract Algebra I Randall R. Holmes Auburn University Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016 This work is licensed under the Creative Commons Attribution- NonCommercial-NoDerivatives

More information

LINEAR PRESERVER PROBLEMS: generalized inverse

LINEAR PRESERVER PROBLEMS: generalized inverse LINEAR PRESERVER PROBLEMS: generalized inverse Université Lille 1, France Banach Algebras 2011, Waterloo August 3-10, 2011 I. Introduction Linear preserver problems is an active research area in Matrix,

More information

Course 212: Academic Year Section 1: Metric Spaces

Course 212: Academic Year Section 1: Metric Spaces Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........

More information

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

Selçuk Demir WS 2017 Functional Analysis Homework Sheet Selçuk Demir WS 2017 Functional Analysis Homework Sheet 1. Let M be a metric space. If A M is non-empty, we say that A is bounded iff diam(a) = sup{d(x, y) : x.y A} exists. Show that A is bounded iff there

More information

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X. A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary

More information

L p Spaces and Convexity

L p Spaces and Convexity L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function

More information

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3 Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,

More information

Spectral Mapping Theorem

Spectral Mapping Theorem Spectral Mapping Theorem Dan Sievewright Definition of a Hilbert space Let H be a Hilbert space over C. 1) H is a vector space over C. 2) H has an inner product, : H H C with the following properties.

More information

REAL RENORMINGS ON COMPLEX BANACH SPACES

REAL RENORMINGS ON COMPLEX BANACH SPACES REAL RENORMINGS ON COMPLEX BANACH SPACES F. J. GARCÍA PACHECO AND A. MIRALLES Abstract. In this paper we provide two ways of obtaining real Banach spaces that cannot come from complex spaces. In concrete

More information

2. Metric Spaces. 2.1 Definitions etc.

2. Metric Spaces. 2.1 Definitions etc. 2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with

More information

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

Lecture 5. Ch. 5, Norms for vectors and matrices. Norms for vectors and matrices Why? KTH ROYAL INSTITUTE OF TECHNOLOGY Norms for vectors and matrices Why? Lecture 5 Ch. 5, Norms for vectors and matrices Emil Björnson/Magnus Jansson/Mats Bengtsson April 27, 2016 Problem: Measure size of

More information

(x k ) sequence in F, lim x k = x x F. If F : R n R is a function, level sets and sublevel sets of F are any sets of the form (respectively);

(x k ) sequence in F, lim x k = x x F. If F : R n R is a function, level sets and sublevel sets of F are any sets of the form (respectively); STABILITY OF EQUILIBRIA AND LIAPUNOV FUNCTIONS. By topological properties in general we mean qualitative geometric properties (of subsets of R n or of functions in R n ), that is, those that don t depend

More information

MTH5112 Linear Algebra I MTH5212 Applied Linear Algebra (2017/2018)

MTH5112 Linear Algebra I MTH5212 Applied Linear Algebra (2017/2018) MTH5112 Linear Algebra I MTH5212 Applied Linear Algebra (2017/2018) COURSEWORK 3 SOLUTIONS Exercise ( ) 1. (a) Write A = (a ij ) n n and B = (b ij ) n n. Since A and B are diagonal, we have a ij = 0 and

More information

UNITIZATIONS AND CROSSED PRODUCTS

UNITIZATIONS AND CROSSED PRODUCTS UNITIZATIONS AND CROSSED PRODUCTS AIDAN SIMS Abstract. These are course notes for an honours course offered at the University of Wollongong in Spring of 2014. They are a modified and updated version of

More information

Econ Slides from Lecture 1

Econ Slides from Lecture 1 Econ 205 Sobel Econ 205 - Slides from Lecture 1 Joel Sobel August 23, 2010 Warning I can t start without assuming that something is common knowledge. You can find basic definitions of Sets and Set Operations

More information

REAL AND COMPLEX ANALYSIS

REAL AND COMPLEX ANALYSIS REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any

More information

René Bartsch and Harry Poppe (Received 4 July, 2015)

René Bartsch and Harry Poppe (Received 4 July, 2015) NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 2016, 1-8 AN ABSTRACT ALGEBRAIC-TOPOLOGICAL APPROACH TO THE NOTIONS OF A FIRST AND A SECOND DUAL SPACE III René Bartsch and Harry Poppe Received 4 July, 2015

More information

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.

More information

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty. 1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty. Let E be a subset of R. We say that E is bounded above if there exists a real number U such that x U for

More information

David Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent

David Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent Chapter 5 ddddd dddddd dddddddd ddddddd dddddddd ddddddd Hilbert Space The Euclidean norm is special among all norms defined in R n for being induced by the Euclidean inner product (the dot product). A

More information

Many of you got these steps reversed or otherwise out of order.

Many of you got these steps reversed or otherwise out of order. Problem 1. Let (X, d X ) and (Y, d Y ) be metric spaces. Suppose that there is a bijection f : X Y such that for all x 1, x 2 X. 1 10 d X(x 1, x 2 ) d Y (f(x 1 ), f(x 2 )) 10d X (x 1, x 2 ) Show that if

More information

7 Lecture 7: Rational domains, Tate rings and analytic points

7 Lecture 7: Rational domains, Tate rings and analytic points 7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss

More information

MAT 419 Lecture Notes Transcribed by Eowyn Cenek 6/1/2012

MAT 419 Lecture Notes Transcribed by Eowyn Cenek 6/1/2012 (Homework 1: Chapter 1: Exercises 1-7, 9, 11, 19, due Monday June 11th See also the course website for lectures, assignments, etc) Note: today s lecture is primarily about definitions Lots of definitions

More information

Multivariable Calculus

Multivariable Calculus 2 Multivariable Calculus 2.1 Limits and Continuity Problem 2.1.1 (Fa94) Let the function f : R n R n satisfy the following two conditions: (i) f (K ) is compact whenever K is a compact subset of R n. (ii)

More information

6 Lecture 6: More constructions with Huber rings

6 Lecture 6: More constructions with Huber rings 6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace

More information

On Projective Planes

On Projective Planes C-UPPSATS 2002:02 TFM, Mid Sweden University 851 70 Sundsvall Tel: 060-14 86 00 On Projective Planes 1 2 7 4 3 6 5 The Fano plane, the smallest projective plane. By Johan Kåhrström ii iii Abstract It was

More information

On Linear Operators with Closed Range

On Linear Operators with Closed Range Journal of Applied Mathematics & Bioinformatics, vol.1, no.2, 2011, 175-182 ISSN: 1792-6602 (print), 1792-6939 (online) International Scientific Press, 2011 On Linear Operators with Closed Range P. Sam

More information

Review of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)

Review of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE) Review of Multi-Calculus (Study Guide for Spivak s CHPTER ONE TO THREE) This material is for June 9 to 16 (Monday to Monday) Chapter I: Functions on R n Dot product and norm for vectors in R n : Let X

More information

Lebesgue Measure on R n

Lebesgue Measure on R n CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets

More information

Analytic K-theory. Paul D. Mitchener University of Sheffield October 26, 2011

Analytic K-theory. Paul D. Mitchener University of Sheffield   October 26, 2011 Analytic K-theory Paul D. Mitchener University of Sheffield e-mail: P.Mitchener@sheffield.ac.uk October 26, 2011 Contents 1 Banach algebras and C -algebras 2 1.1 Banach Algebras...........................

More information

Continuity. Chapter 4

Continuity. Chapter 4 Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of

More information

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d 66 2. Every family of seminorms on a vector space containing a norm induces ahausdorff locally convex topology. 3. Given an open subset Ω of R d with the euclidean topology, the space C(Ω) of real valued

More information

1 Inner Product Space

1 Inner Product Space Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;

More information

Lecture 16 Symbolic dynamics.

Lecture 16 Symbolic dynamics. Lecture 16 Symbolic dynamics. 1 Symbolic dynamics. The full shift on two letters and the Baker s transformation. 2 Shifts of finite type. 3 Directed multigraphs. 4 The zeta function. 5 Topological entropy.

More information

CHAPTER X THE SPECTRAL THEOREM OF GELFAND

CHAPTER X THE SPECTRAL THEOREM OF GELFAND CHAPTER X THE SPECTRAL THEOREM OF GELFAND DEFINITION A Banach algebra is a complex Banach space A on which there is defined an associative multiplication for which: (1) x (y + z) = x y + x z and (y + z)

More information

2.2 Some Consequences of the Completeness Axiom

2.2 Some Consequences of the Completeness Axiom 60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that

More information

Analysis II: The Implicit and Inverse Function Theorems

Analysis II: The Implicit and Inverse Function Theorems Analysis II: The Implicit and Inverse Function Theorems Jesse Ratzkin November 17, 2009 Let f : R n R m be C 1. When is the zero set Z = {x R n : f(x) = 0} the graph of another function? When is Z nicely

More information

FIXED POINT ITERATIONS

FIXED POINT ITERATIONS FIXED POINT ITERATIONS MARKUS GRASMAIR 1. Fixed Point Iteration for Non-linear Equations Our goal is the solution of an equation (1) F (x) = 0, where F : R n R n is a continuous vector valued mapping in

More information

Isodiametric problem in Carnot groups

Isodiametric problem in Carnot groups Conference Geometric Measure Theory Université Paris Diderot, 12th-14th September 2012 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Isodiametric

More information

Some topics in analysis related to Banach algebras, 2

Some topics in analysis related to Banach algebras, 2 Some topics in analysis related to Banach algebras, 2 Stephen Semmes Rice University... Abstract Contents I Preliminaries 3 1 A few basic inequalities 3 2 q-semimetrics 4 3 q-absolute value functions 7

More information

Problem Set 6: Solutions Math 201A: Fall a n x n,

Problem Set 6: Solutions Math 201A: Fall a n x n, Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be

More information

On John type ellipsoids

On John type ellipsoids On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to

More information

A Brief Introduction to Functional Analysis

A Brief Introduction to Functional Analysis A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with

More information

Chapter 2 Unbounded Operators and Abstract Functional Calculus

Chapter 2 Unbounded Operators and Abstract Functional Calculus Chapter 2 Unbounded Operators and Abstract Functional Calculus 2.1 Unbounded Operators We start with an introduction to unbounded operators and their spectral theory. This will be brief and cursory so

More information

International Competition in Mathematics for Universtiy Students in Plovdiv, Bulgaria 1994

International Competition in Mathematics for Universtiy Students in Plovdiv, Bulgaria 1994 International Competition in Mathematics for Universtiy Students in Plovdiv, Bulgaria 1994 1 PROBLEMS AND SOLUTIONS First day July 29, 1994 Problem 1. 13 points a Let A be a n n, n 2, symmetric, invertible

More information

Functional Analysis Winter 2018/2019

Functional Analysis Winter 2018/2019 Functional Analysis Winter 2018/2019 Peer Christian Kunstmann Karlsruher Institut für Technologie (KIT) Institut für Analysis Englerstr. 2, 76131 Karlsruhe e-mail: peer.kunstmann@kit.edu These lecture

More information

Banach Algebras of Matrix Transformations Between Spaces of Strongly Bounded and Summable Sequences

Banach Algebras of Matrix Transformations Between Spaces of Strongly Bounded and Summable Sequences Advances in Dynamical Systems and Applications ISSN 0973-532, Volume 6, Number, pp. 9 09 20 http://campus.mst.edu/adsa Banach Algebras of Matrix Transformations Between Spaces of Strongly Bounded and Summable

More information

i. v = 0 if and only if v 0. iii. v + w v + w. (This is the Triangle Inequality.)

i. v = 0 if and only if v 0. iii. v + w v + w. (This is the Triangle Inequality.) Definition 5.5.1. A (real) normed vector space is a real vector space V, equipped with a function called a norm, denoted by, provided that for all v and w in V and for all α R the real number v 0, and

More information

The local equicontinuity of a maximal monotone operator

The local equicontinuity of a maximal monotone operator arxiv:1410.3328v2 [math.fa] 3 Nov 2014 The local equicontinuity of a maximal monotone operator M.D. Voisei Abstract The local equicontinuity of an operator T : X X with proper Fitzpatrick function ϕ T

More information

Chapter 3. Differentiable Mappings. 1. Differentiable Mappings

Chapter 3. Differentiable Mappings. 1. Differentiable Mappings Chapter 3 Differentiable Mappings 1 Differentiable Mappings Let V and W be two linear spaces over IR A mapping L from V to W is called a linear mapping if L(u + v) = Lu + Lv for all u, v V and L(λv) =

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

(K + L)(c x) = K(c x) + L(c x) (def of K + L) = K( x) + K( y) + L( x) + L( y) (K, L are linear) = (K L)( x) + (K L)( y).

(K + L)(c x) = K(c x) + L(c x) (def of K + L) = K( x) + K( y) + L( x) + L( y) (K, L are linear) = (K L)( x) + (K L)( y). Exercise 71 We have L( x) = x 1 L( v 1 ) + x 2 L( v 2 ) + + x n L( v n ) n = x i (a 1i w 1 + a 2i w 2 + + a mi w m ) i=1 ( n ) ( n ) ( n ) = x i a 1i w 1 + x i a 2i w 2 + + x i a mi w m i=1 Therefore y

More information

Lecture Notes on C -algebras. Ian F. Putnam

Lecture Notes on C -algebras. Ian F. Putnam Lecture Notes on C -algebras Ian F. Putnam July 28, 2016 2 Contents 1 Basics of C -algebras 5 1.1 Definition............................. 5 1.2 Examples............................. 7 1.3 Spectrum.............................

More information

SPECTRAL THEORY EVAN JENKINS

SPECTRAL THEORY EVAN JENKINS SPECTRAL THEORY EVAN JENKINS Abstract. These are notes from two lectures given in MATH 27200, Basic Functional Analysis, at the University of Chicago in March 2010. The proof of the spectral theorem for

More information

Math212a1413 The Lebesgue integral.

Math212a1413 The Lebesgue integral. Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the

More information

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?

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? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable

More information