Une théorie du premier ordre sans la propriété d'indépendance (NIP), c'est-à-dire qu'aucune formule du langage ne peut encoder des graphes bipartites arbitrairement grands ; NIP impose une douceur combinatoire aux familles définissables.

Principe

Interdire la propriété d'indépendance afin que les familles définissables présentent une complexité combinatoire bornée de type VC, ce qui contraint les schémas d'alternance et garantit une uniformité dans le comportement des ensembles définissables.

Démonstration

Les corps réels clos et leurs expansions (comme le corps ordonné des réels) sont NIP : les familles définissables en une variable sont régulières (o-minimales dans le cas ordonné), et les formules ne peuvent définir des schémas d'arrachage arbitraires sur les ensembles de paramètres.

Mauvaise application

Assimiler NIP à la stabilité ou à l'o-minimalité ; NIP exclut la propriété d'indépendance mais autorise encore certaines instabilités et n'implique pas la structure d'ordre forte ou l'organisation en intervalles que garantit l'o-minimalité.

Conséquence

NIP procure des bornes uniformes sur la complexité combinatoire (semblable à la dimension VC), des mesures stables pour des familles définissables, des notions bien comportées de types et mesures génériquement stables, et des outils pour transférer des idées statistiques et géométriques en théorie des modèles.

Inversion

L'opposé correspond aux théories possédant la propriété d'indépendance (IP), où des formules peuvent coder des graphes bipartites arbitraires, entraînant une complexité combinatoire sans borne et contrecarrant les raisonnements fondés sur la douceur.

Limite

S'applique aux théories du premier ordre et constitue un axe distinct de douceur par rapport à la stabilité, la simplicité et l'o-minimalité. NIP gouverne le comportement combinatoire des familles définissables mais ne contrôle pas en soi la structure ordinale ou géométrique.

Tension sémantique

La tension survient avec la stabilité (contrainte plus forte) et l'o-minimalité (contrainte géométrique plus forte) : NIP permet plus d'instabilité que la stabilité mais moins de chaos combinatoire que IP ; il recoupe, sans impliquer, ces notions proches.

Synthèse

NIP est l'absence de la propriété d'indépendance : une condition de douceur combinatoire qui borne la complexité d'arrachage des familles définissables et permet d'importer des techniques issues de la théorie VC et des mesures en analyse modèle-théorique.