1 Background and Review Material

Size: px
Start display at page:

Download "1 Background and Review Material"

Transcription

1 1 Background and Review Material 1.1 Vector Spaces Let V be a nonempty set and consider the following two operations on elements of V : (x,y) x + y maps V V V (addition) (1.1) (α, x) αx maps F V V (scalar multiplication) (1.2) Here, F denotes a field, typically R or C. If the following conditions are satisfied for all α,β F and x,y V 1. x + y = y + x commutativity (1.3) 2. (x + y) + z = x + (y + z) associativity (1.4) 3. there exists z V such that x + z = y existence of zero (1.5) 4. α(βx) = (αβ)x associativity of scalar multiplication (1.6) 5. (α + β)x = αx + βx existence of negative (1.7) 6. α(x + y) = αx + αy distributivity (1.8) 7. 1x = x existence of identity (1.9) we say V is a vector space (over the field F ). In particular, if F = R we call V a real vector space, while if F = C we say V is a complex vector space. The elements x V are called vectors. You might notice that (1.5) is denoted as existence of zero. Let s see why. Claim. The condition (1.5) is equivalent to the existence of the 0 element in V. Proof Sketch: i) Assume that for every pair x,y V there exists z V such that x + z = y. In particular, for each x V there is a z V such that x + z = x. It can be shown that this element z is unique, and is the element we denote by 0. ii) Now assume that there is an element z = 0 such that for each x V x + z = x. Consequent to (1.3)-(1.9) we have the following: i) If α 0 then αx = 0 x = 0. ii) If x 0 then αx = 0 α = 0. iii) 0x = x, 1x = x 1

2 Examples You should first verify that {0},R,C are each vector spaces, then verify that the following examples are vector spaces. 1) R n = {(x 1,x 2,...,x n ) x i R for i = 1,...,n} 2) C n = {(z 1,z 2,...,z n ) z j C,j = 1,...,n} 3) {(z 1,z 2,z 1 + z 2 ) z 1,z 2 C} 4) F [x] n which is the set of polynomials in the variable x up to order n (less than or equal to n) Function Spaces Let X be a nonempty set and V a vector space. Consider the set of functions mapping X to V, F = {f : X V }. F is a vector space with (f + g)(x) = f (x) + g(x) (αf )(x) = αf (x) Note that the 0-vector in F is the function identically defined to be zero: µ(x) 0 for all x X. It is also worth noting that we can regard the vector spaces R n,c n as function spaces by the following identifications: R n = {f (1,2,...,n) R} C n = {g (1,2,...,n) C} Subspaces An important concept when dealing with vector spaces is subspaces. Let V be a vector space. We call a set M V a subspace of V if for all α,β F αx + βy M for all x,y M. That is, M is a subset of V which is closed with respect to addition. Note that a vector space is a subspace of itself, however, this is usually not of much use. Examples 2

3 Let Ω be an open subset of R n. The following are subspaces of the space of all functions from Ω to C: Remarks: C(Ω) = the space of all continuous functions from Ω to C C k (Ω) = the space of all complex-valued functions which are continuous and have continuous partial derivatives up to order k C (Ω) = the space of infinitely differentiable functions defined on Ω P (Ω) = the space of all polynomials in n-variables (x 1,x 2,...,x n ) i) M,N two subspaces of V, M N, then M is a subspace of N ii) M N will always be a subspace iii) M N not necessarily a subspace Exercise Show that in R 3, W = {x = (x 1,x 2,0) T x 1,x 2 R} is a subspace of R Linear Independence and Bases A set of elements {v 1,...,v n } V is linearly independent if any linear combination of the elements equaling 0 implies that each element is 0, i.e. if n α i v i = 0 v i = 0 for each i = 1,...,n. i=1 If the above condition does not hold, we say the vectors {v 1,...,v n } are linearly dependent. If for any positive integer n there exist n linearly independent vectors in V, we say that V is infinite dimensional. If V is not infinite dimensional, then there is a positive integer n such that: a) there is a set of n vectors that are linearly independent; b) if m > n, then any m elements are linearly dependent. In this case, we call n the dimension of V. 3

