NOTES ON SOME EXERCISES OF LECTURE 5, MODULE 2

Size: px
Start display at page:

Download "NOTES ON SOME EXERCISES OF LECTURE 5, MODULE 2"

Transcription

1 NOTES ON SOME EXERCISES OF LECTURE 5, MODULE 2 MARCO VITTURI Contents 1. Solution to exercise Solution to exercise Solution to exercise Solution to exercise Solution to exercise Solution to exercise 5-2 We want to prove that the following are equivalent: i) A is compact; ii) every net tx i u ipi Ă A has a cluster point. Notice that (i) is equivalent to the Finite Intersection Property (F.I.P.) Lemma 1. A is compact if and only if for every family of closed sets tf λ u λpλ such that F λ Ă A and Ş λpλ 0 F λ H for all finite subsets Λ 0 Ă Λ the intersection of all sets is non empty, i.e. Ş λpλ F λ H. Proof. Let A be compact and tf λ u λpλ a family of closed sets with Ş λpλ 0 F λ H whenever Λ 0 is a finite subset of Λ. Suppose by contradiction that Ş λpλ F λ H. Then the open sets A λ : AzF λ form an open covering of A, which by compactness has a finite open sub-covering ta λ u λpλ0. But then A ď č A λ Az F λ, λpλ 0 λpλ 0 i.e. Ş λpλ 0 F λ H, which is a contradiction. Now suppose that the Finite Intersection Property holds and take an open covering ta λ u λpλ of A. Define the closed sets F λ : AzF λ ; then Ş λpλ F λ H by assumption, and by the contrapositive of the Finite Intersection Property it follows there is a finite subset of indices Λ 0 s.t. Ş λpλ 0 F λ H. But this implies A Az č ď F λ A λ, λpλ 0 λpλ 0 proving A is compact. What we will prove is that F.I.P.ñ (ii) and viceversa then. First we prove a useful simple fact, namely that x being a cluster point of tx i u ipi is equivalent to x belonging to A i for all i P I, where A i : tx j s.t. j ě iu. Date: February 24,

2 2 MARCO VITTURI Remember indeed that x is a cluster point of a net if and only if P x nbhd of x, Dj P I s.t. j ě i and U x Q x j ; since x j P A i for j ě i, this can be reformulated equivalently P x nbhd of x, U x X A i H, which for any fixed i implies x P A i, so the two are equivalent. Proof of F.I.P. ñ(ii). Consider the family of closed sets ta i u ipi and let I 0 be a finite subset of I. Then the intersection Ş ipi 0 A i is non-empty since (by definition of nets) there exists k P I s.t. k ě i for all i P I 0, and therefore x k P A i for all i P I 0. By F.I.P. then we have that there exists x P Ş ipi A i. By the fact proved above, this x is a cluster point for the net tx i u ipi. Proof of (ii) ñ F.I.P.. Let tf λ u λpλ be a family of closed sets s.t. Ş λpλ 0 F λ H whenever Λ 0 is a finite subset of Λ. We introduce the following set of indices: I : tλ 0 finite subset of Λu; next we construct a net as follows: since for every Λ 0 P I it is Ş λpλ 0 F λ H, pick an element in the intersection and label it x Λ0. The collection tx Λ0 u Λ0PI is a net, because the set of indices I is a directed set with direction Ď: if Λ 0, Λ 1 P I, then Λ 0 Y Λ 1 is an element of I s.t. Λ 0, Λ 1 Ď Λ 0 Y Λ 1. Then by assumption this net has a cluster point x, i.e. as seen 0 P x nbhd of x, U x X tx Θ s.t. Θ P I, Θ Ě Λ 0 u H. We claim this cluster point proves that the intersection of all the F λ is non empty. For a fixed λ P Λ, choose Λ 0 tλu in the above, so x nbhd of x, U x X tx Θ s.t. Θ P I, Θ Q λu H; by definition of the x Θ we have that x Θ P Ť λ 1 PΘ F λ 1 Ă F λ, and therefore U x X F λ H for all nbhds of x, which implies x P F λ F λ. Since λ is arbitrary, x P Ş λpλ F λ, thus proving the Finite Intersection Property. 2. Solution to exercise 5-3 Let X, Y be normed spaces and ϕ : BpX, Y q Ñ R (not a priori continuous). We want to prove that the following are equivalent: i) φ can be written as ϕpt q f j pt x j q for an appropriate choice of x j P X and f j P Y ; ii) ϕ is continuous w.r.t. the weak operator topology; iii) ϕ is continuous w.r.t. the strong operator topology. Before proceeding on to the proof, remember that the weak operator topology is the one generated in BpX, Y q by the neighbourhoods of the form ts P BpX, Y q s.t. φ i psz i T z i q ă δ i u : N w pt, φ i, z i, δ i q, (1) 1 Here nbhd stands for neighbourhood.

