Mostrar código-fonte de Teoria da transcendência

{{Short description|Estudo de números que não são soluções de polinômios com coeficientes racionais}}'''Teoria dos números transcendentes''' é um ramo da [[teoria dos números]] que investiga [[Número transcendente|números transcendentes]] (números que não são soluções de nenhuma [[equação polinomial]] com [[Número racional|racionais]] como [[Coeficiente|coeficientes]]), tanto de maneira qualitativa quanto quantitativa.

== Transcendência ==
{{Main|Número transcendente}}
O [[Teorema fundamental da álgebra]] nos diz que, se temos um [[polinômio]] não constante com coeficientes racionais (ou equivalentemente, ao [[eliminar denominadores]], com coeficientes [[Número inteiro|inteiros]]), então esse polinômio terá uma [[Zero de uma função|raiz]] nos [[Número complexo|números complexos]]. Ou seja, para qualquer polinômio não constante <math>P</math> com coeficientes racionais, existirá um número complexo <math>\alpha</math> tal que <math>P(\alpha)=0</math>. A teoria da transcendência se ocupa da questão contrária: dado um número complexo <math>\alpha</math>, existe um polinômio <math>P</math> com coeficientes racionais tal que <math>P(\alpha)=0?</math> Se não existir tal polinômio, então o número é chamado de transcendental.

De modo mais geral, a teoria lida com a [[independência algébrica]] de números. Um conjunto de números {α<sub>1</sub>, α<sub>2</sub>, …, α<sub>''n''</sub>} é chamado de algébrica e independentemente se não existe polinômio não nulo ''P'' em ''n'' variáveis, com coeficientes em um [[Corpo (matemática)|corpo]] ''K'', tal que ''P''(α<sub>1</sub>, α<sub>2</sub>, …, α<sub>''n''</sub>) = 0. Assim, determinar se um dado número é transcendental é, na verdade, um caso especial da independência algébrica, onde ''n'' = 1 e o corpo ''K'' é o corpo dos [[Número racional|números racionais]].

Um conceito relacionado é o de saber se há uma [[Expressão em forma fechada|forma fechada]] para um número, incluindo exponenciais e logaritmos, bem como operações algébricas. Existem várias definições de "forma fechada", e questões sobre forma fechada podem frequentemente ser reduzidas a questões de transcendência.

== História ==

