# Méthode du va-et-vient

En logique mathématique, et particulièrement en théorie des ensembles et en théorie des modèles, la méthode du va-et-vient est une méthode pour démontrer l'isomorphisme entre des structures dénombrables vérifiant certaines conditions additionnelles.

## Définition

On fixe un langage ${\mathcal {L}}$ et on considère deux ${\mathcal {L}}$-structures ${\mathcal {M}}$ et ${\mathcal {N}}$ de domaines respectivement $M$ et $N$. On appelle isomorphisme partiel entre ${\mathcal {M}}$ et ${\mathcal {N}}$ tout isomorphisme entre deux sous-${\mathcal {L}}$-structures de ${\mathcal {M}}$ et de ${\mathcal {N}}$. Ainsi, on dit alors qu'une famille ${\mathcal {I}}$ non vide d'isomorphismes partiels entre ${\mathcal {M}}$ et ${\mathcal {N}}$ est un va-et-vient si les deux propriétés suivantes sont vérifiées :
* (VA) $\forall \sigma \in {\mathcal {I}}\ \ \forall c\in M\ \ \exists \sigma '\in {\mathcal {I}}$ $\left(\ \sigma \subseteq \sigma '\ \land \ c\in \mathrm {dom} (\sigma ')\ \right)$
* (VIENT) $\forall \sigma \in {\mathcal {I}}\ \ \forall d\in N\ \ \exists \sigma '\in {\mathcal {I}}$ $\left(\ \sigma \subseteq \sigma '\ \land \ d\in \mathrm {im} (\sigma ')\ \right)$
En d'autres termes, chaque isomorphisme partiel de la famille admet un prolongement, que l'on peut exhiber au sein même de la famille. Mais en plus, on peut également trouver de manière plus précise un tel prolongement pour chaque isomorphisme partiel, en imposant quel nouvel élément on souhaite qu'il appartienne au domaine du prolongement, ou à son image (codomaine).

## Utilisations

La méthode du va-et-vient s'applique à des ensembles dénombrables infinis ayant une certaine structure (au sens logique du terme). Elle permet de construire une bijection entre ces ensembles, bijection qui possède des propriétés de préservation de la structure, donc qui est un isomorphisme. Voici des exemples :
* La méthode peut être utilisée pour démontrer que deux ensembles ordonnés denses (c'est-à-dire totalement ordonnés et tels qu'entre deux éléments distincts, il existe toujours un troisième) dénombrables et sans éléments extrémaux sont isomorphes (un isomorphisme entre ensembles totalement ordonnés est une bijection strictement croissante). Ce résultat implique par exemple qu'il existe des bijections strictement croissantes entre l'ensemble des nombres rationnels et l'ensemble des nombres algébriques.
* Elle permet de démontrer que deux algèbres de Boole infinies dénombrables sans atomes sont isomorphes.
* Elle permet aussi de démontrer que deux modèles atomiques (en) dénombrables équivalents d'une théorie logique sont isomorphes.
* Elle permet de démontrer que le modèle d'Erdős-Rényi (en) des graphes aléatoires, appliqué à des graphes infinis dénombrables, produit toujours un graphe unique, le graphe de Rado.
* Elle permet de démontrer que deux ensembles m-complets (en) récursivement énumérables sont récursivement isomorphes.

## Application aux ensembles ordonnés denses

On considère deux ensembles ordonnés denses $(A,\leq _{A})$ et $(B,\leq _{B})$ dénombrables, et sans éléments extrémaux, c'est-à-dire sans éléments maximum ou minimum. On fixe une énumération des éléments de $A$ et $B$ :
    $A=\{a_{1},a_{2},a_{3},\ldots \}$ et $B=\{b_{1},b_{2},b_{3},\ldots \}$
et on construit une bijection strictement croissante entre $A$ et $B$ en associant progressivement des éléments de $A$ à $B$ et de $B$ à $A$. Au départ, aucun élément de $A$ n'est associé à un élément de $B$.
(1) Soit $i$ le plus petit indice tel que $a_{i}$ n'est pas associé à un élément de $B$, et soit $j$ un indice tel que $b_{j}$ n'est pas associé à un élément de $A$ et tel que $a_{i}$ peut être associé à $b_{j}$ de sorte que la correspondance est strictement croissante. Alors on associe $a_{i}$ et $b_{j}$.
(2) Soit $j$ le plus petit indice tel que $b_{j}$ n'est pas associé à un élément de $A$, et soit $i$ un indice tel que $a_{i}$ n'est pas associé à un élément de $B$ et tel que $b_{j}$ peut être associé à $a_{i}$ de sorte que la correspondance est strictement croissante. Alors on associe $b_{j}$ et $a_{i}$.
(3) On recommence en (1).
Il faut vérifier que les choix dans les étapes (1) et (2) peuvent être réalisés en respectant les conditions. Considérons une étape (1) : S'il existe des éléments $a_{p}$ et $a_{q}$ de $A$, en correspondance avec des éléments $b_{p}$ et $b_{q}$ de $B$ respectivement, tels $a_{p}<a_{i}<a_{q}$ et $b_{p}<b_{q}$, on choisit $b_{j}$ entre $b_{p}$ et $b_{q}$, ce qui est possible par la propriété de densité. Sinon, on choisit un élément quelconque de $B$ assez grand ou assez petit, ce qui est possible parce que $B$ n'a ni élément maximum ni élément minimum. Les choix faits dans l'étape (2) sont duaux des précédents. Enfin, la construction se termine après un nombre dénombrable d'étapes parce que les ensembles $A$ et $B$ sont dénombrables.

## Note historique

Quant à l'origine de la méthode, Hodges 1993:
    « Back-and-forth methods are often ascribed to Cantor, Bertrand Russell and C. H. Langford (en) [...], but there is no evidence to support any of these attributions. »
Le théorème sur les ensembles ordonnés denses dénombrables appelé le « théorème de Cantor en théorie des ordres » est dû à Cantor (1895), la méthode de va-et-vient avec laquelle il est maintenant démontré a été développée par Huntington 1904 et Hausdorff 1914. Ultérieurement, elle a été appliquée par Roland Fraïssé en théorie des modèles.