Μετάβαση στο περιεχόμενο

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

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

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

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

[Επεξεργασία | επεξεργασία κώδικα]

Έστω και αλγεβρικοί αριθμοί (με ). Ο είναι επίσης ένας άρρητος.

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

είναι υπερβατικός.

Για και μπορούν επίσης να χρησιμοποιηθούν μιγαδικοί αριθμοί. Τότε . Ο μιγαδικός λογάριθμος προσδιορίζεται μοναδικά μόνο μέχρι πολλαπλάσια του . Το θεώρημα είναι σωστό για κάθε επιλογή κλάδου του λογαρίθμου.

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

Το θεώρημα του Μπέικερ είναι: Αν οι είναι αλγεβρικοί αριθμοί τέτοιοι ώστε να είναι γραμμικά ανεξάρτητοι πάνω στους ρητούς αριθμούς, τότε είναι γραμμικά ανεξάρτητοι πάνω στους αλγεβρικούς αριθμούς.

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

  • Η σταθερά Γκέλφοντ-Σνάιντερ και
  • Η σταθερά Γκέλφοντ , da . Σημειώστε ότι η δεν είναι ρητός αριθμός.
  • Ο αριθμός , ο οποίος είναι πραγματικός αριθμός επειδή .
  • είναι υπερβατικό, διότι διαφορετικά θα έχουμε αντίφαση εισάγοντας , (όπου το b είναι άρρητο)


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

Εξωτερικοί σύνδεσμοι

[Επεξεργασία | επεξεργασία κώδικα]
  1. «Mathematical Problems by David Hilbert». aleph0.clarku.edu. Ανακτήθηκε στις 22 Δεκεμβρίου 2024. 
  2. Κολαΐτης, Μ. (1976). Αγγλοελληνικόν Λεξικόν των Θεωρητικών και Εφηρμοσμένων Μαθηματικών - Volume1 - irrationality, ΜΑΘ., αρρητότης. algebraic irrationality, αλγεβρική άρρητότης. ΤΕΕ. 
  3. «isbn:0486495264 - Recherche Google». www.google.com (στα Γαλλικά). Ανακτήθηκε στις 21 Δεκεμβρίου 2024. 
  4. «A. Gelfond, "Sur le septième problème de Hilbert", Izv. Math., 1934, no. 4». www.mathnet.ru. Ανακτήθηκε στις 21 Δεκεμβρίου 2024. 
  5. Schneider, Theodor (1935-01-01) (στα γερμανικά). Transzendenzuntersuchungen periodischer Funktionen I. Transzendenz von Potenzen.. 1935, σελ. 65–69. doi:10.1515/crll.1935.172.65. ISSN 1435-5345. https://www.degruyter.com/document/doi/10.1515/crll.1935.172.65/html. 
  6. Weisstein, Eric W. «Gelfond's Theorem». mathworld.wolfram.com (στα Αγγλικά). Ανακτήθηκε στις 21 Δεκεμβρίου 2024.