2.4 Annihilators, Complemented Subspaces

Size: px
Start display at page:

Download "2.4 Annihilators, Complemented Subspaces"

Transcription

1 40 CHAPTER 2. WEAK TOPOLOGIES AND REFLEXIVITY 2.4 Annihilators, Complemented Subspaces Definition (Annihilators, Pre-Annihilators) Assume X is a Banach space. Let M X and N X. We call the annihilator of M and the pre-annihilator of N. M? = {x 2 X : 8x2M hx,xi =0} X, N? = {x 2 X : 8x 2N hx,xi =0} X, Proposition Let X be a Banach space, and assume M X and N X. a) M? is a closed subspace of X, M? =(span(m))?,and(m? )? = span(m), b) N? is a closed subspace of X, N? = (span(n))?,andspan(n) (N? )?. c) span(m) =X () M? = {0}. Proposition If X is Banach space and Y X is a closed subspace then (X/Y ) is isometrically isomorphic to Y? via the operator :(X/Y )! Y?, with (z )(x) =z (x). (recall x := x + Y 2 X/Y for x 2 X). Proof. Let Q : X! X/Y be the quotient map. For z 2 (X/Y ), (z ), as defined above, can be written as (z )= z Q. Thus (z ) 2 X. Since Q(Y )={0} it follows that (z ) 2 Y?. For z 2 (X/Y ) we have k (z )k = sup hz,q(x)i = sup hz, xi = kz k (X/Y ), x2b X x2b X/Y where the second equality follows on the one hand from the fact that kq(x)k apple kxk, for x 2 X, and on the other hand, from the fact that for any x = x+y 2 X/Y there is a sequence (y n ) Y so that lim sup n!1 kx + y n k = k xk. Thus is an isometric embedding. If x 2 Y? X,wedefine z : X/Y! K, x+ Y 7! hx,xi.

2 2.4. ANNIHILATORS, COMPLEMENTED SUBSPACES 41 First note that this map is well defined (since hx,x+ y 1 i = hx,x+ y 2 i for y 1,y 2 2 Y ). Since x is linear, z is also linear, and hz, xi = hx,xi, for all x 2 X, and thus kz k (X/Y ) = kx k. Finally, since h (z ),xi = hz,q(x)i = hx,xi, it follows that (z )=x, and thus that is surjective. Proposition Assume X and Y are Banach spaces and T 2 L(X, Y ). Then (2.2) (2.3) T (X)? = N (T ) and T (Y ) N(T )? T (X) =N (T )? and T (Y )? = N (T ). Proof. We only prove (2.2). The verification of (2.3) is similar. For y 2 Y y 2T (X)? () 8x2X hy,t(x)i =0 () 8x2X ht (y ),xi =0 () T (y )=0 () y 2N(T ), which proves the first part of (2.2), and for y 2 Y and all x 2N(T ), it follows that ht (y ),xi = hy,t(x)i = 0, which implies that T (Y ) N (T )?, and, thus, T (X ) N(T ). Definition Let X be a Banach space and let U and V be two closed subspaces of X. We say that X is the complemented sum of U and V and we write X = U V, if for every x 2 X there are u 2 U and v 2 V, so that x = u + v and so that this representation of x as sum of an element of U and an element of V is unique. We say that a closed subspace Y of X is complemented in X if there is a closed subspace Z of X so that X = Y Z. Remark. Assume that the Banach space X is the complemented sum of the two closed subspaces U and V. We note that this implies that U \ V = {0}. We can define two maps P : X! U and Q : X! V where we define P (x) 2 U and Q(x) 2 V by the equation x = P (x)+q(y), with P (x) 2 U and Q(x) 2 V (which, by assumption, has a unique solution). Note that P and Q are linear. Indeed if P (x 1 )=u 1, P (x 2 )=u 2, Q(x 1 )=v 1, Q(x 2 )=v 2, then for, µ2k we have x 1 +µx 2 = u 1 +µu 2 + v 1 +µv 2, and thus, by uniqueness P ( x 1 +µx 2 )= u 1 +µu 2, and Q( x 1 +µx 2 )= v 1 +µv 2. Secondly it follows that P P = P, and Q Q = Q. Indeed, for any x 2 X we we write P (x) =P (x)+02 U + V, and since this representation

