Théorème fondamental de l'arithmétique

Un nombre réel est rationnel si et seulement si sa représentation décimale est périodique. Cela signifie que la séquence de chiffres finit par répéter indéfiniment une séquence finie de chiffres. Cette partie répétitive est appelée la répétition. Par exemple, [latex]1/3 = 0,333...[/latex] (la répétition est ' 3 ') et [latex]3/7 = 0,428571428571...[/latex] (la répétition est ' 428571 '). Les décimales terminées sont un cas particulier où la répétition est ' 0 '.

Le théorème de Bézout est un énoncé fondamental de la théorie des intersections. Il affirme que le nombre de points d'intersection de deux courbes algébriques planes de degrés [latex]m[/latex] et [latex]n[/latex] est exactement [latex]mn[/latex], à condition de travailler dans un plan projectif sur un corps algébriquement clos, de compter les points avec multiplicité et d'inclure les points à l'infini où les asymptotes parallèles se rencontrent.

Le théorème fondamental de l'algèbre stipule que tout polynôme à une variable non constant avec des coefficients complexes possède au moins une racine complexe. Cela garantit que le champ des nombres complexes est algébriquement clos, ce qui signifie que les équations polynomiales qui ne peuvent être résolues en nombres réels peuvent être résolues en nombres complexes. Pour un polynôme [latex]p(z) = a_n z^n + \dots + a_1 z + a_0[/latex], il existe un [latex]z_0 dans \mathbb{C}[/latex] tel que [latex]p(z_0) = 0[/latex].

La représentation canonique, ou forme standard, d'un entier positif [latex]n[/latex] est sa factorisation unique en nombres premiers écrite sous forme de produit de puissances de nombres premiers classés par ordre croissant. Pour tout entier [latex]n > 1[/latex], on peut écrire [latex]n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}[/latex], où [latex]p_1 < p_2 < \cdots < p_k[/latex] sont des nombres premiers et les exposants [latex]a_i[/latex] sont des entiers positifs.

Théorème fondamental d'existence et d'unicité des équations aux dérivées partielles associées aux problèmes de Cauchy aux valeurs initiales. Il stipule que si l'EDP et les conditions initiales sont analytiques (représentables par des séries entières convergentes), alors une solution analytique unique existe au voisinage de la surface initiale. Il garantit l'existence locale, mais ne traite pas du comportement global ni de la bonne pose.

Pour un nombre premier [latex]p[/latex], les nombres p-adiques forment une extension des nombres rationnels qui est topologiquement différente des nombres réels. Alors que les nombres réels sont un complétement de [latex]\mathbb{Q}[/latex] par rapport à la métrique habituelle de valeur absolue, les nombres p-adiques sont le complétement de [latex]\mathbb{Q}[/latex] par rapport à la métrique p-adique, où les nombres sont " petits " s'ils sont divisibles par une puissance élevée de [latex]p[/latex].

Un nombre rationnel est tout nombre qui peut être exprimé sous forme de fraction ou de quotient [latex]p/q[/latex], où [latex]p[/latex] est un nombre entier et [latex]q[/latex] est un nombre entier non nul. L'ensemble de tous les nombres rationnels est noté [latex]\mathbb{Q}[/latex]. Ce concept fondamental étend les nombres entiers pour inclure les fractions, permettant ainsi de représenter des parties d'un tout.

Une équation différentielle partielle (EDP) est une équation qui impose des relations entre les différentes dérivées partielles d'une fonction multivariable. La fonction est souvent appelée l'inconnue, et une EDP décrit une relation entre cette fonction inconnue et ses dérivées. Contrairement aux équations différentielles ordinaires (EDO), qui impliquent des fonctions d'une seule variable, les EDP sont fondamentales pour modéliser des systèmes multidimensionnels.

Technique de résolution d'équations aux dérivées partielles (EDP) du premier ordre et du second ordre hyperboliques. Cette méthode réduit une EDP à une famille d'équations différentielles ordinaires (EDO) suivant des courbes spécifiques appelées « caractéristiques ». Le long de ces courbes, l'EDP se simplifie, permettant de trouver la solution par intégration du système d'EDO. Elle est particulièrement performante pour les problèmes de transport et de propagation d'ondes.

Un corollaire direct du théorème fondamental de l'algèbre est que tout polynôme non constant à coefficients réels peut être factorisé en un produit de facteurs linéaires et de facteurs quadratiques irréductibles, tous à coefficients réels. Les facteurs linéaires correspondent aux racines réelles, tandis que les facteurs quadratiques irréductibles correspondent à des paires de racines complexes conjuguées [latex]a \pm bi[/latex].

Un nombre transcendant est un nombre réel ou complexe qui n'est pas algébrique, ce qui signifie qu'il n'est la racine d'aucune équation polynomiale non nulle à coefficients entiers (ou rationnels). Tous les nombres transcendants sont irrationnels, mais tous les nombres irrationnels ne sont pas transcendants (par exemple, [latex]\sqrt{2}[/latex] est irrationnel mais algébrique, car il est une racine de [latex]x^2 - 2 = 0[/latex]).

Bien qu'il soit dense, ce qui signifie qu'entre deux nombres rationnels distincts il en existe un autre, l'ensemble de tous les nombres rationnels [latex]\mathbb{Q}[/latex] est infini dénombrable. Cela signifie que tous les nombres rationnels peuvent être mis en correspondance biunivoque avec les nombres naturels [latex]\mathbb{N} = \{1, 2, 3, ...\}[/latex]. Ce résultat surprenant démontre que [latex]\mathbb{Q}[/latex] a la même cardinalité que [latex]\mathbb{N}[/latex] et [latex]\mathbb{Z}[/latex].

Le Nullstellensatz de Hilbert (en allemand, "théorème des zéros") établit une correspondance fondamentale entre la géométrie et l'algèbre. Il stipule que pour un corps algébriquement clos [latex]k[/latex], si un polynôme [latex]p[/latex] s'évanouit sur l'ensemble des zéros d'un idéal [latex]I[/latex], alors une puissance de [latex]p[/latex] doit appartenir à [latex]I[/latex]. Formellement, [latex]I(V(I)) = \sqrt{I}[/latex], le radical de [latex]I[/latex].

Une variété affine est l'ensemble des points d'un espace affine dont les coordonnées sont les zéros communs d'un ensemble fini de polynômes. Pour un ensemble de polynômes [latex]S = \{f_1, \dots, f_k\}[/latex] dans un anneau polynomial [latex]k[x_1, \dots, x_n][/latex], la variété affine correspondante est [latex]V(S) = \{x \in k^n | f(x) = 0 \text{ for all } f \in S}[/latex]. C'est un objet d'étude central en géométrie algébrique classique.