Natural Pseudodistance
   HOME
*





Natural Pseudodistance
In size theory, the natural pseudodistance between two size pairs (M,\varphi:M\to \mathbb)\ , (N,\psi:N\to \mathbb)\ is the value \inf_h \, \varphi-\psi\circ h\, _\infty\ , where h\ varies in the set of all homeomorphisms from the manifold M\ to the manifold N\ and \, \cdot\, _\infty\ is the supremum norm. If M\ and N\ are not homeomorphic, then the natural pseudodistance is defined to be \infty\ . It is usually assumed that M\ , N\ are C^1\ closed manifolds and the measuring functions \varphi,\psi\ are C^1\ . Put another way, the natural pseudodistance measures the infimum of the change of the measuring function induced by the homeomorphisms from M\ to N\ . The concept of natural pseudodistance can be easily extended to size pairs where the measuring function \varphi\ takes values in \mathbb^m\ .Patrizio Frosini, Michele Mulazzani, ''Size homotopy groups for computation of natural size distances'', Bulletin of the Belgian Mathematical Society, 6:455-464, 1999. When ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Size Theory
In mathematics, size theory studies the properties of topological spaces endowed with \mathbb^k-valued functions, with respect to the change of these functions. More formally, the subject of size theory is the study of the natural pseudodistance between size pairs. A survey of size theory can be found in .Silvia Biasotti, Leila De Floriani, Bianca Falcidieno, Patrizio Frosini, Daniela Giorgi, Claudia Landi, Laura Papaleo, Michela Spagnuolo, Describing shapes by geometrical-topological properties of real functions, ACM Computing Surveys, vol. 40 (2008), n. 4, 12:1–12:87. History and applications The beginning of size theory is rooted in the concept of size function, introduced by Frosini.Patrizio Frosini, ''A distance for similarity classes of submanifolds of a Euclidean space'', Bulletin of the Australian Mathematical Society, 42(3):407–416, 1990. Size functions have been initially used as a mathematical tool for shape comparison in computer vision and pattern recogn ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Size Pair
In mathematics, size theory studies the properties of topological spaces endowed with \mathbb^k-valued functions, with respect to the change of these functions. More formally, the subject of size theory is the study of the natural pseudodistance between size pairs. A survey of size theory can be found in .Silvia Biasotti, Leila De Floriani, Bianca Falcidieno, Patrizio Frosini, Daniela Giorgi, Claudia Landi, Laura Papaleo, Michela Spagnuolo, Describing shapes by geometrical-topological properties of real functions, ACM Computing Surveys, vol. 40 (2008), n. 4, 12:1–12:87. History and applications The beginning of size theory is rooted in the concept of size function, introduced by Frosini.Patrizio Frosini, ''A distance for similarity classes of submanifolds of a Euclidean space'', Bulletin of the Australian Mathematical Society, 42(3):407–416, 1990. Size functions have been initially used as a mathematical tool for shape comparison in computer vision and pattern reco ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Homeomorphism
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. The word ''homeomorphism'' comes from the Greek words '' ὅμοιος'' (''homoios'') = similar or same and '' μορφή'' (''morphē'') = shape or form, introduced to mathematics by Henri Poincaré in 1895. Very roughly speaking, a topological space is a geometric object, and the homeomorphism is a continuous stretching and bending of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this desc ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Supremum Norm
In mathematical analysis, the uniform norm (or ) assigns to real- or complex-valued bounded functions defined on a set the non-negative number :\, f\, _\infty = \, f\, _ = \sup\left\. This norm is also called the , the , the , or, when the supremum is in fact the maximum, the . The name "uniform norm" derives from the fact that a sequence of functions converges to under the metric derived from the uniform norm if and only if converges to uniformly. If is a continuous function on a closed and bounded interval, or more generally a compact set, then it is bounded and the supremum in the above definition is attained by the Weierstrass extreme value theorem, so we can replace the supremum by the maximum. In this case, the norm is also called the . In particular, if is some vector such that x = \left(x_1, x_2, \ldots, x_n\right) in finite dimensional coordinate space, it takes the form: :\, x\, _\infty := \max \left(\left, x_1\ , \ldots , \left, x_n\\right). Metric and ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Closed Manifold
In mathematics, a closed manifold is a manifold without boundary that is compact. In comparison, an open manifold is a manifold without boundary that has only ''non-compact'' components. Examples The only connected one-dimensional example is a circle. The sphere, torus, and the Klein bottle are all closed two-dimensional manifolds. A line is not closed because it is not compact. A closed disk is a compact two-dimensional manifold, but it is not closed because it has a boundary. Open manifolds For a connected manifold, "open" is equivalent to "without boundary and non-compact", but for a disconnected manifold, open is stronger. For instance, the disjoint union of a circle and a line is non-compact since a line is non-compact, but this is not an open manifold since the circle (one of its components) is compact. Abuse of language Most books generally define a manifold as a space that is, locally, homeomorphic to Euclidean space (along with some other technical con ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Measuring Function
Size functions are shape descriptors, in a geometrical/topological sense. They are functions from the half-plane x to the natural numbers, counting certain Connected component (topology), connected components of a topological space. They are used in pattern recognition and topology.


Formal definition

In size theory, the size function \ell_:\Delta^+=\\to \mathbb associated with the size pair (M,\varphi:M\to \mathbb) is defined in the following way. For every (x,y)\in \Delta^+, \ell_(x,y) is equal to the number of connected components of the set \ that contain at least one point at which the measuring function (a continuous function from a topological space M to \mathbb^k Patrizio Frosini and Claudia Landi, ''Size Theory as a Topological Tool for Computer Vision'', Pattern Recognition And Image Analysis, 9(4):596–603, 1999.
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Bulletin Of The Belgian Mathematical Society
''Simon Stevin'' was a Dutch language academic journal in pure and applied mathematics, or ''Wiskunde'' as the field is known in Dutch. Published in Ghent, edited by Guy Hirsch, it ran for 67 volumes until 1993.''Simon Stevin''
from The journal is named after (1548–1620), a

Discrete & Computational Geometry
'' Discrete & Computational Geometry'' is a peer-reviewed mathematics journal published quarterly by Springer. Founded in 1986 by Jacob E. Goodman and Richard M. Pollack, the journal publishes articles on discrete geometry and computational geometry. Abstracting and indexing The journal is indexed in: * ''Mathematical Reviews'' * ''Zentralblatt MATH'' * ''Science Citation Index'' * ''Current Contents''/Engineering, Computing and Technology Notable articles The articles by Gil Kalai with a proof of a subexponential upper bound on the diameter of a polyhedron and by Samuel Ferguson on the Kepler conjecture, both published in Discrete & Computational geometry, earned their author the Fulkerson Prize The Fulkerson Prize for outstanding papers in the area of discrete mathematics is sponsored jointly by the Mathematical Optimization Society (MOS) and the American Mathematical Society (AMS). Up to three awards of $1,500 each are presented at e .... References External link ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Nature Machine Intelligence
''Nature Machine Intelligence'' is a monthly peer-reviewed scientific journal published by Nature Portfolio covering machine learning and artificial intelligence. The editor-in-chief is Liesbeth Venema. History The journal was created in response to the machine learning explosion of the 2010s. It launched in January 2019, and its opening was met with controversy and boycotts within the machine learning research community due to opposition to Nature publishing the journal as closed access. To address this issue, now Nature Machine Intelligence gives authors an option to publish open access papers for an additional fee, and "authors remain owners of the research reported, and the code and data supporting the main findings of an article should be openly available. Moreover, preprints are allowed, in fact encouraged, and a link to the preprint can be added below the abstract, visible to all readers." Abstracting and indexing According to the ''Journal Citation Reports'', the journa ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematical Methods In The Applied Sciences
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 poi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Journal Of The European Mathematical Society
'' Journal of the European Mathematical Society'' is a monthly peer-reviewed mathematical journal. Founded in 1999, the journal publishes articles on all areas of pure and applied mathematics. Most published articles are original research articles but the journal also publishes survey articles.Summary of the journal
The journal has been published by until 2003. Since 2004, it is published by the . The first editor-in-chief was

Fréchet Surface
In mathematics, a Fréchet surface is an equivalence class of parametrized surfaces in a metric space. In other words, a Fréchet surface is a way of thinking about surfaces independently of how they are "written down" (parametrized). The concept is named after the French mathematician Maurice Fréchet. Definitions Let M be a compact 2- dimensional manifold, either closed Closed may refer to: Mathematics * Closure (mathematics), a set, along with operations, for which applying those operations on members always results in a member of the set * Closed set, a set which contains all its limit points * Closed interval, ... or with boundary, and let (X, d) be a metric space. A parametrized surface in X is a map f : M \to X that is continuous with respect to the topology on M and the metric topology on X. Let \rho(f, g) = \inf_ \max_ d(f(x), g(\sigma(x))), where the infimum is taken over all homeomorphisms \sigma of M to itself. Call two parametrized surfaces f and f in X equi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]