cauchy sequence
61Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… …
62Addition — is the mathematical process of putting things together. The plus sign + means that two numbers are added together. For example, in the picture on the right, there are 3 + 2 apples meaning three apples and two other apples which is the same as… …
63Discontinuous linear map — In mathematics, linear maps form an important class of simple functions which preserve the algebraic structure of linear spaces and are often used as approximations to more general functions (see linear approximation). If the spaces involved are… …
64Open mapping theorem (functional analysis) — In functional analysis, the open mapping theorem, also known as the Banach–Schauder theorem (named after Stefan Banach and Juliusz Schauder), is a fundamental result which states that if a continuous linear operator between Banach spaces is… …
65Subsequential limit — In mathematics, a subsequential limit of a sequence is the limit of some subsequence. It is the same as a cluster point.The supremum of the set of all subsequential limits of some sequence is called the limit superior, or limsup. Similarly, the… …
66Banach fixed-point theorem — In mathematics, the Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of… …
67Banach fixed point theorem — The Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of certain self maps… …
68Bochner integral — In mathematics, the Bochner integral extends the definition of Lebesgue integral to functions which take values in a Banach space.The theory of vector valued functions is a chapter of mathematical analysis, concerned with the generalisation to… …
69Setoid — In mathematics, a setoid is a set (or type) equipped with an equivalence relation.Setoids are studied especially in proof theory and in type theoretic foundations of mathematics. Often in mathematics, when one defines an equivalence relation on a …
70Energetic space — In mathematics, more precisely in functional analysis, an energetic space is, intuitively, a subspace of a given real Hilbert space equipped with a new energetic inner product. The motivation for the name comes from physics, as in many physical… …
