Un objet combinatoire composé de deux (ou plusieurs) classes d'éléments, typiquement appelés points et blocs, muni d'une relation d'incidence I ⊆ P × B qui indique quels points appartiennent à quels blocs ; décrit équivalemment par un graphe biparti ou une matrice d'incidence.

Principe

L'incidence est une relation abstraite, non une immersion géométrique : la structure est déterminée par les couples d'incidence et par les axiomes imposés (régularité, équilibre, tailles des blocs), ce qui permet des dénombrements et l'étude des symétries.

Démonstration

Exemples classiques : plans projectifs finis (deux points déterminent une unique droite et inversement), designs équilibrés tels que les (v,k,λ)-designs, et configurations spécifiées par des matrices d'incidence ou relations d'adjacence bipartites.

Mauvaise application

Traiter une structure d'incidence comme si elle portait des notions métriques ou supposer une réalisabilité géométrique sans preuve ; confondre hypergraphes et designs lorsque la multiplicité ou l'ordre compte conduit à des erreurs combinatoires.

Conséquence

Une utilisation correcte permet d'accéder à des identités de comptage, à la dualité (points↔blocs), aux groupes d'automorphismes, aux propriétés spectrales des matrices d'incidence et à des constructions utiles en théorie des codes, géométrie finie et théorie des designs.

Inversion

La structure duale échange les rôles des points et des blocs ; un point de vue non incidentiel se concentre plutôt sur l'immersion ou les relations métriques qui ignorent les données combinatoires abstraites d'incidence.

Limite

S'applique aux relations d'incidence abstraites, finies ou infinies ; exclut les hypothèses implicites de réalisabilité euclidienne, ou l'incidence géométrique continue (par exemple incidence point-droite au sens topologique) sauf si cette structure est fournie.

Tension sémantique

Tension entre structures d'incidence, hypergraphes, designs et configurations géométriques : elles se chevauchent mais diffèrent par les multiplicités autorisées, l'ordre, les contraintes axiomatiques et la question de l'immersion géométrique.

Synthèse

Une structure d'incidence est l'enregistrement abstrait des rencontres entre éléments et blocs — un objet combinatoire fondé sur une relation, représentable par une matrice d'incidence ou un graphe biparti, et central en géométrie finie et théorie des designs.