## [Théorie Stable](/fr/node/63601) Définition 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 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 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 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 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 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 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 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 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.