3 NOTES ON SOME EXERCISES OF LECTURE 5, MODULE 2 3 for some choices of φ i P Y, z i P X and δ i ą 0; analogously, the strong operator topology is the one generated in BpX, Y q by the neighbourhoods of the form ts P BpX, Y q s.t. }Sz i T z i } Y ă δ i u : for some choices of z i P X and δ i ą 0. N s pt, z i, δ i q, (2) Proof of (i) ñ (ii). ϕ is continuous in the weak operator topology means that the inverse image of an open set of R is a set of operators in BpX, Y q that is open in the weak operator topology. In other words, if I is an open interval of R we have to prove that every T P ϕ 1 piq ts P BpX, Y q s.t. ϕpsq P Iu has a neighbourhood of the form (1) that is entirely contained in ϕ 1 piq. It suffices to consider I p r, rq of course. Fix T P ϕ 1 pp r, rqq, i.e. ϕpt q ă r r ϕpt q and let ε : 2. Then consider the following (weak)neighbourhood, mč N : N w pt, f j, x j, ε m q; we claim that N Ă ϕ 1 pp r, rqq. Indeed, let S P N, then we have that, since S P N w pt, f j, x j, ε mq for all j, ε ϕps T q ď f j psx j T x j q ď m ď ε, and therefore by triangular inequality ϕpsq ď ϕps T q ` ϕpt q ď ε ` ϕpt q ă r by choice of ε. Therefore S P ϕ 1 pp r, rqq too, or equivalently N Ă ϕ 1 pp r, rqq. Proof of (ii) ñ (iii). Assume that ϕ is continuous in the weak operator topology. Then, as just seen, this means that for any r ą 0 and for any T P ϕ 1 pp r, rqq we can find a (weak)neighbourhood N w of T of the form (1) s.t. N w Ă ϕ 1 pp r, rqq. We claim that we can find a (strong)neighbourhood N s of T of the form (2) s.t. N s Ă N w, thus proving continuity w.r.t. the strong operator topology. Let T P ϕ 1 pp r, rqq and let N w be given by then we define δ i N s : N s pt, z i, q }φ i } Y N w pt, φ i, z i, δ i q; ts P BpX, Y q s.t. }Sz i T z i } Y ă δ i u. }φ i } Y Let S P N s, then for any i 1,..., k φ i psx i T x i q ď }φ i } Y }Sx i T x i } Y ă }φ i } Y }φ i } Y thus proving that S P N w too and showing the claim holds. δ i δ i, Proof of (iii) ñ (i). By corollary 5.6 in the notes, ϕ is continuous w.r.t. the strong operator topology if and only if there exist x 1,..., x m s.t. ϕpt q ď C }T x j } Y,

