|
Bing–Borsuk Conjecture
In mathematics, the Bing–Borsuk conjecture states that every n-dimensional homogeneous absolute neighborhood retract space is a topological manifold. The conjecture has been proved for dimensions 1 and 2, and it is known that the 3-dimensional version of the conjecture implies the Poincaré conjecture. Definitions A topological space is ''homogeneous'' if, for any two points m_1, m_2 \in M, there is a homeomorphism of M which takes m_1 to m_2. A metric space M is an absolute neighborhood retract (ANR) if, for every closed embedding f: M \rightarrow N (where N is a metric space), there exists an open neighbourhood U of the image f(M) which retracts to f(M). There is an alternate statement of the Bing–Borsuk conjecture: suppose M is embedded in \mathbb^ for some m \geq 3 and this embedding can be extended to an embedding of M \times (-\varepsilon, \varepsilon). If M has a mapping cylinder neighbourhood N=C_\varphi of some map \varphi: \partial N \rightarrow M with mapping cyl ... [...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] |
Embedding
In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a 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 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 the rational numbers, the rational n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjectures
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 1995 by Andrew Wiles), have shaped much of mathematical history as new areas of mathematics are developed in order to prove them. Important examples Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers a, ''b'', and ''c'' can satisfy the equation ''a^n + b^n = c^n'' for any integer value of ''n'' greater than two. This theorem was first conjectured by Pierre de Fermat in 1637 in the margin of a copy of '' Arithmetica'', where he claimed that he had a proof that was too large to fit in the margin. The first successful proof was released in 1994 by Andrew Wiles, and formally published in 1995, after 358 years of effort by mathe ... [...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] |
Busemann G-space
In mathematics, a Busemann ''G''-space is a type of metric space first described by Herbert Busemann in 1942. If (X,d) is a metric space such that # for every two distinct x, y \in X there exists z \in X-\ such that d(x,z)+d(y,z)=d(x,z) ( Menger convexity) # every d-bounded set of infinite cardinality possesses accumulation points # for every w \in X there exists \rho_w such that for any distinct points x,y \in B(w,\rho_w) there exists z \in ( b(w,\rho_w)-\ )^\circ such that d(x,z)+d(y,z)=d(x,z) ( geodesics are locally extendable) # for any distinct points x,y \in X, if u,v \in X such that d(x,u)+d(y,u)=d(x,u), d(x,v)+d(y,v)=d(x,v) and d(y,u)=d(y,v) (geodesic extensions are unique). then ''X'' is said to be a ''Busemann'' ''G''-''space''. Every Busemann ''G''-space is a homogenous space. The Busemann conjecture states that every Busemann ''G''-space is a topological manifold. It is a special case of the Bing–Borsuk conjecture In mathematics, the Bing–Borsuk conjecture ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Busemann Conjecture
Busemann is a German surname. Notable people with the surname include: * Adolf Busemann (1901–1986), German-American aerospace engineer, inventor of Busemann's Biplane * Frank Busemann (born 1975), a German decathlete * Herbert Busemann Herbert Busemann (12 May 1905 – 3 February 1994) was a German-American mathematician specializing in convex and differential geometry. He is the author of Busemann's theorem in Euclidean geometry and geometric tomography. He was a member of ... (1905–1994), a German-American mathematician, the author of Busemann's theorem See also * Busemann biplane * Busemann's theorem * Busemann function {{surname, Busemann German-language surnames ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Karol Borsuk
Karol Borsuk (May 8, 1905 – January 24, 1982) was a Polish mathematician. His main interest was topology, while he obtained significant results also in functional analysis. Borsuk introduced the theory of '' absolute retracts'' (ARs) and ''absolute neighborhood retracts'' (ANRs), and the cohomotopy groups, later called Borsuk– Spanier cohomotopy groups. He also founded shape theory. He has constructed various beautiful examples of topological spaces, e.g. an acyclic, 3-dimensional continuum which admits a fixed point free homeomorphism onto itself; also 2-dimensional, contractible polyhedra which have no free edge. His topological and geometric conjectures and themes stimulated research for more than half a century; in particular, his open problems stimulated the infinite-dimensional topology. Borsuk received his master's degree and doctorate from Warsaw University in 1927 and 1930, respectively; his PhD thesis advisor was Stefan Mazurkiewicz. He was a member of the Polish ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Approximate Fibration
In algebraic topology, a branch of mathematics, an approximate fibration is a sort of fibration such that the homotopy lifting property In mathematics, in particular in homotopy theory within algebraic topology, the homotopy lifting property (also known as an instance of the right lifting property or the covering homotopy axiom) is a technical condition on a continuous function from ... holds only approximately. The notion was introduced by Coram and Duvall in 1977. A manifold approximate fibration is a proper approximate fibration between manifolds. Some authors believe that manifold approximate fibrations are the "correct bundle theory for topological manifolds and singular spaces". References * Further reading nLab - approximate fibration Algebraic topology {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Retraction (topology)
In topology, a branch of mathematics, a retraction is a continuous mapping from a topological space into a subspace that preserves the position of all points in that subspace. The subspace is then called a retract of the original space. A deformation retraction is a mapping that captures the idea of ''continuously shrinking'' a space into a subspace. An absolute neighborhood retract (ANR) is a particularly well-behaved type of topological space. For example, every topological manifold is an ANR. Every ANR has the homotopy type of a very simple topological space, a CW complex. Definitions Retract Let ''X'' be a topological space and ''A'' a subspace of ''X''. Then a continuous map :r\colon X \to A is a retraction if the restriction of ''r'' to ''A'' is the identity map on ''A''; that is, r(a) = a for all ''a'' in ''A''. Equivalently, denoting by :\iota\colon A \hookrightarrow X the inclusion, a retraction is a continuous map ''r'' such that :r \circ \iota = \operatorname_A, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homogeneous Space
In mathematics, particularly in the theories of Lie groups, algebraic groups and topological groups, a homogeneous space for a group ''G'' is a non-empty manifold or topological space ''X'' on which ''G'' acts transitively. The elements of ''G'' are called the symmetries of ''X''. A special case of this is when the group ''G'' in question is the automorphism group of the space ''X'' – here "automorphism group" can mean isometry group, diffeomorphism group, or homeomorphism group. In this case, ''X'' is homogeneous if intuitively ''X'' looks locally the same at each point, either in the sense of isometry (rigid geometry), diffeomorphism (differential geometry), or homeomorphism (topology). Some authors insist that the action of ''G'' be faithful (non-identity elements act non-trivially), although the present article does not. Thus there is a group action of ''G'' on ''X'' which can be thought of as preserving some "geometric structure" on ''X'', and making ''X'' into a singl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Open Neighbourhood
In topology and related areas of mathematics, a neighbourhood (or neighborhood) is one of the basic concepts in a topological space. It is closely related to the concepts of open set and interior. Intuitively speaking, a neighbourhood of a point is a set of points containing that point where one can move some amount in any direction away from that point without leaving the set. Definitions Neighbourhood of a point If X is a topological space and p is a point in X, then a of p is a subset V of X that includes an open set U containing p, p \in U \subseteq V \subseteq X. This is also equivalent to the point p \in X belonging to the topological interior of V in X. The neighbourhood V need be an open subset X, but when V is open in X then it is called an . Some authors have been known to require neighbourhoods to be open, so it is important to note conventions. A set that is a neighbourhood of each of its points is open since it can be expressed as the union of open se ... [...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] |
