|
Metric Space Aimed At Its Subspace
In mathematics, a metric space aimed at its subspace is a categorical construction that has a direct geometric meaning. It is also a useful step toward the construction of the ''metric envelope'', or tight span, which are basic (injective) objects of the category of metric spaces. Following , a notion of a metric space ''Y'' aimed at its subspace ''X'' is defined. Informal introduction Informally, imagine terrain ''Y'', and its part ''X'', such that wherever in ''Y'' you place a sharpshooter, and an apple at another place in ''Y'', and then let the sharpshooter fire, the bullet will go through the apple and will always hit a point of ''X'', or at least it will fly arbitrarily close to points of ''X'' – then we say that ''Y'' is aimed at ''X''. A priori, it may seem plausible that for a given ''X'' the superspaces ''Y'' that aim at ''X'' can be arbitrarily large or at least huge. We will see that this is not the case. Among the spaces which aim at a subspace isometric to ''X ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, category theory is used in almost all areas of mathematics, and in some areas of computer science. In particular, many constructions of new mathematical objects from previous ones, that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality. A category is formed by two sorts of objects: the objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. One often says that a morphism is an ''arrow'' that ''maps'' its source to its target. Morphisms can be ''composed'' if the target of the first morphism equals the source of the second one, and morphism compos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tight Span
In metric geometry, the metric envelope or tight span of a metric space ''M'' is an injective metric space into which ''M'' can be embedded. In some sense it consists of all points "between" the points of ''M'', analogous to the convex hull of a point set in a Euclidean space. The tight span is also sometimes known as the injective envelope or hyperconvex hull of ''M''. It has also been called the injective hull, but should not be confused with the injective hull of a module in algebra, a concept with a similar description relative to the category of ''R''-modules rather than metric spaces. The tight span was first described by , and it was studied and applied by Holsztyński in the 1960s. It was later independently rediscovered by and ; see for this history. The tight span is one of the central constructions of T-theory. Definition The tight span of a metric space can be defined as follows. Let (''X'',''d'') be a metric space, and let ''T''(''X'') be the set of extremal functio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane. A metric may correspond to a metaphorical, rather than physical, notion of distance: for example, the set of 100-character Unicode strings can be equipped with the Hamming distance, which measures the number of characters that need to be changed to get from one string to another. Since they are very general, metric spaces are a tool used in many different branches of mathematics. Many types of mathematical objects have a natural notion of distance and t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Up To
Two Mathematical object, mathematical objects ''a'' and ''b'' are called equal up to an equivalence relation ''R'' * if ''a'' and ''b'' are related by ''R'', that is, * if ''aRb'' holds, that is, * if the equivalence classes of ''a'' and ''b'' with respect to ''R'' are equal. This figure of speech is mostly used in connection with expressions derived from equality, such as uniqueness or count. For example, ''x'' is unique up to ''R'' means that all objects ''x'' under consideration are in the same equivalence class with respect to the relation ''R''. Moreover, the equivalence relation ''R'' is often designated rather implicitly by a generating condition or transformation. For example, the statement "an integer's prime factorization is unique up to ordering" is a concise way to say that any two lists of prime factors of a given integer are equivalent with respect to the relation ''R'' that relates two lists if one can be obtained by reordering (permutation) from the other. As anot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isometry
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' meaning "equal", and μέτρον ''metron'' meaning "measure". Introduction Given a metric space (loosely, a set and a scheme for assigning distances between elements of the set), an isometry is a transformation which maps elements to the same or another metric space such that the distance between the image elements in the new metric space is equal to the distance between the elements in the original metric space. In a two-dimensional or three-dimensional Euclidean space, two geometric figures are congruent if they are related by an isometry; the isometry that relates them is either a rigid motion (translation or rotation), or a composition of a rigid motion and a reflection. Isometries are often used in constructions where one space i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Property
In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently from the method chosen for constructing them. For example, the definitions of the integers from the natural numbers, of the rational numbers from the integers, of the real numbers from the rational numbers, and of polynomial rings from the field of their coefficients can all be done in terms of universal properties. In particular, the concept of universal property allows a simple proof that all constructions of real numbers are equivalent: it suffices to prove that they satisfy the same universal property. Technically, a universal property is defined in terms of categories and functors by mean of a universal morphism (see , below). Universal morphisms can also be thought more abstractly as initial or terminal objects of a comma category ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isometric Embedding
In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group (mathematics), group that is a subgroup. When some object X is said to be embedded in another object Y, the embedding is given by some Injective function, injective and structure-preserving map f:X\rightarrow Y. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X and Y are instances. In the terminology of category theory, a structure-preserving map is called a morphism. The fact that a map f:X\rightarrow Y is an embedding is often indicated by the use of a "hooked arrow" (); thus: f : X \hookrightarrow Y. (On the other hand, this notation is sometimes reserved for inclusion maps.) Given X and Y, several different embeddings of X in Y may be possible. In many cases of interest there is a standard (or "canonical") embedding, like those of the natural numbers in the integers, the integers in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Totally Bounded
In topology and related branches of mathematics, total-boundedness is a generalization of compactness for circumstances in which a set is not necessarily closed. A totally bounded set can be covered by finitely many subsets of every fixed “size” (where the meaning of “size” depends on the structure of the ambient space). The term precompact (or pre-compact) is sometimes used with the same meaning, but precompact is also used to mean relatively compact. These definitions coincide for subsets of a complete metric space, but not in general. In metric spaces A metric space (M,d) is ''totally bounded'' if and only if for every real number \varepsilon > 0, there exists a finite collection of open balls in ''M'' of radius \varepsilon whose union contains . Equivalently, the metric space ''M'' is totally bounded if and only if for every \varepsilon >0, there exists a finite cover such that the radius of each element of the cover is at most \varepsilon. This is equiva ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Map
In the mathematical theory of metric spaces, a metric map is a function between metric spaces that does not increase any distance (such functions are always continuous). These maps are the morphisms in the category of metric spaces, Met (Isbell 1964). They are also called Lipschitz functions with Lipschitz constant 1, nonexpansive maps, nonexpanding maps, weak contractions, or short maps. Specifically, suppose that ''X'' and ''Y'' are metric spaces and ƒ is a function from ''X'' to ''Y''. Thus we have a metric map when, for any points ''x'' and ''y'' in ''X'', : d_(f(x),f(y)) \leq d_(x,y) . \! Here ''d''''X'' and ''d''''Y'' denote the metrics on ''X'' and ''Y'' respectively. Examples Let us consider the metric space ,1/2/math> with the Euclidean metric. Then the function f(x)=x^2 is a metric map, since for x\ne y, , f(x)-f(y), =, x+y, , x-y, <, x-y, . Category of metric maps The |
Contraction Mapping
In mathematics, a contraction mapping, or contraction or contractor, on a metric space (''M'', ''d'') is a function ''f'' from ''M'' to itself, with the property that there is some real number 0 \leq k < 1 such that for all ''x'' and ''y'' in ''M'', : The smallest such value of ''k'' is called the Lipschitz constant of ''f''. Contractive maps are sometimes called Lipschitzian maps. If the above condition is instead satisfied for ''k'' ≤ 1, then the mapping is said to be a . More generally, the idea of a contractive mapping can be defined for maps between metric spaces. Thus, if (''M'', ''d'') and (''N'', ''d) are two metric spaces, then is a contractive mapping if there is a constant such that : [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Injective Metric Space
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∞ distances in higher-dimensional vector spaces. These properties can be defined in two seemingly different ways: hyperconvexity involves the intersection properties of closed balls in the space, while injectivity involves the isometric embeddings of the space into larger spaces. However it is a theorem of that these two different types of definitions are equivalent. Hyperconvexity A metric space X is said to be hyperconvex if it is convex and its closed balls have the binary Helly property. That is: #Any two points x and y can be connected by the isometric image of a line segment of length equal to the distance between the points (i.e. X is a path space). #If F is any family of closed balls _r(p) = \ such that each pair of balls in F meets, then there exists a point x common to all the balls in F. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
