Sous-corps exotique de R

Sous-corps exotique de R

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).

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}.

De plus, K[\sqrt{2}] est strictement inclus dans \mathbb{R}: dans le cas contraire, l'automorphisme de corps de K[\sqrt{2}] fixant les éléments de K et envoyant \sqrt{2} sur -\sqrt{2} serait un automorphisme de corps de \mathbb{R} autre que l'identité, ce qui est absurde.

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Sous-corps exotique de R de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Sous-corps exotique de r — En mathématiques, un sous corps exotique de est un sous corps indénombrable strict de construit à l aide du lemme de Zorn (et donc de l axiome du choix). Exemple Soit E l ensemble des sous corps de ne contenant pas …   Wikipédia en Français

  • Automorphisme De Corps Non Continu De C — Bien que le seul automorphisme de corps de soit l identité et que les seuls automorphismes de corps continus de soient l identité et la conjugaison, l usage de l axiome du choix (à deux reprises) permet de construire d autres automorphismes de… …   Wikipédia en Français

  • Automorphisme de corps non continu de c — Bien que le seul automorphisme de corps de soit l identité et que les seuls automorphismes de corps continus de soient l identité et la conjugaison, l usage de l axiome du choix (à deux reprises) permet de construire d autres automorphismes de… …   Wikipédia en Français

  • Automorphismes de corps non continus de C — Automorphisme de corps non continu de C Bien que le seul automorphisme de corps de soit l identité et que les seuls automorphismes de corps continus de soient l identité et la conjugaison, l usage de l axiome du choix (à deux reprises) permet de… …   Wikipédia en Français

  • Automorphisme de corps non continu de C — Bien que le seul automorphisme de corps de soit l identité et que les seuls automorphismes de corps continus de soient l identité et la conjugaison, l usage de l axiome du choix (à deux reprises) permet de construire d autres automorphismes de… …   Wikipédia en Français

  • Musique sous la Rome antique — Musique de la Rome antique Histoire de la musique classique occidentale Chronologie de la musique classique Chronologie de l opéra Musique des origines …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Nombre P-Adique — En théorie des nombres, si p est un nombre premier, un nombre p adique est un objet mathématique qui peut se concevoir comme une suite de chiffres en base p, éventuellement infinie à gauche de la virgule (mais toujours finie à droite de la… …   Wikipédia en Français

  • Nombre p-adique — En mathématiques, et plus particulièrement en théorie des nombres, si p est un nombre premier, un nombre p adique est un objet qui peut se concevoir comme une suite de chiffres en base p, éventuellement infinie à gauche de la virgule (mais… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”