This is a list of

algebraic topology Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify ...

topics, by Wikipedia page. See also: * Glossary of algebraic topology *

topology glossary This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also funda ...

* List of topology topics * List of general topology topics *

List of geometric topology topics This is a list of geometric topology topics, by Wikipedia page. See also: * topology glossary * List of topology topics * List of general topology topics * List of algebraic topology topics * Publications in topology Low-dimensional topology Knot ...

* Publications in topology *

Topological property In topology and related areas of mathematics, a topological property or topological invariant is a property of a topological space that is invariant under homeomorphisms. Alternatively, a topological property is a proper class of topological spa ...

Homology (mathematics) In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, with other mathematical objects such as topological spaces. Homology groups were originally defined in algebraic topolog ...

Simplex In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...

Simplicial complex In mathematics, a simplicial complex is a set composed of points, line segments, triangles, and their ''n''-dimensional counterparts (see illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial ...

Polytope In elementary geometry, a polytope is a geometric object with flat sides ('' faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an ...

Triangulation In trigonometry and geometry, triangulation is the process of determining the location of a point by forming triangles to the point from known points. Applications In surveying Specifically in surveying, triangulation involves only angle me ...

Barycentric subdivision In mathematics, the barycentric subdivision is a standard way to subdivide a given simplex into smaller ones. Its extension on simplicial complexes is a canonical method to refine them. Therefore, the barycentric subdivision is an important tool i ...

Simplicial approximation theorem In mathematics, the simplicial approximation theorem is a foundational result for algebraic topology, guaranteeing that continuous mappings can be (by a slight deformation) approximated by ones that are piecewise of the simplest kind. It applies t ...

** Abstract simplicial complex ** Simplicial set ** Simplicial category * Chain (algebraic topology) * Betti number *

Euler characteristic In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological spac ...

Genus Genus ( plural genera ) is a taxonomic rank used in the biological classification of living and fossil organisms as well as viruses. In the hierarchy of biological classification, genus comes above species and below family. In binomial nom ...

Riemann–Hurwitz formula In mathematics, the Riemann–Hurwitz formula, named after Bernhard Riemann and Adolf Hurwitz, describes the relationship of the Euler characteristics of two surfaces when one is a ''ramified covering'' of the other. It therefore connects ramifi ...

Singular homology In algebraic topology, singular homology refers to the study of a certain set of algebraic invariants of a topological space ''X'', the so-called homology groups H_n(X). Intuitively, singular homology counts, for each dimension ''n'', the ''n''- ...

* Cellular homology *

Relative homology In algebraic topology, a branch of mathematics, the (singular) homology of a topological space relative to a subspace is a construction in singular homology, for pairs of spaces. The relative homology is useful and important in several ways. Intui ...

Mayer–Vietoris sequence In mathematics, particularly algebraic topology and homology theory, the Mayer–Vietoris sequence is an algebraic tool to help compute algebraic invariants of topological spaces, known as their homology and cohomology groups. The result is due ...

Excision theorem In algebraic topology, a branch of mathematics, the excision theorem is a theorem about relative homology and one of the Eilenberg–Steenrod axioms. Given a topological space X and subspaces A and U such that U is also a subspace of A, the theorem ...

* Universal coefficient theorem *

Cohomology 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. Cohomology can be view ...

** List of cohomology theories ** Cocycle class **

Cup product In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree ''p'' and ''q'' to form a composite cocycle of degree ''p'' + ''q''. This defines an associative (and distributive) graded commutati ...

Cohomology ring In mathematics, specifically algebraic topology, the cohomology ring of a topological space ''X'' is a ring formed from the cohomology groups of ''X'' together with the cup product serving as the ring multiplication. Here 'cohomology' is usually un ...

De Rham cohomology In mathematics, de Rham cohomology (named after Georges de Rham) is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adap ...

** Čech cohomology ** Alexander–Spanier cohomology ** Intersection cohomology ** Lusternik–Schnirelmann category *

Poincaré duality In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if ''M'' is an ''n''-dimensional oriented closed manifold (compact ...

Fundamental class In mathematics, the fundamental class is a homology class 'M''associated to a connected orientable compact manifold of dimension ''n'', which corresponds to the generator of the homology group H_n(M,\partial M;\mathbf)\cong\mathbf . The fundam ...

*''Applications'' **

Jordan curve theorem In topology, the Jordan curve theorem asserts that every '' Jordan curve'' (a plane simple closed curve) divides the plane into an " interior" region bounded by the curve and an " exterior" region containing all of the nearby and far away exteri ...

Brouwer fixed point theorem Brouwer's fixed-point theorem is a fixed-point theorem in topology, named after L. E. J. (Bertus) Brouwer. It states that for any continuous function f mapping a compact convex set to itself there is a point x_0 such that f(x_0)=x_0. The simple ...

** Invariance of domain ** Lefschetz fixed-point theorem ** Hairy ball theorem ** Degree of a continuous mapping ** Borsuk–Ulam theorem ** Ham sandwich theorem **

Homology sphere Homology may refer to: Sciences Biology *Homology (biology), any characteristic of biological organisms that is derived from a common ancestor *Sequence homology, biological homology between DNA, RNA, or protein sequences * Homologous chrom ...

Homotopy theory

Homotopy 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 deform ...

Path (topology) In mathematics, a path in a topological space X is a continuous function from the closed unit interval , 1/math> into X. Paths play an important role in the fields of topology and mathematical analysis. For example, a topological space for ...

Fundamental group In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, o ...

Homotopy group In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted \pi_1(X), which records information about loops in a space. Intuitively, homotop ...

Seifert–van Kampen theorem In mathematics, the Seifert–Van Kampen theorem of algebraic topology (named after Herbert Seifert and Egbert van Kampen), sometimes just called Van Kampen's theorem, expresses the structure of the fundamental group of a topological space X in t ...

* Pointed space *

Winding number In mathematics, the winding number or winding index of a closed curve in the plane around a given point is an integer representing the total number of times that curve travels counterclockwise around the point, i.e., the curve's number of t ...

Simply connected In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every path between two points can be continuously transformed (intuitively for embedded spaces, staying within the spa ...

Universal cover A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete spa ...

Monodromy In mathematics, monodromy is the study of how objects from mathematical analysis, algebraic topology, algebraic geometry and differential geometry behave as they "run round" a singularity. As the name implies, the fundamental meaning of ''mono ...

* Homotopy lifting property *

Mapping cylinder In mathematics, specifically algebraic topology, the mapping cylinder of a continuous function f between topological spaces X and Y is the quotient :M_f = (( ,1times X) \amalg Y)\,/\,\sim where the \amalg denotes the disjoint union, and ∼ is the ...

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 m ...

Wedge sum In topology, the wedge sum is a "one-point union" of a family of topological spaces. Specifically, if ''X'' and ''Y'' are pointed spaces (i.e. topological spaces with distinguished basepoints x_0 and y_0) the wedge sum of ''X'' and ''Y'' is the q ...

Smash product In topology, a branch of mathematics, the smash product of two pointed spaces (i.e. topological spaces with distinguished basepoints) (''X,'' ''x''0) and (''Y'', ''y''0) is the quotient of the product space ''X'' × ''Y'' under the ...

* Adjunction space *

Cohomotopy In mathematics, particularly algebraic topology, cohomotopy sets are particular category theory, contravariant functors from the category (mathematics), category of pointed space, pointed topological spaces and basepoint-preserving continuous func ...

* Cohomotopy group *

Brown's representability theorem In mathematics, Brown's representability theorem in homotopy theory gives necessary and sufficient conditions for a contravariant functor ''F'' on the homotopy category ''Hotc'' of pointed connected CW complexes, to the category of sets Set, to be ...

Eilenberg–MacLane space In mathematics, specifically algebraic topology, an Eilenberg–MacLane space Saunders Mac Lane originally spelt his name "MacLane" (without a space), and co-published the papers establishing the notion of Eilenberg–MacLane spaces under this name ...

Fibre bundle In mathematics, and particularly topology, a fiber bundle (or, in Commonwealth English: fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E an ...

Möbius strip In mathematics, a Möbius strip, Möbius band, or Möbius loop is a surface that can be formed by attaching the ends of a strip of paper together with a half-twist. As a mathematical object, it was discovered by Johann Benedict Listing and A ...

Line bundle In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the '' tangent bundle'' is a way of organisi ...

*** Canonical line bundle **

Vector bundle In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to every p ...

** Associated bundle **

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 ma ...

Hopf bundle In the mathematical field of differential topology, the Hopf fibration (also known as the Hopf bundle or Hopf map) describes a 3-sphere (a hypersphere in four-dimensional space) in terms of circles and an ordinary sphere. Discovered by Heinz Hop ...

** Classifying space * Cofibration * Homotopy groups of spheres *

Plus construction In mathematics, the plus construction is a method for simplifying the fundamental group of a space without changing its homology and cohomology groups. Explicitly, if X is a based connected CW complex and P is a perfect normal subgroup of \pi ...

Whitehead theorem In homotopy theory (a branch of mathematics), the Whitehead theorem states that if a continuous mapping ''f'' between CW complexes ''X'' and ''Y'' induces isomorphisms on all homotopy groups, then ''f'' is a homotopy equivalence. This result was ...

* Weak equivalence *

Hurewicz theorem In mathematics, the Hurewicz theorem is a basic result of algebraic topology, connecting homotopy theory with homology theory via a map known as the Hurewicz homomorphism. The theorem is named after Witold Hurewicz, and generalizes earlier results ...

H-space In mathematics, an H-space is a homotopy-theoretic version of a generalization of the notion of topological group, in which the axioms on associativity and inverses are removed. Definition An H-space consists of a topological space , together w ...

Further developments

Künneth theorem In mathematics, especially in homological algebra and algebraic topology, a Künneth theorem, also called a Künneth formula, is a statement relating the homology of two objects to the homology of their product. The classical statement of the K� ...

* Obstruction theory * Characteristic class **

Chern class In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Yau ...

Chern–Simons form In mathematics, the Chern–Simons forms are certain secondary characteristic classes. The theory is named for Shiing-Shen Chern and James Harris Simons, co-authors of a 1974 paper entitled "Characteristic Forms and Geometric Invariants," from whi ...

Pontryagin class In mathematics, the Pontryagin classes, named after Lev Pontryagin, are certain characteristic classes of real vector bundles. The Pontryagin classes lie in cohomology groups with degrees a multiple of four. Definition Given a real vector bundle ...

** Pontryagin number ** Stiefel–Whitney class *

Poincaré conjecture In the mathematical field of geometric topology, the Poincaré conjecture (, , ) is a theorem about the characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space. Originally conjectured ...

Cohomology operation In mathematics, the cohomology operation concept became central to algebraic topology, particularly homotopy theory, from the 1950s onwards, in the shape of the simple definition that if ''F'' is a functor defining a cohomology theory, then a coho ...

Steenrod algebra In algebraic topology, a Steenrod algebra was defined by to be the algebra of stable cohomology operations for mod p cohomology. For a given prime number p, the Steenrod algebra A_p is the graded Hopf algebra over the field \mathbb_p of order p, ...

Bott periodicity theorem In mathematics, the Bott periodicity theorem describes a periodicity in the homotopy groups of classical groups, discovered by , which proved to be of foundational significance for much further research, in particular in K-theory of stable comp ...

* K-theory ** Topological K-theory ** Adams operation **

Algebraic K-theory Algebraic ''K''-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called ''K''-groups. These are groups in the sense ...

Whitehead torsion In geometric topology, a field within mathematics, the obstruction to a homotopy equivalence f\colon X \to Y of finite CW-complexes being a simple homotopy equivalence is its Whitehead torsion \tau(f) which is an element in the Whitehead group \op ...

Twisted K-theory In mathematics, twisted K-theory (also called K-theory with local coefficients) is a variation on K-theory, a mathematical theory from the 1950s that spans algebraic topology, abstract algebra and operator theory. More specifically, twisted K-th ...

Cobordism In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary (French '' bord'', giving ''cobordism'') of a manifold. Two manifolds of the same di ...

Thom space In mathematics, the Thom space, Thom complex, or Pontryagin–Thom construction (named after René Thom and Lev Pontryagin) of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact s ...

Suspension functor 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. Th ...

Stable homotopy theory In mathematics, stable homotopy theory is the part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the F ...

Spectrum (homotopy theory) In algebraic topology, a branch of mathematics, a spectrum is an object representing a generalized cohomology theory. Every such cohomology theory is representable, as follows from Brown's representability theorem. This means that, given a cohomo ...

* Morava K-theory * Hodge conjecture * Weil conjectures * Directed algebraic topology

Applied topology

Example: DE-9IM

Homological algebra Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topolo ...

* Chain complex *

Commutative diagram 350px, The commutative diagram used in the proof of the five lemma. In mathematics, and especially in category theory, a commutative diagram is a diagram such that all directed paths in the diagram with the same start and endpoints lead to the s ...

* Exact sequence ** Five lemma **

Short five lemma In mathematics, especially homological algebra and other applications of abelian category theory, the short five lemma is a special case of the five lemma. It states that for the following commutative diagram (in any abelian category, or in the c ...

Snake lemma The snake lemma is a tool used in mathematics, particularly homological algebra, to construct long exact sequences. The snake lemma is valid in every abelian category and is a crucial tool in homological algebra and its applications, for instance ...

** Splitting lemma ** Extension problem *

Spectral sequence In homological algebra and algebraic topology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a generalization of exact sequences, and since their introduction by , they h ...

Abelian category In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototypical example of an abelian category is the category of ...

Group cohomology In mathematics (more specifically, in homological algebra), group cohomology is a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology ...

* Sheaf **

Sheaf cohomology In mathematics, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally whe ...

Grothendieck topology In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category ''C'' that makes the objects of ''C'' act like the open sets of a topological space. A category together with a choice of Grothendieck topology is cal ...

* Derived category

History

Combinatorial topology In mathematics, combinatorial topology was an older name for algebraic topology, dating from the time when topological invariants of spaces (for example the Betti numbers) were regarded as derived from combinatorial decompositions of spaces, such ...

{{DEFAULTSORT:Topology Topics, Algebraic Mathematics-related lists Outlines of mathematics and logic Wikipedia outlines