Décimo-terceiro problema de Hilbert

Na matemática, o décimo-terceiro problema de Hilbert foi proposto por David Hilbert em 1900, sendo esse um dos seus 23 problemas.

O problema originalmente proposto era tentar demonstrar que uma equação genérica do sétimo grau, ou seja,

f7 + x f3 + y f2 + z f + 1 = 0 [Nota 1]

não pode ser resolvida com a ajuda de funções contínuas de uma variável.[1]

Motivação

editar
 
Um nomograma para resolver as contas associadas ao teste χ2. A motivação de Hilbert era construir nomogramas para resolver a equação do sétimo grau.

A motivação de Hilbert era a nomografia. Na nomografia, equações são resolvidas de forma gráfica, através do desenho de famílias de curvas de um parâmetro, o que, matematicamente, equivale a resolver estas equações através de funções de um argumento, e as operações de soma, subtração, multiplicação e divisão.[1]

Toda equação em duas variáveis podia ser resolvida pela nomografia. Analogamente, as equações até o sexto grau também podiam, porque, no caso das que são solúveis por radicais, a solução é imediata, pois a extração de raízes pode ser feita pela nomografia, e as equações do quinto e sexto grau podem ser reduzidas, através de métodos que envolvem apenas a extração de raízes, a equações que dependem apenas de duas variáveis.[1]

Para a equação do sétimo grau, porém, a simplificação resulta em uma equação, na variável f, do tipo:

f7 + x f3 + y f2 + z f + 1 = 0

e Hilbert conjecturou que esta equação não poderia ser resolvida com a ajuda de funções contínuas de dois argumentos.[1]

Hilbert já sabia da solução de Maurice d'Ocagne, que resolveu a equação do sétimo grau pela nomografia, usando elementos móveis.[2]

Solução

editar

A solução do problema foi dada por Andrei Kolmogorov e Vladimir Arnold, em 1957, que demonstraram uma forma ainda mais genérica da proposta, a saber:[3]

Seja f uma função contínua em várias variáveis. Então f pode ser escrita através de uma composição finita de funções contínuas de uma única variável e a operação binária de adição.

Por exemplo:[3]

f(x,y) = x y pode ser escrita como f(x,y) = exp(log x + log y)
f(x,y,z) = xy / x pode ser escrita como f(x, y, z) = exp(exp(log y + log log x) + (-log z))

Implicações

editar

A essência do problema é a pergunta sobre se existem verdadeiras funções multivaridas, ou se as funções multivariadas são apenas uma superposição de funções univariadas e a soma. O que Kolmogorov e Arnold demonstraram, neste sentido, foi que a única função realmente multivariada é a soma, já que qualquer outra pode ser escrita usando-se funções univariadas e a soma.[4]

Notas e referências

Notas

  1. No texto original de Hilbert, a variável é f.

Referências

  1. a b c d David Hilbert, Mathematical Problems, Lecture delivered before the International Congress of Mathematicians at Paris in 1900 [em linha]
  2. M. d'Ocagne: "Sur la résolution nomographique de l'équation du septième degré." Comptes rendus Paris, 131 (1900), 522-524, citado em [em linha]
  3. a b Dror Bar-Natan, Dessert: Hilbert's 13th Problem, in Full Colour [em linha]
  4. Persi Diaconis e Mehrdad Shahshahani, On Linear Functions of Linear Combinations (1984) p.180 [em linha]