Probleme universel

Probleme universel

Problème universel

En mathématiques un problème universel consiste, étant donnés des objets qui jouent un rôle similaire, en la recherche d'isomorphismes permettant de définir canoniquement une structure.

Sommaire

Objet initial et objet final.

Donnons-nous une catégorie \mathcal{C}. Un objet I de \mathcal{C} est dit initial si pour tout objet E de \mathcal{C}, il existe une et une seule flèche de I vers E. De même, un objet F est dit final si pour tout objet E, il existe une et une seule flèche de E vers F. En particulier la seule flèche d'un objet initial (ou final) vers lui-même est l'identité.

L'intérêt de cette définition est la propriété suivante :

Deux objets initiaux (respectivement finals) dans une catégorie sont isomorphes, et l'isomorphisme entre les deux est unique (on dit qu'ils sont canoniquement isomorphes).

Autrement-dit si I et J sont tous deux initiaux dans \mathcal{C}, l'unique flèche f de I vers J est un isomorphisme. En effet, comme J est initial, il existe de même une unique flèche g de J vers I, et le composé g\circ f ne peut être que la flèche identité de I, toujours parce que I est initial. Pour la même raison f\circ g ne peut être que l'identité de J.

Par suite demander qu'un objet soit initial le définit à isomorphisme canonique près (c'est-à-dire, comme diraient les informaticiens, aux détails d'implémentation près). En d'autre termes de telles définitions permettent de se concentrer sur l'essentiel (le comportement de l'objet défini) sans se préoccuper des détails de sa construction.

Bien entendu, une telle définition ne prouve pas l'existence de l'objet, qui doit éventuellement être prouvée par une construction. Elle ne fait que débarrasser la définition de l'objet de tout ce qui est contingent. En contrepartie, elle oblige à intégrer dans la définition les outils nécessaires et suffisants pour la manipulation de l'objet.

Quand un objet mathématique est défini de cette façon, on dit qu'il est défini par un problème universel.

Exemples.

Chacune des phrases suivantes constitue une définition de ce qui y figure en gras.

  • L'ensemble vide est un objet initial dans la catégorie des ensembles.
  • Tout singleton (ensemble à un seul élément) est un objet final dans la catégorie des ensembles.
  • L'anneau des entiers relatifs \mathbb{Z} est initial dans la catégorie des anneaux unitaires (commutatifs ou non).
  • Le quotient \pi\colon E\to E/F (muni de sa projection canonique) d'un espace vectoriel E par le sous-espace vectoriel F est initial dans la catégorie dont les objets sont les applications linéaires f\colon E\to G dont le noyau contient F. Les flèches de cette catégorie de l'objet f\colon E\to G vers l'objet g\colon E\to H sont les applications linéaires \varphi\colon G\to H telles que g = \varphi\circ f.
  • Le diagramme 1\to^{0}\mathbb{N}\to^{S}\mathbb{N} (où 1 est un singleton, 0 l'unique application d'image {0} et S la fonction successeur), est initial dans la catégorie des diagrammes de la forme 1\to X\to^{h} X. Les flèches de cette catégorie de l'objet 1\to X\to^{h} X vers l'objet 1\to Y\to^{k} Y, sont les applications \varphi\colon X\to Y, telle que \varphi\circ 0 = 0 et \varphi\circ h = k\circ\varphi. (Définition de William Lawvere des entiers naturels).
  • Le groupe libre sur l'ensemble E est initial dans la catégorie dont les objets sont les applications a\colon E\to G, où G un groupe. Les flèches de cette catégorie, de l'objet a\colon E\to G vers l'objet b\colon E\to H sont les morphismes de groupes h\colon G\to H tels que h\circ a = b.
  • Le produit tensoriel \otimes\colon M\times N \to M\otimes_{A}N de deux modules M (module à droite) et N (module à gauche) sur l'anneau A est initial dans la catégorie des applications bilinéaires de source M\times N. Les flèches de cette catégorie de l'objet f\colon M\times N \to A vers l'objet g\colon M\times N \to B sont les applications linéaires \varphi\colon A\to B, telles que g=\varphi\circ f.
  • Le compactifié de Stone-Cech \gamma\colon X\to \check X de l'espace topologique X est initial dans la catégorie dont les objets sont les applications continues f\colon X\to Y, où Y est un espace compact. Les flèches de cette catégorie de l'objet f\colon X\to Y vers l'objet g\colon X\to Z sont les applications continues h\colon Y\to Z telles que g=h\circ f.


On pourrait multiplier les exemples. Il est peu probable qu'il existe un concept mathématique échappant à une définition de ce type.

Autres formulations

Cette notion de problème universel peut s'exprimer d'une façon plus sophistiquée (conduisant à l'obtention automatique de certains théorèmes) à travers celle de foncteur adjoint.

Bibliographie

S. MacLane Categories for the Working Mathematician. Springer-verlag. Graduate Texts in Mathematics (1971).

N. Bourbaki Théorie des Ensembles chapitres 1 à 4 chapitre 4 : Structures (1970, réimpression en 1998)

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Probl%C3%A8me universel ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Probleme universel de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Problème universel — En mathématiques, un problème universel consiste, étant donnés des objets qui jouent un rôle similaire, en la recherche d isomorphismes permettant de définir canoniquement une structure. Sommaire 1 Objet initial et objet final 2 Exemples 3 Autres …   Wikipédia en Français

  • Universel (metaphysique) — Universel (métaphysique) Pour les articles homonymes, voir Universel. En métaphysique, un universel est un type, une propriété, ou une relation. Le nom universel s oppose à celui de individu, alors que l adjectif universel s oppose à particulier… …   Wikipédia en Français

  • Problème de la connaissance —     Il est arrivé, au cours du XIIIe siècle, que l’aristotélisme régnant a imposé sa manière d’énoncer les problèmes concernant la connaissance intellectuelle ; si celle ci est la connaissance d’une quiddité ou forme incluse dans le sensible, il… …   Philosophie du Moyen Age

  • Universel (métaphysique) — Pour les articles homonymes, voir Universel. En métaphysique, un universel est un type, une propriété, ou une relation. Le nom universel s oppose à celui de individu, alors que l adjectif universel s oppose à particulier (métaphysique) ou… …   Wikipédia en Français

  • Problème — Pour les articles homonymes, voir pb. Sur les autres projets Wikimedia : « problème », sur le Wiktionnaire (dictionnaire universel) « incident », sur le Wiktionnaire (dictionnaire universel) Un problème dans son acception …   Wikipédia en Français

  • Problème informatique — Informatique L´informatique contraction d´information et automatique est le domaine d activité scientifique, technique et industriel en rapport avec le traitement automatique de l information par des machines telles que les ordinateurs, les… …   Wikipédia en Français

  • Problème mathématique — Mathématiques Les mathématiques constituent un domaine de connaissances abstraites construites à l aide de raisonnements logiques sur des concepts tels que les nombres, les figures, les structures et les transformations. Les mathématiques… …   Wikipédia en Français

  • Probleme d'éthique — Éthique Pour les articles homonymes, voir Éthique (homonymie). Manifestation pour abolir le travail des enfants, New York, 1 …   Wikipédia en Français

  • Problème politique — Politique Pour les articles homonymes, voir Politique (homonymie). Politique Idées politiques Science politique Philosophie politique Sociologie politique Campagne politique Mode de désignation d …   Wikipédia en Français

  • Problème de communication — Communication Pour les articles homonymes, voir Communication (homonymie). La communication (souvent abrégée en com) est l action, le fait de communiquer, d établir une relation avec autrui, de transmettre quelque chose à quelqu un, l ensemble… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”