Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Limite projective
Résumé
En mathématiques, dans la formalisation du langage des catégories, la limite projective est une généralisation du produit. Cette notion est duale de celle de limite inductive.
Soient un ensemble ordonné, une famille d'ensembles indexée par , et pour chaque couple tel que , une application .
On suppose que ces applications vérifient les deux propriétés suivantes :
Une telle structure est appelée système projectif d'ensembles. On appelle limite projective de ce système, et l'on note l'ensemble
La définition précédente d'un système projectif d'ensembles se généralise de la catégorie des ensembles à n'importe quelle catégorie C : soit un ensemble ordonné. On appelle système projectif d'objets de C indexé par I la donnée d'une famille d'objets de C et de morphismes pour chaque couple d'indices tel que , le tout vérifiant :
Soit (Xi, fij) un système projectif dans une catégorie C. Une limite projective des Xi suivant les morphismes fij, ou, par abus de langage, une limite des Xi suivant I, ou encore tout simplement une limite projective des Xi, est, lorsqu'elle existe, un objet X de la catégorie C muni de flèches πi de X à valeurs dans Xi vérifiant les relations de compatibilité πi = fij ∘ πj pour tous i ≤ j. De plus, la donnée (X, πi) doit être universelle : pour tout autre objet Y muni d'une famille de flèches ψi vérifiant des compatibilités analogues, il existe une unique flèche u : Y → X telle que le diagramme :
soit commutatif pour tous i ≤ j.
Autrement dit, la limite projective représente le foncteur qui à un objet Y de la catégorie C associe l'ensemble .
Lorsqu'elle existe, la limite projective est unique, à isomorphisme (unique) près. On parle donc couramment de la limite projective.
La limite projective est notée : .
Si l'ordre sur I est l'égalité, un système projectif indexé par I est simplement une famille d'objets de la catégorie, et sa limite projective n'est autre que son produit.
En particulier, la limite projective du système indexé par l'ensemble vide est l'objet final.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Cours associés (9)
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-662: Perfectoid spaces
The course is about defining perfectoid spaces, and possibly presenting some applications.
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.
Séances de cours associées (42)
Éléments finis: Élasticité et formation variée
Explore les méthodes d'éléments finis pour les problèmes d'élasticité et les formulations variationnelles, en mettant l'accent sur les déformations admissibles et les implémentations numériques.
Limites et limites en haut
Couvre les concepts de limites et de colimits dans la catégorie des espaces topologiques, en mettant l'accent sur la relation entre la colimit et les constructions limites et les adjonctions.
Critères de convergence
Couvre les critères de convergence pour les séquences, y compris les opérations sur les limites et les séquences définies par récurrence.
Publications associées (46)
Personnes associées (27)
Concepts associés (17)
Anneau (mathématiques)
vignette|Richard Dedekind - 1870 En algèbre, un anneau est un ensemble muni de deux lois de composition interne appelées addition et multiplication, qui vérifient des propriétés analogues à celles de ces opérations sur les entiers relatifs. Plus précisément, deux définitions sont représentées dans la littérature mathématique, selon la considération d'un élément neutre : la majorité des sources récentes définissent un « anneau » comme un anneau unitaire, avec la multiplication ayant un élément neutre ; tandis que, selon de nombreux ouvrages, la présence d'une unité multiplicative n'est pas requise, et ce type d'anneau est ailleurs dénommé pseudo-anneau.
Nombre p-adique
vignette|Les entiers 3-adiques, avec des représentations obtenues par dualité de Pontriaguine. En mathématiques, et plus particulièrement en théorie des nombres, pour un nombre premier fixé, les nombres p-adiques forment une extension particulière du corps des nombres rationnels, découverte par Kurt Hensel en 1897. Le corps commutatif des nombres -adiques peut être construit par complétion de , d'une façon analogue à la construction des nombres réels par les suites de Cauchy, mais pour une valeur absolue moins familière, nommée valeur absolue -adique.
Anneau commutatif
Un anneau commutatif est un anneau dans lequel la loi de multiplication est commutative. L’étude des anneaux commutatifs s’appelle l’algèbre commutative. Un anneau commutatif est un anneau (unitaire) dans lequel la loi de multiplication est commutative. Dans la mesure où les anneaux commutatifs sont des anneaux particuliers, nombre de concepts de théorie générale des anneaux conservent toute leur pertinence et leur utilité en théorie des anneaux commutatifs : ainsi ceux de morphismes d'anneaux, d'idéaux et d'anneaux quotients, de sous-anneaux, d'éléments nilpotents.