|
Reshetnyak Gluing Theorem
In metric geometry, the Reshetnyak gluing theorem gives information on the structure of a geometric object built by using as building blocks other geometric objects, belonging to a well defined class. Intuitively, it states that a manifold obtained by joining (i.e. "''gluing''") together, in a precisely defined way, other manifolds having a given property inherit that very same property. The theorem was first stated and proved by Yurii Reshetnyak in 1968.See the original paper by or the book by . Statement Theorem: Let X_i be complete locally compact geodesic metric spaces of CAT curvature \leq \kappa, and C_i\subset X_i convex subsets which are isometric. Then the manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a n ... X, obtained by gluing all X_i along all C_i, is also o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Geometry
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] |
Class (mathematics)
In set theory and its applications throughout mathematics, a class is a collection of sets (or sometimes other mathematical objects) that can be unambiguously defined by a property that all its members share. Classes act as a way to have set-like collections while differing from sets so as to avoid Russell's paradox (see ). The precise definition of "class" depends on foundational context. In work on Zermelo–Fraenkel set theory, the notion of class is informal, whereas other set theories, such as von Neumann–Bernays–Gödel set theory, axiomatize the notion of "proper class", e.g., as entities that are not members of another entity. A class that is not a set (informally in Zermelo–Fraenkel) is called a proper class, and a class that is a set is sometimes called a small class. For instance, the class of all ordinal numbers, and the class of all sets, are proper classes in many formal systems. In Quine's set-theoretical writing, the phrase "ultimate class" is often used ins ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of n-dimensional Euclidean space. One-dimensional manifolds include lines and circles, but not lemniscates. Two-dimensional manifolds are also called surfaces. Examples include the plane, the sphere, and the torus, and also the Klein bottle and real projective plane. The concept of a manifold is central to many parts of geometry and modern mathematical physics because it allows complicated structures to be described in terms of well-understood topological properties of simpler spaces. Manifolds naturally arise as solution sets of systems of equations and as graphs of functions. The concept has applications in computer-graphics given the need to associate pictures with coordinates (e.g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yurii Reshetnyak
Yurii Grigorievich Reshetnyak (russian: Ю́рий Григо́рьевич Решетня́к, 26 September 1929 – 17 December 2021) was a Soviet and Russian mathematician and academician. He worked in geometry and the theory of functions of a real variable. He was known for his work in the Reshetnyak gluing theorem. Reshetnyak received the 2000 Lobachevsky Prize from the Russian Academy of Sciences The Russian Academy of Sciences (RAS; russian: Росси́йская акаде́мия нау́к (РАН) ''Rossíyskaya akadémiya naúk'') consists of the national academy of Russia; a network of scientific research institutes from across t .... Reshetnyak died on 17 December 2021, at the age of 92. Selected publications * *with A. D. Aleksandrov: References 1929 births 2021 deaths Mathematicians from Saint Petersburg Soviet mathematicians {{math-bio-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Metric Space
In mathematical analysis, a metric space is called complete (or a Cauchy space) if every Cauchy sequence of points in has a limit that is also in . Intuitively, a space is complete if there are no "points missing" from it (inside or at the boundary). For instance, the set of rational numbers is not complete, because e.g. \sqrt is "missing" from it, even though one can construct a Cauchy sequence of rational numbers that converges to it (see further examples below). It is always possible to "fill all the holes", leading to the ''completion'' of a given space, as explained below. Definition Cauchy sequence A sequence x_1, x_2, x_3, \ldots in a metric space (X, d) is called Cauchy if for every positive real number r > 0 there is a positive integer N such that for all positive integers m, n > N, d\left(x_m, x_n\right) < r. Complete space A metric space is complete if any of the following equivalent conditions are satisfied: :#Every |
Locally Compact
In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which every point has a compact neighborhood. In mathematical analysis locally compact spaces that are Hausdorff are of particular interest; they are abbreviated as LCH spaces. Formal definition Let ''X'' be a topological space. Most commonly ''X'' is called locally compact if every point ''x'' of ''X'' has a compact neighbourhood, i.e., there exists an open set ''U'' and a compact set ''K'', such that x\in U\subseteq K. There are other common definitions: They are all equivalent if ''X'' is a Hausdorff space (or preregular). But they are not equivalent in general: :1. every point of ''X'' has a compact neighbourhood. :2. every point of ''X'' has a closed compact neighbourhood. :2′. every point of ''X'' has a relatively compact neighbourhoo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geodesic
In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line". The noun '' geodesic'' and the adjective ''geodetic'' come from ''geodesy'', the science of measuring the size and shape of Earth, though many of the underlying principles can be applied to any ellipsoidal geometry. In the original sense, a geodesic was the shortest route between two points on the Earth's surface. For a spherical Earth, it is a segment of a great circle (see also great-circle distance). The term has since been generalized to more abstract mathematical spaces; for example, in graph theory, one might consider a geodesic between two vertices/nodes of a graph. In a Riemannian manifold or submanifold, geodesics are characterised by the property of having vanishin ... [...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] |
CAT(k) Space
In mathematics, a \mathbf(k) space, where k is a real number, is a specific type of metric space. Intuitively, triangles in a \operatorname(k) space are "slimmer" than corresponding "model triangles" in a standard space of constant curvature k. In a \operatorname(k) space, the curvature is bounded from above by k. A notable special case is k=0; complete \operatorname(0) spaces are known as "Hadamard spaces" after the French mathematician Jacques Hadamard. Originally, Aleksandrov called these spaces “\mathfrak_k domain”. The terminology \operatorname(k) was coined by Mikhail Gromov in 1987 and is an acronym for Élie Cartan, Aleksandr Danilovich Aleksandrov and Victor Andreevich Toponogov (although Toponogov never explored curvature bounded above in publications). Definitions For a real number k, let M_k denote the unique complete simply connected surface (real 2-dimensional Riemannian manifold) with constant curvature k. Denote by D_k the diameter of M_k, which is \in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Convex Set
In geometry, a subset of a Euclidean space, or more generally an affine space over the reals, is convex if, given any two points in the subset, the subset contains the whole line segment that joins them. Equivalently, a convex set or a convex region is a subset that intersects every line into a single line segment (possibly empty). For example, a solid cube is a convex set, but anything that is hollow or has an indent, for example, a crescent shape, is not convex. The boundary of a convex set is always a convex curve. The intersection of all the convex sets that contain a given subset of Euclidean space is called the convex hull of . It is the smallest convex set containing . A convex function is a real-valued function defined on an interval with the property that its epigraph (the set of points on or above the graph of the function) is a convex set. Convex minimization is a subfield of optimization that studies the problem of minimizing convex functions over convex se ... [...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] |
Sibirskii Matematicheskii Zhurnal
The ''Siberian Mathematical Journal'' (abbreviated as Sib. Math. J.) is a cover-to-cover English translation of the Russian peer-reviewed mathematics journal ''Sibirskii Matematicheskii Zhurnal'', a publication of the Sobolev Institute of Mathematics of the Siberian Division of the Russian Academy of Sciences (Novosibirsk). ''Sibirskii Matematicheskii Zhurnal'' was established in 1960 and the ''Siberian Mathematical Journal'' was launched in 1966. It is published by Springer Science+Business Media. The journal publishes research papers in all branches of 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 ..., including functional analysis, differential equations, algebra and logic, geometry and topology, probability theory and mathematical statistics, ill-pose ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
