|
Computational Topology
Algorithmic topology, or computational topology, is a subfield of topology with an overlap with areas of computer science, in particular, computational geometry and computational complexity theory. A primary concern of algorithmic topology, as its name suggests, is to develop efficient algorithms for solving problems that arise naturally in fields such as computational geometry, graphics, robotics, structural biology and chemistry, using methods from computable topology. Major algorithms by subject area Algorithmic 3-manifold theory A large family of algorithms concerning 3-manifolds revolve around normal surface theory, which is a phrase that encompasses several techniques to turn problems in 3-manifold theory into integer linear programming problems. * ''Rubinstein and Thompson's 3-sphere recognition algorithm''. This is an algorithm that takes as input a triangulated 3-manifold and determines whether or not the manifold is homeomorphic to the 3-sphere. It has exponential ru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Twist (mathematics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity (mathematics), continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopy, homotopies. A property that is invariant under such deformations is a topological property. Basic exampl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Warwick
The University of Warwick ( ; abbreviated as ''Warw.'' in post-nominal letters) is a public research university on the outskirts of Coventry between the West Midlands (county), West Midlands and Warwickshire, England. The university was founded in 1965 as part of a government initiative to expand higher education. The Warwick Business School was established in 1967, the Warwick Law School in 1968, WMG, University of Warwick, Warwick Manufacturing Group (WMG) in 1980, and Warwick Medical School in 2000. Warwick incorporated Coventry College of Education in 1979 and Horticulture Research International in 2004. Warwick is primarily based on a campus on the outskirts of Coventry, with a satellite campus in Wellesbourne and a central London base at the Shard. It is organised into three faculties—Arts, Science Engineering and Medicine, and Social Sciences—within which there are 32 departments. As of 2021, Warwick has around 29,534 full-time students and 2,691 academic and research ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mapping Class Group
In mathematics, in the subfield of geometric topology, the mapping class group is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space. Motivation Consider a topological space, that is, a space with some notion of closeness between points in the space. We can consider the set of homeomorphisms from the space into itself, that is, continuous maps with continuous inverses: functions which stretch and deform the space continuously without breaking or gluing the space. This set of homeomorphisms can be thought of as a space itself. It forms a group under functional composition. We can also define a topology on this new space of homeomorphisms. The open sets of this new function space will be made up of sets of functions that map compact subsets ''K'' into open subsets ''U'' as ''K'' and ''U'' range throughout our original topological space, completed with their finite intersect ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dehn Twist
In geometric topology, a branch of mathematics, a Dehn twist is a certain type of self-homeomorphism of a surface (two-dimensional manifold). Definition Suppose that ''c'' is a simple closed curve in a closed, orientable surface ''S''. Let ''A'' be a tubular neighborhood of ''c''. Then ''A'' is an annulus, homeomorphic to the Cartesian product of a circle and a unit interval ''I'': :c \subset A \cong S^1 \times I. Give ''A'' coordinates (''s'', ''t'') where ''s'' is a complex number of the form e^ with \theta \in , 2\pi and . Let ''f'' be the map from ''S'' to itself which is the identity outside of ''A'' and inside ''A'' we have :f(s, t) = \left(se^, t\right). Then ''f'' is a Dehn twist about the curve ''c''. Dehn twists can also be defined on a non-orientable surface ''S'', provided one starts with a 2-sided simple closed curve ''c'' on ''S''. Example Consider the torus represented by a fundamental polygon with edges ''a'' and ''b'' :\mathbb^2 \cong \mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Topology
The ''Journal of Topology'' is a peer-reviewed scientific journal which publishes papers of high quality and significance in topology, geometry, and adjacent areas of mathematics. It was established in 2008, when the Editorial Board of ''Topology'' resigned due to the increasing costs of Elsevier's subscriptions. The journal is owned and managed by the London Mathematical Society and produced, distributed, sold and marketed by John Wiley & Sons. It appears quarterly with articles published individually online prior to appearing in a printed issue. Editorial Board * Arthur Bartels (University of Münster) * Andrew Blumberg (University of Texas at Austin) * Jeffrey Brock (Yale University) * Simon Donaldson (Imperial College London) * Cornelia Druţu Badea (University of Oxford) * Mark Gross (University of Cambridge) * Lars Hesselholt (University of Copenhagen) * Misha Kapovich (UC Davis) *Frances Kirwan (University of Oxford) * Marc Lackenby (University of Oxford) * Osca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surgery Theory
In mathematics, specifically in geometric topology, surgery theory is a collection of techniques used to produce one finite-dimensional manifold from another in a 'controlled' way, introduced by . Milnor called this technique ''surgery'', while Andrew Wallace called it spherical modification. The "surgery" on a differentiable manifold ''M'' of dimension n=p+q+1, could be described as removing an imbedded sphere of dimension ''p'' from ''M''. Originally developed for differentiable (or, smooth) manifolds, surgery techniques also apply to piecewise linear (PL-) and topological manifolds. Surgery refers to cutting out parts of the manifold and replacing it with a part of another manifold, matching up along the cut or boundary. This is closely related to, but not identical with, handlebody decompositions. More technically, the idea is to start with a well-understood manifold ''M'' and perform surgery on it to produce a manifold ''M''′ having some desired property, in such a way th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Knot (mathematics)
In mathematics, a knot is an embedding of the circle into three-dimensional Euclidean space, (also known as ). Often two knots are considered equivalent if they are ambient isotopic, that is, if there exists a continuous deformation of which takes one knot to the other. A crucial difference between the standard mathematical and conventional notions of a knot is that mathematical knots are closed — there are no ends to tie or untie on a mathematical knot. Physical properties such as friction and thickness also do not apply, although there are mathematical definitions of a knot that take such properties into account. The term ''knot'' is also applied to embeddings of in , especially in the case . The branch of mathematics that studies knots is known as knot theory and has many relations to graph theory. Formal definition A knot is an embedding of the circle () into three-dimensional Euclidean space (), or the 3-sphere (), since the 3-sphere is compact. Two knots are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SnapPea
SnapPea is free software designed to help mathematicians, in particular low-dimensional topologists, study hyperbolic 3-manifolds. The primary developer is Jeffrey Weeks, who created the first version as part of his doctoral thesis, supervised by William Thurston. It is not to be confused with the unrelated android malware with the same name. The latest version is 3.0d3. Marc Culler, Nathan Dunfield and collaborators have extended the SnapPea kernel and written Python extension modules which allow the kernel to be used in a Python program or in the interpreter. They also provide a graphical user interface written in Python which runs under most operating systems (see external links below). The following people are credited in SnapPea 2.5.3's list of acknowledgments: Colin Adams, Bill Arveson, Pat Callahan, Joe Christy, Dave Gabai, Charlie Gunn, Martin Hildebrand, Craig Hodgson, Diane Hoffoss, A. C. Manoharan, Al Marden, Dick McGehee, Rob Meyerhoff, Lee Mosher, Wal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
JSJ Decomposition
In mathematics, the JSJ decomposition, also known as the toral decomposition, is a topological construct given by the following theorem: :Irreducible orientable closed (i.e., compact and without boundary) 3-manifolds have a unique (up to isotopy) minimal collection of disjointly embedded incompressible tori such that each component of the 3-manifold obtained by cutting along the tori is either atoroidal or Seifert-fibered. The acronym JSJ is for William Jaco, Peter Shalen, and Klaus Johannson. The first two worked together, and the third worked independently. The characteristic submanifold An alternative version of the JSJ decomposition states: :A closed irreducible orientable 3-manifold ''M'' has a submanifold Σ that is a Seifert manifold (possibly disconnected and with boundary) whose complement is atoroidal (and possibly disconnected). The submanifold Σ with the smallest number of boundary tori is called the characteristic submanifold of ''M''; it is unique (up to iso ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Word Problem For Groups
In mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a finitely generated group ''G'' is the algorithmic problem of deciding whether two words in the generators represent the same element. More precisely, if ''A'' is a finite set of generators for ''G'' then the word problem is the membership problem for the formal language of all words in ''A'' and a formal set of inverses that map to the identity under the natural map from the free monoid with involution on ''A'' to the group ''G''. If ''B'' is another finite generating set for ''G'', then the word problem over the generating set ''B'' is equivalent to the word problem over the generating set ''A''. Thus one can speak unambiguously of the decidability of the word problem for the finitely generated group ''G''. The related but different uniform word problem for a class ''K'' of recursively presented groups is the algorithmic problem of deciding, given as input a pres ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
