Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8905659 | Comptes Rendus Mathematique | 2017 | 31 Pages |
Abstract
Nous développons dans ce texte la notion d'indistinguabilité dans un contexte mathématique plus général. Cette notion a en effet été récemment étudiée en théorie des graphes, comme une relation de symétrie relativement aux sommets fixés. Le point de départ de notre analyse est de considérer un ensemble Ω de fonctions définies sur un ensemble univers U et de définir pour tout sous-ensemble AâΩ une relation d'équivalence â¡A sur U par uâ¡uâ² si a(u)=a(uâ²) pour toute fonction aâA. Au moyen de cette famille de relations, nous introduisons la relation d'indistinguabilité â sur l'ensemble puissance P(Ω) de la façon suivante : pour A,Aâ²âP(Ω), nous posons AâAâ² si les relations â¡A et â¡Aâ² coïncident. Nous utilisons cette relation d'indistinguabilité â pour définir plusieurs familles d'ensembles sur Ω ayant d'intéressantes propriétés d'ordre, de matroïde et combinatoires. Nous appelons les familles d'ensembles ci-dessus les structures indistinguables du système de fonctions (U,Ω). De plus, nous obtenons un système de clôture et un complexe simplicial abstrait interagissant l'un l'autre au travers de trois hypergraphes, qui sont significatifs aussi bien en théorie des graphes qu'en informatique théorique. La première partie du texte est dédiée à l'étude les propriétés mathématiques élémentaires des structures d'indistinguabilité pour les systèmes de fonctions arbitraires. La seconde partie traite de quelques cas particuliers dérivés des graphes non orientés simples et de la droite euclidienne réelle usuelle.
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
Giampiero Chiaselotti, Tommaso Gentile, Federico Infusino,