Lemat Siegela

W matematyce , szczególnie w transcendentalnej teorii liczb i przybliżeniu diofantycznym , lemat Siegela odnosi się do granic rozwiązań równań liniowych uzyskanych przez konstrukcję funkcji pomocniczych . Istnienie tych wielomianów zostało udowodnione przez Axela Thue ; Dowód Thue wykorzystywał zasadę pudełka Dirichleta . Carl Ludwig Siegel opublikował swój lemat w 1929 roku. Jest to czyste twierdzenie o istnieniu dla a układ równań liniowych .

Lemat Siegela został udoskonalony w ostatnich latach, aby uzyskać ostrzejsze granice oszacowań podanych przez lemat.

Oświadczenie

Załóżmy, że mamy dany układ M równań liniowych z N niewiadomymi takimi, że N > M , powiedzmy

gdzie współczynniki są wymiernymi liczbami całkowitymi, nie wszystkie są równe 0, i są ograniczone przez B . System ma wtedy rozwiązanie

z X s wszystkie liczby całkowite wymierne, nie wszystkie 0, i ograniczone przez

Bombieri i Vaaler (1983) podali następującą ostrzejszą granicę dla X :

gdzie D jest największym wspólnym dzielnikiem M × M mniejszych macierzy A , a AT jest jej transpozycją . Ich dowód polegał na zastąpieniu zasady przegródki technikami z geometrii liczb .

Zobacz też