Έβδομο πρόβλημα του Χίλμπερτ

Το **έβδομο πρόβλημα του Χίλμπερτ** είναι ένα από τα μαθηματικά προβλήματα που έθεσε ο Ντέιβιντ Χίλμπερτ το 1900. Αφορά την αρρητότητα και την υπερβατικότητα ορισμένων αριθμών (Irrationalität und Transzendenz bestimmter Zahlen). Με τη βοήθεια του θεωρήματος Γκέλφοντ-Σνάιντερ, για πρώτη φορά δημιουργήθηκε μια εκτεταμένη κατηγορία υπερβατικών αριθμών. Η σύνδεση αυτή βρέθηκε και αποδείχθηκε για πρώτη φορά το 1934 από τον Ρώσο μαθηματικό Άλεξαντερ Γκέλφοντ και ανεξάρτητα λίγο αργότερα από τον Τέοντορ Σνάιντερ. Το θεώρημα απαντά στο έβδομο πρόβλημα του Χίλμπερτ.

## Δήλωση του θεωρήματος

Έστω \alpha και \beta αλγεβρικοί αριθμοί (με \alpha \neq 0, 1). Ο  \beta  είναι επίσης ένας άρρητος.

Τότε το θεώρημα των Γκέλφοντ-Σνάιντερ λέει:

:\, \alpha^{\beta}  είναι υπερβατικός.

Για \alpha και \beta μπορούν επίσης να χρησιμοποιηθούν μιγαδικοί αριθμοί. Τότε  \alpha^{\beta} = \exp (\beta \cdot \ln \alpha)  . Ο μιγαδικός λογάριθμος προσδιορίζεται μοναδικά μόνο μέχρι πολλαπλάσια του 2\pi\mathrm i . Το θεώρημα είναι σωστό για κάθε επιλογή κλάδου του λογαρίθμου.

Μπορεί επίσης να διατυπωθεί ως εξής: για τους λογαρίθμους δύο αλγεβρικών αριθμών, η γραμμική ανεξαρτησία επί των ρητών αριθμών οδηγεί σε γραμμική ανεξαρτησία επί των αλγεβρικών αριθμών. Με αυτή τη διατύπωση, το θεώρημα Γκέλφοντ-Σνάιντερ επεκτάθηκε σημαντικά από τον Άλαν Μπέικερ τη δεκαετία του 1960.

Το θεώρημα του Μπέικερ είναι: Αν οι a_i \neq 0 είναι αλγεβρικοί αριθμοί τέτοιοι ώστε  1, \log a_1, \cdot \cdot \cdot \cdot , \log a_n να είναι γραμμικά ανεξάρτητοι πάνω στους ρητούς αριθμούς, τότε  1, \log a_1, \cdot \cdot \cdot \cdot , \log a_n είναι γραμμικά ανεξάρτητοι πάνω στους αλγεβρικούς αριθμούς.

## Εφαρμογές

Η υπερβατικότητα των ακόλουθων αριθμών προκύπτει άμεσα από το θεώρημα Γκέλφοντ-Σνάιντερ: 

* Η **σταθερά Γκέλφοντ-Σνάιντερ**  2^{ \sqrt{2} } και  \sqrt{2}^{\sqrt{2}} 
* Η **σταθερά Γκέλφοντ** \, e^{\pi} , da \, e^{\pi} = e^{\mathrm i \pi (-\mathrm i)} = (-1)^{-\mathrm i}  . Σημειώστε ότι η <math>\mathrm i</math> δεν είναι ρητός αριθμός.
* Ο αριθμός \rm i^i,  ο οποίος είναι πραγματικός αριθμός επειδή  {\rm i^i}=\left(e^{\mathrm i\pi/2}\right)^\mathrm i=e^{-\pi/2}\approx 0{,}207879.
* \frac {\log 2}{\log 3} είναι υπερβατικό, διότι διαφορετικά θα έχουμε αντίφαση εισάγοντας a=3, b= \frac {\log 2}{\log 3} (όπου το b είναι άρρητο)

Το θεώρημα Γκέλφοντ-Σνάιντερ αποτέλεσε σημείο καμπής στη θεωρία των υπερβατικών αριθμών και άνοιξε το δρόμο για πολλές μεταγενέστερες έρευνες. Ο Άλαν Μπέικερ επέκτεινε τα αποτελέσματα των Γκέλφοντ και Σνάιντερ. Ο Μπέικερ απέδειξε διάφορα θεωρήματα που γενίκευσαν και βελτίωσαν την κατανόηση των υπερβατικών αριθμών.

## Εξωτερικοί σύνδεσμοι
*English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
*Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
* Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
* Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
*Proof of Dehn's Theorem at Everything2
*
*Dehn Invariant at Everything2
* Ντέιβιντ Χίλμπερτ, Μαθηματικά προβλήματα, 6ο πρόβλημα, σε αγγλική μετάφραση.

## Δείτε επίσης
* Μερική διαφορική εξίσωση
* Ακέραιος αριθμός
* Αλγεβρικός αριθμός
* Υπερβατικός αριθμός
* Πραγματικός αριθμός
* Δυναμικός προγραμματισμός
* Μιγαδικός αριθμός
* Αλγεβρική γεωμετρία
* Μερική διαφορική εξίσωση
* Χώρος Χίλμπερτ
* Ντάβιντ Χίλμπερτ
* Ευκλείδειος χώρος
* Καρλ Φρίντριχ Γκάους

## Βιβλιογραφία
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

## Παραπομπές

* 
* 
* 
*

## Πηγές
*
*
*
* 
* 
* 

Κατηγορία:Αλγεβρική γεωμετρία 
Κατηγορία:Θεωρία αριθμών 
Κατηγορία:Περιοχές των μαθηματικών 
Κατηγορία:Προβλήματα του Χίλμπερτ 
Κατηγορία:Ιστορία των Μαθηματικών 
Κατηγορία:Άλυτα προβλήματα στα μαθηματικά 
Κατηγορία:Ευκλείδεια επιπεδομετρία