Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
- Accueil
- » Entraide (supérieur)
- » Théorème-définition nombres complexes
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- Glozi
- 25-01-2025 13:21:19
Bonjour,
Je t'invite à regarder le théorème de Frobenius
https://fr.m.wikipedia.org/wiki/Th%C3%A … %C3%A8bre)
En particulier, il est impossible de faire une construction semblable à celle des complexes en dimension 3. (c'est impossible de trouver un espace vectoriel reel de dimension 3 muni d'une loi de multiplication des vecteurs ayant un minimum de bonnes propriétés : associative, compatible avec l'addition et la multiplication par des scalaires et qui fasse de cet espace vectoriel un corps).
Bonne journée
- DeGeer
- 24-01-2025 18:43:49
On peut définir par les axiomes une théorie des corps algébriquement clos de caractéristique nulle (c'est-à-dire les axiomes qui définissent un corps, plus les axiomes pour dire que la caractéristique est nulle et que le corps est algébriquement clos). Une construction de $\mathbb{C}$ comme celles qui ont été données ici en constitue un modèle.
- bibmgb
- 24-01-2025 15:09:23
Bonjour,
Je vais essayer d'être un peu plus claire dans ma question, et je sais qu'elle est très naïve.
Concernant la proposition d'identifier [tex]a+ib[/tex] au couple de réels [tex](a,b)[/tex] avec le produit particulier [tex](a,b)\times (c,d)=(ac-bd,ad+bc)[/tex], on comprend bien alors que [tex]\mathbb{C}[/tex] se définit comme une [tex]\mathbb{R}[/tex]-algèbre à partir d'un [tex]\mathbb{R}[/tex]-espace vectoriel connu [tex]\mathbb{R}^2[/tex].
Mais pourquoi a-t-on besoin de faire ça ? Est-il possible de ne pas partir de quelque chose de connu, de prendre la définition telle qu'elle est donnée dans le cours susnommé ? Que faudrait-il alors faire pour prouver son existence ? Qu'est-ce qui peut bloquer l'existence d'un nouvel ensemble ?
- Michel Coste
- 20-01-2025 16:04:50
Et, comme je l'ai écrit plus haut, on peut tout simplement définir la $\mathbb R$-algèbre $\mathbb C$ comme le $\mathbb R$-espace vectoriel $\mathbb R^2$ muni de la multipliication $(a,b)\times (c,d)= (ac-bd, ad+bc)$. On se dépêche bien sûr de poser $i=(0,1)$ et d'identifier $a$ à $(a,0)$ (vu que $(1,0)$ est l'élément neutre de la multiplication), de sorte que $(a,b)=a+ib$.
- DeGeer
- 20-01-2025 14:28:18
Pour démontrer l'existence du corps des nombres complexes, on peut en expliciter une construction. Il y a plusieurs possibilités. Par exemple, on peut définir le corps des nombres complexes comme la sous-algèbre de $\mathcal{M}_2(\mathbb{R})$ engendrée par les deux matrices de mon message précédent, après avoir démontré que cette sous-algèbre est un corps dans lequel s'injecte $\mathbb{R}$.
On peut aussi définir $\mathbb{C}$ comme le corps de décomposition du polynôme $X^2+1$ dans $\mathbb{R}[X]$.
- bibmgb
- 20-01-2025 10:30:37
Bonjour,
Merci pour vos réponses.
L'auteur décrit les éléments de l'ensemble et les opérations sur ces éléments. Il s'agit alors de définitions. Que doit-il concrètement démontrer pour affirmer l'existence de l'ensemble qu'il décrit ?
- DeGeer
- 08-01-2025 16:45:15
Bonjour
Une manière simple de définir les nombres complexes est d'utiliser les matrices réelles $\left( \begin{array}{cc} 1 & 0 \\
0 & 1 \end{array} \right)$ et $\left( \begin{array}{cc} 0 & 1 \\
-1 & 0 \end{array} \right)$ en appelant $1_{\mathbb{C}}$ la première matrice et $i$ la seconde. Mais cette méthode n'est pas accessible en début de mpsi, quand il faut introduire les nombres complexes.
- Michel Coste
- 08-01-2025 14:56:51
Bonjour,
"Démontrer l'existence" peut vouloir dire construire à partir de quelque chose supposé déjà à notre disposition, par exemple $\mathbb R$. En fait, pratiquement, l'auteur construit $\mathbb C$ comme l'ensemble des couples de réels $(a,b)$ (avec $i=(0,1)$) muni des opérations (addition et multiplication) que l'on connaît.
- bibmgb
- 08-01-2025 12:40:23
Bonjour,
Dans le cours de Christophe Bertault Cours Complexes sur les nombres complexes en mpsi, il commence par dire "On admet momentanément l'existence d'un ensemble C tel que ..."
Ma question est naïve mais que signifie "démontrer l'existence d'un tel ensemble" ?
Merci.