4 If A = {v 1,...,v n }, we denote the set of all finite linear combinations of vectors in A by spana = {α 1 v 1 + α 2 v α k v k α i F,k N}. If A is a subset of a vector space V, you should check that spana is a subspace of V. A set of vectors A V is called a basis of V if A is linearly independent and spana = V. If the elements {v k } n k=1 form a basis for V, then it can readily be checked that any x V can be written as n x = α k v k. 2 Normed Spaces k=1 For vector spaces, and various other spaces, it is quite useful to have some notion of distance. This section is devoted to reviewing the basics about normed spaces. A normed space (or normed linear space) is a vector space V on which there is defined a function : V F called the norm such that the following hold: a) x 0 and x = 0 if and only if x = 0 b) αx = α x c) x + y x + y. In this case, we often write (V, ) is a normed space, unless it should be apparent which norm corresponds to V. Note that a normed space is the same as a metric space with the metric given by d(x,y) = x y. Example ) We define a norm on the real vector space R n. Let x = (x 1,x 2,...,x n ) t R n, then 2 n x 2 = x i 2. (2.1) 2) More generally, for 1 p we define the p-norms for x R n by i=1 i=1 1 n p x p = x i p, for 1 p < (2.2) x = max 1 i n x i (2.3) 4

5 As an exercise, you should show that p is indeed a norm for p = 1,2,. Note that when n = 1 all of the p-norms coincide with the absolute value. It can be shown that x = lim p x p. Example 2.2. For p [1, ], we define the sequence spaces l p (the little l-p spaces) as l p = {x = (x n ) n 1 : x l p < } where the corresponding p-norms are given by 1/p x l p = x n p n=1 x l = sup n 1 for 1 p <, (2.4) x n for p =. (2.5) The l p spaces consist of all infinite sequences of complex numbers which are bounded with respect to the above norms. We can define similar norms on function spaces. We must be careful, however, as some of these notions require technical details that we do not have time to cover in this course. If any of these details become necessary, we will cover them as they arise. Example 2.3. For the space of continuous functions over the closed interval [a,b], denoted C[a,b], we define the maximum norm by f = max f (x), f a x b C[a,b]. In addition to being able to discuss the relative size of a vector or the distance between two vectors, norms allow us to discuss the convergence of sequences. Definition 2.4. Let (V, ) be a normed space. We say that a sequence (x n ) in V converges to an element x V, if for every ε > 0 there exists a number δ(ε) such that for every n δ(ε) we have x n x < ε. In this case, we may write lim n x n = x or x n x. Definition 2.5. Let 1 and 2 be norms on a vector space V. We say that the norms 1 and 2 are equivalent if there exist positive constants α,β such that for all x V. α x 1 x 2 β x 1 An important fact, which we may or may not prove, depending on time is the following. 5

