Search Results for ""

A topological space M satisfying some separability (i.e., it is a T2-space) and countability (i.e., it is a paracompact space) conditions such that every point p in M has a ...

A basepoint is the beginning and ending point of a loop. The fundamental group of a topological space is always with respect to a particular choice of basepoint.

A change of basis is the transformation of coordinate-based vector and operator representations in a given vector space from one vector basis representation to another.

Given a vector bundle pi:E->M, its dual bundle is a vector bundle pi^*:E^*->M. The fiber bundle of E^* over a point p in M is the dual vector space to the fiber of E.

For every infinite loop space machine E, there is a natural equivalence of spectra between EX and Segal's spectrum BX.

For a function with 2 degrees of freedom, the 2-dimensional phase space that is accessible to the function or object is called its phase plane.

In a complete metric space, a countable union of nowhere dense sets is said to be meager; the complement of such a set is a residual set.

A set in a Polish space is a Borel set iff it is both analytic and coanalytic. For subsets of w, a set is delta_1^1 iff it is "hyperarithmetic."

A topological space fulfilling the T_4-axiom: X fulfils the T1-separation axiom and is normal. In the terminology of Alexandroff and Hopf (1972), T_4-space are called Tietze ...

An abstract manifold is a manifold in the context of an abstract space with no particular embedding, or representation in mind. It is a topological space with an atlas of ...