|
Cofiber Sequence
In mathematics, the Puppe sequence is a construction of homotopy theory, so named after Dieter Puppe. It comes in two forms: a long exact sequence, built from the mapping fibre (a fibration), and a long coexact sequence, built from the mapping cone (which is a cofibration). Joseph J. Rotman, ''An Introduction to Algebraic Topology'' (1988) Springer-Verlag ''(See Chapter 11 for construction.)'' Intuitively, the Puppe sequence allows us to think of homology theory as a functor that takes spaces to long-exact sequences of groups. It is also useful as a tool to build long exact sequences of relative homotopy groups. Exact Puppe sequence Let f\colon (X,x_0)\to(Y,y_0) be a continuous map between pointed spaces and let Mf denote the mapping fibre (the fibration dual to the mapping cone). One then obtains an exact sequence: :Mf\to X \to Y where the mapping fibre is defined as: :Mf = \ Observe that the loop space \Omega Y injects into the mapping fibre: \Omega Y \to Mf, as it cons ... [...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 mathematical analysis, 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 mathematical object, abstract objects and the use of pure reason to proof (mathematics), prove them. These objects consist of either abstraction (mathematics), abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of inference rule, deductive rules to already established results. These results include previously proved theorems, axioms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Equivalence
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 s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Milnor
John Willard Milnor (born February 20, 1931) is an American mathematician known for his work in differential topology, algebraic K-theory and low-dimensional holomorphic dynamical systems. Milnor is a distinguished professor at Stony Brook University and one of the five mathematicians to have won the Fields Medal, the Wolf Prize, and the Abel Prize (the others being Serre, Thompson, Deligne, and Margulis.) Early life and career Milnor was born on February 20, 1931, in Orange, New Jersey. His father was J. Willard Milnor and his mother was Emily Cox Milnor. As an undergraduate at Princeton University he was named a Putnam Fellow in 1949 and 1950 and also proved the Fáry–Milnor theorem when he was only 19 years old. Milnor graduated with an A.B. in mathematics in 1951 after completing a senior thesis, titled "Link groups", under the supervision of Robert H. Fox. He remained at Princeton to pursue graduate studies and received his Ph.D. in mathematics in 1954 after completi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exact Sequence
An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an abelian category) such that the image of one morphism equals the kernel of the next. Definition In the context of group theory, a sequence :G_0\;\xrightarrow\; G_1 \;\xrightarrow\; G_2 \;\xrightarrow\; \cdots \;\xrightarrow\; G_n of groups and group homomorphisms is said to be exact at G_i if \operatorname(f_i)=\ker(f_). The sequence is called exact if it is exact at each G_i for all 1\leq i |
Topological Half-exact Functor
{{unreferenced, date=May 2014 In mathematics, a topological half-exact functor ''F'' is a functor from a fixed topological category (for example CW complexes or pointed spaces) to an abelian category (most frequently in applications, category of abelian groups or category of modules over a fixed ring) that has a following property: for each sequence of spaces, of the form: : ''X'' → ''Y'' → ''C(f)'' where ''C(f)'' denotes a mapping cone, the sequence: : ''F(X)'' → ''F(Y)'' → ''F(C(f))'' is exact. If ''F'' is a contravariant functor, it is half-exact if for each sequence of spaces as above, the sequence ''F(C(f))'' → ''F(Y)'' → ''F(X)'' is exact. Homology is an example of a half-exact functor, and cohomology (and generalized cohomology theories In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Category
In mathematics, the homotopy category is a category built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different (but related) categories, as discussed below. More generally, instead of starting with the category of topological spaces, one may start with any model category and define its associated homotopy category, with a construction introduced by Quillen in 1967. In this way, homotopy theory can be applied to many other categories in geometry and algebra. The naive homotopy category The category of topological spaces Top has objects the topological spaces and morphisms the continuous maps between them. The older definition of the homotopy category hTop, called the naive homotopy category for clarity in this article, has the same objects, and a morphism is a homotopy class of continuous maps. That is, two continuous maps ''f'': ''X'' → ''Y'' are considered the same in the naive ho ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Suspension (topology)
In topology, a branch of mathematics, the suspension of a topological space ''X'' is intuitively obtained by stretching ''X'' into a cylinder and then collapsing both end faces to points. One views ''X'' as "suspended" between these end points. The suspension of ''X'' is denoted by ''SX'' or susp(''X''). There is a variation of the suspension for pointed space, which is called the reduced suspension and denoted by Σ''X''. The "usual" suspension ''SX'' is sometimes called the unreduced suspension, unbased suspension, or free suspension of ''X'', to distinguish it from Σ''X.'' Free suspension The (free) suspension SX of a topological space X can be defined in several ways. 1. SX is the quotient space (X \times ,1/(X\times \, X\times \). In other words, it can be constructed as follows: * Construct the cylinder X \times ,1/math>. * Consider the entire set X\times \ as a single point ("glue" all its points together). * Consider the entire set X\times \ as a single point (" ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mapping Cone (topology)
In mathematics, especially homotopy theory, the mapping cone is a construction C_f of topology, analogous to a quotient space. It is also called the homotopy cofiber, and also notated Cf. Its dual, a fibration, is called the mapping fibre. The mapping cone can be understood to be a mapping cylinder Mf, with one end of the cylinder collapsed to a point. Thus, mapping cones are frequently applied in the homotopy theory of pointed spaces. Definition Given a map f\colon X \to Y, the mapping cone C_f is defined to be the quotient space of the mapping cylinder (X \times I) \sqcup_f Y with respect to the equivalence relation \forall x,x' \in X, (x, 0) \sim \left(x', 0\right)\,, (x, 1) \sim f(x). Here I denotes the unit interval , 1with its standard topology. Note that some authors (like J. Peter May) use the opposite convention, switching 0 and 1. Visually, one takes the cone on ''X'' (the cylinder X \times I with one end (the 0 end) identified to a point), and glues the ot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
CW Complex
A CW complex (also called cellular complex or cell complex) is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead (open access) to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation (often with a much smaller complex). The ''C'' stands for "closure-finite", and the ''W'' for "weak" topology. Definition CW complex A CW complex is constructed by taking the union of a sequence of topological spaces\emptyset = X_ \subset X_0 \subset X_1 \subset \cdotssuch that each X_k is obtained from X_ by gluing copies of k-cells (e^k_\alpha)_\alpha, each homeomorphic to D^k, to X_ by continuous gluing maps g^k_\alpha: \partial e^k_\alpha \to X_. The maps are also called attaching maps. Each X_k is called the k-skeleton of the complex. The topology of X = \cup_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jean-Pierre Serre
Jean-Pierre Serre (; born 15 September 1926) is a French mathematician who has made contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the inaugural Abel Prize in 2003. Biography Personal life Born in Bages, Pyrénées-Orientales, France, to pharmacist parents, Serre was educated at the Lycée de Nîmes and then from 1945 to 1948 at the École Normale Supérieure in Paris. He was awarded his doctorate from the Sorbonne in 1951. From 1948 to 1954 he held positions at the Centre National de la Recherche Scientifique in Paris. In 1956 he was elected professor at the Collège de France, a position he held until his retirement in 1994. His wife, Professor Josiane Heulot-Serre, was a chemist; she also was the director of the Ecole Normale Supérieure de Jeunes Filles. Their daughter is the former French diplomat, historian and writer Claudine Monteil. The French mathematician De ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Serre 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 bas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
