Sous-corps exotique de R

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, un sous-corps exotique de \mathbb{R} est un sous-corps indénombrable strict de \mathbb{R} construit à l'aide du lemme de Zorn (et donc de l'axiome du choix).

[modifier] Exemple

Soit E l'ensemble des sous-corps de \mathbb{R} ne contenant pas \sqrt{2}. E est non vide (car il contient par exemple \mathbb{Q}) et ordonné (partiellement) par l'inclusion. On vérifie aisément que c'est alors un ensemble inductif. D'après le lemme de Zorn, il possède donc un élément maximal K. La maximalité de K permet de montrer que l'extension K[\sqrt{2}] \to \mathbb{R} est algébrique; l'extension K \to \mathbb{R} l'est donc également, ce qui entraîne que K est indénombrable. Enfin, K est un sous-corps strict de \mathbb{R} car il ne contient pas \sqrt{2}. K[\sqrt{2}] est strictement inclus dans K et envoyant \sqrt{2} sur -\sqrt{2} serait un automorphisme de corps de \mathbb{R} autre que l'identité, ce qui est absurde.

[modifier] Voir aussi