3 42 CHAPTER 2. WEAK TOPOLOGIES AND REFLEXIVITY of P (x) is unique it follows that P (P (x)) = P (x). The argument for Q is the same. Finally it follows that, again using the uniqueness argument, that P is the identity on U and Q is the identity on V. We therefore proved that a) P is linear, b) the image of P is U c) P is idempotent, i.e. P 2 = P We say in that case that P is a linear projection onto U. Similarly Q is a a linear projection onto V, and P and Q are complementary to each other, meaning that P (X)\Q(X) ={0} and P +Q = Id. A linear map P : X! X with the properties (a) and (c) is called projection. The next Proposition will show that P and Q as defined in above remark are actually bounded. Lemma Assume that X is the complemented sum of two closed subspaces U and V. Then the projections P and Q as defined in above remark are bounded. Proof. Consider the norm on X defined by x = kp (x)k + kq(x)k, for x 2 X. We claim that (X, ) is also a Banach space. Indeed if (x n ) X with x n = kp (x n )k + kq(x n )k < 1. Then u = P 1 P (x n) 2 U, v = P 1 Q(x n) 2 V (U and V are assumed to be closed) converge in U and V (with respect to k k, respectively, and since k kapple also x = P 1 x n converges and x = x n = lim n!1 P (x j )+Q(x j )= lim n!1 P (x j )+ lim n!1 Q(x j )=u+v, and x x n = u P (x n )+v Q(x n )

4 2.4. ANNIHILATORS, COMPLEMENTED SUBSPACES 43 = u P (x n ) + v Q(x n )! n!1 0, (here all series are meant to converge with respect to k k) which proves that (X, ) is complete. Since the identity is a bijective linear bounded operator from (X, )to (X, k k) it has by Corollary of the Closed Graph Theorem a continuous inverse and is thus an isomorphy. Since kp (x)k apple x and kq(x)k apple x we deduce our claim. Proposition Assume that X is a Banach space and that P : X! X, is a bounded projection onto a closed subspace of X. Then X = P (X) N(P ). Theorem There is no linear bounded operator T : `1! `1 so that the kernel of T equals to c 0. Corollary c 0 is not complemented in `1. Proof of Theorem For n 2 N we let e n be the n-th coordinate functional on `1, i.e. e n : `1! K, x =(x j ) 7! x n. Step 1. If T : `1! `1 is bounded and linear, then Indeed, note that N (T )= 1\ N (e n T ). x 2N(T ) () 8n2N e n(t (x)) = he n,t(x)i =0. In order to prove our claim we will show that c 0 cannot be the intersection of the kernel of countably many functionals in ` 1. Step 2. There is an uncountable family (N : 2 I) of infinite subsets of N for which N \ N is finite whenever 6= are in I. Write the rational numbers Q as a sequence (q j : j 2 N), and choose for each r 2 R asequence(n k (r) :k 2N), so that (q nk (r) : k 2N) converges to r. Then, for r 2R let N r = {n k (r) :k 2N}. For i2i, putx =1 N 2`1, i.e. x =( ( ) k : k 2N) with ( ) k = ( 1 if k 2 N 0 if k 62 N.

5 44 CHAPTER 2. WEAK TOPOLOGIES AND REFLEXIVITY Step 3. If f 2 ` 1 and c 0 N(f) then{ 2 I : f(x ) 6= 0} is countable. In order to verify Step 3 let A n = { : f(x ) 1/n}, for n 2 N. It is enough to show that for n 2 N the set A n is finite. To do so, let 1, 2,..., k be distinct elements of A n and put x = P k sign f(x j ) x j (for a 2 C we put sign(a) =a/ a ) and deduce that f(x) k/n. Now consider M j = N j \ S i6=j N i.thenn j \ M j is finite, and thus it follows for kx x = sign(f(x j ))1 Mj that f(x) =f( x) (sincex x 2 c 0 ). Since the M j, j =1, 2...k are pairwise disjoint, it follows that k xk 1 = 1, and thus k apple f(x) =f( x) applekfk. n Which implies that that A n can have at most nkfk elements. Step 4. If c 0 T 1 N (f n), for a sequence (f n ) ` 1, then there is an 2 I so that x 2 T 1 N (f n). In particular this implies that c 0 6= T n2n N (f n). Indeed, Step 3 yields that C = { 2 I : f n (x ) 6= 0 for some n 2 N} = [ n2n{ 2 I : f n (x ) 6= 0}, is countable, and thus I \ C is not empty. Remark. Assume that Z is any subspace of `1 which is isomorphic to c 0, then Z is not complemented. The proof of that is a bit harder. Theorem [So] Assume Y is a subspace of a separable Banach space X and T : Y! c 0 is linear and bounded. Then T can be extended to a linear and bounded operator T : X! c 0. Moreover, T can be chosen so that k T kapple2kt k. Corollary Assume that X is a separable Banach space which contains a subspace Y which is isomorphic to c 0. Then Y is complemented in X. Proof. Let T : Y! c 0 be an isomorphism. Then extend T to T : X! c 0 and put P = T 1 T.

6 2.4. ANNIHILATORS, COMPLEMENTED SUBSPACES 45 Proof of Theorem Note that an operator T : Y! c 0 is defined by a (Y,Y)nullsequence(y n) Y,i.e. T : Y! c 0, y 7! (hy n,yi : n 2 N). We would like to use the Hahn Banach theorem and extend each y n to an element x n 2 X n,withky nk = kx nk, and define T (x) :=(hx n,xi : n 2 N), x2x. But the problem is that (x n) might not be (X,X) convergent to 0, and thus we can only say that (hx n,xi : n 2 N) 2 `1, but not necessarily in c 0. Thus we will need to change the x n somehow so that they are still extensions of the yn but also (X,X)null. Let B = kt kb X. B is (X,X)-compact and metrizable (since X is separable). Denote the metric which generates the (X,X)-topology by d(, ). Put K = B \ Y?. Since Y? X is (X,X)-closed, K is compact and every (X,X)-accumulation point of (x n) lies in K. Indeed, this follows from the fact that x n(y) =yn(y)! n!1 0. This implies that lim n!1 d(x n,k) = 0, thus we can choose (zn) K so that lim n!1 d(x n,zn) = 0, and thus (x n zn)is (X,X)-null and for y 2 Y it follows that hx n zn,yi = hx n,yi, n2n. Choosing therefore yields our claim. T : X! c 0, x 7! (hx n z n,xi : n 2 N), Remark. Zippin [Zi] proved the converse of Theorem: if Z is an infinitedimensional separable Banach space admitting a projection from any separable Banach space X containing it, then Z is isomorphic to c 0. Exercises 1. Prove Proposition a) Assume that `1 isomorphic to a subspace Y of some Banach space X, then Y is complemented in X. b) Assume Z is a closed subspace of a Banach space X, and T : Z! `1 is linear and bounded. Then T can be extended to a linear and bounded operator T : X! `1, withk T k = kt k. 3. Show that for a Banach space X, the dual space X is isometrically isomorphic to complemented subspace of X, via the canonical embedding.