6 Claim. Let V be a finite dimensional vector space. Then any two norms 1, 2 on V are equivalent. This statement is not true for an infinite dimensional space. Norms also allow us to define the concepts of continuity, open/closed sets, extreme values and a host of other notions we have from calculus/real analysis. Exercise 2.1. Define a normed space as the vector space V = C[0,1] with the norm defined by Consider the sequence Show that however ( 1 1/p v p = v(x) dx) p, 1 p < v = sup v(x). 0 x 1 0 u n (x) = { 1 nx, 0 x 1 n 0, 1 n < x 1 u n p = (n(p + 1)) 1/p, 1 p <, u n = 1. Thus, the sequence {u n } converges in the normed spaces (V, p ) for 1 p <, but divereges in the normed space (V, ). Exercise 2.2. Show that the following two norms are equivalent on C[0,1]: 2.1 Banach Spaces 1 f a = f (a) + f (x) dx f b = f (x) dx f (x) dx. Definition 2.6. A sequence {x n } in a normed space, V, is called a Cauchy sequence if lim x n x m = 0. m,n Further, if every Cauchy sequence in V is convergent to a x V, we say the normed space is complete. A complete, normed space is called a Banach space. 6

7 Example 2.7. Let P([0,1]) be the space of all polynomials on [0,1] with the norm of uniform convergence p = max p(x). Define [0,1] p n (x) = 1 + x + x2 xn + + 2! n! for n = 1,2,... Then {p n } P([0,1]) is a Cauchy sequence. Does {p n } converge to an element of P([0,1])? Example 2.8 (Examples of Banach spaces). 1) The spaces of square-summable sequences, l 2, with norm is a Banach space. 1/2 x l 2 = x n 2 2) The space of continuous functions on [a,b], C([a,b]), with norm is a Banach space. n=1 f = max f (x) [a,b] 3) Bypassing some formalities (at our own risk), we may define the big L-p spaces, L p (R). For real p > 1, we denote the space of complex-valued (locally integrable) functions f such that f p is integrable ( f p L 1 (R)) by L p (R). Analogous to the spaces l p, we define a norm on L p (R) by f p = ( f p ) 1/p. Formally, the integral should be understood in the sense of Lebesgue, which is a detail we will not have time to cover. However, if we are lucky, the Lebesgue integral will coincide with the Riemann integral. 2.2 Operators on normed spaces Given two spaces V,W, an operator L from V W is a mapping which assigns to each element of V a unique element in W. The domain of L, D(L), is the following subset of V D(L) = {v V : L(v) exists }, 7

8 while the range of L is the following subset of W R(L) = {w W : w = L(v) for some v V }. Another important set related to an operator, is the nullspace N (L) = {v V : L(v) = 0}. Given two operators L and M from V W, we define the addition of operators by (L + M)(v) = L(v) + M(v). This defines a new operator, L + M, with D(L + M) = D(L) D(M). Likewise, for α K we define scalar multiplication of an operator by (αl)(v) = αl(v). Again, this defines a new operator αl : V W with domain D(L). Definition 2.9. An operator L : V W is one-to-one (or 1-1) if L(v 1 ) = L(v 2 ) v 1 = v 2, v 1,v 2 D(L). An operator which is 1-1 is also said to be injective. If R(L) = W, we say L is surjective. Furthermore, if L is both injective and surjective, we say L is bijective. Example Let V = C[0,1] = W be the vector space of continuous functions on [0,1]. Define the differentiation operator by d dx f = f, f C[0,1]. In this case, we have D( d dx ) = C1 [0,1] C[0,1]. Is d dx an injection and/or surjection? For operators on normed spaces, properties such as continuity and boundedness are defined in terms of vectors and sequences of vectors in the domain of the operator. Definition Let V, W be two normed spaces. An operator L : V W is continuous at v D(L) V if for a sequence {v n } D(L) we have v n v in V L(v n ) L(v) in W. We say that L is continuous if it is continuous for all v D(L). The operator L is said to be bounded if for any γ > 0, there is a R > 0 such that for v D(L) we have v γ L(v) R. 8

