Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
Concept
Inverse limit
Summary
In mathematics, the inverse limit (also called the projective limit) is a construction that allows one to "glue together" several related objects, the precise gluing process being specified by morphisms between the objects. Thus, inverse limits can be defined in any although their existence depends on the category that is considered. They are a special case of the concept of in category theory.
By working in the , that is by reverting the arrows, an inverse limit becomes a direct limit or inductive limit, and a limit becomes a colimit.
We start with the definition of an inverse system (or projective system) of groups and homomorphisms. Let be a directed poset (not all authors require I to be directed). Let (Ai)i∈I be a family of groups and suppose we have a family of homomorphisms for all (note the order) with the following properties:
is the identity on ,
Then the pair is called an inverse system of groups and morphisms over , and the morphisms are called the transition morphisms of the system.
We define the inverse limit of the inverse system as a particular subgroup of the direct product of the 's:
The inverse limit comes equipped with natural projections pii: A → Ai which pick out the ith component of the direct product for each in . The inverse limit and the natural projections satisfy a universal property described in the next section.
This same construction may be carried out if the 's are sets, semigroups, topological spaces, rings, modules (over a fixed ring), algebras (over a fixed ring), etc., and the homomorphisms are morphisms in the corresponding . The inverse limit will also belong to that category.
The inverse limit can be defined abstractly in an arbitrary by means of a universal property. Let be an inverse system of objects and morphisms in a category C (same definition as above). The inverse limit of this system is an object X in C together with morphisms pii: X → Xi (called projections) satisfying pii = ∘ pij for all i ≤ j.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related concepts (44)
Ring (mathematics)
In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.
P-adic number
In number theory, given a prime number p, the p-adic numbers form an extension of the rational numbers which is distinct from the real numbers, though with some similar properties; p-adic numbers can be written in a form similar to (possibly infinite) decimals, but with digits based on a prime number p rather than ten, and extending (possibly infinitely) to the left rather than to the right.
Commutative ring
In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings. A ring is a set equipped with two binary operations, i.e. operations combining any two elements of the ring to a third.
Related courses (8)
MATH-101(g): Analysis I
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.
MATH-101(en): Analysis I (English)
We study the fundamental concepts of analysis, calculus and the integral of real-valued functions of a real variable.
MATH-212: Analyse numérique et optimisation
L'étudiant apprendra à résoudre numériquement divers problèmes mathématiques. Les propriétés théoriques de ces
méthodes seront discutées.
Related lectures (143)
Finite Elements: Elasticity and Variational Formulation
Explores finite element methods for elasticity problems and variational formulations, emphasizing admissible deformations and numerical implementations.
Limits and colimits in Top
Covers the concepts of limits and colimits in the category of Topological Spaces, emphasizing the relationship between colimit and limit constructions and adjunctions.
Multicorrelation Sequences and Primes
Explores multicorrelation sequences, primes, and their intricate connections in number theory and ergodic theory.