The last metric space notion that we will use is the notion of compact sets. Xis compact, and x j2kis a cauchy sequence, then there exists x2ksuch that lim j. Metric space topology, as the generalization to abstract spaces of the theory of sets of points on a line or in a plane, unifies many branches of classical analysis and is necessary introduction to functional analysis. Pdf compact nonlinear mappings in metric spaces researchgate.
Characterizations of compactness for metric spaces 3 the proof of the main theorem is contained in a sequence of lemmata which we now state. Compact metric space yongheng zhang when we say a metric space xis compact, usually we mean any open covering of xhas a nite subcovering. Compact sets in metric spaces uc davis mathematics. Metric spaces joseph muscat2003 last revised may 2009 a revised and expanded version of these notes are now published by springer. Professor copsons book, which is based on lectures given to thirdyear undergraduates at the university of st andrews, provides a more leisurely treatment of metric spaces than. Often, if the metric dis clear from context, we will simply denote the metric space x. Norms and metrics, normed vector spaces and metric spaces. Metric spaces are generalizations of the real line, in which some of the theorems that hold for r. In the case of metric spaces, the compactness, the countable compactness and the sequential compactness are equivalent. Separable complete metric spaces occurring in mathematical practice are usually computable. A compact subspace c of a metric space m is bounded.
Chapter 5 compactness compactness is the generalization to topological spaces of the property of closed and bounded subsets of the real line. Note that iff if then so thus on the other hand, let. Honors advanced calculus and linear algebra metric. 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. A metric space is a set xtogether with a metric don it, and we will use the notation x. I was recently presented this problem from a course on topology half of which i could work out but the other half is a mystery. An open cover for a is a collection o of open sets whose union contains a. A metric space is a cantor space if it is compact, perfect and totally disconnected. A metric space x is compact if every open cover of x has a. The slightly odd definition of a compact metric space is as follows. A metric space is called sequentially compact if every sequence in x has a convergent subsequence. If uis an open cover of k, then there is a 0 such that for each.
X we say that a is totally bounded if, for any 0, a can be covered nite number of balls of radius. Working intuitively for now see below for the precise version, lets distinguish two similar but distinct ideas. M and r0, the open ball with center x of radius r is the set bx,r. Cauchy sequence in x has a convergent subsequence, so, by lemma 6 below. As a euclidean space is a metric space, the conditions in the next subsection also apply to all of its subsets. Baire category theorem is proved and, as an application, it is shown that continuous, nowhere di erentiable functions form a set of second category in the space of continuous functions. The worst you could have done to take an infinite number of steps would have been to traverse the whole space so your balls cover the space, but then compactness would.
We just saw that the metric space k 1 isometrically embeds into 2 k in fact, a stronger result can be shown. Turns out, these three definitions are essentially equivalent. Pdf in this paper we recall the definition of standard fuzzy metric space then we define a compact standard fuzzy metric space and ftotally. The following properties of a metric space are equivalent. Then d is a metric on r2, called the euclidean, or. For any metric space x, d, the following are equivalent. Nearly all the concepts we discuss for metric spaces are natural generalizations of the corresponding concepts for r with this absolutevalue metric. Definition a metric space x, d is said to be complete if every cauchy sequence in x converges to some point of x. This can be found in any introductory topology book, but we will not need it.
Request pdf a compact space decomposition for effective metric indexing the metric space model abstracts many proximity search problems, from nearestneighbor classifiers to textual and. A of open sets is called an open cover of x if every x. Suppose that x is a sequentially compact metric space. Xthe number dx,y gives us the distance between them. M dx,y 0 there exist finitely many open balls of radius r whose union covers m. For any metric space x, d the following conditions are equivalent. Let a be a dense subset of x and let f be a uniformly continuous from a into y. A metric space x is sequentially compact if every sequence of points in x has a convergent subsequence converging to a point in x. Introduction let x be an arbitrary set, which could consist of vectors in rn, functions, sequences, matrices, etc.
Pdf concepts of compact linear mappings and measure of non compactness for. Suppose kis a subset of a metric space xand k is sequentially compact. Also any subset of a metric space is a metric space. A onepage selfcontained complete proof that metric spaces are paracompact. Mat 314 lecture notes 3 of course, for 0 pdf available in proceedings of the american mathematical society 854. In the subsequent sections we discuss the proof of the lemmata. A metric space is complete if every cauchy sequence converges. Felix hausdorff chose the name metric space in his influential book from 1914. Definition 23 k c m is compact if, for every open covering f of k there exists a finite. A metric space is sequentially compact if every sequence has a convergent subsequence. Of all of the equivalent conditions, it is in practice easiest to verify that a subset is closed and bounded, for example, for a closed interval or closed nball.
Finally in section 5 we study complete metric spaces. Every open subset of a complete and perfect space contains a cantor space. The equivalence between closed and boundedness and compactness is valid in nite dimensional euclidean. A subset k of a metric space x is said to be compact if every open cover of k has a finite subcover. We would like to show you a description here but the site wont allow us. How to understand the concept of compact space mathoverflow. Characterizations of compact metric spaces france dacar, jo. Say a metric space xis sequentially compact if every sequence in xhas a subsequence that converges in x. In general metric spaces, the boundedness is replaced by socalled total boundedness.
1230 198 1313 1375 1207 378 357 661 7 1233 764 1248 1204 1096 1046 973 455 935 159 472 1099 1172 188 1173 624 1413 635 503 688 633 588 1385