Une théorie du premier ordre T est stable si, pour tout cardinal κ (ou classiquement pour κ = |T|), le nombre de types complets sur tout ensemble de paramètres de taille κ est au plus κ ; équivalemment, T n'a pas la propriété d'ordre et admet une notion d'indépendance bien comportée (forking) utilisée en théorie de la classification.

Principe

Contrôle de l'explosion combinatoire des types : la stabilité est la ligne de partage empêchant la croissance incontrôlée des types au-dessus d'ensembles de paramètres, permettant des analyses géométriques et d'indépendance des modèles et une classification robuste entre comportements stables et instables.

Démonstration

La théorie des espaces vectoriels sur un corps fixé est stable (même ω‑stable) : les types sur des ensembles de paramètres sont déterminés par des invariants linéaires, permettant une classification nette des modèles par dimension et une indépendance donnée par la clôture linéaire.

Mauvaise application

Supposer que la stabilité implique la catégoricité en toutes les cardinalités ou l'inverse ; la stabilité porte sur le nombre borné de types, pas sur l'unicité automatique des modèles en cardinalités non dénombrables — des notions plus fortes (ω‑stabilité, superstabilité, catégoricité) sont distinctes.

Conséquence

La stabilité fournit un riche outillage structurel : indépendance par forking, rangs et dimensions, décomposition en types réguliers et résultats de classification puissants qui permettent de transposer l'intuition géométrique à la structure modèle-théorique.

Inversion

Une théorie instable présente la propriété d'ordre et donc des nombres arbitrairement grands de types au-dessus de certains ensembles de paramètres ; cela entraîne généralement un comportement combinatoire chaotique, l'absence d'une notion d'indépendance robuste et de nombreux modèles non isomorphes.

Limite

La stabilité est une propriété des théories du premier ordre relative à un langage fixé et à l'arithmétique des cardinaux ; elle admet des raffinements (superstabilité, ω‑stabilité, NIP, simplicité) qui tracent des lignes de partage plus fines pour la classification et l'applicabilité.

Tension sémantique

Tension avec des lignes de partage voisines : les théories stables forment un sous-ensemble strict des théories NIP et simples de façons différentes ; en pratique il faut souvent choisir quel raffinement (stabilité, simplicité, NIP) capture le mieux les phénomènes étudiés.

Synthèse

La stabilité est la condition modèle-théorique qui contrôle la prolifération des types et fournit un calcul d'indépendance bien comporté ; c'est la ligne de base de la théorie de la classification, reliant la tameness combinatoire à la structure géométrique.