Contents
Mẹo về Point set topology in real analysis 2022
Bạn đang tìm kiếm từ khóa Point set topology in real analysis được Update vào lúc : 2022-01-18 05:03:00 . Với phương châm chia sẻ Mẹo Hướng dẫn trong nội dung bài viết một cách Chi Tiết 2022. Nếu sau khi Read Post vẫn ko hiểu thì hoàn toàn có thể lại Comments ở cuối bài để Tác giả lý giải và hướng dẫn lại nha.
To progress further in our study of function spaces, we will need to develop the standard theory of metric spaces, and of the closely related theory of topological spaces (i.e. point-set topology). I will be assuming that students in my class will already have encountered these concepts in an undergraduate topology or real analysis course, but for sake of completeness I will briefly review the basics of both spaces here.
Metric spaces
In many spaces, one wants a notion of when two points in the space are near or far. A particularly quantitative and intuitive way to formalise this notion is via the concept of a metric space.
Definition 1. (Metric spaces) A metric spaceis a set X, together with a distance functionwhich obeys the following properties:
(Non-degeneracy) For any, we have, with equality if and only if x=y.(Symmetry) For any, we have.(Triangle inequality) For any, we have.
Example 1. Every normed vector spaceis a metric space, with distance function.
Example 2. Any subset Y of a metric spaceis also a metric space, whereis the restriction of d to. We call the metric spacea subspace of the metric space.
Example 3. Given two metric spacesand, we can define the product spaceto be the Cartesian productwith the product metric
. (1)
(One can also pick slightly different metrics here, such as, but this metric only differs from (1) by a factor of two, and so they are equivalent (see Example 5 below).
Example 4. Any set X can be turned into a metric space by using the discrete metric, defined by settingwhenandotherwise.
Given a metric space, one can then define various useful topological structures. There are two ways to do so. One is via the machinery of convergent sequences:
Definition 2. (Topology of a metric space) Letbe a metric space.
A sequenceof points in X is said to converge to a limitif one hasas. In this case, we say thatin the metric d as, and thatin the metric space X. (It is easy to see that any sequence of points in a metric space has most one limit.)A point x is an adherent point of a setif it is the limit of some sequence in E. (This is slightly different from being a limit point of E, which is equivalent to being an adherent point of; every adherent point is either a limit point or an isolated point of E.) The set of all adherent points of E is called the closureof X. A set E is closed if it contains all its adherent points, i.e. if. A set E is dense if every point in X is adherent to E, or equivalently if.Given any x in X and, define the open ballcentred x with radius r to be the set of all y in X such that. Given a set E, we say that x is an interior point of E if there is some open ball centred x which is contained in E. The set of all interior points is called the interiorof E. A set is open if every point is an interior point, i.e. if.
There is however an alternate approach to defining these concepts, which takes the concept of an open set as a primitive, rather than the distance function, and defines other terms in terms of open sets. For instance:
Exercise 1. Letbe a metric space.
Show that a sequenceof points in X converges to a limitif and only if every open neighbourhood of x (i.e. an open set containing x) containsfor all sufficiently large n.Show that a point x is an adherent point of a set E if and only if every open neighbourhood of x intersects E.Show that a set E is closed if and only if its complement is open.Show that the closure of a set E is the intersection of all the closed sets containing E.Show that a set E is dense if and only if every non-empty open set intersects E.Show that the interior of a set E is the union of all the open sets contained in E, and that x is an interior point of E if and only if some neighbourhood of x is contained in E.
In the next section we will adopt this open sets first perspective when defining topological spaces.
On the other hand, there are some other properties of subsets of a metric space which require the metric structure more fully, and cannot be defined purely in terms of open sets (see Example 14) below (although some of these concepts can still be defined using a structure intermediate to metric spaces and topological spaces, namely a uniform space). For instance:
Definition 3. Let (X,d) be a metric space.
A sequenceof points in X is a Cauchy sequence ifas(i.e. for everythere existssuch thatfor all).A space X is complete if every Cauchy sequence is convergent.A set E in X is bounded if it is contained inside a ball.A set E is totally bounded in X if for every, E can be covered by finitely many balls of radius.
Exercise 2. Show that any metric spacecan be identified with a dense subspace of a complete metric space, known as a metric completion or Cauchy completion of X. (For instance,is a metric completion of.) (Hint: one can define a real number to be an equivalence class of Cauchy sequences of rationals. Once the reals are defined, essentially the same construction works in arbitrary metric spaces.) Furthermore, ifis another metric completion of, show that there exists an isometry betweenandwhich is the identity on X. Thus, up to isometry, there is a unique metric completion to any metric space.
Exercise 3. Show that a metric space X is complete if and only if it is closed in every superspace Y of X (i.e. in every metric space Y for which X is a subspace). Thus one can think of completeness as being the property of being absolutely closed.
Exercise 4. Show that every totally bounded set is also bounded. Conversely, in a Euclidean spacewith the usual metric, show that every bounded set is totally bounded. But give an example of a set in a metric space which is bounded but not totally bounded. (Hint: use Example 4.)
Now we come to an important concept.
Theorem 1. (Heine-Borel theorem for metric spaces) Letbe a metric space. Then the following are equivalent:
(Sequential compactness) Every sequence in X has a convergent subsequence.(Compactness) Every open coverof X (i.e. a collection of open setswhose union contains X) has a finite subcover.(Finite intersection property) Ifis a collection of closed subsets of X such that any finite subcollection of sets has non-empty intersection, then the entire collection has non-empty intersection.X is complete and totally bounded.
Proof. (21) If there was an infinite sequencewith no convergent subsequence, then given any point x in X there must exist an open ball centred x which containsfor only finitely many n (since otherwise one could easily construct a subsequence ofconverging to x). By property 2, one can cover X with a finite number of such balls. But then the sequencewould be finite, a contradiction.
(14) If X was not complete, then there would exist a Cauchy sequence which is not convergent; one easily shows that this sequence cannot have any convergent subsequences either, contradicting 1. If X was not totally bounded, then there existssuch that X cannot be covered by any finite collection of balls of radius; a standard greedy algorithm argument then gives a sequencesuch thatfor all distinct n, m. This sequence clearly has no convergent subsequence, again a contradiction.
(23) This follows from de Morgans laws and Exercise 1.3.
(43) Letbe as in 3. Call a set E in X rich if it intersects all of the. Observe that if one could cover X by a finite number of non-rich sets, then (as each non-rich set is disjoint from least one of the), there would be a finite number ofwhose intersection is empty, a contradiction. Thus, whenever we cover X by finitely many sets, least one of them must be rich.
As X is totally bounded, for eachwe can find a finite setsuch that the ballscover X. By the previous discussion, we can then findsuch thatis rich.
Call a ballasymptotically rich if it contains infinitely many of the. As these balls cover X, we see that for each n,is asymptotically rich for least one i. Furthermore, since each ball of radiuscan be covered by balls of radius, we see that ifis asymptotically rich, then it must intersect an asymptotically rich ball. Iterating this, we can find a sequenceof asymptotically rich balls, each one of which intersects the next one. This implies thatis a Cauchy sequence and hence (as X is assumed complete) converges to a limit x. Observe that there exist arbitrarily small rich balls that are arbitrarily close to x, and thus x is adherent to every; since theare closed, we see that x lies in every, and we are done.
Remark 1. The hard implicationof the Heine-Borel theorem is noticeably more complicated than any of the others. This turns out to be unavoidable; the Heine-Borel theorem turns out to be logically equivalent to Königs lemma in the sense of reverse mathematics, and thus cannot be proven in sufficiently weak systems of logical reasoning.
Any space that obeys one of the four equivalent properties in Lemma 1 is called a compact space; a subset E of a metric space X is said to be compact if it is a compact space when viewed as a subspace of X. There are some variants of the notion of compactness which are also of importance for us:
A space is -compact if it can be expressed as the countable union of compact sets. (For instance, the real linewith the usual metric is-compact.)A space is locally compact if every point is contained in the interior of a compact set. (For instance,is locally compact.)A subset of a space is precompact or relatively compact if it is contained inside a compact set (or equivalently, if its closure is compact).
Another fundamental notion in the subject is that of a continuous map.
Exercise 5. Letbe a map from one metric spaceto another. Then the following are equivalent:
(Metric continuity) For everyandthere existssuch thatwhenever.(Sequential continuity) For every sequencethat converges to a limit,converges to f(x).(Topological continuity) The inverse imageof every open set V in Y, is an open set in X.The inverse imageof every closed set F in Y, is a closed set in X.
A function f obeying any one of the properties in Exercise 5 is known as a continuous map.
Exercise 6. Letbe metric spaces, and letandbe continuous maps. Show that the combined mapdefined byis continuous if and only if f and g are continuous. Show also that the projection maps,defined by,are continuous.
Exercise 7. Show that the image of a compact set under a continuous map is again compact.
Topological spaces
Metric spaces capture many of the notions of convergence and continuity that one commonly uses in real analysis, but there are several such notions (e.g. pointwise convergence, semi-continuity, or weak convergence) in the subject that turn out to not be modeled by metric spaces. A very useful framework to handle these more general modes of convergence and continuity is that of a topological space, which one can think of as an abstract generalisation of a metric space in which the metric and balls are forgotten, and the open sets become the central object. [There are even more abstract notions, such as pointless topological spaces, in which the collection of open sets has become an abstract lattice, in the spirit of Notes 4, but we will not need such notions in this course.]
Definition 4. (Topological space) A topological spaceis a set X, together with a collectionof subsets of X, known as open sets, which obey the following axioms:
and X are open.The intersection of any finite number of open sets is open.The union of any arbitrary number of open sets is open.
The collectionis called a topology on X.
Given two topologieson a space X, we say thatis a coarser (or weaker) topology than(or equivalently, thatis a finer (or stronger) topology than), if(informally,has more open sets than).
Example 5. Every metric spacegenerates a topology, namely the space of sets which are open with respect to the metric d. Observe that if two metrics d, d on X are equivalent in the sense that
(2)
for all x, y in X and some constants, then they generate an identical topology.
Example 6. The finest (or strongest) topology on any set X is the discrete topology, in which every set is open; this is the topology generated by the discrete metric (Example 4). The coarsest (or weakest) topology is the trivial topology, in which only the empty set and the full set are open.
Example 7. Given any collectionof sets of X, we can define the topologygenerated byto be the intersection of all the topologies that contain; this is easily seen to be the coarsest topology that makes all the sets inopen. For instance, the topology generated by a metric space is the same as the topology generated by its open balls.
Example 8. Ifis a topological space, and Y is a subset of X, then we can define the relative topologyto be the collection of all open sets in X, restricted to Y, this makesa topological space, known as a subspace of.
Any notion in metric space theory which can be defined purely in terms of open sets, can now be defined for topological spaces. Thus for instance:
Definition 5. Letbe a topological space.
A sequenceof points in X converges to a limitif and only if every open neighbourhood of x (i.e. an open set containing x) containsfor all sufficiently large n. In this case we writein the topological space, and (if x is unique) we write.A point is a sequentially adherent point of a set E if it is the limit of some sequence in E.A point x is an adherent point of a set E if and only if every open neighbourhood of x intersects E. The set of all adherent points of E is called the closure of E and is denoted.A set E is closed if and only if its complement is open, or equivalently if it contains all its adherent points.A set E is dense if and only if every non-empty open set intersects E, or equivalently if its closure is X.The interior of a set E is the union of all the open sets contained in E, and x is called an interior point of E if and only if some neighbourhood of x is contained in E.A space X is sequentially compact if every sequence has a convergent subsequence.A space X is compact if every open cover has a finite subcover.The concepts of being -compact, locally compact, and precompact can be defined as before. (One could also define sequential-compactness, etc., but these notions are rarely used.)A mapbetween topological spaces is sequentially continuous if wheneverconverges to a limit x in X,converges to a limit f(x) in Y.A mapbetween topological spaces is continuous if the inverse image of every open set is open.
Remark 2. The stronger a topology becomes, the more open and closed sets it will have, but fewer sequences will converge, there are fewer (sequentially) adherent points and (sequentially) compact sets, closures become smaller, and interiors become larger. There will be more (sequentially) continuous functions on this space, but fewer (sequentially) continuous functions into the space. Note also that the identity map from a space X with one topologyto the same space X with a different topologyis continuous precisely whenis stronger than.
Example 9. In a metric space, these topological notions coincide with their metric counterparts, and sequential compactness and compactness are equivalent, as are sequential continuity and continuity.
Exercise 7. (Urysohns subsequence principle) Letbe a sequence in a topological space X, and let x be another point in X. Show that the following are equivalent:
converges to x.Every subsequence ofconverges to x.Every subsequence ofhas a further subsequence that converges to x.
Exercise 8. Show that every sequentially adherent point is an adherent point, every continuous function is sequentially continuous.
Remark 3. The converses to Exercise 8 are unfortunately not always true in general topological spaces. For instance, if we endow an uncountable set X with the cocountable topology (so that a set is open if it is either empty, or its complement is most countable) then we see that the only convergent sequences are those which are eventually constant. Thus, every subset of X contains its sequentially adherent points, and every function from X to another topological space is sequentially continuous, even though not every set in X is closed and not every function on X is continuous. An example of a set which is sequentially compact but not compact is the first uncountable ordinal with the order topology (Exercise 9). It is more tricky to give an example of a compact space which is not sequentially compact; this will have to wait for future notes, when we establish Tychonoffs theorem. However one can fix this discrepancy between the sequential and non-sequential concepts by replacing sequences with the more general notion of nets, see the appendix below.
Remark 4. Metric space concepts such as boundedness, completeness, Cauchy sequences, and uniform continuity do not have counterparts for general topological spaces, because they cannot be defined purely in terms of open sets. (They can however be extended to some other types of spaces, such as uniform spaces or coarse spaces.)
Now we give some important topologies that capture certain modes of convergence or continuity that are difficult or impossible to capture using metric spaces alone.
Example 10. (Zariski topology) This topology is important in algebraic geometry, though it will not be used in this course. If F is an algebraically closed field, we define the Zariski topology on the vector spaceto be the topology generated by the complements of proper algebraic varieties in; thus a set is Zariski open if it is either empty, or is the complement of a finite union of proper algebraic varieties. A set inis then Zariski dense if it is not contained in any proper subvariety, and the Zariski closure of a set is the smallest algebraic variety that contains that set.
Example 11. (Order topology) Any totally ordered setgenerates the order topology, defined as the topology generated by the setsandfor all. In particular, the extended real linecan be given the order topology, and the notion of convergence of sequences in this topology to either finite or infinite limits is identical to the notion one is accustomed to in undergraduate real analysis. (On the real line, of course, the order topology corresponds to the usual topology.) Also observe that a functionfrom the extended natural numbers(with the order topology) into a topological space X is continuous if and only ifas, so one can interpret convergence of sequences as a special case of continuity.
Exercise 9. Letbe the first uncountable ordinal, endowed with the order topology. Show thatis sequentially compact (Hint: every sequence has a lim sup), but not compact (Hint: every point has a countable neighbourhood).
Example 12. (Half-open topology) The right half-open topologyon the real lineis the topology generated by the right half-open intervalsfor; this is a bit finer than the usual topology on. Observe that a sequenceconverges to a limit x in the right half-open topology if and only if it converges in the ordinary topology, and also iffor all sufficiently large n. Observe that a mapis right-continuous iff it is a continuous map fromto. One can of course model left-continuity via a suitable left half-open topology in a similar fashion.
Example 13. (Upper topology) The upper topologyon the real line is defined as the topology generated by the setsfor all. Observe that (somewhat confusingly), a functionis lower semi-continuous iff it is continuous fromto. One can of course model upper semi-continuity via a suitable lower topology in a similar fashion.
Example 14. (Product topology) Letbe the space of all functionsfrom a set X to a topological space Y. We define the product topology onto be the topology generated by the setsfor alland all open. Observe that a sequence of functionsconverges pointwise to a limitiff it converges in the product topology. We will study the product topology in more depth in future notes.
Example 15. (Product topology, again) Ifandare two topological spaces, we can define the product spaceto be the Cartesian productwith the topology generated by the product sets, where U and V are open in X and Y respectively. Observe that two functions,from a topological space Z are continuous if and only if the pairingdefined by $(f,g)(z) := (f(z),g(z))$ is continuous in the product topology, and also that the projection mapsandare continuous (cf. Exercise 6).
We mention that not every topological space can be generated from a metric (such topological spaces are called metrisable). One important obstruction to this arises from the Hausdorff property:
Definition 6. A topological space X is said to be a Hausdorff space if for any two distinct points x, y in X, there exist disjoint neighbourhoodsof x and y respectively.
Example 16. Every metric space is Hausdorff (one can use the open ballsandas the separating neighbourhoods. On the other hand, the trivial topology (Example 7) on two or more points is not Hausdorff, and neither is the cocountable topology (Remark 3) on an uncountable set, or the upper topology (Example 13) on the real line. Thus, these topologies do not arise from a metric.
Exercise 10. Show that the half-open topology (Example 12) is Hausdorff, but does not arise from a metric. [Hint: assume for contradiction that the half-open topology did arise from a metric; then show that for every real number x there exists a rational number q and a positive integer n such that the ball of radius 1/n centred at q has infimum x.] Thus there are more obstructions to metrisability than just the Hausdorff property; a more complete answer is provided by Urysohns metrisation theorem, which we will cover in later notes.
Exercise 11. Show that in a Hausdorff space, any sequence can have most one limit. (For a more precise statement, see Exercise 15 below.)
A homeomorphism (or topological isomorphism) between two topological spaces is a continuous invertible mapwhose inverseis also continuous. Such a map identifies the topology on X with the topology on Y, and so any topological concept of X will be preserved by f to the corresponding topological concept of Y. For instance, X is compact if and only if Y is compact, X is Hausdorff if and only if Y is Hausdorff, x is adherent to E if and only if f(x) is adherent to f(E), and so forth. When there is a homeomorphism between two topological spaces, we say that X and Y are homeomorphic (or topologically isomorphic).
Example 14. The tangent function is a homeomorphism betweenand(with the usual topologies), and thus preserves all topological structures on these two spaces. Note however that the former space is bounded as a metric space while the latter is not, and the latter is complete while the former is not. Thus metric properties such as boundedness or completeness are not purely topological properties, since they are not preserved by homeomorphisms.
Nets (optional)
A sequencein a space X can be viewed as a function from the natural numbersto X. We can generalise this concept as follows.
Definition 7. A net in a space X is a tuple, whereis a directed set (i.e. a pre-ordered set such that any two elements have least one upper bound), andfor each. We say that a statementholds for sufficiently largein a directed set A if there existssuch thatholds for all. [Note in particular that ifandseparately hold for sufficiently large, then their conjunctionalso holds for sufficiently large.]
A netin a topological space X is said to converge to a limitif for every neighbourhood V of x, we havefor all sufficiently large.
A subnet of a netis a tuple of the form, whereis another directed set, andis a monotone map (thuswhenever) which is also has cofinal image, which means that for anythere existswith(in particular, ifis true for sufficiently large, thenis true for sufficiently large).
Remark 5. Every sequence is a net, but one can create nets that do not arise from sequences (in particular, one can take A to be uncountable). Note a subtlety in the definition of a subnet we do not requireto be injective, so B can in fact be larger than A! Thus subnets differ a little bit from subsequences in that they allow repetitions.
Remark 6. Given a directed set A, one can endowwith the topology generated by the singleton setswith, together with the setsfor, with the convention thatfor all. The property of being directed is precisely saying that these sets form a base. A netconverges to a limitif and only if the functionis continuous on(cf. Example 11). Also, ifis a subnet of, thenis a continuous map fromto, if we adopt the convention that. In particular, a subnet of a convergent net remains convergent to the same limit.
The point of working with nets instead of sequences is that one no longer needs to worry about the distinction between sequential and non-sequential concepts in topology, as the following exercises show:
Exercise 12. Let X be a topological space, let E be a subset of X, and let x be an element of X. Show that x is an adherent point of E if and only if there exists a netin E that converges to x. (Hint: take A to be the directed set of neighbourhoods of x, ordered by reverse set inclusion.)
Exercise 13. Letbe a map between two topological spaces. Show that f is continuous if and only if for every netin X that converges to a limit x, the netconverges in Y to f(x).
Exercise 14. Let X be a topological space. Show that X is compact if and only if every net has a convergent subnet. (Hint: equate both properties of X with the finite intersection property, and review the proof of Theorem 1. Similarly, show that a subset E of X is relatively compact if and only if every net in E has a subnet that converges in X. (Note that as not every compact space is sequentially compact, this exercise shows that we cannot enforce injectivity ofin the definition of a subnet.)
Exercise 15. Show that a space is Hausdorff if and only if every net has most one limit.
Exercise 16. In the product spacein Example 14, show that a netconverges intoif and only if for every, the netconverges in Y to.
[Update, Jan 31: Definition of subnet corrected; Exercise 8 corrected; Exercise 9 added, subsequent exercises renumbered; hint for Exercise 2 altered; some remarks added.]
://.youtube/watch?v=no5V609BtQM
Reply
6
0
Chia sẻ
Clip Point set topology in real analysis ?
Bạn vừa đọc Post Với Một số hướng dẫn một cách rõ ràng hơn về Review Point set topology in real analysis tiên tiến và phát triển nhất
Chia Sẻ Link Tải Point set topology in real analysis miễn phí
You đang tìm một số trong những Share Link Cập nhật Point set topology in real analysis miễn phí.
Giải đáp vướng mắc về Point set topology in real analysis
Nếu sau khi đọc nội dung bài viết Point set topology in real analysis vẫn chưa hiểu thì hoàn toàn có thể lại Comments ở cuối bài để Mình lý giải và hướng dẫn lại nha
#Point #set #topology #real #analysis