4 4 MARCO VITTURI for some constant C ą 0. Let Y 0 : SpantpT x 1,..., T x m q for T P BpX, Y qu; this is a subspace of Y m in general. Define the linear functional this functional belongs to Y 0, since2 ΦpT x 1,..., T x m q : ϕpt q; ΦpT x 1,..., T x m q ď C }T x j } Y. Therefore we can extend it by Hahn-Banach theorem to a continuous functional Φ defined on all of Y m and coinciding with Φ on the subspace Y 0. Notice by linearity Φpy 1,..., y m q Φp0,..., 0, y j, 0,..., 0q : f j py j q, and therefore ϕpt q ΦpT x 1,..., T x m q ΦpT x 1,..., T x m q for any T P BpX, Y q, thus proving the claim. 3. Solution to exercise 5-7 f j pt x j q We want to show the existence of a sequence s.t. 0 is a cluster point of it in the weak topology, but no subsequence converges to 0 (always in the weak topology). This is radically different from the case of metric spaces, where the two are equivalent instead. Before we start, let s clarify the terminology. A point x P X is a cluster point of A in the weak topology if and only if it belongs to the closure of A in the weak topology, denoted by A w. Equivalently, for every (weak)neighbourhood N w of x it must be N w X A H. Since (weak)neighbourhoods are generated by neighbourhoods of the form ty P X s.t. φ j px yq ă δ j u : N w px, φ j, δ j q for some choice of φ j P X, δ j ą 0, it suffices to consider only these last ones. Moreover, a sequence tx i u i converges to x in the weak topology if and only if for every (weak)neighbourhood N w of x there is an i 0 s.t. for all i ě i 0 it is x i P N w. Equivalently, for all (weak)nbhds of the form N w px, φ j, δ j q (3) it holds that for i ě i 0 (for some i 0 sufficiently large) φ j px x i q ă δ j for all j 1,..., m. Heuristically, we are probing the distance of x and x i through a limited set of lenses (the finite collection of φ j s). The setup is the following. Consider H a Hilbert space with orthonormal basis te n u npn, and define the sequence Let A tx m,n s.t. m, n P Nu. x m,n : e m ` me n. 2 The sum gives a norm for Y m, as can be easily verified.

5 NOTES ON SOME EXERCISES OF LECTURE 5, MODULE 2 5 Proof that 0 P A w. As shown in the introduction, we have to show that for every (weak)neighbourhood N w of 0 it is x m,n P N w for some indices m, n. It suffices to consider nbhds of the form (3), thus fix one of these, say N w N w p0, φ j, δ j q, where φ j P H. By Riesz representation theorem there exist z j s.t. φ j pxq xz j, xy for all x P H, so we want to show there exist m, n s.t. xz j, x m,n y ă δ j (4) for all j 1,..., k. Indeed, let z j ř npn αpjq n e n be the expansion of z j in terms of vectors of the basis, then since z j 2 ř n αpjq n xz j, x m,n y α pjq m 2 ă 8 it is αn pjq Ñ 0. Then ` mαn pjq ď αm pjq ` m αn pjq, which can be made smaller than δ j ą 0 by taking m large enough that αm pjq ă δ j {2 and n large enough that αn pjq ă δ j {2m. Since there are only a finite number of js, we can find m and n large enough that (4) is satisfied for all j. Proof that no subsequence converges weakly to 0. Suppose by contradiction that there exists a subsequence tx mj,n j u jpn that converges weakly to 0, i.e. for every (weak)neighbourhood N w we have x mj,n j P N w eventually 3. We will choose a bad neighbourhood and show that this is not possible. First of all, we can see that there is no M ą 0 such that m j ă M for all j. Indeed, suppose this is the case, then take Mÿ z : and consider the neighbourhood N w p0, xz, y, 1{2q. We would have k 0 e k xz, x mj,n j y 1 ` m j xz, e nj y ě 1, so that x mj,n j R N w p0, xz, y, 1{2q, which contradicts our assumption. Therefore m j is unbounded, and by taking a further subsequence we can assume that m j is monotone increasing. With a symmetric reasoning we see that n j is unbounded too, and therefore we can assume that n j is monotone increasing too. With a small abuse of notation, we denote this final subsequence again by tx mj,n j u jpn. Now we choose the bad neighbourhood mentioned before. Let z 1 : ÿ 1 e nj. m jpn j Notice this is well defined as an element of H indeed, because }z 1 } 2 xz 1, z 1 y ÿ 1 m 2 ď ÿ 1 jpn j n 2 ă 8. npn Now consider the neighbourhood we see that for any j N w : N w p0, xz 1, y, 1{2q; xz 1, x mj,n j y ě 1 m j m j xe nj, e nj y ě 1, which again contradicts our assumption on the subsequence. 3 i.e. for all j except a finite number of them.

6 6 MARCO VITTURI 4. Solution to exercise 5-8 Remember that by σpx, X q, the weak-topology on X, we denote the topology of X generated by neighbourhoods of x P X of the form ty P X s.t. φ j py xq ă δ j u : N px, φ j, δ j q for some choice of φ j P X and δ j ą 0. Analogously, by σpx, Xq, the weak*-topology on X, we denote the topology of X generated by neighbourhoods of φ P X of the form tψ P X s.t. ψpx j q φpx j q ă δ j u : N pφ, x j, δ j q for some choice of x j P X and δ j ą 0. Notice that although similar the second one is not completely specular to the first one, i.e. it s not the same as σpx, X q because in general X can only be identified as a (proper) subspace 4 of X ; in particular σpx, Xq is a coarser topology than σpx, X q in general. Let B X denote the closed unit ball of the space X w.r.t. its metric. We want to show that in a reflexive 5 (and therefore Banach) space the image of B X under any continuous linear operator T is closed. Notice that by continuity we always have in the other direction that T 1 pb X q is closed. To do this, notice that Banach-Alaoglu theorem says that B X is weak*-compact for any normed space X, so in particular B X is weak**-compact in X, i.e. compact w.r.t. the σppx q, X q topology, but since X X this is the same topology as σpx, X q if we identify X with X. In other words, B X is weakly compact in X, i.e. compact w.r.t. σpx, X q. Now, observe that by exercise 5-4 (not included in these notes), a linear operator T between normed spaces X and Y is norm continuous 6 if and only if it is weakly continuous 7. Therefore T is weakly continuous, and since continuous functions map compact sets to compact sets, it follows that T pb X q is weakly-compact, i.e. compact w.r.t. σpx, X q. Since X is Banach in particular it is a Hausdorff space 8, and compact sets are closed in a Hausdorff space. Therefore T pb X q is (weakly)- closed too, or T pb X q T pb X q w. Now, Theorem 5.14 in the notes tells us that a convex set K in a normed space is closed if and only if it is weakly closed. Since T pb X q is obviously convex, then this implies T pb X q T pb X q w T pb X q, 4 Think of X L 1, then pl 1 q L 8 and pl 1q pl 8 q ŋ L 1. 5 i.e. X X. 6 i.e. there is C ą 0 s.t. }T x}y ď C}x} X for all x. 7 i.e. for every neighbourhood in Y of the form NY w Ş k ty P Y s.t. φ jpy y 0 q ă δ j u for some choice of φ j P Y, δ j ą 0, the inverse image T 1 pny w q contains a neighbourhood in X of the form NX w Ş m l 1 tx P X s.t. ψ lpx x 0 q ă ε l u for some ψ l P X, ε l ą 0. Equivalently, by Proposition 5.5 in the notes, T is weak continuous if and only if for all φ P Y there exist C C φ ą 0, ψ 1,..., ψ m P X s.t. φpt xq ď C ψ j P X. 8 i.e. for every x y there are Ux nbhd of x and W y nbhd of y s.t. U x X W y H. I m making a big fuss here, but this is essentially trivial - moreover, all spaces we consider in the course are Hausdorff, as non-hausdorff spaces are terribly ill-behaved.

