Gelfond–Schneiderin lause on lukuteorian lause, joka vahvistaa suuren lukuluokan ylityksen ja ratkaisee siten (myönteisesti) Hilbertin seitsemännen tehtävän . Sen todettiin itsenäisesti vuonna 1934 Neuvostoliiton matemaatikko Alexander Gelfond [1] ja saksalainen matemaatikko Theodor Schneider [2] .
Jos - algebralliset luvut , eikä nolla eikä yksi, vaan irrationaalinen , niin mikä tahansa arvo on transsendentaalinen luku . |
Vastaavat formulaatiot logaritmille (logaritmin kanta valitaan mielivaltaisesti) [3] :
Jos - algebralliset luvut , jotka eivät ole yhtä kuin nolla tai yksi, niin - joko rationaalinen tai transsendentaalinen luku . |
Jos ovat lineaarisesti riippumattomia rationaalilukujen alalla , niin ne ovat myös lineaarisesti riippumattomia algebrallisten lukujen alalla . |
Katso viimeisimmän sanamuodon yleistys artikkelista Transsendenttisten lukujen teoria .
Lause tarkoittaa joidenkin tärkeiden matemaattisten vakioiden ylittämistä .