9 Exercise 2.3. Let V = C[0,1] be the space of complex-valued continuous functions defined on the closed interval [0,1]. Define an operator L by L(v)(t) = v(0) + t 0 v(s) ds. What is the domain of L? How about the range? Show that the function v(t) = ae t is a fixed point of L for any a C. Analogous to functions, a fixed point of an operator L is an element of D(L) such that L(v) = v. Definition If L : V W satisfies the following properties: L(αv 1 + βv 2 ) = αl(v 1 ) + βl(v 2 ) for all v 1,v 2 V, α,β K we say that L is linear. We denote the set of all linear operators mapping V to W by L(V,W ) and by L(V ) whenever V = W. In this case, we often use the notation Lv in place of L(v). Proposition Suppose L is a linear operator from a vector space V to a vector space W. Then a) the continuity of L over the whole space V is equivalent to continuity at any one point (usually taken to be v = 0.) b) L is bounded if an only if there exists a constant α 0 such that Lv W α v V for all v V. c) L is continuous on V if and only if L is bounded on V. As a consequence of Proposition 2.13, we define a norm on L(V,W ) by Lv L V,W = sup W. (2.6) v 0 v V This norm is usually referred to as the operator norm. The following theorem is obtained as a consequence. Theorem The set L(V,W ) with the norm (2.6) is a normed space. Proof. Exercise. In fact, as we will discover soon, under certain conditions the space L(V,W ) is a Banach space. The following property of the operator norm can sometimes be useful Lv W L V,W v V for all v V. 9

10 Example For a normed space V, the identity operator I : V V, defined by is an element of L(V ) and L = 1. Iv = v, Example Let V = W = C[a,b] with the norm. Let k C([a,b] [a,b]) and define an operator K : C[a,b] C[a,b] by (Kv)(x) = b a k(x, y)v(y) dy. The operator K is an example of a linear integral operator, which we will be studying this semester. The function k(, ) is called the kernel (or kernel function) of the integral operator. Definition A mapping f from a subset B of a normed space V into V is called a contraction (or contraction mapping) if there exists a positive number α < 1 such that f (u) f (v) α u v for all u,v B. The following theorem, sometimes referred to as the Banach Lemma, is quite powerful for a number of reasons. The result is useful for error analysis, approximating a problem by a nearby problem, and can be useful for computing the inverse of (I L). Theorem 2.18 (Banach Lemma/Geomtric Series Theorem). Let V be a Banach space and suppose L L(V ). If L < 1 (2.7) then the operator I L is a bijection on V, its inverse is a bounded linear operator defined by and its norm satisfies (I L) 1 = (I L) 1 L n, (2.8) n=0 1 1 L. (2.9) 10

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

Vector Spaces and Linear Transformations

Vector Spaces and Linear Transformations Vector Spaces and Linear Transformations Wei Shi, Jinan University 2017.11.1 1 / 18 Definition (Field) A field F = {F, +, } is an algebraic structure formed by a set F, and closed under binary operations

More information

MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3. (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers.

MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3. (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers. MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3 (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers. (a) Define d : V V + {0} by d(x, y) = 1 ξ j η j 2 j 1 + ξ j η j. Show that

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

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

4 Vector Spaces. 4.1 Basic Definition and Examples. Lecture 10

4 Vector Spaces. 4.1 Basic Definition and Examples. Lecture 10 Lecture 10 4 Vector Spaces 4.1 Basic Definition and Examples Throughout mathematics we come across many types objects which can be added and multiplied by scalars to arrive at similar types of objects.

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

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

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

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

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

LECTURE 7: LINEAR TRANSFORMATION (CHAPTER 4 IN THE BOOK)

LECTURE 7: LINEAR TRANSFORMATION (CHAPTER 4 IN THE BOOK) LECTURE 7: LINEAR TRANSFORMATION (CHAPTER 4 IN THE BOOK) Everything marked by is not required by the course syllabus In this lecture, F is a fixed field and all vector spcaes are over F. One can assume

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

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

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India CHAPTER 9 BY Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India E-mail : mantusaha.bu@gmail.com Introduction and Objectives In the preceding chapters, we discussed normed

More information

Analysis Qualifying Exam

Analysis Qualifying Exam Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, ETC., FOR MATH 515 THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every

More information

A Précis of Functional Analysis for Engineers DRAFT NOT FOR DISTRIBUTION. Jean-François Hiller and Klaus-Jürgen Bathe

A Précis of Functional Analysis for Engineers DRAFT NOT FOR DISTRIBUTION. Jean-François Hiller and Klaus-Jürgen Bathe A Précis of Functional Analysis for Engineers DRAFT NOT FOR DISTRIBUTION Jean-François Hiller and Klaus-Jürgen Bathe August 29, 22 1 Introduction The purpose of this précis is to review some classical

More information

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms. Vector Spaces Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms. For each two vectors a, b ν there exists a summation procedure: a +

More information

Analysis Comprehensive Exam Questions Fall 2008

Analysis Comprehensive Exam Questions Fall 2008 Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)

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

Lecture Notes in Functional Analysis

Lecture Notes in Functional Analysis Lecture Notes in Functional Analysis Please report any mistakes, misprints or comments to aulikowska@mimuw.edu.pl LECTURE 1 Banach spaces 1.1. Introducton to Banach Spaces Definition 1.1. Let X be a K

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

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space. Hilbert Spaces Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space. Vector Space. Vector space, ν, over the field of complex numbers,

More information

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space. University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)

More information

Lecture 2. Econ August 11

Lecture 2. Econ August 11 Lecture 2 Econ 2001 2015 August 11 Lecture 2 Outline 1 Fields 2 Vector Spaces 3 Real Numbers 4 Sup and Inf, Max and Min 5 Intermediate Value Theorem Announcements: - Friday s exam will be at 3pm, in WWPH

More information

Chapter 8 Integral Operators

Chapter 8 Integral Operators Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,

More information

MTH 503: Functional Analysis

MTH 503: Functional Analysis MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................

More information

Elementary linear algebra

Elementary linear algebra Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The

More information

Linear Algebra Lecture Notes-I

Linear Algebra Lecture Notes-I Linear Algebra Lecture Notes-I Vikas Bist Department of Mathematics Panjab University, Chandigarh-6004 email: bistvikas@gmail.com Last revised on February 9, 208 This text is based on the lectures delivered

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. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2. ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n

More information

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space. Chapter 1 Preliminaries The purpose of this chapter is to provide some basic background information. Linear Space Hilbert Space Basic Principles 1 2 Preliminaries Linear Space The notion of linear space

More information

CHAPTER II HILBERT SPACES

CHAPTER II HILBERT SPACES CHAPTER II HILBERT SPACES 2.1 Geometry of Hilbert Spaces Definition 2.1.1. Let X be a complex linear space. An inner product on X is a function, : X X C which satisfies the following axioms : 1. y, x =

More information

I teach myself... Hilbert spaces

I teach myself... Hilbert spaces I teach myself... Hilbert spaces by F.J.Sayas, for MATH 806 November 4, 2015 This document will be growing with the semester. Every in red is for you to justify. Even if we start with the basic definition

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

Lecture 4 Lebesgue spaces and inequalities

Lecture 4 Lebesgue spaces and inequalities Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how

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

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

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 730 FC Lecture Notes March 5, Introduction 1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists

More information

Riesz Representation Theorems

Riesz Representation Theorems Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of

More information

Hilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality

Hilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality (October 29, 2016) Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/03 hsp.pdf] Hilbert spaces are

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

Zweier I-Convergent Sequence Spaces

Zweier I-Convergent Sequence Spaces Chapter 2 Zweier I-Convergent Sequence Spaces In most sciences one generation tears down what another has built and what one has established another undoes. In mathematics alone each generation builds

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

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

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

Math Linear algebra, Spring Semester Dan Abramovich

Math Linear algebra, Spring Semester Dan Abramovich Math 52 0 - Linear algebra, Spring Semester 2012-2013 Dan Abramovich Fields. We learned to work with fields of numbers in school: Q = fractions of integers R = all real numbers, represented by infinite

More information

B. Appendix B. Topological vector spaces

B. Appendix B. Topological vector spaces B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function

More information

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2 Solution Sangchul Lee February 19, 2018 1 Solutions of Homework 1 Problem 1.2 Let A and B be nonempty subsets of R + :: {x R : x > 0} which are bounded above. Let us define C = {xy : x A and y B} Show

