|
Sphere Bundle
In the mathematical field of topology, a sphere bundle is a fiber bundle in which the fibers are spheres S^n of some dimension ''n''. Similarly, in a disk bundle, the fibers are disks D^n. From a topological perspective, there is no difference between sphere bundles and disk bundles: this is a consequence of the Alexander trick, which implies \operatorname(D^) \simeq \operatorname(S^n). An example of a sphere bundle is the torus, which is orientable and has S^1 fibers over an S^1 base space. The non-orientable Klein bottle also has S^1 fibers over an S^1 base space, but has a twist that produces a reversal of orientation as one follows the loop around the base space. A circle bundle is a special case of a sphere bundle. Orientation of a sphere bundle A sphere bundle that is a product space is orientable, as is any sphere bundle over a simply connected space. If ''E'' be a real vector bundle on a space ''X'' and if ''E'' is given an orientation, then a sphere bundle formed from ... [...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] |
Orientation Of A Vector Bundle
In mathematics, an orientation of a real vector bundle is a generalization of an orientation of a vector space; thus, given a real vector bundle π: ''E'' →''B'', an orientation of ''E'' means: for each fiber ''E''''x'', there is an orientation of the vector space ''E''''x'' and one demands that each trivialization map (which is a bundle map) :\phi_U : \pi^(U) \to U \times \mathbf^n is fiberwise orientation-preserving, where R''n'' is given the standard orientation. In more concise terms, this says that the structure group of the frame bundle of ''E'', which is the real general linear group ''GL''n(R), can be reduced to the subgroup consisting of those with positive determinant. If ''E'' is a real vector bundle of rank ''n'', then a choice of metric on ''E'' amounts to a reduction of the structure group to the orthogonal group ''O''(''n''). In that situation, an orientation of ''E'' amounts to a reduction from ''O''(''n'') to the special orthogonal group ''SO''(''n''). A vector ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dennis Sullivan
Dennis Parnell Sullivan (born February 12, 1941) is an American mathematician known for his work in algebraic topology, geometric topology, and dynamical systems. He holds the Albert Einstein Chair at the City University of New York Graduate Center and is a distinguished professor at Stony Brook University. Sullivan was awarded the Wolf Prize in Mathematics in 2010 and the Abel Prize in 2022. Early life and education Sullivan was born in Port Huron, Michigan, on February 12, 1941.. His family moved to Houston soon afterwards. He entered Rice University to study chemical engineering but switched his major to mathematics in his second year after encountering a particularly motivating mathematical theorem. The change was prompted by a special case of the uniformization theorem, according to which, in his own words: He received his Bachelor of Arts degree from Rice in 1963. He obtained his Doctor of Philosophy from Princeton University in 1966 with his thesis, ''Triangulating h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smale Conjecture
The Smale conjecture, named after Stephen Smale, is the statement that the diffeomorphism group of the 3-sphere has the homotopy-type of its isometry group, the orthogonal group O(4). It was proved in 1983 by Allen Hatcher. Equivalent statements There are several equivalent statements of the Smale conjecture. One is that the component of the unknot in the space of smooth embeddings of the circle in 3-space has the homotopy-type of the round circles, equivalently, O(3). Interestingly, this statement is not equivalent to the generalized Smale Conjecture, in higher dimensions. Another equivalent statement is that the group of diffeomorphisms of the 3-ball which restrict to the identity on the boundary is contractible. Yet another equivalent statement is that the space of constant-curvature Riemann metrics on the 3-sphere is contractible. Higher dimensions The (false) statement that the inclusion O(n+1) \to \text(S^n) is a weak equivalence for all n is sometimes meant whe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Fiber
In mathematics, especially homotopy theory, the homotopy fiber (sometimes called the mapping fiber)Joseph J. Rotman, ''An Introduction to Algebraic Topology'' (1988) Springer-Verlag ''(See Chapter 11 for construction.)'' is part of a construction that associates a fibration to an arbitrary continuous function of topological spaces f:A \to B. It acts as a homotopy theoretic kernel of a mapping of topological spaces due to the fact it yields a long exact sequence of homotopy groups\cdots \to \pi_(B) \to \pi_n(\text(f)) \to \pi_n(A) \to \pi_n(B) \to \cdotsMoreover, the homotopy fiber can be found in other contexts, such as homological algebra, where the distinguished triangleC(f)_\bullet 1\to A_\bullet \to B_\bullet \xrightarrowgives a long exact sequence analogous to the long exact sequence of homotopy groups. There is a dual construction called the homotopy cofiber. Construction The homotopy fiber has a simple description for a continuous map f:A \to B. If we replace f by a fibra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexandroff Extension
In the mathematical field of topology, the Alexandroff extension is a way to extend a noncompact topological space by adjoining a single point in such a way that the resulting space is compact. It is named after the Russian mathematician Pavel Alexandroff. More precisely, let ''X'' be a topological space. Then the Alexandroff extension of ''X'' is a certain compact space ''X''* together with an open embedding ''c'' : ''X'' → ''X''* such that the complement of ''X'' in ''X''* consists of a single point, typically denoted ∞. The map ''c'' is a Hausdorff compactification if and only if ''X'' is a locally compact, noncompact Hausdorff space. For such spaces the Alexandroff extension is called the one-point compactification or Alexandroff compactification. The advantages of the Alexandroff compactification lie in its simple, often geometrically meaningful structure and the fact that it is in a precise sense minimal among all compactifications; the disadvantage ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Equivalent
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deformation being called a homotopy (, ; , ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fibration
The notion of a fibration generalizes the notion of a fiber bundle and plays an important role in algebraic topology, a branch of mathematics. Fibrations are used, for example, in postnikov-systems or obstruction theory. In this article, all mappings are continuous mappings between topological spaces. Formal definitions Homotopy lifting property A mapping p \colon E \to B satisfies the homotopy lifting property for a space X if: * for every homotopy h \colon X \times , 1\to B and * for every mapping (also called lift) \tilde h_0 \colon X \to E lifting h, _ = h_0 (i.e. h_0 = p \circ \tilde h_0) there exists a (not necessarily unique) homotopy \tilde h \colon X \times , 1\to E lifting h (i.e. h = p \circ \tilde h) with \tilde h_0 = \tilde h, _. The following commutative diagram shows the situation:^ Fibration A fibration (also called Hurewicz fibration) is a mapping p \colon E \to B satisfying the homotopy lifting property for all spaces X. The space B is called base ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Circle Bundle
In mathematics, a circle bundle is a fiber bundle where the fiber is the circle S^1. Oriented circle bundles are also known as principal ''U''(1)-bundles. In physics, circle bundles are the natural geometric setting for electromagnetism. A circle bundle is a special case of a sphere bundle. As 3-manifolds Circle bundles over surfaces are an important example of 3-manifolds. A more general class of 3-manifolds is Seifert fiber spaces, which may be viewed as a kind of "singular" circle bundle, or as a circle bundle over a two-dimensional orbifold. Relationship to electrodynamics The Maxwell equations correspond to an electromagnetic field represented by a 2-form ''F'', with \pi^F being cohomologous to zero, i.e. exact. In particular, there always exists a 1-form ''A'', the electromagnetic four-potential, (equivalently, the affine connection) such that : \pi^F = dA. Given a circle bundle ''P'' over ''M'' and its projection :\pi:P\to M one has the homomorphism :\pi^*:H^2(M,\ma ... [...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] |
Klein Bottle
In topology, a branch of mathematics, the Klein bottle () is an example of a non-orientable surface; it is a two-dimensional manifold against which a system for determining a normal vector cannot be consistently defined. Informally, it is a one-sided surface which, if traveled upon, could be followed back to the point of origin while flipping the traveler upside down. Other related non-orientable objects include the Möbius strip and the real projective plane. While a Möbius strip is a surface with boundary, a Klein bottle has no boundary. For comparison, a sphere is an orientable surface with no boundary. The concept of a Klein bottle was first described in 1882 by the German mathematician Felix Klein. Construction The following square is a fundamental polygon of the Klein bottle. The idea is to 'glue' together the corresponding red and blue edges with the arrows matching, as in the diagrams below. Note that this is an "abstract" gluing in the sense that trying to realize ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orientability
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space is orientable if such a consistent definition exists. In this case, there are two possible definitions, and a choice between them is an orientation of the space. Real vector spaces, Euclidean spaces, and spheres are orientable. A space is non-orientable if "clockwise" is changed into "counterclockwise" after running through some loops in it, and coming back to the starting point. This means that a geometric shape, such as , that moves continuously along such a loop is changed into its own mirror image . A Möbius strip is an example of a non-orientable space. Various equivalent formulations of orientability can be given, depending on the desired application and level of generality. Formulations applicable to general topological manifolds o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
