Domaine qui élabore des critères et méthodes pour prouver que certains nombres réels ou complexes sont transcendants — qu'ils ne sont racines d'aucun polynôme non nul à coefficients entiers (ou algébriques) — et pour quantifier leurs mesures de transcendance ou d'indépendance algébrique.

Principe

S'organiser autour de constructions utilisant exponentielles, logarithmes et fonctions auxiliaires ainsi que de mesures de transcendance : construire des formes linéaires en logarithmes, des déterminants d'interpolation ou des polynômes auxiliaires dont la taille et les propriétés d'annulation entraînent des contradictions si un nombre était algébrique.

Démonstration

La construction de Liouville produit des nombres ayant des approximations rationnelles exceptionnellement bonnes et démontre leur transcendance ; le théorème de Lindemann–Weierstrass prouve que e^{α} est transcendant pour tout α algébrique non nul ; les méthodes des formes linéaires en logarithmes fournissent des bornes effectives et ont abouti à de nombreux résultats explicites de transcendance et d'indépendance algébrique.

Mauvaise application

Confondre transcendance et simple irrationalité, ou déduire une indépendance algébrique à partir d'un seul résultat de transcendance ; utiliser les mesures de transcendance como si elles fournissaient algorithmes effectifs pour décider l'algébricité de constantes générales.

Conséquence

Une application correcte permet de prouver la transcendance de constantes importantes, d'obtenir des mesures effectives d'approximation par nombres algébriques, des résultats d'indépendance algébrique et des conséquences sur l'impossibilité de certaines relations algébriques entre constantes classiques.

Inversion

Contraste avec la théorie algébrique des nombres, qui classe et étudie les nombres algébriques (racines de polynômes) et leurs corps ; inverser l'approche revient à étudier la structure algébrique plutôt que démontrer l'absence de relations polynomiales.

Limite

Couvre les questions de transcendance, d'indépendance algébrique et de mesures effectives ; n'englobe pas l'étude exhaustive des corps de nombres algébriques, et n'offre pas automatiquement de décision générale de l'algébricité de constantes sans travaux supplémentaires profonds.

Tension sémantique

Tension entre preuves d'existence de transcendance non constructives et le désir de mesures effectives et calculables ; aussi tension entre prouver la transcendance d'un seul nombre et établir l'indépendance algébrique de plusieurs nombres.

Synthèse

La Théorie des Nombres Transcendants développe des techniques constructives et analytiques — polynômes auxiliaires, formes linéaires en logarithmes, déterminants d'interpolation — afin de montrer que certains nombres ne peuvent satisfaire des relations polynomiales à coefficients algébriques, quantifier leur distance aux nombres algébriques et établir des résultats d'indépendance.