En mathématiques combinatoires, linégalité de Fisher est une condition nécessaire pour l'existence d'un plan en blocs incomplet équilibré, c'est-à-dire d'une famille de parties d'un ensemble qui remplissent certaines conditions prescrites. L'inégalité a été esquissée par Ronald Fisher, généticien et statisticien de la génétique des populations, qui s'intéressait aux plans d'expériences pour l'étude des différences entre plusieurs variétés de plantes dans des conditions de croissance différentes.
Soient
le nombre de variétés de plantes;
le nombre de blocs.
Dans un plan en blocs incomplet équilibré, trois paramètres interviennent :
le nombre de variétés différentes figurent dans chaque bloc, avec ; aucune variété ne doit apparaître deux fois dans un même bloc;
le nombre de blocs où deux variétés quelconques apparaissent simultanément ;
le nombre de blocs contenant chaque variété.
L'inégalité de Fisher est simplement la formule :
Soit la matrice de dimensions définie par = 1 si l'élément est dans le bloc et 0 sinon. La matrice (où est la transposée de ) est une matrice de dimensions telle que et pour . Puisque , on a , donc ; d'autre part, , donc .
L'inégalité de Fisher est valable pour des classes de designs plus généraux : un plan en blocs équilibré par paire (ou PBD) est un ensemble avec une famille de sous-ensembles non vides de (pas nécessairement de même taille et pouvant contenir des répétitions) de sorte que chaque paire d'éléments distincts de est contenue dans exactement > 0 sous-ensembles. L'ensemble peut être lui-même l'un des sous-ensembles, et si tous les sous-ensembles sont des copies de , le PBD est appelé "trivial". La taille de est et le nombre de sous-ensembles dans la famille (compté avec multiplicité) est .
Ce résultat généralise également le théorème de De Bruijn-Erdős (géométrie d'incidence) :
Dans une autre direction, Ray-Chaudhuri et Wilson ont prouvé en 1975 que dans un plan de paramètres , le nombre de blocs est au moins .
Plan en blocs
Design combinatoire
Catégorie:Système d'ensembles
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.
La théorie du design combinatoire est une partie des mathématiques combinatoires ; elle traite de l'existence, de la construction et des propriétés de systèmes d'ensembles finis dont les arrangements satisfont certains concepts d'équilibre et/ou de symétrie. Ces concepts sont assez imprécis pour qu'une large gamme d'objets puisse être considérée comme relevant de ces notions. Parfois, cela peut concerner la taille des intersections comme dans les plans en blocs, d'autres fois on est intéressé par la disposition des entrées dans un tableau comme dans les grilles de sudoku.
En mathématiques combinatoires, un plan en blocs est un ensemble, muni d'une famille de sous-ensembles (avec des répétitions possibles) dont les membres satisfont un ensemble de propriétés considérées dans une application particulière. Les applications proviennent de nombreux domaines, notamment les plans d'expériences, la géométrie finie, la chimie physique, les tests de logiciels, la cryptographie et la géométrie algébrique.