Encyclopédie - Problème universel & Video
Selection Videos Probl%E8me%20universel
TRUMPETIST - Marionettes for sale 19
VAGABOND Marionettes for sale 18
SCHWEIK - Marionettes for sale 17
KING CHARLES IV - Marionettes for sale 16

Attention nous ne sommes pas responsable du contenu, eBabylone collecte les infos de sites tiers
Livres
Les Problèmes pratiques de la libre-pensée, étude sur les questions inscrites au programme du Congrès international de la libre-pensée... Paris, les 4, 5, 6 et 7 septembre 1905

Georges Russacq
Le Suffrage universel et le problème de la souveraineté du peuple, par P. Brousse

Paul-Louis-Marie Brousse
Impr. coopérative 		Arithmonabaque, ou Compteur universel, mettant la science du calcul à la portée de tout le monde, résolvant d'une façon simple et rapide les problèmes les plus compliqués par le seul secours de l'addition, par Étienne Bourgeois

Étienne Bourgeois
Impr. de Cellarius 		Solution du grand problème sur le suffrage universel, ou la Paix sociale, lettre à M. le comte Albert de Mun,... par M. l'abbé Léon Baylet

Léon-Gaspard Baylet de Fabrizia
Jammet

Amazon

Revue de presse Probl%E8me_universel
shout shout

google_ad_height = 15; google_ad_format = "728x15_0ads_al"; google_ad_channel =""; google_color_border = "f9f9f9"; google_color_bg = "FFFFFF"; google_color_link = "0000FF"; google_color_url = "008000"; google_color_text = "000000"; //-->

Un article de Wikipedia.y-project.com.

La notion de problème universel a été introduite par les mathématiciens Samuel Eilenberg et Saunders MacLane vers 1943. Cette notion a bouleversé notre vision des mathématiques en introduisant dans cette discipline une dimension behavioriste (équivalent français possible mais un peu lourd de cet adjectif: comportementaliste). Par behavioriste, et pour ce qui concerne les mathématiques, il faut entendre qu'on définit les objets mathématiques non pas par des constructions (comme on le fait en Théorie des Ensembles), mais par une caractérisation de leur comportement global vis-à-vis des autres objets mathématiques. La notion de problème universel est l'une des plus fondamentales de la Théorie des catégories.

Sommaire

[] Objet initial et objet final.

Donnons-nous une catégorie <math>\mathcal</math>. Un objet <math>I</math> de <math>\mathcal</math> est dit initial si pour tout objet <math>E</math> de <math>\mathcal</math>, il existe une et une seule flèche de <math>I</math> vers <math>E</math>. De même, un objet <math>F</math> est dit final si pour tout objet <math>E</math>, il existe une et une seule flèche de <math>E</math> vers <math>F</math>.

Cette définition pourrait paraître extrèmement naïve si elle n'entrainait la propriété suivante:

Deux objets initiaux (respectivement finals) dans une catégorie sont canoniquement isomorphes.

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

On voit donc que le simple fait de demander qu'un objet soit initial le définit parfaitement à 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 contre partie, elle oblige à intégrer dans la définition les outils nécessaires et suffisant 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 <math>\mathbb</math> est initial dans la catégorie des anneaux unitaires (commutatifs ou non).
  • Le quotient <math>\pi\colon E\to E/F</math> (muni de sa projection canonique) d'un espace vectoriel <math>E</math> par le sous-espace vectoriel <math>F</math> est initial dans la catégorie dont les objets sont les applications linéaires <math>f\colon E\to G</math> dont le noyau contient <math>F</math>. Les flèches de cette catégorie de l'objet <math>f\colon E\to G</math> vers l'objet <math>g\colon E\to H</math> sont les applications linéaires <math>\varphi\colon G\to H</math> telles que <math>g = \varphi\circ f</math>.
  • Le diagramme <math>1\to^\mathbb\to^\mathbb</math> (où <math>1</math> est un singleton, <math>0</math> l'unique application d'image <math>\</math> et <math>S</math> la fonction successeur), est initial dans la catégorie des diagrammes de la forme <math>1\to X\to^ X</math>. Les flèches de cette catégorie de l'objet <math>1\to X\to^ X</math> vers l'objet <math>1\to Y\to^ Y</math>, sont les applications <math>\varphi\colon X\to Y</math>, telle que <math>\varphi\circ 0 = 0</math> et <math>\varphi\circ h = k\circ\varphi</math>. (Définition de William Lawvere des entiers naturels).
  • Le groupe libre sur l'ensemble <math>E</math> est initial dans la catégorie dont les objets sont les applications <math>a\colon E\to G</math>, où <math>G</math> un groupe. Les flèches de cette catégorie, de l'objet <math>a\colon E\to G</math> vers l'objet <math>b\colon E\to H</math> sont les morphismes de groupes <math>h\colon G\to H</math> tels que <math>h\circ a = b</math>.
  • Le produit tensoriel <math>\otimes\colon M\times N \to M\otimes_N</math> de deux modules <math>M</math> (module à droite) et <math>N</math> (module à gauche) sur l'anneau <math>A</math> est initial dans la catégorie des applications bilinéaires de source <math>M\times N</math>. Les flèches de cette catégorie de l'objet <math>f\colon M\times N \to A</math> vers l'objet <math>g\colon M\times N \to B</math> sont les applications linéaires <math>\varphi\colon A\to B</math>, telles que <math>g=\varphi\circ f</math>.
  • Le compactifié de Stone-Cech <math>\gamma\colon X\to \check X</math> de l'espace topologique <math>X</math> est initial dans la catégorie dont les objets sont les applications continues <math>f\colon X\to Y</math>, où <math>Y</math> est un espace compact. Les flèches de cette catégorie de l'objet <math>f\colon X\to Y</math> vers l'objet <math>g\colon X\to Z</math> sont les applications continues <math>h\colon Y\to Z</math> telles que <math>g=h\circ f</math>.


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).

 

shout
Réagissez


Attention! tous les commentaites inaproprié seront supprimés
Titre:
Video YouTube ou google: (doit être en rapport avec le sujet)
Votre mail:
Un pseudo:
Votre site:
Commentaire (le html n'est pas autorisé, nombre de caractère maximum = 400)
  save (Comment eBabylone 1.0 beta)

Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/ Problème universel
Base de liens  |  Ajouter lien  |  Contact Rss
On est 14 visiteur(s) en ligne
Server 2.0