More information

2 (Bonus). 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?

2 (Bonus). 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 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is

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

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

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

Metric spaces and metrizability

Metric spaces and metrizability 1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively

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

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous: MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is

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

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

MATH 426, TOPOLOGY. p 1.

MATH 426, TOPOLOGY. p 1. MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p

More information

Chapter 2 Hilbert Spaces

Chapter 2 Hilbert Spaces Chapter 2 Hilbert Spaces Throughoutthis book,h isarealhilbertspacewith scalar(orinner)product. The associated norm is denoted by and the associated distance by d, i.e., ( x H)( y H) x = x x and d(x,y)

More information

Vector Spaces. distributive law u,v. Associative Law. 1 v v. Let 1 be the unit element in F, then

Vector Spaces. distributive law u,v. Associative Law. 1 v v. Let 1 be the unit element in F, then 1 Def: V be a set of elements with a binary operation + is defined. F be a field. A multiplication operator between a F and v V is also defined. The V is called a vector space over the field F if: V is

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

1. General Vector Spaces

1. General Vector Spaces 1.1. Vector space axioms. 1. General Vector Spaces Definition 1.1. Let V be a nonempty set of objects on which the operations of addition and scalar multiplication are defined. By addition we mean a rule

More information

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n Econ 204 2011 Lecture 3 Outline 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n 1 Metric Spaces and Metrics Generalize distance and length notions

More information

Math 328 Course Notes

Math 328 Course Notes Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the

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

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0 4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for

More information

Hilbert Spaces. Contents

Hilbert Spaces. Contents Hilbert Spaces Contents 1 Introducing Hilbert Spaces 1 1.1 Basic definitions........................... 1 1.2 Results about norms and inner products.............. 3 1.3 Banach and Hilbert spaces......................

More information

Sobolev Spaces. Chapter Hölder spaces

Sobolev Spaces. Chapter Hölder spaces Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect

More information

Vectors in Function Spaces

Vectors in Function Spaces Jim Lambers MAT 66 Spring Semester 15-16 Lecture 18 Notes These notes correspond to Section 6.3 in the text. Vectors in Function Spaces We begin with some necessary terminology. A vector space V, also

More information

Topological vectorspaces