7 NOTES ON SOME EXERCISES OF LECTURE 5, MODULE 2 7 i.e. T pb X q is closed. 5. Solution to exercise 5-10 The natural embedding of a Banach space X into X is given by the map ι : X ãñ X defined as ιpxq X Q φ ÞÑ φpxq, or rιpxqspφq φpxq. We are asked to prove that the image ιpb X q of the unit ball B X is σpx, X q-dense in the unit ball B X of X. Notice that writing Y X, we have σpx, X q σpy, Y q, i.e. the weak*-topology on Y. Just to be clear, to be dense in such a topology means that for every neighbourhood N of Ξ 0 P B X of the form N tξ P B X s.t. Ξpφ j q Ξ 0 pφ j q ă δ j u for some choice of φ j P X, δ j ą 0, there is x P B X s.t. ιpxq P N, i.e. for all j 1,..., k. φ j pxq Ξ 0 pφ j q rιpxqspφ j q Ξ 0 pφ j q ă δ j In this solution we don t use explicitely the definition of denseness though - it would be clumsy. We keep the discussion high-level. Suppose by contradiction that 9 K : ιpb X q B X (in particular, it must be K Ĺ B X ). Take then Ξ P B X zk. Since K is a σpx, X q-closed and convex set, by Theorem 5.8 in the notes (one of the versions of Hahn-Banach) there exists a σpx, X q-continuous linear functional f : X Ñ R s.t. fpξq ą 1 ą P K. Now, let s consider what it means to be σpx, X q-continuous. σpx, X q is the smallest topology that makes the functionals ι φ pθq : Θpφq continuous as a function of Θ P X, where φ P X. In particular, these are the only σpx, X qcontinuous functionals by Theorem 5.13 (ii) in the notes. Therefore, there exists φ P X s.t. fpθq ι φ pθq Θpφq for all Θ P X. It then follows that }φ} X but then a contradiction. sup φpxq sup rιpxqspφq sup fpιpxqq sup fpθq ď 1; xpb X xpb X xpb X ΘPK 1 ă fpξq Ξpφq ď }Ξ} X }φ} X ď }φ} X, Marco Vitturi, Room 4606, James Clerk Maxwell Building, University of Edinburgh, Peter Guthrie Tait Road, Edinburgh, EH9 3FD. address: m.vitturi@sms.ed.ac.uk 9 the closure is obviously taken in the topology σpx, X q.

