Principe de standardisation

En analyse non standard, le principe de standardisation permet de construire des ensembles standard à partir de prédicats externes.

Énoncé[modifier | modifier le code]

Si A est un ensemble standard et p(x) est un prédicat dépendant d'une variable x dans A, on est en droit de considérer :

B=\{x\in A,p(x)\}

Malheureusement B n'est pas en général un ensemble standard. Le principe de standardisation affirme l'existence d'un ensemble standard $St(B)$ appelé standardisé de B dont la collection des éléments standard est exactement la collection des éléments standard de B.

Par le principe d'extensionnalité non standard, cet ensemble standard $St(B)$ est uniquement défini et est nécessairement une partie de A.

Il n'existe aucune relation d'inclusion entre B et $St(B)$ .

Standardisation d'une application[modifier | modifier le code]

Si A et B sont des ensembles standard et $f:A\rightarrow B$ une application non standard, il existe une unique application standard $g:A\rightarrow B$ coïncidant avec f sur tous les éléments standard de A.

Voir aussi[modifier | modifier le code]

Principe d'idéalisation