Topological vectorspaces (July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological

More information

Lecture Notes. Functional Analysis in Applied Mathematics and Engineering. by Klaus Engel. University of L Aquila Faculty of Engineering

Lecture Notes. Functional Analysis in Applied Mathematics and Engineering. by Klaus Engel. University of L Aquila Faculty of Engineering Lecture Notes Functional Analysis in Applied Mathematics and Engineering by Klaus Engel University of L Aquila Faculty of Engineering 2012-2013 http://univaq.it/~engel ( = %7E) (Preliminary Version of

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

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using

More information

A NICE PROOF OF FARKAS LEMMA

A NICE PROOF OF FARKAS LEMMA A NICE PROOF OF FARKAS LEMMA DANIEL VICTOR TAUSK Abstract. The goal of this short note is to present a nice proof of Farkas Lemma which states that if C is the convex cone spanned by a finite set and if

More information

Methods of Applied Mathematics

Methods of Applied Mathematics Methods of Applied Mathematics Todd Arbogast and Jerry L. Bona Department of Mathematics, and Institute for Computational Engineering and Sciences The University of Texas at Austin Copyright 1999 2001,

More information

Vector Spaces. (1) Every vector space V has a zero vector 0 V

Vector Spaces. (1) Every vector space V has a zero vector 0 V Vector Spaces 1. Vector Spaces A (real) vector space V is a set which has two operations: 1. An association of x, y V to an element x+y V. This operation is called vector addition. 2. The association of

More information

TEST CODE: PMB SYLLABUS

TEST CODE: PMB SYLLABUS TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional

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

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

Integration on Measure Spaces

Integration on Measure Spaces Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of

More information

Infinite-Dimensional Triangularization

Infinite-Dimensional Triangularization Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector

More information

Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space

Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Statistical Inference with Reproducing Kernel Hilbert Space Kenji Fukumizu Institute of Statistical Mathematics, ROIS Department

More information

Existence and Uniqueness

Existence and Uniqueness Chapter 3 Existence and Uniqueness An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect

More information

MATH 304 Linear Algebra Lecture 18: Orthogonal projection (continued). Least squares problems. Normed vector spaces.

MATH 304 Linear Algebra Lecture 18: Orthogonal projection (continued). Least squares problems. Normed vector spaces. MATH 304 Linear Algebra Lecture 18: Orthogonal projection (continued). Least squares problems. Normed vector spaces. Orthogonality Definition 1. Vectors x,y R n are said to be orthogonal (denoted x y)

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

SOLUTIONS TO SOME PROBLEMS

SOLUTIONS TO SOME PROBLEMS 23 FUNCTIONAL ANALYSIS Spring 23 SOLUTIONS TO SOME PROBLEMS Warning:These solutions may contain errors!! PREPARED BY SULEYMAN ULUSOY PROBLEM 1. Prove that a necessary and sufficient condition that the

More information

ANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n

ANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n ANALYSIS QUALIFYING EXAM FALL 206: SOLUTIONS Problem. Let m be Lebesgue measure on R. For a subset E R and r (0, ), define E r = { x R: dist(x, E) < r}. Let E R be compact. Prove that m(e) = lim m(e /n).

More information

Bootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.

Bootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact. Bootcamp Christoph Thiele Summer 212.1 Compactness Definition 1 A metric space is called compact, if every cover of the space has a finite subcover. As in the case of separability we have the following

More information

7: FOURIER SERIES STEVEN HEILMAN

7: FOURIER SERIES STEVEN HEILMAN 7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier

More information

Metric Spaces Math 413 Honors Project

Metric Spaces Math 413 Honors Project Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only

More information

Review of Functions. Functions. Philippe B. Laval. Current Semester KSU. Philippe B. Laval (KSU) Functions Current Semester 1 / 12

Review of Functions. Functions. Philippe B. Laval. Current Semester KSU. Philippe B. Laval (KSU) Functions Current Semester 1 / 12 Review of Functions Functions Philippe B. Laval KSU Current Semester Philippe B. Laval (KSU) Functions Current Semester 1 / 12 Introduction Students are expected to know the following concepts about functions:

More information

Lecture 3. Econ August 12

Lecture 3. Econ August 12 Lecture 3 Econ 2001 2015 August 12 Lecture 3 Outline 1 Metric and Metric Spaces 2 Norm and Normed Spaces 3 Sequences and Subsequences 4 Convergence 5 Monotone and Bounded Sequences Announcements: - Friday

More information

NOTES ON MODULES AND ALGEBRAS

NOTES ON MODULES AND ALGEBRAS NOTES ON MODULES AND ALGEBRAS WILLIAM SCHMITT 1. Some Remarks about Categories Throughout these notes, we will be using some of the basic terminology and notation from category theory. Roughly speaking,

More information

1 Basics of vector space

1 Basics of vector space Linear Algebra- Review And Beyond Lecture 1 In this lecture, we will talk about the most basic and important concept of linear algebra vector space. After the basics of vector space, I will introduce dual

More information

Introduction to Bases in Banach Spaces

Introduction to Bases in Banach Spaces Introduction to Bases in Banach Spaces Matt Daws June 5, 2005 Abstract We introduce the notion of Schauder bases in Banach spaces, aiming to be able to give a statement of, and make sense of, the Gowers

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about

More information

Problem Set 5: Solutions Math 201A: Fall 2016

Problem Set 5: Solutions Math 201A: Fall 2016 Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict

More information