REAL ANALYSIS II TAKE HOME EXAM. T. Tao s Lecture Notes Set 5

REAL ANALYSIS II TAKE HOME EXAM. T. Tao s Lecture Notes Set 5 REAL ANALYSIS II TAKE HOME EXAM CİHAN BAHRAN T. Tao s Lecture Notes Set 5 1. Suppose that te 1, e 2, e 3,... u is a countable orthonormal system in a complex Hilbert space H, and c 1, c 2,... is a sequence

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

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

The 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 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 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

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

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Contents: 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 information

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

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

More information

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

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

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

Contents. Index... 15

Contents. Index... 15 Contents Filter Bases and Nets................................................................................ 5 Filter Bases and Ultrafilters: A Brief Overview.........................................................

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that

More information

ADVANCE TOPICS IN ANALYSIS - REAL. 8 September September 2011

ADVANCE TOPICS IN ANALYSIS - REAL. 8 September September 2011 ADVANCE TOPICS IN ANALYSIS - REAL NOTES COMPILED BY KATO LA Introductions 8 September 011 15 September 011 Nested Interval Theorem: If A 1 ra 1, b 1 s, A ra, b s,, A n ra n, b n s, and A 1 Ě A Ě Ě A n

More information

SOLUTIONS Math B4900 Homework 9 4/18/2018

