Euler classIn mathematics, specifically in algebraic topology, the Euler class is a characteristic class of oriented, real vector bundles. Like other characteristic classes, it measures how "twisted" the vector bundle is. In the case of the tangent bundle of a smooth manifold, it generalizes the classical notion of Euler characteristic. It is named after Leonhard Euler because of this. Throughout this article is an oriented, real vector bundle of rank over a base space . The Euler class is an element of the integral cohomology group constructed as follows.
Kuiper's theoremIn mathematics, Kuiper's theorem (after Nicolaas Kuiper) is a result on the topology of operators on an infinite-dimensional, complex Hilbert space H. It states that the space GL(H) of invertible bounded endomorphisms of H is such that all maps from any finite complex Y to GL(H) are homotopic to a constant, for the norm topology on operators. A significant corollary, also referred to as Kuiper's theorem, is that this group is weakly contractible, ie. all its homotopy groups are trivial.
Representable functorIn mathematics, particularly , a representable functor is a certain functor from an arbitrary into the . Such functors give representations of an abstract category in terms of known structures (i.e. sets and functions) allowing one to utilize, as much as possible, knowledge about the category of sets in other settings. From another point of view, representable functors for a category C are the functors given with C. Their theory is a vast generalisation of upper sets in posets, and of Cayley's theorem in group theory.
