Contents. Index... 15
|
|
- Bethany Ball
- 5 years ago
- Views:
Transcription
1 Contents Filter Bases and Nets Filter Bases and Ultrafilters: A Brief Overview Convergence of Filter Bases Ultrafilters Nets: A Brief Overview Translating From a Net to a Filter Base Limit Points of Sets and Filter Bases Images of Filter Bases Finer Filter Bases Tychonoff s Theorem A Point x is a Limit Point of E X iff Filter Base of Subsets of E Converging to x A Function is Continuous iff the Image of Every Convergent Filter Base is a Convergent Filter Base A Point x is a Cluster Point of a Filter Base B iff a Filter Base C Finer Than B With C x Compact iff Each Filter Base Has a Cluster Point iff Every Filter Base Has a Convergent Finer Filter Base Existence of Ultrafilters Containing Filter Bases Generalities on Ultrafilters Ultrafilters Converge to Their Cluster Points When They Have Them Every Ultrafilter on a Compact Space Converges A Maximality and Minimality Conditions on Filter Bases Necessary and Sufficient Maximality Condition For Being an Ultrafilter Surjective Maps Take Ultrafilters to Ultrafilters A Filter Base B on i I X i Converges B x iff π i [B] π i (x) For Each i I Tychonoff s Theorem Application of Filter Bases Index
2
3 Filter Bases, Nets and Tychonoff s Theorem
4
5 Filter Bases and Nets Filter Bases and Ultrafilters: A Brief Overview To motivate this somewhat, let us define a rudimentary notion of convergent sequences in a topological space. Definition (Convergent Sequences in Topological Spaces). In an arbitrary topological space, one says that a sequence (x n ) of points in the space X converges to the point x X provided that for every nbhd U of x, N U N, n N, x n U. In plain English: For every neighborhood U of x, there exists a positive integer N such that x n U for all n N. Definition (Filter Bases). Let X be a set. To say that B is a filter base on X means that Ø B P(X) \ {Ø} and for all B 1, B 2 B, there exists B 3 B such that B 3 B 1 B 2. In particular, B 1, B 2 B, B 1 B 2 Ø. Exercise (#347). Let (x n ) be a sequence in X. For each n N, let T n = {x n : n N}. Let T = {T N : N N}. Then T is a filter base on X, called the filter base of tails of (x n ). Convergence of Filter Bases Definition (Convergence of Filter Bases). Let X be a topological space, let B be a filter base on X and let x X. To say that B x means that for every nbhd U of x, there exists a B B such that B U. Exercise (#349). Let X be a topological space. Then TFAE: (a) X is Hausdorff. (b) For each filter base B on X and x, y X, if B x and B y, then x = y. Definition (Cauchy Filter Base on a Metric Space). Let (X, ρ) be a met. space and let B be a filter base on X. To say B is Cauchy (i.e., a Cauchy filter base) means that ε > 0, B B such that diam(b) ε. Ultrafilters Definition (Ultrafilter). Let X be a set. To say that U is an ultrafilter on X means that U is a filter base on X and for each filter base C on X, if U C then U = C. (These exist by a routine application of Zorn s lemma.) Theorem. If X is a topological space, then TFAE: (a) X is compact. (b) Every net/filter base in/on X has a cluster point. (c) Every net/filter base in/on X has a convergent subnet/is a subset of a convergent filter base. (d) Every ultrafilter on X converges. 5
6 6 Filter Bases and Nets Nets: A Brief Overview Now, let us introduce the concept of a net. Definition (Directed Set). A directed set is a set A equipped with a relation (which we may also write with the obvious meaning) such that (a) α A, α α; (b) if α β and β γ, then α γ; (c) for any α, β A, γ A, α, β γ. That is, a preorder with the condition that for any α, β A, γ A, α, β γ. Definition (Net). A net in a set X is a mapping from a directed set, say A, into X, say φ: A X. We shall usually denote such a mapping by x α α A Definition (Net Terminology). Let X a topological space, E X, and x α α A a net. (a) We say x α is eventually in E if α 0 A, α α 0, x α E. (b) We say x α is frequently in E if α A, β A, β α and x β E. (c) We say a point x X is a limit of x α (or x α converges to x, or x α x) if for every nbhd U of x, x α is eventually in U. (d) We say a point x X is a cluster point of x α if for every nbhd U of x, x α is frequently in U. Translating From a Net to a Filter Base Remark (Translating Between Filters Bases and Nets). Let x α α A be a net. Then x α α A induces the filter base of tails (or, the derived filter base) B = {{x α : α A, α α 0 }: α 0 A}. Conversely, given a filter base B, it is possible to construct an associated net, but that is not nearly as useful. Limit Points of Sets and Filter Bases Proposition. If X is a topological space, E X, x X, then x is a limit point of E iff there is a net in E \ {x} that converges to x (iff there is a filter base of subsets of E that converges to x), and x B iff there is a net in E that converges to x (iff there is a filter base B whose elements are all contained in E such that B x). Images of Filter Bases Proposition (Images of Filter Bases & Nets). Let X and Y be topological spaces. Let B be a filter base on X, f : X Y. Then the image of B is defined as f[b] def = {f[b]: B B}. The image of a filter base is also a filter base. The analogous statements hold for nets. Proposition. If X, Y are topological spaces, f : X Y, then f is continuous at x X iff for every net x α converging to x (resp., filter base B converging to x), f(x α ) converges to f(x) (resp., f[b] f(x)). Finer Filter Bases Definition (Finer Filter Bases). Let B and C be filter bases. To say that C is finer than B means that B B, C C, C B. Definition (Subnet). A subnet of a net x α α A is a net y β β B together with a map β α β from B to A such that
7 7 1. α 0 A, β 0 B such that if β β 0, then α β α y β = x αβ. Proposition. If x α α A is a net in (resp., B a filter base on) a topological space X, then x X is a cluster point of x α (resp., B) iff x α has a subnet that converges to x (resp., iff there is a filter base C on X such that C is finer than B and C x).
8
9 Tychonoff s Theorem A Point x is a Limit Point of E X iff Filter Base of Subsets of E Converging to x Proposition. Let X be a topological space. x X is a limit point of E X iff there is a filter base of subsets of E that converges to x in X. Proof. ( = ) This means that every nbhd U of E in X contains a point in E other than x itself. Let B = {U X : U is a nbhd of x} and let B = {U E : U B }. Then since x is a limit point of E, Ø B (E) \ {Ø}. Moreover, U 1 U 2 Ø for any U 1, U 2 B, so (U 1 E) (U 2 E) = (U 1 U 2 ) E Ø as the intersection of two nbhds of x is still a nbhd of x and, hence, as x is a limit point of E, has nonempty intersection with E. Hence, clearly B is a filter base of subsets of E and B x in X. ( = ) Conversely, suppose B is a filter base of subsets of E such that B x in X. Then for every nbhd U of x in X, there exists B B such that B U. Hence clearly every nbhd of x in X intersects E. Corollary. Let X be a topological space and E X. Then x E iff there is a filter base B of subsets in E such that B x in X. Proof. Trivial from the above. Remark (Images of Filter Bases). Let X and Y be topological spaces. Let B be a filter base on X, f : X Y. Then the image of B is defined as f[b] def = {f[b]: B B}. The image of a filter base is also a filter base. A Function is Continuous iff the Image of Every Convergent Filter Base is a Convergent Filter Base Proposition. If X, Y are topological spaces, f : X Y, then f is continuous at x X iff for every filter base B converging to x, f[b] f(x). x is a Cluster Point of a Filter Base B iff a Filter Base C Finer Than B With C x Definition (Finer Filter Bases). Let B and C be filter bases. To say that C is finer than B means that B B, C C, C B. Definition (Cluster Point). A filter base B on a topological space X is said to have x as a cluster point if U B Ø for every nbhd U of x and B B. Proposition. If B a filter base on a topological space X, then x X is a cluster point of B iff there is a filter base C on X such that C is finer than B and C x. Proof. ( = ) Let C = {U B : B B and U is a nbhd of x}. Then for any nbhds U 1, U 2 of x, any B 1, B 2 B, (U 1 B 1 ) (U 2 B 2 ) = (U 1 U 2 ) (B 1 B 2 ) so that U 1 U 2 is a nbhd of x and B 3 B such that B 3 B 1 B 2 and hence, by assumption that x is a cluster point of B, that (U 1 U 2 ) (B 1 B 2 ) Ø. Obviously this is not empty. Hence, C is filter base and clearly C is finer than B. Moreover, it is clear that C x as every element is contained in some nbhd of x in X. ( = ) Conversely, if C is a finer filter base than B and C x in X. Then obviously x is a cluster point of B. 9
10 10 Tychonoff s Theorem Compact iff Each Filter Base Has a Cluster Point iff Every Filter Base Has a Convergent Finer Filter Base Theorem. Let X be a topological space. Then X is compact iff each filter base on X has a cluster point iff for every filter base on X, there is a finer filter base on X which converges in X. Proof. The last two statements are equivalent by an easy application of the preceding proposition, so we prove the equivalence of the first two. ( = ) Suppose X is compact and let B be a filter base on X. Suppose for the sake of a contradiction that B does not have a cluster point. Let U = { X \ B : B B }. Since B has no cluster point, x X, there exists an open nbhd U of x and a B B such that U B = Ø. Hence, since U is open, x / B since U c is closed, x / B U c and B is equal to the intersection of all closed sets containing B. By then U = { X \ B : B B } is an open cover of X and hence has a finite subcover of the form n j=1 X \ B j = X. But then taking complements again, we must have n j=1 B j = Ø. But then n j=1 B j = Ø which is impossible since B is a filter base and, hence, for any finite intersection of elements of B, there exists a nonempty element B of B contained in it. ( = ) Suppose for the sake of a contradiction that each filter base on X{ has a cluster point but X is not compact. Then there is an open cover U of X with no finite subcover. Let B = X \ } U 0 : U 0 U. Then B is a filter base on X as it is nonempty, does not contain the finite empty set and is downwards direct with respect to inclusion. Hence, B has a cluster point, say x. Then U 0 x X \ U 0 = X \ U 0 since U 0 is open. In particular, U U, x / U, so U does not cover X, a contradiction. finite U, Existence of Ultrafilters Containing Filter Bases Exercise (#718). Let B be a filter base on a set X. Then there exists an ultrafilter U on X such that B U. Proof. Let F = {C : C is a filter base on X and B C } ordered by inclusion. Then F Ø as B F. If Γ is a chain in F, then F F. Hence, F has a maximal element by Zorn s lemma, say U. Generalities on Ultrafilters Exercise (#720). If B and C are ultrafilters such that C B, then C is finer than B. Proof. Let B B, then C C such that C B since C B. Exercise (#721). Let X be a set. (a) Let B be a filter base on X and C a finer filter base on X. Then B C is a filter base on X. (b) Let U be an ultrafilter on X. If C is a filter base on X finer than U, then C U. Hence, as U is also finer than C, C and U are equivalent. Proof. (a) Put D = B C. Clearly Ø D (X) \ {Ø}. Let D, E D and WLOG suppose D B and E C. Since C is finer than B, D C, D D. Thus, F C, F E and F D D as C is a filter base on X. (b) By (a), U C is a filter base on X as C is finer than U ; of course, U U C, so by definition of an ultrafilter, U = U C. Hence, C U. Ultrafilters Converge to Their Cluster Points When They Have Them Exercise (#722). Let x X be a cluster point for an ultrafilter U on a space X. Then U x. Proof. Since x is a cluster point for the ultrafilter U, there is a filter base C on X such that C is finer than U and C x, as we saw before. But by #721(b), C U. Hence, if V is a nbhd of x in X, since C x, C C such that C V and since C U, we have C U. Thus, V a nbhd of x in X, C U, C V. Thus, U x.
11 11 Every Ultrafilter on a Compact Space Converges Exercise (#723). A space X is compact iff every ultrafilter on X converges in X. Proof. (a = b) By #718, each filter base on X has a cluster point. Let U be an ultrafilter on X. Then U has a cluster point, say x. By #722, U x. (b = a) Suppose each ultrafilter on X converges in X. Let B be any filter base on X. By #719, there exists 1 an ultrafilter U on X such that B U. Then, by assumption, x X, U x. By #720, U is finer than B and hence by #717, x is a cluster point for B. Thus, each filter base on X has a cluster point. Therefore, by #718, X is compact. Remark. We thus have the following equivalences X is compact Every ultrafilter on X converges in X Each filter base on X has a cluster point in X For every filter base on X, there is a finer filter base on X which converges in X. A Maximality and Minimality Conditions on Filter Bases Exercise (#724). Let B be a filter base on a set X. (a) For every E X, B B, either B E Ø or B (X \ E) = Ø. (b) Suppose E X, such that B B, B E Ø. Then C = {B E : B B} is a filter base finer than B. Proof. (a) Suppose not. Then there exists E X and B 1 B, B 1 E = Ø, B 2 B, B 2 (X \ E) = Ø. Put E 1 = E and E 2 = X \ E. Since B is a filter base, B B such that B B 1 B 2. Then Ø B = (B E 1 ) (B E 2 ) (B 1 E 1 ) (B 2 E 2 ) = Ø Ø = Ø. A contradiction. (b) Is obvious. Necessary and Sufficient Maximality Condition For Being an Ultrafilter Exercise (#725). A filter base U on a set X is an ultrafilter on X iff E X, either E U or X \ E U. Proof. ( = ) Suppose U is an ultrafilter on X. Let E X. Then by #724, E {E, X \ E}, U U, U E Ø. Let C = {U E : U U } By #724(b), C is a filter base on X which is finer than U. Since U is an ultrafilter on X, C U. In particular, E = X E U. ( = ) Suppose E X, either E U or X \ E U. Let C be a filter base on X with U C. Let C C. By assumption, C U or X \ C U. But this latter case is impossible as then X \ C C. Thus, C C, C U, so that C U. Hence, C = U so U is an ultrafilter on X. Surjective Maps Take Ultrafilters to Ultrafilters Exercise (#726). Let f : X Y be a surjective function and let U be an ultrafilter on X. Then V = {f[u]: U U } is an ultrafilter on Y. Proof. V is a filter base on Y as we know. Let F Y and put E = f 1 [F ]. By #725(b), either E U or X \ E U. If E U, then f[e] V, but f[e] = f [ f 1 [F ] ] = F Rng(f) = F Y = F. So F V. If X \ U U, then f[x \ E] V, but f[x \ E] = f [ f 1 [Y \ F ] ] = (Y \ F ) Rng(f) = Y \ F Y = Y \ F, so Y \ F V. Thus, V is an ultrafilter. 1 We have used the axiom of choice in this assertion as it is equivalent to Zorn s lemma.
12 12 Tychonoff s Theorem A Filter Base B on i I X i Converges B x iff π i [B] π i (x) For Each i I Lemma. Let X = X α be a product of nonempty topological spaces in the product topology. A filter base U on X converges in X iff the filter bases V α = π α [U ] on X α converge in X α for each α. In particular, U x if and only if π α [U ] π α (x) for each α. Proof. ( = ) Suppose U x X. Let V be a neighborhood of π α (x) in X α. Then πα 1 [V ] is a nbhd of x X by definition of the product topology. Hence, there exists U U such that U πα 1 [V ] and hence π α [U] V. But π α V α by definition. Hence, since the nbhd was arbitrary and α was arbitrary, V α π α (x) for each α. ( = ) Let U be a filter base on X and suppose the filter bases V α = π α [U ] on X α converge in X α for each α, say V α x α and put x = (x α ) X and let U be a nbhd of x in X. Then U contains a basis element U α where all but finitely many U α = X α, say α 1,..., α n. Since V αi x αi, for each α i, we may choose V αi U such that π[v αi ] U αi (this must exist, obviously). Since U is a filter base, there exists V U such that Ø V n i=1 V α i. But then clearly V U α. Hence, U x. Tychonoff s Theorem Tychonoff s theorem is listed as Exercise 727 in Professor Falkner s exercises. Theorem (Tychonoff s Theorem). An arbitrary product of nonempty compact topological spaces is compact in the product topology. Proof. Let (X α ) α A be a family of nonempty compact topological spaces and let X = α A X α. Let U be an ultrafilter on X. α A, let V α = {π α [U]: U U }. Then by #726, V α is an ultrafilter for each α A since π α : X X α is onto and each X α Ø. Hence, x α X α, V α x α by #723 since X α is compact and V α is an ultrafilter on X α. Let x = (x α ) α A. Then x X and U x since each V α x α by the lemma. Application of Filter Bases Theorem. Let {f α } α A be a subset of C 0 (X) and {c α } α A be a family of complex numbers. Suppose that for each finite set B A, there exists µ B M(X) (i.e., in the space of complex Radon measures) such that µ B 1 and such that for all α B, f α dµ B = c α. Then there exists µ M(X) such that µ 1 and f α dµ = c α for all α A. Proof. Let {µ B } B A and #B<. Then this family is naturally directed by inclusion (in fact, it is a net) and we pass to the derived filter base B = {{µ B : B B 0, #B < }: Ø B 0 A, #B 0 < }. This clearly is a filter base since B Ø, no member of B is empty, and for all B 1, B 2 B, there exists B 3 B such that B 3 B 1 B 2. By the Riez Representation theorem, ϕ: M(X) C 0 (X), isometrically. By the Banach-Alaoglu theorem, the unit ball in C 0 (X) is compact in the weak topology and thus the closed unit ball B is compact in M(X) (indeed, since each µ B 1, B is a filter base of subsets of this ball) we call the weak topology in M(X) the vague topology. Since every filter base in a compact set has a cluster point, B has a cluster point in B, say µ B notice that, then µ 1. In particular, we recall that this means that for every nbhd U of µ in the weak topology and every B B, U B Ø. But µ is a cluster point of B iff there is a finer filter base C on B such that C is finer than B and C µ. We assert that f α dµ = c α for each α. Invoking the Riesz representation theorem, this means that image of C under the isometric isomorphism from ϕ: M(X) C 0 (X) yields a convergence filter base with ϕ(c ) I µ. Since the weak topology is the topology of pointwise convergence, this means that for each f C 0 (X), ϕ(c )(f) I µ (f) and in particular for each f α. Thus, it suffices to show that the filter base ϕ(c )(f α ) c α in C. But for each nbhd U of c α in C, we may simply choose any element of C which is a superset of a finite subset of A containing α for then it will obviously belong to this nbhd. Hence, f α dµ = c α. This holds for all α A, proving our assertion. Proof. Here s another, slicker proof. Let V be the K-span of T = {f α } α A and define I : V C by I(f 1 + f 2 ) = f1 + f 2 dµ B where B A is any finite subset of A such that the (necessarily finite) decomposition of f 1 and f 2 into elements of T. It is clear this independent of our choice of element in T by linearity of the integral. Then, also clearly, I is a well-defined K-linear function. We assert that it is bounded on V. Let f V such that f u 1. Then I(f) = f dµ B for some finite B A. Since µ B 1, µ (X) 1. Hence, f dµ f d µ f u d µ f u 1 (this is pretty clear with µ the total variation of µ, but see Folland, Proposition 3.13(a), page 94 for the easy proof). Hence, in
13 particular, I 1 and thus, I(f) I f u f u on V. Therefore, I(f) is bounded above for each f V by the norm (we only really need it to be a seminorm) p(f) def = f u. Hence, by the Hahn Banach theorem, I extends to a continuous linear functional on all of C 0 (X) and satisfies I(f) f u for all f C 0 (X) thus, in particular, I 1. Then, by the Riez representation theorem, I = I µ for some µ M(X) with µ 1. Clearly µ does it. 13
14
15 Index Cauchy, 5 cluster point, 6, 9 Convergence of Filter Bases, 5 converges, 5, 6 derived filter base, 6 directed set, 6 eventually, 6 filter base, 5 filter base of tails, 5, 6 finer, 6, 9 frequently, 6 iff, 6, 7, 9 12 limit, 6 net, 6 subnet, 6 Tychonoff s Theorem, 12 ultrafilter, 5 15
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 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 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 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 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 informationHW 4 SOLUTIONS. , x + x x 1 ) 2
HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A
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 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 informationFUNCTIONAL 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 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 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 informationz -FILTERS AND RELATED IDEALS IN C(X) Communicated by B. Davvaz
Algebraic Structures and Their Applications Vol. 2 No. 2 ( 2015 ), pp 57-66. z -FILTERS AND RELATED IDEALS IN C(X) R. MOHAMADIAN Communicated by B. Davvaz Abstract. In this article we introduce the concept
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 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 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 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 informationMath General Topology Fall 2012 Homework 1 Solutions
Math 535 - General Topology Fall 2012 Homework 1 Solutions Definition. Let V be a (real or complex) vector space. A norm on V is a function : V R satisfying: 1. Positivity: x 0 for all x V and moreover
More informationLocally 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 informationNets and filters (are better than sequences)
Nets and filters (are better than sequences) Contents 1 Motivation 2 2 More implications we wish would reverse 2 3 Nets 4 4 Subnets 6 5 Filters 9 6 The connection between nets and filters 12 7 The payoff
More informationMA651 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 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 informationMath General Topology Fall 2012 Homework 8 Solutions
Math 535 - General Topology Fall 2012 Homework 8 Solutions Problem 1. (Willard Exercise 19B.1) Show that the one-point compactification of R n is homeomorphic to the n-dimensional sphere S n. Note that
More informationA SECOND COURSE IN GENERAL TOPOLOGY
Heikki Junnila, 2007-8/2014 A SECOND COURSE IN GENERAL TOPOLOGY CHAPTER I COMPLETE REGULARITY 1. Definitions and basic properties..... 3 2. Some examples..... 7 Exercises....9 CHAPTER II CONVERGENCE AND
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 informationReal Analysis Chapter 4 Solutions Jonathan Conder
2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points
More informationBanach 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 informationINTRODUCTION TO NETS. limits to coincide, since it can be deduced: i.e. x
INTRODUCTION TO NETS TOMMASO RUSSO 1. Sequences do not describe the topology The goal of this rst part is to justify via some examples the fact that sequences are not sucient to describe a topological
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 informationTopological Vector Spaces III: Finite Dimensional Spaces
TVS III c Gabriel Nagy Topological Vector Spaces III: Finite Dimensional Spaces Notes from the Functional Analysis Course (Fall 07 - Spring 08) Convention. Throughout this note K will be one of the fields
More informationGeneral Topology. Summer Term Michael Kunzinger
General Topology Summer Term 2016 Michael Kunzinger michael.kunzinger@univie.ac.at Universität Wien Fakultät für Mathematik Oskar-Morgenstern-Platz 1 A-1090 Wien Preface These are lecture notes for a
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 informationMATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1
MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and
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 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 information3 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 informationRecall 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 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 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 informationBanach-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 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 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 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 informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informationof the set A. Note that the cross-section A ω :={t R + : (t,ω) A} is empty when ω/ π A. It would be impossible to have (ψ(ω), ω) A for such an ω.
AN-1 Analytic sets For a discrete-time process {X n } adapted to a filtration {F n : n N}, the prime example of a stopping time is τ = inf{n N : X n B}, the first time the process enters some Borel set
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 informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More information2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α.
Chapter 2. Basic Topology. 2.3 Compact Sets. 2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α. 2.32 Definition A subset
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 informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
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 informationExtensions Of S-spaces
University of Central Florida Electronic Theses and Dissertations Doctoral Dissertation (Open Access) Extensions Of S-spaces 2013 Bernd Losert University of Central Florida Find similar works at: http://stars.library.ucf.edu/etd
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
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 information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationSet theory and topology
arxiv:1306.6926v1 [math.ho] 28 Jun 2013 Set theory and topology An introduction to the foundations of analysis 1 Part II: Topology Fundamental Felix Nagel Abstract We provide a formal introduction into
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
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 informationThe Algebra of Conditional Sets and the Concepts of Conditional Topology and Compactness
The Algebra of Conditional Sets and the Concepts of Conditional Topology and Compactness Samuel Drapeau a,1,, Asgar Jamneshan c,2,, Martin Karliczek b,3,, Michael Kupper c,4, August 5, 2014 ABSTRACT We
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 informationDual Space of L 1. C = {E P(I) : one of E or I \ E is countable}.
Dual Space of L 1 Note. The main theorem of this note is on page 5. The secondary theorem, describing the dual of L (µ) is on page 8. Let (X, M, µ) be a measure space. We consider the subsets of X which
More informationTools 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 informationTopological 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 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 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 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 informationE. The Hahn-Banach Theorem
E. The Hahn-Banach Theorem This Appendix contains several technical results, that are extremely useful in Functional Analysis. The following terminology is useful in formulating the statements. Definitions.
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 informationCourse 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 information01. Review of metric spaces and point-set topology. 1. Euclidean spaces
(October 3, 017) 01. Review of metric spaces and point-set topology Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 017-18/01
More informationPOINT SET TOPOLOGY. Definition 2 A set with a topological structure is a topological space (X, O)
POINT SET TOPOLOGY Definition 1 A topological structure on a set X is a family O P(X) called open sets and satisfying (O 1 ) O is closed for arbitrary unions (O 2 ) O is closed for finite intersections.
More informationFunctional 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 informationMATHS 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(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 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 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 informationSpaces of continuous functions
Chapter 2 Spaces of continuous functions 2.8 Baire s Category Theorem Recall that a subset A of a metric space (X, d) is dense if for all x X there is a sequence from A converging to x. An equivalent definition
More informationThe discrete and indiscrete topologies on any set are zero-dimensional. The Sorgenfrey line
p. 1 Math 525 Notes on section 17 Isolated points In general, a point x in a topological space (X,τ) is called an isolated point iff the set {x} is τ-open. A topological space is called discrete iff every
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 informationIntroduction 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 informationNotes 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 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 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 informationDavid 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 informationUNIFORM STRUCTURES AND BERKOVICH SPACES
UNIFORM STRUCTURES AND BERKOVICH SPACES MATTHEW BAKER Abstract. A uniform space is a topological space together with some additional structure which allows one to make sense of uniform properties such
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationNotes on nets and convergence in topology
Topology I Humboldt-Universität zu Berlin C. Wendl / F. Schmäschke Summer Semester 2017 Notes on nets and convergence in topology Nets generalize the notion of sequences so that certain familiar results
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 informationNotas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018
Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4
More information16 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 informationSpectral Theory, with an Introduction to Operator Means. William L. Green
Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps
More informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationTopology Homework Assignment 1 Solutions
Topology Homework Assignment 1 Solutions 1. Prove that R n with the usual topology satisfies the axioms for a topological space. Let U denote the usual topology on R n. 1(a) R n U because if x R n, then
More informationConvergence Classes and Spaces of Partial Functions
Wright State University CORE Scholar Computer Science and Engineering Faculty Publications Computer Science and Engineering 10-2001 Convergence Classes and Spaces of Partial Functions Anthony K. Seda Roland
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 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 informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
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 information