SOLUTIONS Math B4900 Homework 9 4/18/2018 SOLUTIONS Math B4900 Homework 9 4/18/2018 1. Show that if G is a finite group and F is a field, then any simple F G-modules is finitedimensional. [This is not a consequence of Maschke s theorem; it s just

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

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books. Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define

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

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

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

Mathematische Methoden der Unsicherheitsquantifizierung

Mathematische Methoden der Unsicherheitsquantifizierung Mathematische Methoden der Unsicherheitsquantifizierung Oliver Ernst Professur Numerische Mathematik Sommersemester 2014 Contents 1 Introduction 1.1 What is Uncertainty Quantification? 1.2 A Case Study:

More information

1 Compact and Precompact Subsets of H

1 Compact and Precompact Subsets of H Compact Sets and Compact Operators by Francis J. Narcowich November, 2014 Throughout these notes, H denotes a separable Hilbert space. We will use the notation B(H) to denote the set of bounded linear

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

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

Banach-Alaoglu theorems

Banach-Alaoglu theorems Banach-Alaoglu theorems László Erdős Jan 23, 2007 1 Compactness revisited In a topological space a fundamental property is the compactness (Kompaktheit). We recall the definition: Definition 1.1 A subset

More information

1.2 Fundamental Theorems of Functional Analysis

1.2 Fundamental Theorems of Functional Analysis 1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx

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

Solution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1

Solution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1 Solution Sangchul Lee March, 018 1 Solution of Homework 7 Problem 1.1 For a given k N, Consider two sequences (a n ) and (b n,k ) in R. Suppose that a n b n,k for all n,k N Show that limsup a n B k :=

More information

NOTES WEEK 13 DAY 2 SCOT ADAMS

NOTES WEEK 13 DAY 2 SCOT ADAMS NOTES WEEK 13 DAY 2 SCOT ADAMS Recall: Let px, dq be a metric space. Then, for all S Ď X, we have p S is sequentially compact q ñ p S is closed and bounded q. DEFINITION 0.1. Let px, dq be a metric space.

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

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

Proof: Suppose not. By compactness we want to construct an indiscernible sequence xc i : i P Qy such that for any r P RzQ, the ϕ-type

Proof: Suppose not. By compactness we want to construct an indiscernible sequence xc i : i P Qy such that for any r P RzQ, the ϕ-type Averages Theorem If T is stable, ϕpx, yq is a formula and ɛ 0 then there is a number N Npϕ, ɛq such that if xa i : i P Ny is an indiscernible sequence and b is a parameter matching the y-variable then

More information

s P = f(ξ n )(x i x i 1 ). i=1

s 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 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

2.2 Some Consequences of the Completeness Axiom

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

More information

The Banach Tarski Paradox and Amenability Lecture 20: Invariant Mean implies Reiter s Property. 11 October 2012

The Banach Tarski Paradox and Amenability Lecture 20: Invariant Mean implies Reiter s Property. 11 October 2012 The Banach Tarski Paradox and Amenability Lecture 20: Invariant Mean implies Reiter s Property 11 October 2012 Invariant means and amenability Definition Let be a locally compact group. An invariant mean

More information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 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

More information

Banach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett 1. Banach-Alaoglu theorem

Banach-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 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

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

CHAPTER 7. Connectedness

CHAPTER 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

Notes for Functional Analysis

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

More information

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

MA651 Topology. Lecture 9. Compactness 2.

MA651 Topology. Lecture 9. Compactness 2. MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology

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

Singular integral operators and the Riesz transform

Singular integral operators and the Riesz transform Singular integral operators and the Riesz transform Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 17, 017 1 Calderón-Zygmund kernels Let ω n 1 be the measure

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

Optimization and Optimal Control in Banach Spaces

Optimization and Optimal Control in Banach Spaces Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,

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

Entropy and Ergodic Theory Lecture 27: Sinai s factor theorem

Entropy and Ergodic Theory Lecture 27: Sinai s factor theorem Entropy and Ergodic Theory Lecture 27: Sinai s factor theorem What is special about Bernoulli shifts? Our main result in Lecture 26 is weak containment with retention of entropy. If ra Z, µs and rb Z,

More information

Erdinç Dündar, Celal Çakan

Erdinç Dündar, Celal Çakan DEMONSTRATIO MATHEMATICA Vol. XLVII No 3 2014 Erdinç Dündar, Celal Çakan ROUGH I-CONVERGENCE Abstract. In this work, using the concept of I-convergence and using the concept of rough convergence, we introduced

More information

Entropy and Ergodic Theory Lecture 28: Sinai s and Ornstein s theorems, II

Entropy and Ergodic Theory Lecture 28: Sinai s and Ornstein s theorems, II Entropy and Ergodic Theory Lecture 28: Sinai s and Ornstein s theorems, II 1 Proof of the update proposition Consider again an ergodic and atomless source ra Z, µs and a Bernoulli source rb Z, pˆz s such

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

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

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

We are now going to go back to the concept of sequences, and look at some properties of sequences in R

We are now going to go back to the concept of sequences, and look at some properties of sequences in R 4 Lecture 4 4. Real Sequences We are now going to go back to the concept of sequences, and look at some properties of sequences in R Definition 3 A real sequence is increasing if + for all, and strictly

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 ε

(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 information

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

USING 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 information

Extreme points of compact convex sets

Extreme 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 information

Homework Assignment #5 Due Wednesday, March 3rd.

Homework 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 information

Combinatorics in Banach space theory Lecture 12

Combinatorics in Banach space theory Lecture 12 Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)

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

A SHORT INTRODUCTION TO BANACH LATTICES AND

A SHORT INTRODUCTION TO BANACH LATTICES AND CHAPTER A SHORT INTRODUCTION TO BANACH LATTICES AND POSITIVE OPERATORS In tis capter we give a brief introduction to Banac lattices and positive operators. Most results of tis capter can be found, e.g.,

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

Chapter 14. Duality for Normed Linear Spaces

Chapter 14. Duality for Normed Linear Spaces 14.1. Linear Functionals, Bounded Linear Functionals, and Weak Topologies 1 Chapter 14. Duality for Normed Linear Spaces Note. In Section 8.1, we defined a linear functional on a normed linear space, a

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

ETIKA V PROFESII PSYCHOLÓGA

ETIKA V PROFESII PSYCHOLÓGA P r a ž s k á v y s o k á š k o l a p s y c h o s o c i á l n í c h s t u d i í ETIKA V PROFESII PSYCHOLÓGA N a t á l i a S l o b o d n í k o v á v e d ú c i p r á c e : P h D r. M a r t i n S t r o u

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

NOTES ON VECTOR-VALUED INTEGRATION MATH 581, SPRING 2017

NOTES 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 information

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

3 COUNTABILITY AND CONNECTEDNESS AXIOMS 3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first

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

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects... Contents 1 Functional Analysis 1 1.1 Hilbert Spaces................................... 1 1.1.1 Spectral Theorem............................. 4 1.2 Normed Vector Spaces.............................. 7 1.2.1

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

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

Commutative Banach algebras 79

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

More information

Simple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute

Simple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute M A E NS G I T A T MOLEM UNIVERSITAS WARWICENSIS Simple Abelian Topological Groups by Luke Dominic Bush Hipwood supervised by Dr Dmitriy Rumynin 4th Year Project Submitted to The University of Warwick

More information

Measures. Chapter Some prerequisites. 1.2 Introduction

Measures. Chapter Some prerequisites. 1.2 Introduction Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques

More information

Functional Analysis HW #5

Functional Analysis HW #5 Functional Analysis HW #5 Sangchul Lee October 29, 2015 Contents 1 Solutions........................................ 1 1 Solutions Exercise 3.4. Show that C([0, 1]) is not a Hilbert space, that is, there

More information

2. The Concept of Convergence: Ultrafilters and Nets

2. The Concept of Convergence: Ultrafilters and Nets 2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two

More information

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,

More information

Notes for Functional Analysis

Notes 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 information

Convex Feasibility Problems

Convex Feasibility Problems Laureate Prof. Jonathan Borwein with Matthew Tam http://carma.newcastle.edu.au/drmethods/paseky.html Spring School on Variational Analysis VI Paseky nad Jizerou, April 19 25, 2015 Last Revised: May 6,

More information

RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES

RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES OLAV NYGAARD AND MÄRT PÕLDVERE Abstract. Precise conditions for a subset A of a Banach space X are known in order that pointwise bounded on A sequences of

More information

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 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 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

THEOREMS, ETC., FOR MATH 516

THEOREMS, 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 information

CHAPTER 9. Embedding theorems

CHAPTER 9. Embedding theorems CHAPTER 9 Embedding theorems In this chapter we will describe a general method for attacking embedding problems. We will establish several results but, as the main final result, we state here the following:

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

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

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 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

We will begin our study of topology from a set-theoretic point of view. As the subject

We will begin our study of topology from a set-theoretic point of view. As the subject p. 1 Math 490-01 Notes 5 Topology We will begin our study of topology from a set-theoretic point of view. As the subject expands, we will encounter various notions from analysis such as compactness, continuity,

More information

Quantifier elimination

Quantifier elimination Quantifier elimination Definition We say that a theory T has quantifier elimination if for any formula ϕp xq and ɛ 0 there is a quantifier-free formula ψp xq such that sup ϕp xq ψp xq ɛ x holds in all

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

Solutions to Tutorial 8 (Week 9)

Solutions to Tutorial 8 (Week 9) The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/

More information

On Borel maps, calibrated σ-ideals and homogeneity

On Borel maps, calibrated σ-ideals and homogeneity On Borel maps, calibrated σ-ideals and homogeneity Institute of Mathematics University of Warsaw Ideals and exceptional sets in Polish spaces, Lausanne, 4-8 June 2018 The results come from a joint paper

More information

Metric Spaces Lecture 17

Metric Spaces Lecture 17 Metric Spaces Lecture 17 Homeomorphisms At the end of last lecture an example was given of a bijective continuous function f such that f 1 is not continuous. For another example, consider the sets T =

More information

Math 421, Homework #9 Solutions

Math 421, Homework #9 Solutions Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and

More information

QUOTIENTS OF F-SPACES

QUOTIENTS OF F-SPACES QUOTIENTS OF F-SPACES by N. J. KALTON (Received 6 October, 1976) Let X be a non-locally convex F-space (complete metric linear space) whose dual X' separates the points of X. Then it is known that X possesses

More information

Part III. 10 Topological Space Basics. Topological Spaces

Part 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 information