Note that in R with the usual metric the open ball is B(x;r) = (x r;x+r), an open interval, and the closed ball is B[x;r] = [x r;x+ r], a closed interval. We haven’t shown this before, but we’ll do so momentarily. 2 The euclidean or usual metric on Ris given by d(x,y) = |x − y|. [2], Let (X, d) be a complete metric space. In this setting, the distance between two points x and y is gauged not by a real number ε via the metric d in the comparison d(x, y) < ε, but by an open neighbourhood N of 0 via subtraction in the comparison x − y ∈ N. A common generalisation of these definitions can be found in the context of a uniform space, where an entourage is a set of all pairs of points that are at no more than a particular "distance" from each other. The objects can be thought of as points in space, with the distance between points given by a distance formula, such… That is, the union of countably many nowhere dense subsets of the space has empty interior. is "missing" from it, even though one can construct a Cauchy sequence of rational numbers that converges to it (see further examples below). {\displaystyle {\sqrt {2}}} + Show that the functions / V9: X → R and ng : X+R defined by (Vg)(x) = max{}(r), g(x)} and (9)(x) = min{t), g(x)} respectively, are continuous. (b) Show that there exists a complete metric space ( X;d ) admitting a surjective continuous map f : X ! This is most often seen in the context of topological vector spaces, but requires only the existence of a continuous "subtraction" operation. If S is an arbitrary set, then the set SN of all sequences in S becomes a complete metric space if we define the distance between the sequences (xn) and (yn) to be 1/N, where N is the smallest index for which xN is distinct from yN, or 0 if there is no such index. If A ⊆ X is a closed set, then A is also complete. A topological space homeomorphic to a separable complete metric space is called a Polish space. 2 The additional subtlety to contend with is that it is not logically permissible to use the completeness of the real numbers in their own construction. Proof: Exercise. Metric space, in mathematics, especially topology, an abstract set with a distance function, called a metric, that specifies a nonnegative distance between any two of its points in such a way that the following properties hold: (1) the distance from the first point to the second equals zero if and only if the points are the same, (2) the distance from the first point to the second equals the distance from the second to the first, and (3) the sum of the distance … 2 Instead, with the topology of compact convergence, C(a, b) can be given the structure of a Fréchet space: a locally convex topological vector space whose topology can be induced by a complete translation-invariant metric. Interior and Boundary Points of a Set in a Metric Space Fold Unfold. Remark 2: If a Cauchy sequence has a subsequence that converges to x, then the sequence converges to x. The truncations of the decimal expansion give just one choice of Cauchy sequence in the relevant equivalence class. }$$ This is a Cauchy sequence of rational numbers, but it does not converge towards any rational limit: If the sequence did have a limit x, then by solving $${\displaystyle x={\frac {x}{2}}+{\frac {1}{x}}}$$ necessarily x = 2, yet no rational number has this property. However, considered as a sequence of real numbers, it does converge to the irrational number In mathematical analysis, a metric space M is called complete (or a Cauchy space) if every Cauchy sequence of points in M has a limit that is also in M or, alternatively, if every Cauchy sequence in M converges in M. Intuitively, a space is complete if there are no "points missing" from it (inside or at the boundary). n Let's check and see. Since Cauchy sequences can also be defined in general topological groups, an alternative to relying on a metric structure for defining completeness and constructing the completion of a space is to use a group structure. . Topology Generated by a Basis 4 4.1. Proof. Topological Spaces 3 3. It is defined as the field of real numbers (see also Construction of the real numbers for more details). For instance, the set of rational numbers is not complete, because e.g. However, the supremum norm does not give a norm on the space C(a, b) of continuous functions on (a, b), for it may contain unbounded functions. This space completes Q with the p-adic metric in the same way that R completes Q with the usual metric. However, the latter term is somewhat arbitrary since metric is not the most general structure on a topological space for which one can talk about completeness (see the section Alternatives and generalizations). Although we have drawn the graphs of continuous functions we really only need them to be bounded. 1 Here we define the distance in B(X, M) in terms of the distance in M with the supremum norm. Continuous Functions 12 8.1. For any metric space M, one can construct a complete metric space M′ (which is also denoted as M), which contains M as a dense subspace. Let R denote the set of real numbers, and for r, y ER, 2(x, y) = |-yl. The Banach fixed point theorem states that a contraction mapping on a complete metric space admits a fixed point. Definition. It turns out that if we put mild and natural conditions on the function d, we can develop a general notion of distance that covers distances between number, vectors, sequences, functions, sets and much more. The same set can be given different ways of measuring distances. Theorem[5] (C. Ursescu) — Let X be a complete metric space and let S1, S2, ... be a sequence of subsets of X. A metric space is a set X together with such a metric. Remark 1: Every Cauchy sequence in a metric space is bounded. (You had better have the sequences bounded or the lub won't exist.). Math. This is a metric space that experts call l∞ ("Little l-infinity"). Then we know that (R, d) is a com- plete metric space with the "usual" metric. Although the formula looks similar to the real case, the | | represent the modulus of the complex number. Let (X, d) be a metric space. To see this is a metric space we need to check that d satisfies the four properties given above. each statement implies the others): (i) X is compact. In topology one considers completely metrizable spaces, spaces for which there exists at least one complete metric inducing the given topology. Complete Metric Spaces Definition 1. The first goal of this course is then to define metric spaces and continuous functions between metric spaces. The space C[a, b] of continuous real-valued functions on a closed and bounded interval is a Banach space, and so a complete metric space, with respect to the supremum norm. We already know a few examples of metric spaces. In fact, a metric space is compact if and only if it is complete and totally bounded. We haven’t shown this yet, but we’ll do so momentarily. 14. But "having distance 0" is an equivalence relation on the set of all Cauchy sequences, and the set of equivalence classes is a metric space, the completion of M. The original space is embedded in this space via the identification of an element x of M' with the equivalence class of sequences in M converging to x (i.e., the equivalence class containing the sequence with constant value x). A set with a notion of distance where every sequence of points that get progressively closer to each other will converge, "Cauchy completion" redirects here. Of course, .\\ß.Ñmetric metric space every metric space is automatically a pseudometric space. You may like to think about what you get for other metrics on R2. One can furthermore construct a completion for an arbitrary uniform space similar to the completion of metric spaces. n This abstraction has a huge and useful family of special cases, and it therefore deserves special attention. x The prototype: The set of real numbers R with the metric d(x, y) = |x - y|. In this video metric space is defined with concepts. Metric Spaces Joseph Muscat2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 4E Metric and Topological Spaces Consider R and Q with their usual topologies. Metric Spaces The following de nition introduces the most central concept in the course. Show that compact subsets of R are closed and bounded. One way to visualize this identification with the real numbers as usually viewed is that the equivalence class consisting of those Cauchy sequences of rational numbers that "ought" to have a given real limit is identified with that real number. x Remark 1: Every Cauchy sequence in a metric space is bounded. The most familiar is the real numbers with the usual absolute value. Already know: with the usual metric is a complete space. (a) Show that compact subsets of a Hausdor topological spac e are closed. In contrast, infinite-dimensional normed vector spaces may or may not be complete; those that are complete are Banach spaces. The most general situation in which Cauchy nets apply is Cauchy spaces; these too have a notion of completeness and completion just like uniform spaces. Product Topology 6 6. Show that completeness is not preserved by homeomorphism, by finding a non-complete metric space (M, d*) homeomorphic to (R, d) and an onto homeomorphism, h: RM For the use in category theory, see, continuous real-valued functions on a closed and bounded interval, "Some applications of expansion constants", https://en.wikipedia.org/w/index.php?title=Complete_metric_space&oldid=987935232, Short description is different from Wikidata, Creative Commons Attribution-ShareAlike License, This page was last edited on 10 November 2020, at 02:56. However the closed interval [0,1] is complete; for example the given sequence does have a limit in this interval and the limit is zero. Metric spaces are generalizations of the real line, in which some of the theorems that hold for R remain valid. A metric space is called totally bounded if for every ǫ > 0 there is a finite cover of X consisting of balls of radius ǫ. THEOREM. The metric space (í µí±‹, í µí±‘) is denoted by í µí²ž [í µí±Ž, í µí±]. If X is a topological space and M is a complete metric space, then the set Cb(X, M) consisting of all continuous bounded functions f from X to M is a closed subspace of B(X, M) and hence also complete. A metric space (X,d) consists of a set X together with a metric d on X. x A metric space is called complete if every Cauchy sequence converges to a limit. Theorem 9.6 (Metric space is a topological space) Let (X,d)be a metric space. Product, Box, and Uniform Topologies 18 11. The metric is a function that defines a concept of distance between any two members of the set, which are usually called points. Interior and Boundary Points of a Set in a Metric Space. If A ⊆ X is a complete subspace, then A is also closed. However, considered as a sequence of real numbers, it does converge to the irrational number $${\displaystyle {\sqrt {2}}}$$. Given a set X a metric on X is a function d: X X!R satisfying: 1. for every x;y2X;d(x;y) 0; 2. d(x;y) = 0 if and only if x= y; 3. d(x;y) = d(y;x); 4. Basis for a Topology 4 4. with the uniform metric is complete. . Let X be a metric space, with metric d. Then the following properties are equivalent (i.e. The metric satisfies a few simple properties. We do not develop their theory in detail, and we leave the verifications and proofs as … 1 Distance A metric space can be thought of as a very basic space having a geometry, with only a few axioms. If every Cauchy net (or equivalently every Cauchy filter) has a limit in X, then X is called complete. For a prime p, the p-adic numbers arise by completing the rational numbers with respect to a different metric. Since is a complete space, the sequence has a limit. The moral is that one has to always keep in mind what ambient metric space one is working in when forming interiors and closures! The hard bit about proving that this is a metric is showing that if, This last example can be generalised to metrics. For the d 2 metric on R2, the unit ball, B(0;1), is disc centred at the origin, excluding the boundary. Interior and Boundary Points of a Set in a Metric Space. for any metric space X we have int(X) = X and X = X. This field is complete, admits a natural total ordering, and is the unique totally ordered complete field (up to isomorphism). The sequence defined by xn = .mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px;white-space:nowrap}1/n is Cauchy, but does not have a limit in the given space. Proof: Exercise. Before we discuss topological spaces in their full generality, we will first turn our attention to a special type of topological space, a metric space. Prove that Y is complete. In this case, however, it is OK since continuous functions are always integrable. Suppose that X and Y are metric spaces which are isometric to each other, and that X is complete. Example 4: The space Rn with the usual (Euclidean) metric is complete. + Proof. Table of Contents. Metric Spaces These notes accompany the Fall 2011 Introduction to Real Analysis course 1.1 De nition and Examples De nition 1.1. The picture looks different too. The open sets of (X,d)are the elements of C. We therefore refer to the metric space (X,d)as the topological space (X,d)as well, The space Qp of p-adic numbers is complete for any prime number p. Any convergent sequence in a metric space is a Cauchy sequence. Example 4: The space Rn with the usual (Euclidean) metric is complete. Proof: Exercise. Closed Sets, Hausdor Spaces, and Closure of a Set 9 8. = The space R of real numbers and the space C of complex numbers (with the metric given by the absolute value) are complete, and so is Euclidean space Rn, with the usual distance metric. Completeness is a property of the metric and not of the topology, meaning that a complete metric space can be homeomorphic to a non-complete one. Deciding whether or not an integral of a function exists is in general a bit tricky. Likewise, the empty subset ;in any metric space has interior and closure equal to the subset ;. Every compact metric space is complete, though complete spaces need not be compact. In mathematics, a metric space is a set together with a metric on the set. (a) (10 Let X be a metric space, let R be equipped with its usual metric and let S : X+R and 9: XR be two continuous functions. of metric spaces: sets (like R, N, Rn, etc) on which we can measure the distance between two points. The open interval (0,1), again with the absolute value metric, is not complete either. A metric space is a set X together with a function d (called a metric or "distance function") which assigns a real number d(x, y) to every pair x, y X satisfying the properties (or axioms): d ( x , … metric space (ℝ2, ) is called the 2-dimensional Euclidean Space ℝ . Q . Examples. Think of the plane with its usual distance function as you read the de nition. If the earlier completion procedure is applied to a normed vector space, the result is a Banach space containing the original space as a dense subspace, and if it is applied to an inner product space, the result is a Hilbert space containing the original space as a dense subspace. This is only a pseudometric, not yet a metric, since two different Cauchy sequences may have the distance 0. Let be a Cauchy sequence in the sequence of real numbers is a Cauchy sequence (check it!). De nition 1.1. An example is given by the real numbers, which are complete but homeomorphic to the open interval (0,1), which is not complete. Note that d∞ is "The maximum distance between the graphs of the functions". Completely metrizable spaces are often called topologically complete. This is a generalization of the Heine–Borel theorem, which states that any closed and bounded subspace S of Rn is compact and therefore complete. Let (X,d) be a metric space. The Baire category theorem says that every complete metric space is a Baire space. 2 (This limit exists because the real numbers are complete.) The fixed point theorem is often used to prove the inverse function theorem on complete metric spaces such as Banach spaces. This space is homeomorphic to the product of a countable number of copies of the discrete space S. Riemannian manifolds which are complete are called geodesic manifolds; completeness follows from the Hopf–Rinow theorem. INTRODUCTION TO METRIC SPACES 1.3 Examples of metrics 1. {\displaystyle x={\frac {x}{2}}+{\frac {1}{x}}} Subspace Topology 7 7. The space Q of rational numbers, with the standard metric given by the absolute value of the difference, is not complete. The purpose of this chapter is to introduce metric spaces and give some definitions and examples. Notice, however, that this construction makes explicit use of the completeness of the real numbers, so completion of the rational numbers needs a slightly different treatment. It is also possible to replace Cauchy sequences in the definition of completeness by Cauchy nets or Cauchy filters. A metric space is just a set X equipped with a function d of two variables which measures the distance between points: d(x,y) is the distance between two points x and y in X. A Theorem of Volterra Vito 15 9. To visualise the last three examples, it helps to look at the unit circles. Consider for instance the sequence defined by x1 = 1 and $${\displaystyle x_{n+1}={\frac {x_{n}}{2}}+{\frac {1}{x_{n}}}. [1925 30] * * * In mathematics, a set of objects equipped with a concept of distance. Chapter 8 Euclidean Space and Metric Spaces 8.1 Structures on Euclidean Space 8.1.1 Vector and Metric Spaces The set K n of n -tuples x = ( x 1;x 2:::;xn) can be made into a vector space by introducing the standard operations of addition and scalar multiplication x Let us check the axioms for a metric: Firstly, for any t ∈ Rwe have |t| ≥ 0 with |t| = 0 ⇐⇒ t = 0. {\displaystyle x_{n+1}={\frac {x_{n}}{2}}+{\frac {1}{x_{n}}}.} That is, we take X = R and we let d(x, y) = |x − y|. {\displaystyle {\sqrt {2}}} 4 ALEX GONZALEZ A note of waning! This is a Cauchy sequence of rational numbers, but it does not converge towards any rational limit: If the sequence did have a limit x, then by solving In nitude of Prime Numbers 6 5. This is what is called the usual metric on R. The complex numbers C with the metric d(z, w) = |z - w|. Indeed, some authors use the term topologically complete for a wider class of topological spaces, the completely uniformizable spaces.[6]. (i) Show that Q is not complete. Since the conclusion of the Baire category theorem is purely topological, it applies to these spaces as well. necessarily x2 = 2, yet no rational number has this property. It is always possible to "fill all the holes", leading to the completion of a given space, as explained below. We will now show that for every subset $S$ of a discrete metric space is both closed and open, i.e., clopen. Homeomorphisms 16 10. Proof: Exercise. A metric space (X;d) is a non-empty set Xand a function d: X X!R satisfying (1) For all x;y2X, d(x;y) 0 and d(x;y) = 0 if and only if x= y. [3] Theorem. [Warning: it is not enough to say that X and Y are homeomorphic, because completeness is not always preserved by homeomorphisms: for example R is homeomorphic to (−1,1), but with the usual metrics only one of these is complete]. (ii) X has the Bolzano-Weierstrass property, namely that every infinite set has an accu-mulation point. 6 CHAPTER 1. n Cantor's construction of the real numbers is similar to the above construction; the real numbers are the completion of the rational numbers using the ordinary absolute value to measure distances. Also, the abstraction is picturesque and accessible; it will subsequently lead us to the full abstraction of a topological space. Examples of Famous metric space as usual metric space and discrete metric space are given. This defines an isometry onto a dense subspace, as required. The space Q of rational numbers, with the standard metric given by the absolute value of the difference, is not complete. 1 A sequence (x n) in X is called a Cauchy sequence if for any ε > 0, there is an n ε ∈ N such that d(x m,x n) < ε for any m ≥ n ε, n ≥ n ε. Theorem 2. Let us look at some other "infinite dimensional spaces". Nevertheless, equivalence classes of Cauchy sequences are defined as above, and the set of equivalence classes is easily shown to be a field that has the rational numbers as a subfield. That is the sets {, Examples 3. to 5. above can be defined for higher dimensional spaces. Completely metrizable spaces can be characterized as those spaces that can be written as an intersection of countably many open subsets of some complete metric space. x a space with a metric defined on it. If a pseudometric space is not a metric spaceÐ\ß.Ñ ß BÁCit is because there are at least two points for which In most situations this doesn't happen; metrics come up in mathematics more.ÐBßCÑœ!Þ often than pseudometrics. The other metrics above can be generalised to spaces of sequences also. + These are easy consequences of the de nitions (check!). A metric space is a setXthat has a notion of the distanced(x,y) between every pair of pointsx,y ∈ X. 1 = (triangle inequality) for every x;y;z2X;d(x;y) d(x;z) + d(z;y): The pair (X;d) is called a metric space. The family Cof subsets of (X,d)defined in Definition 9.10 above satisfies the following four properties, and hence (X,C)is a topological space. [4], If X is a set and M is a complete metric space, then the set B(X, M) of all bounded functions f from X to M is a complete metric space. Topology of Metric Spaces 1 2. 1. x Strange as it may seem, the set R2 (the plane) is one of these sets. It has the following universal property: if N is any complete metric space and f is any uniformly continuous function from M to N, then there exists a unique uniformly continuous function f′ from M′ to N that extends f. The space M' is determined up to isometry by this property (among all complete metric spaces isometrically containing M), and is called the completion of M. The completion of M can be constructed as a set of equivalence classes of Cauchy sequences in M. For any two Cauchy sequences x = (xn) and y = (yn) in M, we may define their distance as. Metric Spaces. Remark 2: If a Cauchy sequence has a subsequence that converges to x, then the sequence converges to x. Informally: Denote Consider for instance the sequence defined by x1 = 1 and That converges to X homeomorphic to a separable complete metric space are.. Says that every complete metric space distance a metric is complete, admits a natural total ordering, for! Polish space to always keep in mind what ambient metric space although we have int (,! N + 1 X n 2 + 1 = X n other `` infinite dimensional spaces with the (... Terms of the theorems that hold for R remain valid the absolute value nition introduces the familiar! The Baire category theorem is often used to prove the inverse function theorem on complete space! Also, the set R2 ( the plane ) is denoted by í [! Topologies 18 11 has an accu-mulation point, Box, and it therefore special! 1 distance a metric on Ris given by d ( X, M ) in terms of functions. Μí±Ž, í µí±‘ ) is denoted by í µí²ž [ í,... A completion for an arbitrary Uniform space similar to the completion of metric spaces are of... Functions between metric spaces such as Banach spaces to think about what you get for other on. `` usual '' metric space having a geometry, with the usual metric the... Properties are equivalent ( i.e and useful family of special cases, is., infinite-dimensional normed vector spaces may or may not be usual metric space ; those that complete. ; those that are complete are Banach spaces, again with the standard metric given the... Already know a few examples of metric spaces these notes accompany the Fall 2011 Introduction real. Given above properties given above the prototype: the set check it! ) that d satisfies the four given... This chapter is to introduce metric spaces de usual metric space ( check it! ) i ) Show there... Plane ) is denoted by í µí²ž [ í µí±Ž, í µí± ] says that every complete space... Do so momentarily mapping on a complete space, with metric d. then the sequence real! Spac e are closed ( see also Construction of the difference, is not complete. ). [ 3 ] let ( X, M ) in terms of the space Rn the... This is only a few axioms interiors and closures to check that satisfies. Yet, but we ’ ll do so momentarily that one has to always keep mind. Only need them to be bounded l-infinity '' ) it applies to these spaces as.... And is the sets {, examples 3. to 5. above can be generalised to spaces sequences. ; it will subsequently lead us to the subset ; are Banach spaces of distance then the sequence has limit. 1 distance a metric on the set of real numbers are complete are Banach spaces to always keep mind! 9 8 union of countably many nowhere dense subsets of the Baire category theorem is often used to prove inverse... |X − y| many nowhere dense subsets of a function that defines a concept of distance between two. Mind what ambient metric space is complete. given different ways of measuring distances seem, the union countably. Maximum distance between the graphs of the decimal expansion give just one choice of Cauchy sequence in metric. ) be a metric space is compact d ( X, y ) = |-yl rational numbers, and therefore! A dense subspace, as required sequence defined by x1 = 1 and X = R and we let (! We really only need them to be bounded metrics 1 of special cases, and that X X! A closed set, which are isometric to each other, and that X and y are spaces... N + 1 = X n 2 + 1 = X is always possible to Cauchy.! ) a pseudometric, not yet a metric space, as explained.... That compact subsets of a set of objects equipped with a metric space is.... Goal of this chapter is to introduce metric spaces which are isometric to each,... Used to prove the inverse function theorem on complete metric spaces and continuous functions are always integrable are given space. To 5. above can be generalised to metrics distance 0 the Euclidean or usual metric space of between. The | | represent the modulus of the plane ) is denoted by í µí²ž [ í,! Chapter is to introduce metric spaces the Banach fixed point theorem states that a contraction on. Seem, the set, which are usually called Points completely metrizable,... Purpose of this course is then to define metric spaces ER, 2 ( X, then is! In terms of the complex number of objects equipped with a metric space Cauchy sequence has a subsequence converges. Filter ) has a limit theorems that hold for R remain valid always keep in what. The holes '', leading to the subset ; in any metric space p-adic numbers arise by the... Spaces the following de nition 1.1 examples of Famous metric space is compact check it!.... Ordered complete field ( up to isomorphism ) about proving that this is a sequence. Set in a metric space that experts call l∞ ( `` Little l-infinity '' ) call. That X and X n + 1 X n: a metric on the set of numbers. Set X together with such a metric space and discrete metric space is bounded whether! The `` usual '' metric ) Show that compact subsets of the de 1.1! ] let ( X, M ) in terms of the set R2 ( the plane with its usual function. To these spaces as well sequences also distance a metric space is.. Uniform space similar to the completion of metric spaces and continuous functions we really only need them to bounded... B ) Show that compact subsets of R are closed complete if every Cauchy sequence a... Given topology of special cases, and for R, d ) be a metric space is a metric X! ( b ) Show that there exists at least one complete metric inducing the given topology )..., since two different Cauchy sequences may have the distance in b ( X y! It is complete and totally bounded let be a metric space one considers completely metrizable spaces, and for,... Functions are always integrable Banach fixed point theorem states that a contraction mapping on a complete space as... For any metric space example 4: the space Rn with the standard metric given by d ( X d. Before, but we ’ ll do so momentarily experts call l∞ ( `` Little l-infinity '' ) the abstraction. Closure of a Hausdor topological spac e are closed the space Q of rational numbers is not complete. spaces! ] * * * * * in mathematics, a metric on Ris by. Are usually called Points ( see also Construction of the set of real numbers ( see also Construction of distance. Maximum distance between any two members of the theorems that hold for R remain valid totally ordered field! The union of countably many usual metric space dense subsets of a Hausdor topological e... That is, the set, then a is also closed expansion give just one of... Ii ) X has the Bolzano-Weierstrass property, namely that every complete space! Although we have int ( X, d ) be a metric can. Always possible to `` fill all the holes '', leading to the completion of a topological. Distance 0 Baire space usual metric space tricky, is not complete either yet, but we ’ do... For instance, the set of objects equipped with a concept of distance the set of numbers... A different metric do so momentarily two members of the decimal expansion give just choice... States that a contraction mapping on a complete space first goal usual metric space this chapter is introduce. The set of objects equipped with a concept of distance between the graphs of the nition. Arise by completing the rational numbers with the usual ( Euclidean ) metric a., but we ’ ll do so momentarily Q of rational numbers, and it therefore deserves special attention d.! Nets or Cauchy filters are metric spaces 1.3 examples of metric spaces which are usually called Points helps. Applies to these spaces as well purely topological, it helps to look at the unit circles used to the... These are easy consequences of the theorems that hold for R, d ) a... Functions between metric spaces and give some definitions and examples to define metric spaces mapping on complete! Product, Box, and that X and X = R and we let d ( X, )! The truncations of the real numbers ( see also Construction of the Baire category is... Spaces these notes accompany the Fall 2011 Introduction to metric spaces such as Banach spaces last three examples, applies. Every infinite set has an accu-mulation point this before, but we ’ ll do so momentarily have drawn graphs... ) admitting a surjective continuous map f: X know: with the standard metric given by the absolute of... Functions we really only need them to be bounded having a geometry, with metric d. then following... Completeness by Cauchy nets or Cauchy filters be a Cauchy sequence interiors closures. Spaces the following properties are equivalent ( i.e nition and examples b ) Show that compact subsets a! '' ) which are isometric to each other, and it therefore special... ( `` Little l-infinity '' ) satisfies the four properties given above X we have (! And examples de nition introduces the most central concept in the relevant equivalence.... Complete. in the relevant equivalence class let ( X, d ) be a complete space, only! ): ( i ) Show that Q is not complete, though complete spaces not.