Mar 03, 2014 we give the definition of cauchy sequence in metric spaces, prove that every cauchy sequence is convergent, and motivate discussion with example. Sequences and its properties on typemetric space iopscience. Since every convergent sequence is bounded, c is a linear subspace of. Definition and fundamental properties of a metric space. A sequence x n in x is called a cauchy sequence if for any. Definition the sequence x n in a metric space is convergent to x x if. Any convergent sequence in a metric space is a cauchy sequence. Sep 09, 2014 discussion of the concept of the limit of a sequence within an abstract metric space. A sequence xn of points of x is a cauchy sequence on x,d if for all. Metricandtopologicalspaces university of cambridge. So in discrete metric space, every cauchy sequence is constant sequence and that way every cauchy sequence is convergent sequence. A metric space is called sequentially compact if every sequence in x has a convergent subsequence. A metric space is called complete if every cauchy sequence converges to a limit. Informally, 3 and 4 say, respectively, that cis closed under.
The study of convergent sequences in the euclidean spaces rnis one of the mainstays of any basic analysis course. A metric space is called totally bounded if for every o 0 there is a. A metric space is sequentially compact if every sequence has a convergent subsequence. The definitions given earlier for r generalise very naturally. We begin our study of metric spaces by defining convergence of sequences. A metric space x is compact if every open cover of x has a. We introduce metric spaces and give some examples in section 1. Metric spaces constitute an important class of topological spaces. Many of these facts generalize immediately to the context of an arbitrary metric space x. Pdf further proof on fuzzy sequences on metric spaces.
That is, prove that a sequence xn is convergent in x,d if and only if it is convergent in x. Pdf we studied the relation between crisp sequence and fuzzy sequence in metric space, and we gave a prove for the theorem that if a family of crisp. Completion of a metric space a metric space need not be complete. Pdf sequences and its properties on type metric space. Given a metric space x, d and any real number r 0, the open ball of radius r and center x0 is the set bdxa, r x defined by.
A metric space x is sequentially compact if every sequence of points in x has a convergent subsequence converging to a point in x. A rather trivial example of a metric on any set x is the discrete metric dx,y 0 if x. Xthe number dx,y gives us the distance between them. Convergence in metric spaces university of st andrews. In other words, no sequence may converge to two di. Of course, any normed vector space v is naturally a metric space. Indeed, any closed subset of r or c is a complete metric space. Chapter 9 the topology of metric spaces uci mathematics. Suppose x n is a convergent sequence which converges to two di. Compactness of metric spaces compactness in metric spaces the closed intervals a,b of the real line, and more generally the closed bounded subsets of rn, have some remarkable properties, which i believe you have studied in your course in real analysis. For example, the metric space r of real numbers is complete, since every cauchy sequence in r converges.
A metric space is complete if every cauchy sequence converges. A metric space is a set xtogether with a metric don it, and we will use the notation x. Thus we conclude the discrete metric space is complete. In what follows, let m be a metric space with metric d. A metric space is a pair x, d, where x is a set and d is a metric on x. In the end, we construct a type metric function on cone metric space. Convergence of a sequence in a metric space part 1 youtube. Chapter 2 metric spaces and topology duke university. We usually denote sn by s n, called the nth term of s, and write fs ngfor the sequence, or fs 1. Metric spaces are generalizations of the real line, in which some of the theorems that hold for r. N of real numbers is called bounded if there is a number m. Often, if the metric dis clear from context, we will simply denote the metric space x. The limit of a sequence in a metric space is unique. Let be a cauchy sequence in the sequence of real numbers is a cauchy sequence check it.
Although each member of this cauchy sequence is in the interval, its limit is not. It is, moreover, a closed subspace with respect to the infinity norm, and so a banach space in its own right. Introduction let x be an arbitrary set, which could consist of vectors in rn, functions, sequences, matrices, etc. Recall that every normed vector space is a metric space, with the metric dx. Ais a family of sets in cindexed by some index set a,then a o c. A sequence in a set xa sequence of elements of x is a function s. More generally, rn is a complete metric space under the usual metric for all n2n. Since is a complete space, the sequence has a limit. Metric spaces are generalizations of the real line, in which some of the theorems that hold for r remain valid. Given 0 n n such that n n dx n, x in the metric space x if the real sequence dx n, x 0 in r. Show that any eventually constant sequence converges.
Given a metric space x, d and any real number r 0, the open ball of. You have met or you will meet the concept of a normed vector space both in algebra and analysis courses. A sequence xn in a metric space x is just a collection x1,x2,x3. A metric space can be thought of as a very basic space having a geometry, with only a few axioms. Suppose we take the same metric and sequence as before, but now x 0,1. In fact, it is easy to see that n forms a metric space relative to the standard inner product and its associated norm. When we prove theorems about these concepts, they automatically hold in all metric spaces, saving us the labor of having to prove them over and over again each time we introduce a new class of spaces.
1249 1097 436 312 466 821 1384 865 1119 894 975 105 1406 1174 870 664 921 688 684 292 1499 560 1399 983 90 1433 609 907 656 135 1403 1090 923