Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
|
|
- Damon Boone
- 6 years ago
- Views:
Transcription
1 56
2 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi norms on C(X): given any compact K X let. K be the sup nom on K. This family of seminorms determine C(X): together they provides a lot of properties so that various theorems (for NLS) remains valid here. 7.1 Two equivalent definitions of LCS Let X be a linear space over R (results over C are similar). We consider topologies on X such that addition and scalar multiplication are continuous operations (which are assumed in the definition below), in which case we say that X is a topological linear space. Now there are two equivalent definitions of local convexity for a topological linear space. In one definition, we use seminorms. A seminorm ρ on X is essentially a norm except for the nondegrenerate condition, namely it satisfies the triangle inequality ρ(x + y) ρ(x) + ρ(y), nonnegativity ρ(x) 0, homogeneity ρ(λx) = λ ρ(x), however it is possible that ρ(x) = 0 when x 0. A typical example is ρ(x) = l(x) where l is a linear functional on X. Now, a topological linear space X is said to be locally convex if there exists a family of seminorms ρ α, α I, such that the topology on X is the minimal topology such that (addition and multiplication are continuous and) ρ α are continuous. Another definition uses convex sets. A subset A of X is called balanced if λx A whenever x A and λ 1. We also say that A is absorbent if for every x X there is some t > 0 such that ta contains x. Then a topological linear space X is said to be locally convex if there exists a neighborhood base at 0 consisting of only convex balanced absorbent (open) sets. To see the equivalence of two definitions, we start with the seminorm definition. Then a 57
3 58 CHAPTER 7. LOCALLY CONVEX SPACES neighborhood base at 0 could be taken to consists of all open sets of the form U = {x X : ρ α1 (x) < ɛ,..., ρ αm (x) < ɛ} where ɛ > 0 and α 1,..., α m are elements of I. (m 1 is arbitrary). It is clear that these open sets are convex and balanced and absorbent. Conversely given a neighborhood base consisting of convex balanced absorbent sets we could use the Minkowski gauge functional to construct the seminorm. Namely if A is convex balance absorbent we let ρ A (x) = inf{t > 0 : x ta} (It is not hard to check that ρ A is seminorm.) Basic properties A family of seminorm is said to be separated if whenever ρ α (x) = 0 for every α I it must follow that x = 0. This is actually equivalent to the Hausdorffness of the topology. If (x i ) i D is a net in X then (x i ) x if any only if ρ α (x i x) 0 (as a net in R) for all α A. If there is a lot of seminorms one expects that the topology is very rich; on the other hand if there are fewer seminorms one expects a more well-structured topology. In particular if there are only countably many seminorms involved then the topology is equivalent to the topology of some pseudo-metric, i.e. a distance notion that resembles the metric notion except for the fact that two distinct points could have distance 0. To see this, enumerate the seminorms ρ 1,..., and let d(x, y) = n=1 2 n ρ n (x y) 1 + ρ n (x y) If one assume that the (countable) family is separated then the above pseudo metric is actually a metric. If this metric is furthermore complete then the given space is called a Frechet space. Examples: Recall that C(X) is a locally convex space with seminorms given by ρ K (f) = sup x K f(x) where K X is compact. Other examples are (i) the space of Schwartz functions on R n : These are functions that are C and their derivatives decay faster than any polynomial. One could use ρ α,β (f) = x α D β f(x) where α and β are nonnegative integer multi-indices. (ii) if l α, α A is a family of linear functionals on X then the minimal topology such that l α are continuous and linear operations (addition/scalar multiplication) are continuous is called the weak topology induced by this set of linear functionals. Examples of these (for normed linear spaces) are the weak topology and the weak* topology. It can be shown that if l is a linear functional that is continuous with respect to this topology it must be a finite linear combination of the given linear functionals.
4 7.2. THE HYPERPLANE SEPARATION THEOREM 59 (iii) Given any open set Ω R n the space D(Ω) consisting of compactly supported infinitely smooth functions on U is also a locally convex space and actually complete (recall that the version without infinite smoothness, i.e. C c (U), is not complete) Linear maps Let X and Y be locally convex spaces with seminorms ρ α and ρ β where α I and β J index sets. Then it can be shown that a linear map l : X Y is continuous if and only if given any β J there exists α 1,..., α m I and C > 0 such that the following holds for all x X: ρ β(l(x)) M(ρ α1 (x) + + ρ αm (x)) (Note that this generalizes the usual equivalence of continuity and boundedness of linear maps between normed linear spaces.) 7.2 The Hyperplane separation theorem Let K be a convex subset of a topological linear space X over R and let y X \ K. Assume that K contains at least one interior point. Theorem 29. There exists a continuous linear functional l on X such that sup x K l(x) l(y). If furthermore K is closed then this inequality could be taken strict. Proof. By translation invariant we may assume that 0 is an interior point of K. Consider the Minkowski gauge functional ρ K (x) = inf{t > 0 : x tk} since 0 is an interior point of K it is clear that ρ K (x) < for any x X. Furthermore ρ K is convex and positive homogeneous, and since y K we have ρ K (y) 1 ρ K (x) for every x K. Let l be defined on the one dimensional subspace spanned by y using l(y) = 1. Then l(z) ρ K (z) inside this subspace, so by Hahn Banach we may extend l to all of X such that l(x) ρ K (x) for all x. In particular l(x) is continuous since ρ K is continuous at 0. Now, if K is closed then one could see that ρ K (y) > 1 sup x K ρ K (x) and we could therefore obtain a strict inequality. For a locally convex Hausdorff space over R, it follows from the above theorem that for any two distinct points x y there is a continuous linear functional l on X such that l(x) l(y). To see this, by Hausdorffness and local convexity we could find a convex open set A such that x A while y X \ A. Since A is closed convex we could apply the hyperplane separation theorem and get a continuous linear function l such that sup z A l(z) < l(y). In particular l(x) < l(y).
5 60 CHAPTER 7. LOCALLY CONVEX SPACES 7.3 The Krein-Milman theorem An extreme point of a convex set K is a point x such that if x is a convex combination of x 1, x 2 K then x 1 = x 2 = x. Theorem 30 (Krein-Milman). Let X be locally convex Hausdorff and K is a nonempty compact subset of X. Then (i) K has at least one extreme point. (ii) K is the closure of the convex hull of its extreme points. Remark: If X = R n for some finite n then we don t need to take the closure in (ii), in fact Caratheodory showed that one could get any point of X from a convex combination of at most n + 1 extreme points. For infinite dimensional space the closure is essential. Proof: We first generalize the notion of extreme points to extreme subsets of K. A subset A of K is said to be extreme if it is nonempty convex and furthermore if any x A is a convex combination of two points x 1 and x 2 in K then we must have x 1, x 2 A. It is clear that if a family of extreme subsets of K has nonempty intersection then this intersection is also extreme. In particular K is an extreme subset of itself. Now, consider the collection A of all closed extreme subsets of K, which is nonempty since it contains K, and we may order this collection partially using set inclusion, namley A B if A B. (i) We first show that there exists a maximal element in A, which we will show to be a point later. In order to show existence of the maximal element we plan to use Zorn s lemma, and what is needed here is the fact that any chain (i.e. a totally ordered subcollection of A) has an upper bound. The idea is to take the intersection of the elements in this chain, and what needs to be shown is the fact that this intersection would not be empty. Assume towards a contradiction that this intersection is empty, it follows from compactness of K that there exists a finite subcollection that has empty intersection, but this is a contradiction because the intersection of a finite chain is simply the smallest element, which is nonempty. Now, let A be a close extreme subset of K and assume towards a contradiction that it is not a point. Say x y are two elements of A, then there is a continuous linear functional on X that separates x and y. We ll show that the subset B of A where l achieves maximum is an extreme subset of K, which would violate maximality of A. (Clearly B A). Since A is extreme in K it suffices to show that B is extreme in A. Now extremality of B in A follows easily from linearity of l. (ii) We now show that the closure of the convex hull E of extremal points of K is K, i.e. K = E. Suppose that z K \ E. Then by the hyperplane separation theorem there is a continuous linear functional l such that sup l(x) < l(z) x E Again the set of maximum of l on K is a proper subset of K and also an extreme subset, and
6 7.4. INDUCTIVE LIMIT AND WEAK SOLUTIONS 61 this set is also closed and disjoint from E. So by repeating the above argument one could find one extremal point of K inside this set, which is therefore not inside E, a contradiction. Examples: Let X be a compact Hausdorff space and consider C R (X) (we could do locally compact Hausdorff too with C R,0 (X)) and let A consists of all positive linear functional on C(X). Let A be the subset of A with l(1) = 1, it is not hard to see that A is convex and its extreme pooints are the point evaluation linear functional e x f = f(x). 7.4 Inductive limit and weak solutions Let Ω be a domain inside R n. As mentioned before the space D(Ω) consists of C functions whose supports are compact subsets of Ω. One way to construct a locally convex topology on this space is to use inductive limit of topologies. Let X 1, X 2,..., X n,..., be linear spaces such that X 1 X 2 X = X n. Each X n has a locally convex topology that is consistent with the topologies on other X m in following sense: the topology of X n is the induced topology from X n+1. If that is the case one could construct a limiting topology on X whcih should be thought of as lim n X n. In our context we let K 1 K 2... be compact subsets of Ω such that K j = Ω. Then let X n be the space of C functions on R n whose support are subsets of K n. Note that X n is a complete metrizable locally convex space. We then define the topology on D(Ω) to be the inductive limit of the topologies of X n. The dual space of D(Ω) is called the space of (tempered) distribution on Ω denoted by D (Ω). This space contains D(Ω) as a dense subspace. We may define the action of a linear differential operator D j (here j is a multiindex and the sum is over some finite collection) on any l D by defining for each φ D(Ω) D j l(φ) = ( 1) j l(d j φ) A weak solution to a PDE is a distributional solution in the above sense. If this distribution arise from some sufficiently smooth functions then we say it is a classical solution.
Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7
Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Prof. Wickerhauser Due Friday, February 5th, 2016 Please do Exercises 3, 6, 14, 16*, 17, 18, 21*, 23*, 24, 27*. Exercises marked
More informationNotes on Distributions
Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the
More informationOverview 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 informationThe weak topology of locally convex spaces and the weak-* topology of their duals
The weak topology of locally convex spaces and the weak-* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes
More informationProblem 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 informationExtreme points of compact convex sets
Extreme points of compact convex sets In this chapter, we are going to show that compact convex sets are determined by a proper subset, the set of its extreme points. Let us start with the main definition.
More informationi=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 informationMAT 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 informationSeminorms and locally convex spaces
(April 23, 2014) Seminorms and locally convex 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 2012-13/07b seminorms.pdf]
More informationNotes 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 informationB. 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 informationProblem 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 informationPROBLEMS. (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 information1 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 informationNOTES ON VECTOR-VALUED INTEGRATION MATH 581, SPRING 2017
NOTES ON VECTOR-VALUED INTEGRATION MATH 58, SPRING 207 Throughout, X will denote a Banach space. Definition 0.. Let ϕ(s) : X be a continuous function from a compact Jordan region R n to a Banach space
More informationLectures 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 informationAliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide
aliprantis.tex May 10, 2011 Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide Notes from [AB2]. 1 Odds and Ends 2 Topology 2.1 Topological spaces Example. (2.2) A semimetric = triangle
More informationMH 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 informationIntroduction 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 informationIntroduction 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 informationTopological 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 informationA 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 informationl(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 informations P = f(ξ n )(x i x i 1 ). i=1
Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological
More informationAn 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 informationFunctional 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 informationReal 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 informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More information7 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 informationCHAPTER 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 informationBanach 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 informationCompleteness and quasi-completeness. 1. Products, limits, coproducts, colimits
(April 24, 2014) Completeness and quasi-completeness Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07d quasi-completeness.pdf]
More informationConvex Geometry. Carsten Schütt
Convex Geometry Carsten Schütt November 25, 2006 2 Contents 0.1 Convex sets... 4 0.2 Separation.... 9 0.3 Extreme points..... 15 0.4 Blaschke selection principle... 18 0.5 Polytopes and polyhedra.... 23
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationCHAPTER 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 informationNUCLEAR SPACE FACTS, STRANGE AND PLAIN
NUCLEAR SPACE FACTS, STRANGE AND PLAIN JEREMY J. BECNEL AND AMBAR N. SENGUPTA Abstract. We present a scenic, but practical drive through nuclear spaces, stopping to look at unexpected results both for
More informationFunctional 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 informationSOLUTIONS 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 informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationFunctional 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 informationSemicontinuous functions and convexity
Semicontinuous functions and convexity Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Lattices If (A, ) is a partially ordered set and S is a subset
More informationProblem Set 1: Solutions Math 201A: Fall Problem 1. Let (X, d) be a metric space. (a) Prove the reverse triangle inequality: for every x, y, z X
Problem Set 1: s Math 201A: Fall 2016 Problem 1. Let (X, d) be a metric space. (a) Prove the reverse triangle inequality: for every x, y, z X d(x, y) d(x, z) d(z, y). (b) Prove that if x n x and y n y
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationMathematics for Economists
Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples
More informationChapter 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 informationANALYSIS WORKSHEET II: METRIC SPACES
ANALYSIS WORKSHEET II: METRIC SPACES Definition 1. A metric space (X, d) is a space X of objects (called points), together with a distance function or metric d : X X [0, ), which associates to each pair
More informationNotes for Functional Analysis
Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) September 29, 2015 1 Lecture 09 1.1 Equicontinuity First let s recall the conception of equicontinuity for family of functions that we learned
More informationMarkov-Kakutani Theorem and Haar Measure
Markov-Kakutani Theorem and Haar Measure Analysis III 1 Markov-Kakutani Definition 1 E is a TVS (topological vector space) if (a) E is a vector space (over R or C). (b) E is a Hausdorff topological space.
More informationMath General Topology Fall 2012 Homework 6 Solutions
Math 535 - General Topology Fall 202 Homework 6 Solutions Problem. Let F be the field R or C of real or complex numbers. Let n and denote by F[x, x 2,..., x n ] the set of all polynomials in n variables
More informationMath 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 informationLinear Topological Spaces
Linear Topological Spaces by J. L. KELLEY ISAAC NAMIOKA AND W. F. DONOGHUE, JR. G. BALEY PRICE KENNETH R. LUCAS WENDY ROBERTSON B. J. PETTIS W. R. SCOTT EBBE THUE POULSEN KENNAN T. SMITH D. VAN NOSTRAND
More informationUSING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION
USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION YI WANG Abstract. We study Banach and Hilbert spaces with an eye towards defining weak solutions to elliptic PDE. Using Lax-Milgram
More informationREAL 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 informationTOPOLOGICAL VECTOR SPACES
TOPOLOGICAL VECTOR SPACES PRADIPTA BANDYOPADHYAY 1. Topological Vector Spaces Let X be a linear space over R or C. We denote the scalar field by K. Definition 1.1. A topological vector space (tvs for short)
More informationFunctional Analysis (H) Midterm USTC-2015F haha Your name: Solutions
Functional Analysis (H) Midterm USTC-215F haha Your name: Solutions 1.(2 ) You only need to anser 4 out of the 5 parts for this problem. Check the four problems you ant to be graded. Write don the definitions
More informationAnalysis 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 informationEQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES
EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES JEREMY J. BECNEL Abstract. We examine the main topologies wea, strong, and inductive placed on the dual of a countably-normed space
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationMath 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015
Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)
More informationContents. Index... 15
Contents Filter Bases and Nets................................................................................ 5 Filter Bases and Ultrafilters: A Brief Overview.........................................................
More informationMA651 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 informationChapter 1. Introduction
Chapter 1 Introduction Functional analysis can be seen as a natural extension of the real analysis to more general spaces. As an example we can think at the Heine - Borel theorem (closed and bounded is
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationE.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 informationMath General Topology Fall 2012 Homework 11 Solutions
Math 535 - General Topology Fall 2012 Homework 11 Solutions Problem 1. Let X be a topological space. a. Show that the following properties of a subset A X are equivalent. 1. The closure of A in X has empty
More information(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε
1. 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 information4 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 informationLecture 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 informationINTRODUCTION TO DISTRIBUTIONS
INTRODUCTION TO DISTRIBUTIONS TSOGTGEREL GANTUMUR Abstract. We introduce locally convex spaces by the seminorms approach, and present the fundamentals of distributions. Contents 1. Introduction 1 2. Locally
More informationMATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES
MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of
More informationBanach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett 1. Banach-Alaoglu theorem
(April 12, 2004) Banach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett Banach-Alaoglu theorem: compactness of polars A variant Banach-Steinhaus theorem Bipolars Weak
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationThe uniform metric on product spaces
The uniform metric on product spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Metric topology If (X, d) is a metric space, a X, and r > 0, then
More informationg 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 informationAppendix B Convex analysis
This version: 28/02/2014 Appendix B Convex analysis In this appendix we review a few basic notions of convexity and related notions that will be important for us at various times. B.1 The Hausdorff distance
More informationEberlein-Š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 informationReal Analysis. Jesse Peterson
Real Analysis Jesse Peterson February 1, 2017 2 Contents 1 Preliminaries 7 1.1 Sets.................................. 7 1.1.1 Countability......................... 8 1.1.2 Transfinite induction.....................
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More information(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 informationGeneral Convexity, General Concavity, Fixed Points, Geometry, and Min-Max Points
Mathematica Moravica Vol. 12-1 2008), 63 109 General Convexity, General Concavity, Fixed Points, Geometry, and Min-Max Points Milan R. Tasković Abstract. This paper continues the study of general convexity
More informationMAA6617 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 informationYour 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 informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationHomework Assignment #5 Due Wednesday, March 3rd.
Homework Assignment #5 Due Wednesday, March 3rd. 1. In this problem, X will be a separable Banach space. Let B be the closed unit ball in X. We want to work out a solution to E 2.5.3 in the text. Work
More informationMath 201 Topology I. Lecture notes of Prof. Hicham Gebran
Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and
More informationContinuity. Matt Rosenzweig
Continuity Matt Rosenzweig Contents 1 Continuity 1 1.1 Rudin Chapter 4 Exercises........................................ 1 1.1.1 Exercise 1............................................. 1 1.1.2 Exercise
More informationBased on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press,
NOTE ON ABSTRACT RIEMANN INTEGRAL Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, 2003. a. Definitions. 1. Metric spaces DEFINITION 1.1. If
More informationAustin Mohr Math 730 Homework. f(x) = y for some x λ Λ
Austin Mohr Math 730 Homework In the following problems, let Λ be an indexing set and let A and B λ for λ Λ be arbitrary sets. Problem 1B1 ( ) Show A B λ = (A B λ ). λ Λ λ Λ Proof. ( ) x A B λ λ Λ x A
More informationHahn-Banach theorems. 1. Continuous Linear Functionals
(April 22, 2014) Hahn-Banach theorems Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07c hahn banach.pdf] 1.
More informationMATH 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 informationContents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.
Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological
More informationTHE UNIQUE MINIMAL DUAL REPRESENTATION OF A CONVEX FUNCTION
THE UNIQUE MINIMAL DUAL REPRESENTATION OF A CONVEX FUNCTION HALUK ERGIN AND TODD SARVER Abstract. Suppose (i) X is a separable Banach space, (ii) C is a convex subset of X that is a Baire space (when endowed
More informationFilters in Analysis and Topology
Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into
More informationMAT 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 informationMethods 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 information1 Continuity Classes C m (Ω)
0.1 Norms 0.1 Norms A norm on a linear space X is a function : X R with the properties: Positive Definite: x 0 x X (nonnegative) x = 0 x = 0 (strictly positive) λx = λ x x X, λ C(homogeneous) x + y x +
More informationThis chapter contains a very bare summary of some basic facts from topology.
Chapter 2 Topological Spaces This chapter contains a very bare summary of some basic facts from topology. 2.1 Definition of Topology A topology O on a set X is a collection of subsets of X satisfying the
More informationTopological groups with dense compactly generated subgroups
Applied General Topology c Universidad Politécnica de Valencia Volume 3, No. 1, 2002 pp. 85 89 Topological groups with dense compactly generated subgroups Hiroshi Fujita and Dmitri Shakhmatov Abstract.
More information