7 46 CHAPTER 2. WEAK TOPOLOGIES AND REFLEXIVITY 4. Prove Proposition Prove (2.3) in Proposition

2.2 Annihilators, complemented subspaces

2.2 Annihilators, complemented subspaces 34CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS 2.2 Annihilators, complemented subspaces Definition 2.2.1. [Annihilators, Pre-Annihilators] Assume X is a Banach space. Let M X and N X. We

More information

Course Notes for Functional Analysis I, Math , Fall Th. Schlumprecht

Course Notes for Functional Analysis I, Math , Fall Th. Schlumprecht Course Notes for Functional Analysis I, Math 655-601, Fall 2011 Th. Schlumprecht December 13, 2011 2 Contents 1 Some Basic Background 5 1.1 Normed Linear Spaces, Banach Spaces............. 5 1.2 Operators

More information

3.2 Bases of C[0, 1] and L p [0, 1]

3.2 Bases of C[0, 1] and L p [0, 1] 70 CHAPTER 3. BASES IN BANACH SPACES 3.2 Bases of C[0, ] and L p [0, ] In the previous section we introduced the unit vector bases of `p and c 0. Less obvious is it to find bases of function spaces like

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

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

3 Hausdorff and Connected Spaces

3 Hausdorff and Connected Spaces 3 Hausdorff and Connected Spaces In this chapter we address the question of when two spaces are homeomorphic. This is done by examining two properties that are shared by any pair of homeomorphic spaces.

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

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:

More information

E.7 Alaoglu s Theorem

E.7 Alaoglu s Theorem E.7 Alaoglu s Theorem 359 E.7 Alaoglu s Theorem If X is a normed space, then the closed unit ball in X or X is compact if and only if X is finite-dimensional (Problem A.25). Even so, Alaoglu s Theorem

More information

CHAPTER V DUAL SPACES

CHAPTER V DUAL SPACES CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the

More information

Problem Set 2: Solutions Math 201A: Fall 2016

Problem Set 2: Solutions Math 201A: Fall 2016 Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that

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

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever

More information

The Threshold Algorithm

The Threshold Algorithm Chapter The Threshold Algorithm. Greedy and Quasi Greedy Bases We start with the Threshold Algorithm: Definition... Let be a separable Banach space with a normalized M- basis (e i,e i ):i2n ; we mean by

More information

Normed Vector Spaces and Double Duals

Normed Vector Spaces and Double Duals Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces

More information

Introduction to Functional Analysis

Introduction to Functional Analysis Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture

More information

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32 Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak

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

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

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify

More information

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.

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

x n x or x = T -limx n, if every open neighbourhood U of x contains x n for all but finitely many values of n

x n x or x = T -limx n, if every open neighbourhood U of x contains x n for all but finitely many values of n Note: This document was written by Prof. Richard Haydon, a previous lecturer for this course. 0. Preliminaries This preliminary chapter is an attempt to bring together important results from earlier courses

More information

Notes for Functional Analysis

Notes for Functional Analysis Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) October 16, 2015 1 Lecture 11 1.1 The closed graph theorem Definition 1.1. Let f : X Y be any map between topological spaces. We define its

More information

4 Countability axioms

4 Countability axioms 4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said

More information

Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts

Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts S.TROYANSKI, Institute of Mathematics, Bulgarian Academy of Science joint work with S. P. GUL KO, Faculty

More information

Lecture 4: Completion of a Metric Space

Lecture 4: Completion of a Metric Space 15 Lecture 4: Completion of a Metric Space Closure vs. Completeness. Recall the statement of Lemma??(b): A subspace M of a metric space X is closed if and only if every convergent sequence {x n } X satisfying

More information

Math 702 Problem Set 10 Solutions

Math 702 Problem Set 10 Solutions Math 70 Problem Set 0 Solutions Unless otherwise stated, X is a complex Hilbert space with the inner product h; i the induced norm k k. The null-space range of a linear map T W X! X are denoted by N.T

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

Real Analysis Chapter 4 Solutions Jonathan Conder

Real Analysis Chapter 4 Solutions Jonathan Conder 2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Wee November 30 Dec 4: Deadline to hand in the homewor: your exercise class on wee December 7 11 Exercises with solutions Recall that every normed space X can be isometrically

More information

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

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space 1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization

More information

CHAPTER VIII HILBERT SPACES

CHAPTER VIII HILBERT SPACES CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)

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

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

Real Analysis Qualifying Exam May 14th 2016

Real Analysis Qualifying Exam May 14th 2016 Real Analysis Qualifying Exam May 4th 26 Solve 8 out of 2 problems. () Prove the Banach contraction principle: Let T be a mapping from a complete metric space X into itself such that d(tx,ty) apple qd(x,

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

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

Functional Analysis I

Functional Analysis I Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker

More information

Continuity of convex functions in normed spaces

Continuity of convex functions in normed spaces Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional

More information

Math General Topology Fall 2012 Homework 8 Solutions

Math General Topology Fall 2012 Homework 8 Solutions Math 535 - General Topology Fall 2012 Homework 8 Solutions Problem 1. (Willard Exercise 19B.1) Show that the one-point compactification of R n is homeomorphic to the n-dimensional sphere S n. Note that

More information

Stat 451: Solutions to Assignment #1

Stat 451: Solutions to Assignment #1 Stat 451: Solutions to Assignment #1 2.1) By definition, 2 Ω is the set of all subsets of Ω. Therefore, to show that 2 Ω is a σ-algebra we must show that the conditions of the definition σ-algebra are

More information

16 1 Basic Facts from Functional Analysis and Banach Lattices

16 1 Basic Facts from Functional Analysis and Banach Lattices 16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness

More information

Lectures on Analysis John Roe

Lectures on Analysis John Roe Lectures on Analysis John Roe 2005 2009 1 Lecture 1 About Functional Analysis The key objects of study in functional analysis are various kinds of topological vector spaces. The simplest of these are the

More information

Axioms of separation

Axioms of separation Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically

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

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

FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0 FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM If M is a linear subspace of a normal linear space X and if F is a bounded linear functional on M then F can be extended to M + [x 0 ] without changing its norm.

More information

Notas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018

Notas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018 Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4

More information

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

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

More information

MAA6617 COURSE NOTES SPRING 2014

MAA6617 COURSE NOTES SPRING 2014 MAA6617 COURSE NOTES SPRING 2014 19. Normed vector spaces Let X be a vector space over a field K (in this course we always have either K = R or K = C). Definition 19.1. A norm on X is a function : X K

More information

SOME BANACH SPACE GEOMETRY

SOME BANACH SPACE GEOMETRY SOME BANACH SPACE GEOMETRY SVANTE JANSON 1. Introduction I have collected some standard facts about Banach spaces from various sources, see the references below for further results. Proofs are only given

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

Banach Spaces V: A Closer Look at the w- and the w -Topologies

Banach Spaces V: A Closer Look at the w- and the w -Topologies BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,

More information

INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. Tsirelson-like spaces and complexity of classes of Banach spaces.

INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. Tsirelson-like spaces and complexity of classes of Banach spaces. INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES Tsirelson-like spaces and complexity of classes of Banach spaces Ondřej Kurka Preprint No. 76-2017 PRAHA 2017 TSIRELSON-LIKE SPACES AND COMPLEXITY

More information

Spectral theory for compact operators on Banach spaces

Spectral theory for compact operators on Banach spaces 68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy

More information

Fredholm Theory. April 25, 2018

Fredholm Theory. April 25, 2018 Fredholm Theory April 25, 208 Roughly speaking, Fredholm theory consists of the study of operators of the form I + A where A is compact. From this point on, we will also refer to I + A as Fredholm operators.

More information

OPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic

OPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic OPERATOR THEORY ON HILBERT SPACE Class notes John Petrovic Contents Chapter 1. Hilbert space 1 1.1. Definition and Properties 1 1.2. Orthogonality 3 1.3. Subspaces 7 1.4. Weak topology 9 Chapter 2. Operators

More information

General Notation. Exercises and Problems

General Notation. Exercises and Problems Exercises and Problems The text contains both Exercises and Problems. The exercises are incorporated into the development of the theory in each section. Additional Problems appear at the end of most sections.

More information

Overview of normed linear spaces

Overview of normed linear spaces 20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural

More information

Chapter 3: Baire category and open mapping theorems

Chapter 3: Baire category and open mapping theorems MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A

More information

Section 21. The Metric Topology (Continued)

Section 21. The Metric Topology (Continued) 21. The Metric Topology (cont.) 1 Section 21. The Metric Topology (Continued) Note. In this section we give a number of results for metric spaces which are familar from calculus and real analysis. We also

More information

Analysis III Theorems, Propositions & Lemmas... Oh My!

Analysis III Theorems, Propositions & Lemmas... Oh My! Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In

More information

arxiv:math/ v1 [math.fa] 26 Oct 1993

arxiv:math/ v1 [math.fa] 26 Oct 1993 arxiv:math/9310218v1 [math.fa] 26 Oct 1993 STRUCTURE OF TOTAL SUBSPACES OF DUAL BANACH SPACES M.I.Ostrovskii I. Let X be a Banach space, X its dual. The unit ball and the unit sphere of X are denoted by

More information

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes. CW complexes Soren Hansen This note is meant to give a short introduction to CW complexes. 1. Notation and conventions In the following a space is a topological space and a map f : X Y between topological

More information

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE LIMITS AND PROFINITE GROUPS INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological

More information

Chapter 2 Metric Spaces

Chapter 2 Metric Spaces Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics

More information

Dual Spaces. René van Hassel

Dual Spaces. René van Hassel Dual Spaces René van Hassel October 1, 2006 2 1 Spaces A little scheme of the relation between spaces in the Functional Analysis. FA spaces Vector space Topological Space Topological Metric Space Vector

More information

MAT 530: Topology&Geometry, I Fall 2005

MAT 530: Topology&Geometry, I Fall 2005 MAT 530: Topology&Geometry, I Fall 2005 Problem Set 11 Solution to Problem p433, #2 Suppose U,V X are open, X =U V, U, V, and U V are path-connected, x 0 U V, and i 1 π 1 U,x 0 j 1 π 1 U V,x 0 i 2 π 1

More information

Bounded and continuous functions on a locally compact Hausdorff space and dual spaces

Bounded and continuous functions on a locally compact Hausdorff space and dual spaces Chapter 6 Bounded and continuous functions on a locally compact Hausdorff space and dual spaces Recall that the dual space of a normed linear space is a Banach space, and the dual space of L p is L q where

More information

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

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It

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

Real Analysis Chapter 1 Solutions Jonathan Conder

Real Analysis Chapter 1 Solutions Jonathan Conder 3. (a) Let M be an infinite σ-algebra of subsets of some set X. There exists a countably infinite subcollection C M, and we may choose C to be closed under taking complements (adding in missing complements

More information

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS Problem 1. Give an example of a non-metrizable topological space. Explain. Problem 2. Introduce a topology on N by declaring that open sets are, N,

More information

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 2 (x) (1/3)M 1 = (1/3)(2/3)M. COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is

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

MATH 202B - Problem Set 5

MATH 202B - Problem Set 5 MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there

More information

Tools from Lebesgue integration

Tools from Lebesgue integration Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given

More information

Lemma 3. Suppose E, F X are closed subspaces with F finite dimensional.

Lemma 3. Suppose E, F X are closed subspaces with F finite dimensional. Notes on Fredholm operators David Penneys Let X, Y be Banach spaces. Definition 1. A bounded linear map T B(X, Y ) is called Fredholm if dim(ker T ) < and codim(t X)

More information

8 Complete fields and valuation rings

8 Complete fields and valuation rings 18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Week 2 November 6 November Deadline to hand in the homeworks: your exercise class on week 9 November 13 November Exercises (1) Let X be the following space of piecewise

More information

Reflexivity of Locally Convex Spaces over Local Fields

Reflexivity of Locally Convex Spaces over Local Fields Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric

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

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 F3/F4/NVP (2005) Homework assignment 2

Functional Analysis F3/F4/NVP (2005) Homework assignment 2 Functional Analysis F3/F4/NVP (25) Homework assignment 2 All students should solve the following problems:. Section 2.7: Problem 8. 2. Let x (t) = t 2 e t/2, x 2 (t) = te t/2 and x 3 (t) = e t/2. Orthonormalize

More information

4 Linear operators and linear functionals

4 Linear operators and linear functionals 4 Linear operators and linear functionals The next section is devoted to studying linear operators between normed spaces. Definition 4.1. Let V and W be normed spaces over a field F. We say that T : V

More information

Problem 1: Compactness (12 points, 2 points each)

Problem 1: Compactness (12 points, 2 points each) Final exam Selected Solutions APPM 5440 Fall 2014 Applied Analysis Date: Tuesday, Dec. 15 2014, 10:30 AM to 1 PM You may assume all vector spaces are over the real field unless otherwise specified. Your

More information

Finite dimensional topological vector spaces

Finite dimensional topological vector spaces Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdor t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the (algebraic)

More information

ABSTRACT INTEGRATION CHAPTER ONE

ABSTRACT INTEGRATION CHAPTER ONE CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed

More information

Eberlein-Šmulian theorem and some of its applications

Eberlein-Šmulian theorem and some of its applications Eberlein-Šmulian theorem and some of its applications Kristina Qarri Supervisors Trond Abrahamsen Associate professor, PhD University of Agder Norway Olav Nygaard Professor, PhD University of Agder Norway

More information

An introduction to some aspects of functional analysis

An introduction to some aspects of functional analysis An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms

More information

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is

More information

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course

More information

Math 215B: Solutions 1

Math 215B: Solutions 1 Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an

More information

Section 2: Classes of Sets

Section 2: Classes of Sets Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks

More information

Bases in Banach spaces

Bases in Banach spaces Chapter 3 Bases in Banach spaces Like every vector space a Banach space X admits an algebraic or Hamel basis, i.e. a subset B X, so that every x X is in a unique way the (finite) linear combination of

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

Finite dimensional topological vector spaces

Finite dimensional topological vector spaces Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdor t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the (algebraic)

More information

Measurable functions are approximately nice, even if look terrible.

Measurable functions are approximately nice, even if look terrible. Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............

More information