=== Aproximação por números racionais: de Liouville a Roth ===
O uso do termo ''transcendental'' para se referir a um objeto que não é algébrico remonta ao século XVII, quando [[Gottfried Leibniz]] provou que a [[função seno]] não era uma [[função algébrica]].<ref>N. Bourbaki, ''Elements of the History of Mathematics'' Springer (1994).</ref> A questão de saber se certas classes de números poderiam ser transcendentais data de 1748<ref>{{Harvnb|Gelfond|1960|p=2}}.</ref>, quando [[Euler]] afirmou<ref>{{cite book|url=https://archive.org/details/bub_gb_jQ1bAAAAQAAJ|title=Introductio in analysin infinitorum|last=Euler|first=L.|location=Lausanne|year=1748}}</ref> que o número log<sub>''a''</sub>''b'' não era [[Número algébrico|algébrico]] para [[Número racional|racionais]] ''a'' e ''b'', desde que ''b'' não fosse da forma ''b'' = ''a<sup>c</sup>'', para algum racional ''c''.

A afirmação de Euler só foi provada no século XX, mas quase cem anos depois de seu enunciado, [[Joseph Liouville]] conseguiu provar a existência de números que não são algébricos, algo que até então não era sabido com certeza.<ref>A prova de existência baseada nas diferentes [[Cardinalidade|cardinalidades]] dos [[Número real|números reais]] e dos [[Número algébrico|números algébricos]] não era possível antes do [[Primeiro artigo de teoria de conjuntos de Cantor]] em 1874.</ref> Seus artigos originais sobre o assunto na década de 1840 esboçaram argumentos usando [[Frações contínuas|frações contínuas simples]] para construir números transcendentes. Posteriormente, na década de 1850, ele apresentou uma [[Condição necessária e suficiente|condição necessária]] para que um número fosse algébrico, e consequentemente uma condição suficiente para que um número fosse transcendental.<ref>{{cite journal |title=Sur les classes très étendues de quantités dont la valeur n'est ni algébrique ni même réductible à des irrationelles algébriques |journal=Comptes rendus de l'Académie des Sciences de Paris |year=1844 |pages=[http://gallica.bnf.fr/ark:/12148/bpt6k2977n/f883.image 883–885], [http://gallica.bnf.fr/ark:/12148/bpt6k2977n/f910.image 910–911] |volume=18 |last1=Liouville |first1=J.}}; ''Journal Math. Pures et Appl.'' '''16''', (1851), pp.133–142.</ref> Esse critério de transcendência não era forte o suficiente para ser necessário também, e de fato não detecta que o número [[Constante e (matemática)|''e'']] é transcendental. Mas seu trabalho forneceu uma classe maior de números transcendentes, agora conhecidos como [[Número de Liouville|números de Liouville]] em sua homenagem.

O critério de Liouville essencialmente dizia que números algébricos não podem ser muito bem aproximados por números racionais. Portanto, se um número pode ser muito bem aproximado por números racionais, ele deve ser transcendental. O significado preciso de "muito bem aproximado" no trabalho de Liouville se relaciona a certo expoente. Ele mostrou que se α é um [[número algébrico]] de grau ''d'' ≥ 2 e ε for qualquer número maior que zero, então a expressão

: <math>\left|\alpha-\frac{p}{q}\right|<\frac{1}{q^{d+\varepsilon}}</math>

pode ser satisfeita por apenas um número finito de racionais ''p''/''q''. Usar isso como critério para transcendência não é trivial, pois é preciso verificar se existem infinitamente muitas soluções ''p''/''q'' para cada ''d'' ≥ 2.

No século XX, trabalhos de [[Axel Thue]]<ref>{{cite journal |title=Über Annäherungswerte algebraischer Zahlen |journal=[[Journal für die reine und angewandte Mathematik|J. Reine Angew. Math.]] |issue=135 |last=Thue |first=A. |year=1909 |pages=284–305 |doi=10.1515/crll.1909.135.284 |volume=1909 |s2cid=125903243}}</ref>, [[Carl Ludwig Siegel|Carl Siegel]]<ref>{{cite journal |url=https://zenodo.org/record/1538156 |title=Approximation algebraischer Zahlen |journal=[[Mathematische Zeitschrift]] |issue=3–4 |last=Siegel |first=C. L. |year=1921 |pages=172–213 |doi=10.1007/BF01211608 |volume=10 |doi-access=free}}</ref> e [[Klaus Roth]]<ref>{{cite journal |title=Rational approximations to algebraic numbers |journal=[[Mathematika]] |issue=1 |last=Roth |first=K. F. |year=1955 |pages=1–20 |doi=10.1112/S0025579300000644 |volume=2}} And "Corrigendum", p. 168.</ref> reduziram o expoente no trabalho de Liouville de ''d'' + ε para ''d''/2 + 1 + ε, e finalmente, em 1955, para 2 + ε. Esse resultado, conhecido como [[Teorema de Thue–Siegel–Roth]], é ostensivamente o melhor possível, pois se o expoente 2 + ε for substituído por apenas 2, o resultado não será mais verdadeiro. No entanto, [[Serge Lang]] conjecturou uma melhora do resultado de Roth; em particular, ele conjecturou que <math>q^{2+\varepsilon}</math> no denominador do lado direito poderia ser reduzido para <math>q^{2}(\log q)^{1+ \epsilon}</math>.

O trabalho de Roth encerrou efetivamente a linha de pesquisa iniciada por Liouville e permitiu provar a transcendência de muitos outros números, como a [[Constante de Champernowne]]. Mesmo assim, o teorema ainda não é forte o suficiente para detectar ''todos'' os números transcendentes, e muitos valores famosos (incluindo ''e'' e π) não são ou não se sabe se são muito bem aproximáveis nesse sentido.<ref>{{cite journal |title=On the approximation of π |journal=Proc. Akad. Wetensch. Ser. A |last=Mahler |first=K. |year=1953 |pages=30–42 |volume=56}}</ref>

=== Funções auxiliares: de Hermite a Baker ===
Felizmente, outros métodos foram desenvolvidos no século XIX para lidar com as propriedades algébricas de ''e'', e consequentemente de π através da [[Identidade de Euler]]. Esse trabalho se concentrou no uso das chamadas [[Função (matemática)|funções]] auxiliares, que tipicamente têm muitos zeros nos pontos em questão. Aqui, "muitos zeros" pode significar muitos zeros distintos, ou apenas um zero com alta [[Multiplicidade (matemática)|multiplicidade]], ou até muitos zeros com alta multiplicidade. [[Charles Hermite]] usou funções auxiliares que aproximavam as funções <math>e^{kx}</math> para cada [[número natural]] <math>k</math>, a fim de provar a transcendência de <math>e</math> em 1873.<ref>{{cite journal |title=Sur la fonction exponentielle |journal=C. R. Acad. Sci. Paris |last=Hermite |first=C. |year=1873 |volume=77}}</ref> Seu trabalho foi desenvolvido por [[Ferdinand von Lindemann]] na década de 1880<ref>{{cite journal |url=https://zenodo.org/record/1428234 |title=Ueber die Zahl π |journal=[[Mathematische Annalen]] |issue=2 |last=Lindemann |first=F. |year=1882 |pages=213–225 |doi=10.1007/BF01446522 |volume=20 |doi-access=free}}</ref> para provar que <math>e^{\alpha}</math> é transcendental para números algébricos α não nulos. Em particular, isso provou que π é transcendental, já que <math>e^{\pi i}</math> é algébrico, e assim respondeu negativamente ao [[Problema da Antiguidade|problema]] de saber se era possível [[Quadratura do círculo|quadrar o círculo]]. [[Karl Weierstrass]] desenvolveu ainda mais o trabalho deles e finalmente provou o [[Teorema de Lindemann–Weierstrass]] em 1885.<ref>{{cite journal |title=Zu Hrn. Lindemann's Abhandlung: 'Über die Ludolph'sche Zahl' |journal=Sitzungber. Königl. Preuss. Akad. Wissensch. Zu Berlin |last=Weierstrass |first=K. |year=1885 |pages=1067–1086 |volume=2}}</ref>

Em 1900, [[David Hilbert]] apresentou sua famosa [[Problemas de Hilbert|coleção de problemas]]. O [[Sétimo problema de Hilbert|sétimo deles]], um dos mais difíceis na estimativa de Hilbert, perguntou sobre a transcendência de números da forma ''a<sup>b</sup>'', onde ''a'' e ''b'' são algébricos, ''a'' não é zero nem um, e ''b'' é [[Número irracional|irracional]]. Na década de 1930, [[Alexander Gelfond]]<ref>{{cite journal |title=Sur le septième Problème de D. Hilbert |journal=Izv. Akad. Nauk SSSR |last=Gelfond |first=A. O. |year=1934 |pages=623–630 |volume=7}}</ref> e [[Theodor Schneider]]<ref>{{cite journal |title=Transzendenzuntersuchungen periodischer Funktionen. I. Transzendend von Potenzen |journal=[[Journal für die reine und angewandte Mathematik]] |issue=172 |last=Schneider |first=T. |year=1935 |pages=65–69 |doi=10.1515/crll.1935.172.65 |volume=1935 |s2cid=115310510}}</ref> provaram que todos esses números eram de fato transcendentes, usando uma função auxiliar não explícita cuja existência foi garantida pelo [[Lema de Siegel]]. Esse resultado, o [[Teorema de Gelfond–Schneider]], provou a transcendência de números como [[Constante de Gelfond|''e''<sup>π</sup>]] e a constante de Gelfond–Schneider.

O próximo grande resultado nesse campo ocorreu na década de 1960, quando [[Alan Baker (matemático)|Alan Baker]] fez progressos em um problema proposto por Gelfond sobre [[formas lineares em logaritmos]]. O próprio Gelfond havia conseguido encontrar uma cota inferior não trivial para a quantidade

: <math>|\beta_1\log\alpha_1 +\beta_2\log\alpha_2|\,</math>

em que os quatro desconhecidos são algébricos, sendo as αs diferentes de zero ou de um, e as βs irracionais. Encontrar cotas semelhantes para a soma de três ou mais logaritmos, no entanto, escapava de Gelfond. A prova do [[Teorema de Baker]] continha essas cotas, resolvendo o [[Problema do número de classes]] de Gauss para número de classes um no processo. Esse trabalho rendeu a Baker a [[Medalha Fields]], devido às suas aplicações na resolução de [[Equação diofantina|equações diofantinas]]. Do ponto de vista puramente da teoria dos números transcendentes, Baker provou que se α<sub>1</sub>, ..., α<sub>''n''</sub> são números algébricos, nenhum deles zero ou um, e β<sub>1</sub>, ..., β<sub>''n''</sub> são números algébricos tais que 1, β<sub>1</sub>, ..., β<sub>''n''</sub> são [[Independência linear|linearmente independentes]] sobre os números racionais, então o número

: <math>\alpha_1^{\beta_1}\alpha_2^{\beta_2}\cdots\alpha_n^{\beta_n}</math>

é transcendental.<ref>A. Baker, ''Linear forms in the logarithms of algebraic numbers. I, II, III'', Mathematika '''13''' ,(1966), pp.204–216; ibid. '''14''', (1967), pp.102–107; ibid. '''14''', (1967), pp.220–228.</ref>

=== Outras técnicas: Cantor e Zilber ===
Na década de 1870, [[Georg Cantor]] começou a desenvolver a [[Teoria dos conjuntos]], e em 1874 publicou um [[Primeiro artigo de teoria de conjuntos de Cantor|artigo]] provando que os [[Número algébrico|números algébricos]] podem ser colocados em [[Bijeção|correspondência biunívoca]] com o conjunto dos [[Número natural|números naturais]], e, portanto, que o conjunto de números transcendentes deve ser [[Conjunto não enumerável|não enumerável]].<ref>{{cite journal |url=http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=266194 |title=Ueber eine Eigenschaft des Inbegriffes aller reelen algebraischen Zahlen |journal=[[Journal für die reine und angewandte Mathematik|J. Reine Angew. Math.]] |issue=77 |last=Cantor |first=G. |year=1874 |pages=258–262 |language=de |doi=10.1515/crll.1874.77.258 |volume=1874 |s2cid=199545885}}</ref> Mais tarde, em 1891, Cantor usou seu mais conhecido [[Argumento da diagonal de Cantor|argumento da diagonal]] para provar o mesmo resultado.<ref>{{cite journal |url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002113910 |title=Ueber eine elementare Frage der Mannigfaltigkeitslehre |journal=Jahresbericht der Deutschen Mathematiker-Vereinigung |last=Cantor |first=G. |year=1891 |pages=75–78 |language=de |volume=1}}</ref> Enquanto o resultado de Cantor é frequentemente citado como sendo puramente existencial e, portanto, inútil para construir explicitamente um único número transcendental,<ref>{{cite book|url=https://archive.org/details/mathematicslogic0000kacm|title=Mathematics and Logic|last1=Kac|first1=M.|last2=Stanislaw|first2=U.|publisher=Fredering A. Praeger|url-access=|year=1968|page=[https://archive.org/details/mathematicslogic0000kacm/page/13 13]}}</ref><ref>{{cite book|title=Men of Mathematics|last=Bell|first=E. T.|publisher=Simon & Schuster|location=New York|year=1937|page=[https://archive.org/details/menofmathematics0041bell/page/569 569]}}</ref> as provas em ambos os artigos citados fornecem métodos para construir números transcendentes.<ref>{{cite journal |url=http://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/Gray819-832.pdf |title=Georg Cantor and Transcendental Numbers |journal=[[American Mathematical Monthly]] |issue=9 |last=Gray |first=R. |year=1994 |pages=819–832 |doi=10.1080/00029890.1994.11997035 |jstor=2975129 |volume=101}}</ref>

Enquanto Cantor usou a teoria de conjuntos para provar a abundância de números transcendentes, um desenvolvimento mais recente é o uso da [[Teoria dos modelos]] em tentativas de provar um [[Problema em aberto|problema]] na teoria dos números transcendentes. O problema consiste em determinar o [[grau de transcendência]] do corpo

: <math>K=\mathbb{Q}(x_1,\ldots,x_n,e^{x_1},\ldots,e^{x_n})</math>

para números complexos ''x''<sub>1</sub>, ..., ''x<sub>n</sub>'' que sejam linearmente independentes sobre os números racionais. [[Stephen Schanuel]] [[Conjectura de Schanuel|conjecturou]] que a resposta seja pelo menos ''n'', mas não há prova conhecida. Em 2004, porém, [[Boris Zilber]] publicou um artigo que utilizava técnicas de teoria dos modelos para criar uma estrutura que se comporta muito como os [[Número complexo|números complexos]] equipados com as operações de adição, multiplicação e exponenciação. Além disso, nessa estrutura abstrata, a conjectura de Schanuel de fato vale.<ref>{{cite journal |title=Pseudo-exponentiation on algebraically closed fields of characteristic zero |journal=Annals of Pure and Applied Logic |issue=1 |last=Zilber |first=B. |year=2005 |pages=67–95 |doi=10.1016/j.apal.2004.07.001 |mr=2102856 |volume=132 |doi-access=free}}</ref> Infelizmente, ainda não se sabe se essa estrutura é realmente a mesma que os números complexos com as operações mencionadas; pode existir alguma outra estrutura abstrata muito semelhante aos números complexos, mas em que a conjectura de Schanuel não vale. Zilber forneceu vários critérios para provar que a estrutura em questão é de fato '''C''', mas não conseguiu provar o chamado axioma de Fechamento Exponencial Forte. O caso mais simples desse axioma já foi provado,<ref>{{cite journal |title=A remark on Zilber's pseudoexponentiation |journal=Journal of Symbolic Logic |issue=3 |last=Marker |first=D. |year=2006 |pages=791–798 |doi=10.2178/jsl/1154698577 |jstor=27588482 |mr=2250821 |volume=71 |s2cid=1477361}}</ref> mas uma prova de que ele vale em toda a generalidade é necessária para concluir a prova da conjectura.

== Abordagens ==
Um problema típico nessa área da matemática é determinar se um dado número é transcendental. [[Georg Cantor|Cantor]] usou um argumento de [[Cardinalidade]] para mostrar que existem apenas [[Conjunto enumerável|enumeravelmente]] muitos números algébricos e, portanto, [[quase todos]] os números são transcendentes. Números transcendentes, então, representam o caso típico; ainda assim, pode ser extremamente difícil provar que um número específico é transcendental (ou mesmo simplesmente irracional).

Por esse motivo, a teoria da transcendência frequentemente busca uma abordagem mais quantitativa. Dado um número complexo α, pode-se perguntar quão próximo α está de ser um número algébrico. Por exemplo, se assumirmos que o número α é algébrico, é possível mostrar que ele deve ter grau muito alto ou um polinômio mínimo com coeficientes muito grandes? Em última análise, se for possível mostrar que nenhum grau finito ou tamanho de coeficientes é suficiente, então o número deve ser transcendental. Visto que um número α é transcendental se e somente se ''P''(α) ≠ 0 para todo polinômio não nulo ''P'' com coeficientes inteiros, esse problema pode ser abordado tentando encontrar limites inferiores da forma

: <math> |P(a)| > F(A,d) </math>

onde o lado direito é alguma função positiva que depende de alguma medida ''A'' do tamanho dos [[Coeficiente|coeficientes]] de ''P'' e do seu [[Grau de um polinômio|grau]] ''d'', tal que esses limites inferiores se apliquem a todo ''P'' ≠ 0. Tais limites são chamados de '''medidas de transcendência'''.

O caso de ''d'' = 1 é o da [[aproximação diofantina]] "clássica", que busca limites inferiores para

: <math>|ax + b|</math>.

Os métodos da teoria da transcendência e da aproximação diofantina têm muito em comum: ambos utilizam o conceito de [[Função auxiliar (teoria dos números)|função auxiliar]].

== Principais resultados ==
O [[Teorema de Gelfond–Schneider]] foi o grande avanço na teoria da transcendência no período de 1900–1950. Na década de 1960, o método de [[Alan Baker (matemático)|Alan Baker]] sobre [[Formas lineares em logaritmos]] de [[Número algébrico|números algébricos]] reanimou a teoria da transcendência, com aplicações a numerosos problemas clássicos e [[Equação diofantina|equações diofantinas]].

== Classificação de Mahler ==
[[Kurt Mahler]] em 1932 dividiu os números transcendentes em 3 classes, chamadas de '''S''', '''T''' e '''U'''.<ref name="Bug250">{{harvnb|Bugeaud|2012|p=250}}.</ref> A definição dessas classes baseia-se em uma extensão da ideia de [[número de Liouville]] (mencionada acima).

=== Medida de irracionalidade de um número real ===
{{Main|Medida de irracionalidade}}
Uma forma de definir um número de Liouville é considerar quão pequeno um dado [[número real]] '''x''' torna polinômios lineares |''qx'' – ''p''| sem torná-los exatamente zero. Aqui, ''p'', ''q'' são inteiros com |''p''|, |''q''| limitados por um inteiro positivo ''H''.

Seja <math>m(x, 1, H)</math> o valor mínimo não nulo que esses polinômios assumem, e defina:

: <math>\omega(x, 1, H) = -\frac{\log m(x, 1, H)}{\log H}</math>
: <math>\omega(x, 1) = \limsup_{H\to\infty}\, \omega(x,1,H).</math>

ω(''x'', 1) é frequentemente chamada de '''medida de irracionalidade''' de um número real ''x''. Para números racionais, ω(''x'', 1) = 0, e ela é pelo menos 1 para números reais irracionais. Um número de Liouville é definido por ter medida de irracionalidade infinita. O [[Teorema de Roth]] diz que números reais algébricos irracionais têm medida de irracionalidade igual a 1.

=== Medida de transcendência de um número complexo ===
Em seguida, considere os valores de polinômios em um número complexo ''x'', quando esses polinômios têm coeficientes inteiros, grau no máximo ''n'' e [[Altura de um polinômio|altura]] no máximo ''H'', com ''n'' e ''H'' sendo inteiros positivos.

Seja <math>m(x, n, H)</math> o valor mínimo não nulo assumido por tais polinômios em <math>x</math> e defina:

: <math>\omega(x, n, H) = -\frac{\log m(x, n, H)}{n\log H}</math>
: <math>\omega(x, n) = \limsup_{H\to\infty}\, \omega(x,n,H).</math>

Se isso for infinito para algum inteiro positivo mínimo ''n'', então ''x'' é chamado de '''U&nbsp;number''' de grau&nbsp;''n''.

Agora, definimos

: <math>\omega (x) = \limsup_{n\to\infty}\, \omega(x,n).</math>

ω(''x'') é frequentemente chamada de '''medida de transcendência''' de ''x''. Se os valores ω(''x'', ''n'') são limitados, então ω(''x'') é finita, e ''x'' é chamado de '''S number'''. Se os valores ω(''x'', ''n'') são finitos, mas não limitados, então ''x'' é chamado de '''T number'''. E ''x'' é algébrico se e somente se ω(''x'') = 0.

Claramente, os números de Liouville são um subconjunto dos U numbers. Os [[Número de Liouville|números de Liouville]] e, portanto, os U numbers são conjuntos não enumeráveis e de medida 0.<ref>{{harvnb|Burger|Tubbs|2004|p=170}}.</ref>

Os T numbers também formam um conjunto de medida 0.<ref>{{harvnb|Burger|Tubbs|2004|p=172}}.</ref> Demorou cerca de 35 anos para mostrar sua existência. [[Wolfgang M. Schmidt]] em 1968 mostrou que exemplos existem. No entanto, [[Quase todos]] os números complexos são S numbers.<ref name="Bug251">{{harvnb|Bugeaud|2012|p=251}}.</ref> Mahler provou que a função exponencial envia todos os números algébricos diferentes de zero para S numbers:<ref>{{harvnb|LeVeque|2002|pp=II:174–186}}</ref><ref>{{harvnb|Burger|Tubbs|2004|p=182}}</ref> isso mostra que ''e'' é um S number e prova a transcendência de {{pi}}. Sabe-se que esse número {{pi}} não é um U number.{{sfn|Baker|1975|p=86}} Muitos outros números transcendentes permanecem sem classificação.

Dois números ''x'', ''y'' são chamados de '''algebricamente dependentes''' se existir um polinômio não nulo ''P'' em duas variáveis, com coeficientes inteiros, tal que ''P''(''x'', ''y'') = 0. Há um resultado forte que diz que dois números complexos que são algebricamente dependentes pertencem à mesma classe de Mahler.<ref name="LV172" /><ref>{{harvnb|Burger|Tubbs|2004|p=163}}.</ref> Isso permite a construção de novos números transcendentes, como a soma de um número de Liouville com ''e'' ou {{pi}}.

O símbolo S provavelmente se referia ao nome do professor de Mahler, [[Carl Ludwig Siegel]], e T e U são apenas as duas letras seguintes.

=== Classificação equivalente de Koksma ===
[[Jurjen Koksma]] em 1939 propôs outra classificação baseada na aproximação por números algébricos.<ref name="Bug250" /><ref name="Baker, p. 87">{{harvnb|Baker|1975|p=87}}.</ref>

Considere a aproximação de um número complexo ''x'' por números algébricos de grau ≤ ''n'' e altura ≤ ''H''. Seja α um número algébrico desse conjunto finito tal que |''x'' − α| tenha valor mínimo positivo. Defina ω*(''x'', ''H'', ''n'') e ω*(''x'', ''n'') por:

: <math>|x-\alpha| = H^{-n\omega^*(x,H,n)-1}.</math>
: <math>\omega^*(x,n) = \limsup_{H\to\infty}\, \omega^*(x,n,H).</math>

Se, para o menor inteiro positivo ''n'', ω*(''x'', ''n'') for infinito, então ''x'' é chamado de '''U*-number''' de grau&nbsp;''n''.

Se os valores ω*(''x'', ''n'') forem limitados e não convergirem para 0, então ''x'' é chamado de '''S*-number'''.

Um número ''x'' é chamado de '''A*-number''' se os valores ω*(''x'', ''n'') convergirem para 0.<ref name="Bug251" />

Se os valores ω*(''x'', ''n'') são todos finitos, mas ilimitados, então ''x'' é chamado de '''T*-number'''.

As classificações de Koksma e Mahler são equivalentes porque dividem os números transcendentes nas mesmas classes.<ref name="Baker, p. 87" /> Os números ''A*'' são os números algébricos.

=== Construção de LeVeque ===
Seja

: <math>\lambda= \tfrac{1}{3} + \sum_{k=1}^\infty 10^{-k!}.</math>

Pode-se mostrar que a raiz ''n''-ésima de λ (um número de Liouville) é um U-number de grau ''n''.<ref>{{harvnb|Baker|1975|p=90}}.</ref>

Essa construção pode ser aperfeiçoada para criar uma família não enumerável de U-numbers de grau ''n''. Seja ''Z'' o conjunto composto por todas as outras potências de 10 na série acima para λ. O conjunto de todos os subconjuntos de ''Z'' é não enumerável. Removendo qualquer um dos subconjuntos de ''Z'' da série para λ, obtemos incontáveis números de Liouville distintos, cujas raízes ''n''-ésimas são U-numbers de grau ''n''.

=== Tipo ===
O [[Supremo|supremum]] da sequência {ω(''x'', ''n'')} é chamado de '''type''' (tipo). Quase todos os números reais são S numbers de tipo 1, que é o mínimo para S numbers reais. Quase todos os números complexos são S numbers de tipo 1/2, também mínimo. As afirmações de que "quase todos os números" são desses tipos foram conjecturadas por Mahler e, em 1965, provadas por Vladimir Sprindzhuk.<ref name="Baker, p. 86">{{harvnb|Baker|1975|p=86}}.</ref>

== Problemas em aberto ==
Embora o [[Teorema de Gelfond–Schneider]] tenha provado que uma grande classe de números é transcendental, essa classe ainda é enumerável. Muitos constantes matemáticas bem conhecidas ainda não se sabe se são transcendentes, e em alguns casos não se sabe sequer se são racionais ou irracionais. Uma lista parcial pode ser encontrada [[Número transcendente#Conjectured transcendental numbers|aqui]].

Um grande problema na teoria dos números transcendentes é mostrar que um determinado conjunto de números é independentemente algébrico, em vez de apenas mostrar que elementos individuais são transcendentes. Assim, ainda que saibamos que ''e'' e π são transcendentes, isso não implica que ''e'' + π seja transcendental, nem outras combinações das duas (exceto ''e''<sup>π</sup>, [[Constante de Gelfond]], que se sabe ser transcendental). Outro problema importante é lidar com números que não estão relacionados à função exponencial. Os principais resultados na teoria da transcendência tendem a girar em torno de ''e'' e da função logarítmica, o que significa que métodos totalmente novos costumam ser necessários para lidar com números que não podem ser expressos em termos desses dois objetos de maneira elementar.

A [[Conjectura de Schanuel]] resolveria parcialmente o primeiro desses problemas, pois trata da independência algébrica e confirmaria que ''e'' + π é transcendental. Ainda assim, ela gira em torno da função exponencial e, portanto, não lidaria necessariamente com números como a [[Constante de Apéry]] ou a [[Constante de Euler–Mascheroni]]. Outro problema extremamente difícil ainda em aberto é o chamado [[Constant problem|constant or identity problem]].<ref>{{cite journal |title=Some Undecidable Problems Involving Elementary Functions of a Real Variable |journal=Journal of Symbolic Logic |issue=4 |last=Richardson |first=D. |year=1968 |pages=514–520 |doi=10.2307/2271358 |jstor=2271358 |mr=0239976 |volume=33 |s2cid=37066167}}</ref>

== Notas ==
{{reflist|30em}}

== Referências ==

* {{cite book|title=Transcendental Number Theory|last=Baker|first=Alan|publisher=[[Cambridge University Press]]|isbn=0-521-20461-5|zbl=0297.10013|author-link=Alan Baker (mathematician)|year=1975|others=paperback edition 1990}}
* {{cite book|title=Distribution modulo one and Diophantine approximation|last=Bugeaud|first=Yann|publisher=[[Cambridge University Press]]|series=Cambridge Tracts in Mathematics|volume=193|isbn=978-0-521-11169-0|zbl=1260.11001|year=2012}}
* {{cite book|title=Making transcendence transparent. An intuitive approach to classical transcendental number theory|last1=Burger|first1=Edward B.|last2=Tubbs|first2=Robert|publisher=[[Springer]]|isbn=978-0-387-21444-3|zbl=1092.11031|year=2004}}
* {{cite book|title=Transcendental and Algebraic Numbers|last=Gelfond|first=A. O.|publisher=Dover|zbl=0090.26103|author-link=Alexander Gelfond|year=1960}}
* {{cite book|title=Introduction to Transcendental Numbers|last=Lang|first=Serge|publisher=Addison–Wesley|zbl=0144.04101|author-link=Serge Lang|year=1966}}
* {{cite book|url=https://archive.org/details/topicsinnumberth0000leve|title=Topics in Number Theory, Volumes I and II|last=LeVeque|first=William J.|publisher=Dover|isbn=978-0-486-42539-9|orig-year=1956|author-link=William J. LeVeque|year=2002|url-access=}}
* {{cite book|title=Pillars of Transcendental Number Theory|last1=Natarajan|first1=Saradha|last2=Thangadurai|first2=Ravindranathan|publisher=[[Springer]]|isbn=978-981-15-4154-4|zbl=|author1-link=:fr:Saradha Natarajan|year=2020}}
* {{cite book|title=Mahler's Problem in Metric Number Theory (1967)|last=Sprindzhuk|first=Vladimir G.|publisher=[[American Mathematical Society]]|series=AMS Translations of Mathematical Monographs|isbn=978-1-4704-4442-6|zbl=|author1-link=Vladimir Gennadievich Sprindzuk|year=1969|others=Translated from Russian by B. Volkmann}}
* {{cite book|title=Metric theory of Diophantine approximations|last=Sprindzhuk|first=Vladimir G.|publisher=[[Wiley (publisher)|Wiley]]|series=Scripta Series in Mathematics|isbn=0-470-26706-2|zbl=0482.10047|author1-link=Vladimir Gennadievich Sprindzuk|year=1979|others=Translated from Russian by Richard A. Silverman. Foreword by Donald J. Newman.}}

== Leitura adicional ==

* [[Alan Baker (mathematician)|Alan Baker]] and [[Gisbert Wüstholz]], ''Logarithmic Forms and Diophantine Geometry'', New Mathematical Monographs '''9''', Cambridge University Press, 2007, {{isbn|978-0-521-88268-2}}

[[Categoria:Matemática]]