Ais a family of sets in cindexed by some index set a,then a o c. Some of this material is contained in optional sections of the book, but i will assume none of that and start from scratch. A pair, where is a metric on is called a metric space. Then d is a metric on r2, called the euclidean, or. Notes on metric spaces these notes are an alternative to the textbook, from and including closed sets and open sets page 58 to and excluding cantor sets page 95 1 the topology of metric spaces assume m is a metric space with distance function d. The typical distance used is the euclidean distance, defined as. In this paper, fuzzy metric spaces are redefined, different from the previous ones in the way that fuzzy scalars instead of fuzzy numbers or real numbers are used to define fuzzy metric. A metric space is injective if and only if it is an injective object in the category of metric spaces and metric maps. An embedding is called distancepreserving or isometric if for all x,y. It is also sometimes called a distance function or simply a distance. Moreover the concepts of metric subspace, metric superspace, isometry i. Notes on metric spaces these notes introduce the concept of a metric space, which will be an essential notion throughout this course and in others that follow.
We begin with the familiar notions of magnitude and distance on the real line. It takes metric concepts from various areas of mathematics and condenses them into one volume. I found something about ultralimits in metric spaces of nonpositive curvature in particular the following 3 results. Informally, 3 and 4 say, respectively, that cis closed under. The most familiar is the real numbers with the usual absolute value. If x,d is a metric space and a is a nonempty subset of x, we can make a metric d a on a by putting. The elements of such a space are called points, the distance function is called a metric, and such spaces are called metric spaces. Normed vector spaces and metric spaces were going to develop generalizations of the ideas of length or magnitude and distance. These properties can be defined in two seemingly different ways. The general idea of metric space appeared in fr echet 1906, and metricspace structures on vector spaces, especially spaces of functions, was developed by fr echet. Introduction let x be an arbitrary set, which could consist of vectors in rn, functions, sequences, matrices, etc. The metric topology on a metric space m is the coarsest topology on m relative to which the metric d is a continuous map from the product of m with itself to the nonnegative real numbers. Concerningthesecondpointabove, weremindthereaderthatac,kquasiisometric map x,d x y,d y between metric spaces is a not necessarily continuous map having the property.
A subset k of x is compact if every open cover of k has a. For the direct limit of a sequence of ultrapowers, see ultraproduct. A sequence x n in x is called a cauchy sequence if for any. A particular case of the previous result, the case r 0, is that in every metric space singleton sets are closed.
Jul 20, 20 the metric dimension of \x,d\ is the smallest integer \k\ such that there is a set \a\ of cardinality \k\ that resolves \x\. The metric dimension of \x,d\ is the smallest integer \k\ such that there is a set \a\ of cardinality \k\ that resolves \x\. There are many ways to make new metric spaces from old. Jun 30, 2009 ultrafilters are an efficient techn ical device for simultaneously taking limits of all such sequences of subspaces and putting them tgether to form one object, namely, an ultralimit of x i see kl95, kl97, kkl98, dru00 for examples of application of ultralimits to the study of quasiisometries of metric spaces. N such that dx m,x n ultralimit of the geodesic segments a ib i gives a geodesic segment a ib i joining a i to b i. Nearly all the concepts we discuss for metric spaces are natural generalizations of the corresponding concepts for r with this absolutevalue metric. But what is the conceptual foundation of the limit. Metric spaces the limit is often identi ed as the fundamental basis of calculus. In this paper known result of symmetric orthogonality, as introduced by g.
It is also sometimes called a distance function or simply a distance often d is omitted and one just writes x for a metric space if it is clear from the context what metric is being used we already know a few examples of metric spaces. Note that iff if then so thus on the other hand, let. Summer 2007 john douglas moore our goal of these notes is to explain a few facts regarding metric spaces not included in the. For the direct limit of a sequence of ultrapowers, see ultraproduct in mathematics, an ultralimit is a geometric construction that assigns to a sequence of metric spaces x n a limiting metric space. Metric spaces and some basic topology ii 1x 1y d x. The metric is often regarded as a distance function. Hausdorff limits and ultralimits of a definable family of metric spaces are definable in suitable. Xthe number dx,y gives us the distance between them. Real analysismetric spaces wikibooks, open books for an. Chapter 1 metric spaces islamic university of gaza. The notion of an ultralimit captures the limiting behavior of finite configurations in the spaces x n and uses an ultrafilter to avoid the process of repeatedly passing to subsequences to ensure.
And in chapter 3 we learned to take limits of functions as a real number approached some other real number. A metric space is complete if every cauchy sequence has a limit. The metric dimension of metric spaces springerlink. The distance is said to be a metric if the triangle inequality holds, i. Often, if the metric dis clear from context, we will simply denote the metric space x. In chapter 2 we learned to take limits of sequences of real numbers. Norms and metrics, normed vector spaces and metric spaces. Havent read all the way through yet, but so far this is a fantastic survey of the subject of metric spaces. Metric spaces in this course, we will take the point of view that geometry is the study of spaces in which the distance between two elements can be measured by a distance function. Uniform metric let be any set and let define particular cases.
The asymptotic cone of a space is a metric space representing the. A metric induces a topology on a set, but not all topologies can be generated by a metric. Symmetric orthogonality and contractive projections in metric spaces martin kell abstract. Symmetric orthogonality and contractive projections in metric. The following standard lemma is often useful, and makes explicit a bit of intuition.
Here we provide some basic results for general metric spaces. A metric space is a set xtogether with a metric don it, and we will use the notation x. Well generalize from euclidean spaces to more general spaces, such as spaces of functions. Metricandtopologicalspaces university of cambridge.
In mathematics, an ultralimit is a geometric construction that assigns to a sequence of metric. Metric geometry in a tame setting department of mathematics. The notion of an ultralimit captures the limiting behavior of finite configurations in the spaces x n and uses an ultrafilter to avoid the process of repeatedly passing to subsequences to ensure convergence. The abstract concepts of metric spaces are often perceived as difficult. The analogues of open intervals in general metric spaces are the following.
Chapter 9 the topology of metric spaces uci mathematics. In mathematics, an ultralimit is a geometric construction that assigns to a sequence of metric spaces x n a limiting metric space. This book offers a unique approach to the subject which gives readers the advantage of a new perspective on ideas familiar from the analysis of a real line. Suppose h is a subset of x such that f h is closed where h denotes the closure of h. Much is known about the metric dimension when \x\ is the vertex set of a graph, but very little seems to be known for a general metric space.
The ultralimit of a sequence of metric spaces is a length space if every metric space in the sequence was a length space. Continuity, contractions, and the contraction mapping principle 4 acknowledgments 6 references 6 1. Rather than passing quickly from the definition of a metric to the more abstract concepts of convergence and. Paper 1, section ii 12e metric and topological spaces. Symmetric orthogonality and contractive projections in. One can describe the limiting behavior of the sequence x i by studying limits of sequences of. One can describe the limiting behavior of the sequence x. A topological space whose topology can be described by a metric is called metrizable one important source of metrics in differential. Gromovhausdorff distance is an often used tool for measuring how far two compact metric spaces are from. Metric spaces are first countable since one can use balls with rational radius as a neighborhood base. In calculus on r, a fundamental role is played by those subsets of r which are intervals. The ultralimit of products of spaces is the product of the correspond ing ultralimits.
In metric geometry, an injective metric space, or equivalently a hyperconvex metric space, is a metric space with certain properties generalizing those of the real line and of l. Metric spaces joseph muscat2003 last revised may 2009 a revised and expanded version of these notes are now published by springer. The ultralimit of a sequence of metric spaces is a geodesic space if every metric space in the sequence was a geodesic space however they do not explain, why i am allowed to consider a geodesic space if i start with just an intrinsic one. On few occasions, i have also shown that if we want to extend the result from metric spaces to topological spaces, what kind. It saves the readerresearcher or student so much leg work to be able to have every fundamental fact of metric spaces in one book. What topological spaces can do that metric spaces cannot82 12. In order to motivate the definition of ultrafilters and ultralimits, let us pursue. One can describe the limiting behavior of the sequence x i by studying limits of sequences of finites subsets y i.
In mathematics, a metric or distance function is a function that defines a distance between each pair of elements of a set. Mathematics stack exchange is a question and answer site for people studying math at any level and professionals in related fields. Note that embeddings are a generic term for any map from a metric into another. U nofthem, the cartesian product of u with itself n times. A metric space is a pair x, d, where x is a set and d is a metric on x. Diameter of metric spaces mathematics stack exchange. The ultralimit of products of spaces is the product of the cor responding ultralimits. Ultrafilters are an efficient techn ical device for simultaneously taking limits of all such sequences of subspaces and putting them tgether to form one object, namely, an ultralimit of x i see kl95, kl97, kkl98. Extensions of uniformly continuous transformations and hyperconvex metric spaces. Introduction when we consider properties of a reasonable function, probably the. A sequence xn of points of x is a cauchy sequence on x,d if for all.
It is not hard to check that d is a metric on x, usually referred to as the discrete metric. It helps to have a unifying framework for discussing both random variables and stochastic processes, as well as their convergence, and such a framework is provided by metric spaces. 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. Often d is omitted and one just writes x for a metric space if it is clear from the context what metric is being used.
941 382 614 173 1472 106 740 177 409 84 1050 37 612 577 887 607 688 1148 447 252 496 267 1314 306 236 697 565 1382 476 897 583 1395 1174 311 1376 894