Inégalité de Fisher
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.

Énoncé 

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 :

Démonstration 
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  .

Généralisation 
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  .

Notes

Références 

 .

Articles liés 
 Plan en blocs
 Design combinatoire

Système d'ensembles
Plan d'expériences