It is well known that a metric space is compact if and only if it is complete and totally bounded see, e. A particular case of the previous result, the case r 0, is that in every metric space singleton sets are closed. The equivalence between closed and boundedness and compactness is valid in nite dimensional euclidean. Examples include a closed interval, a rectangle, or a finite set of points. A rather trivial example of a metric on any set x is the discrete metric dx,y 0 if x. X x be a measurepreserving transformation not necessarily continuous. A is a compact subset of a with the inherited metric. These proofs are merely a rephrasing of this in rudin but perhaps the di. Suppose kis a subset of a metric space xand k is sequentially compact. Nearly all the concepts we discuss for metric spaces are natural generalizations of the corresponding concepts for r with this absolutevalue metric.
Compact spaces connected sets open covers and compactness. A metric space is complete if every cauchy sequence converges. Then we call k k a norm and say that v,k k is a normed vector space. We nd that there are many interesting properties of this metric space, which will be our focus in this paper. The following is an important extension of corollary a. Say a metric space xis sequentially compact if every sequence in xhas a subsequence that converges in x. Often, if the metric dis clear from context, we will simply denote the metric space x. Prove that every pseudocompact metric space is compact. X y from a compact topological space x to a hausdor. A metric space is a set xtogether with a metric don it, and we will use the notation x. By the same construction, every locally compact hausdorff space x is an open dense subspace of a compact hausdorff space having at most one point more than x. A metric space, is called compact if every infinite subset has a limit point. The slightly odd definition of a compact metric space is as follows.
One of the most important properties of continuous functions is that they \preserve compactness i. Ais a family of sets in cindexed by some index set a,then a o c. Recall that every normed vector space is a metric space, with the metric dx. A video explaining the idea of compactness in r with an example of a compact set and a noncompact set in r. How to understand the concept of compact space mathoverflow. Compact metric space an overview sciencedirect topics. Rm is a continuous function, then the image of x, fx, is a compact set in rm.
In the case of metric spaces, the compactness, the countable compactness and the sequential compactness are equivalent. For two compact metric spaces q and q 1 to be homeomorphic, it is necessary and sufficient that the spaces e and e 1 of continuous realvalued functions on the two spaces be isometric proof. Since is infinite we can choose one of these subintervals, written, such that, is infinite. A metric space is sequentially compact if every sequence has a convergent subsequence. Every topological space x is an open dense subspace of a compact space having at most one point more than x, by the alexandroff onepoint compactification. If v,k k is a normed vector space, then the condition du,v ku. Note that every compact space is locally compact, since the whole space xsatis es the necessary condition. A space is locally compact if it is locally compact at each point. A particular case of the previous result, the case r 0, is that in. Let a be a dense subset of x and let f be a uniformly continuous from a into y.
A metric space x is compact if every open cover of x has a finite subcover. Schep in this note we shall present a proof that in a metric space x. Hausdorffs theorem of the characterization of the relatively compact subsets of a complete metric space in terms of finite and relatively. This is from real mathematical analysis by pugh, problem 2. Informally, 3 and 4 say, respectively, that cis closed under. As each a n is closed it follows that a2\1 k1 a n and from diam a n.
Being a countable union of finite sets, it follows that. Chapter 9 the topology of metric spaces uci mathematics. A set k in a metric space x, d is said to be compact if any open cover u. Metricandtopologicalspaces university of cambridge. A path from a point x to a point y in a topological space x is a continuous function. If uis an open cover of k, then there is a 0 such that for each. It is a nontrivial theorem in topology that any metric space is paracompact.
We will also be interested in the space of continuous rvalued functions cx. The rst property is that the hausdor induced metric space is complete if our original metric space is complete. Cauchy sequence in x has a convergent subsequence, so, by lemma 6 below, the cauchy. Let a be an open faset in x and a a continuous image of a into r. Compact metric space yongheng zhang when we say a metric space xis compact, usually we mean any open covering of xhas a nite subcovering. Compactness in these notes we will assume all sets are in a metric space x. Im wondering what the proof is that was probably intended by the author, something relatively nice, which explicitly uses the metric after all, the statement is false in. Jan 02, 2017 a video explaining the idea of compactness in r with an example of a compact set and a non compact set in r. A subset, k, of m is said to be compact if and only if every open cover of k by open sets in m has a finite subcover. The particular distance function must satisfy the following conditions. In general metric spaces, the boundedness is replaced by socalled total boundedness. When we discuss probability theory of random processes, the underlying sample spaces and eld structures become quite complex.
Definition a metric space x, d is said to be complete if every cauchy sequence in x converges to some point of x. Every closed subset of a compact metric space is compact. In mathematics, more specifically in general topology, compactness is a property that generalizes the notion of a subset of euclidean space being closed i. Then d is a metric on r2, called the euclidean, or.
A pathcomponent of x is an equivalence class of x under the equivalence relation which makes x equivalent to y if there is a path from x to y. Suppose that x is a sequentially compact metric space. Each such collection is an open cover of the compact space x, so for each n. Definition 23 k c m is compact if, for every open covering f of k there exists a finite. Introduction when we consider properties of a reasonable function, probably the. Compact spaces connected sets open covers and compactness suppose x. It is easily verified that if f is a homeomorphism of q onto q 1, the transformation of e 1 to e under which, to each function y. A sequentially compact subset of a metric space is bounded and closed. When we say a metric space x is compact, usually we mean any open covering of x has a finite subcovering. Compact sets in metric spaces uc davis mathematics. A metric space is called sequentially compact if every sequence in x has a convergent subsequence.
Compact sets in metric spaces notes for math 703 3 such that each a n cant be nitely covered by c. X with x 6 y there exist open sets u containing x and v containing y such that u t v 3. A metric space x is compact if every open cover of x has a. If uis an open cover of k, then there is a 0 such that for each x2kthere is a. A metric space is sequentially compact if and only if every in. Anatole katok, jeanpaul thouvenot, in handbook of dynamical systems, 2006. This is the lesson about topological and metric spaces, their properties, open sets, different kinds of compactness and some useful definitions, properties and. Any normed vector space can be made into a metric space in a natural way.
Turns out, these three definitions are essentially equivalent. Acollectionofsets is an open cover of if is open in for every,and so, quite intuitively, and open cover of a set is just a set of open sets that covers that set. Isometry in compact metric space mathematics stack exchange. If we have a collection of open sets which covers x. I dont like the wikipedia quote, as it sort of suggests that sequences in compact spaces must be convergent. A closed subset of a compact metric space is compact. A pathconnected space is a stronger notion of connectedness, requiring the structure of a path. Mathematics stack exchange is a question and answer site for people studying math at any level and professionals in related fields. The usual proofs either use the lebesgue number of an open cover or. X, there exists an open neighborhood u of x with closure u. We would like to show you a description here but the site wont allow us. The following properties of a metric space are equivalent. A metric space which is sequentially compact is totally bounded and complete. A metric space is compact if and only if it is sequentially compact, but this does not hold for nonmetrizable topological spaces.
631 987 886 685 102 393 887 32 993 765 149 29 299 511 175 718 1408 83 493 1414 1148 355 1132 1091 897 11 717 62 468 1052 357 569 108 619 485 504 1229 1093 1031 635 1476 440 328 504