Το πώς καθιερώθηκαν οι σταθερές και γιατί θεωρούνται ενδιαφέρουσες (ή πιο ενδιαφέρουσες από άλλους πραγματικούς αριθμούς), είναι σε ένα βαθμό αντικειμενικό. Κάποιες μαθηματικές σταθερές είναι αξιοσημείωτες κυρίως λόγω ιστορικού ενδιαφέροντος παρά λόγω του μαθηματικού τους ενδιαφέροντος. Οι πιο δημοφιλείς σταθερές μελετήθηκαν εδώ και χιλιάδες χρόνια και έχουν προσεγγιστεί σε πάρα πολλά δεκαδικά ψηφία. Όλες οι μαθηματικές σταθερές είναι αριθμοί οι οποίοι έχουν οριστεί και είναι δυνατό να υπολογιστούν (η σταθερά του Τσάιτιν αποτελεί μια σημαντική εξαίρεση).
Βασικές μαθηματικές σταθερές
Αυτές είναι οι σταθερές που είναι πιο πιθανό να συναντήσει κάποιος κατά τη διάρκεια της φοίτησής του σε σχολεία δευτεροβάθμιας εκπαίδευσης σε πολλές χώρες.
Πέρα απ'τη σταθερά που αντιστοιχεί στην διηλεκτρική σταθερά στο κενό, ο όρος στον παρονομαστή εκφράζει την επιφάνεια μιας σφαίρας με ακτίνα, έχοντας έτσι μια πολύ συγκεκριμένη έννοια. Η αριθμητική τιμή του π είναι περίπου 3,14159. Πολλοί άνθρωποι διαγωνίζονται στο ποιος θα απομνημονεύσει περισσότερα ψηφία του π.
Ο αριθμός του Όιλερ e (γνωστός και ως σταθερά του Νέιπιερ), εμφανίζεται σε πολλούς κλάδους των μαθηματικών και μπορεί να οριστεί ως η τιμή του ακόλουθου ορίου:
.
Για παράδειγμα, ο Ελβετός μαθηματικός Γιακόμπ Μπερνούλι ανακάλυψε ότι το εμφανίζεται στους τόκους: ένας λογαριασμός που ξεκινά από 1€ με ετήσιο επιτόκιο R και με συνεχή ανατοκισμό, θα αυξηθεί κατά eR δολλάρια στο τέλος του ενός έτους. Ο υπολογισμός έχει ως εξής: Αν χωρίσουμε τον χρόνο με ίσα τμήματα και σε κάθε ένα υπάρχει ανατοκισμός , τότε το τελικό ποσό μετά από έναν χρόνο είναι ίσο με
Επειδή είμαστε στον συνεχή ανατοκισμό παίρνουμε το όριο του , δηλαδή
Η σταθερά έχει επίσης εφαρμογές στην θεωρία πιθανοτήτων όπου εμφανίζεται με έναν τρόπο ο οποίος φαίνεται να μην σχετίζεται με την εκθετική αύξηση. Ας υποθέσουμε ότι ένας παίκτης παίζει έναν κουλοχέρη με πιθανότητα να κερδίσει, και παίζει φορές.. Στη συνέχεια, για μεγάλα n (όπως ένα εκατομμύριο), η πιθανότητα ο παίκτης να μην κερδίσει ποτέ είναι περίπου 1/e και η πιθανότητα τείνει σε αυτήν την τιμή όταν το n τείνει στο άπειρο. Η πιθανότητα να μην κερδίσει ένα παιχνίδι είναι
.
Επειδή τα παιχνίδια είναι ανεξάρτητα η πιθανότητα να μην κερδίσει κανένα παιχνίδι είναι
.
Παίρνοντας το όριο για , έχουμε ότι
.
Έχουμε ότι και για λαμβάνουμε , για λαμβάνουμε και για λαμβάνουμε .
Μια άλλη εφαρμογή του e, που ανακαλύφθηκε εν μέρει από τον Γιακόμπ Μπερνούλι μαζί με τον Γάλλο μαθηματικό Pierre Raymond de Montmort είναι το πρόβλημα διασάλευσης.[3] Εδώ επισκέπτες καλούνται σε ένα πάρτι και στην πόρτα κάθε επισκέπτης δίνει το καπέλο του στον μπάτλερ ο οποίος τα τοποθετεί σε επίσημα κουτιά. Ο μπάτλερ δε γνωρίζει τα ονόματα των καλεσμένων και έτσι βάζει τα καπέλα τυχαία στα κουτιά. Στο τέλος του πάρτι δίνει τυχαία ένα κουτί σε κάθε καλεσμένο. Το πρόβλημα του de Montmort είναι: ποια είναι η πιθανότητα κανένα καπέλα να μην επιστραφεί στον σωστό αποδέκτη. Η απάντηση είναι:
και καθώς το τείνει στο άπειρο, το προσεγγίζει το . Το εμφανίζεται και σε πολλά άλλα μέρη των πιθανοτήτων, συμπεριλαμβανομένων του προβλήματος της γραμματέως και στην αναμενόμενη τιμή του μήκους μίας μονότονης ακολουθίας σε μία τυχαία μετάθεση.
Ο αριθμός e είναι άρρητος και η αριθμητική του τιμή είναι περίπου A001113.
Η τετραγωνική ρίζα του 2, συχνά γνωστή και ως ρίζα 2, ριζικό του 2 ή σταθερά του Πυθαγόρα, γράφεται ως √2 και είναι ο θετικός πραγματικός αριθμός ο οποίος πολλαπλασιάζοντάς τον με τον εαυτό του δίνει τον αριθμό . Ονομάζεται ακριβέστερα κύρια τετραγωνική ρίζα του 2, για να διακρίνεται ο αριθμός αυτός απ'τον αρνητικό αριθμό με την ίδια ιδιότητα, δηλαδή τον .
Συχνά χρησιμοποιείται η προσέγγιση () για την τετραγωνική ρίζα του δύο. Παρά το γεγονός ότι έχει σχετικά μικρό παρανομαστή, μόλις η προσέγγιση διαφέρει από την κανονική τιμή λιγότερο από (περίπου ).
Υπάρχουν δύο μιγαδικές τετραγωνικές ρίζες του , δηλαδή το και το , όπως υπάρχουν δύο μιγαδικές τετραγωνικές ρίζες για κάθε άλλο πραγματικό αριθμό εκτός από το μηδέν που έχει μία διπλή τετραγωνική ρίζα.
Στις περιπτώσεις όπου το είναι αμφίσημο ή προβληματικό, το j ή το ελληνικό ι (βλέπε εναλλακτικούς συμβολισμούς) χρησιμοποιούνται συνήθως. Στους κλάδους της ηλεκτρολογίας και των συστημάτων μηχανικού ελέγχου, η φανταστική μονάδα συχνά συμβολίζεται με αντί του , γιατί το συνήθως χρησιμοποιείται για να υποδηλώσει το ηλεκτρικό ρεύμα σε αυτούς τους κλάδους.
Σταθερές στα ανώτερα μαθηματικά
Παρακάτω δίνονται σταθερές που εμφανίζονται συχνά στα ανώτερα μαθηματικά.
Οι σταθερές του Feigenbaum α και δ
Οι επαναλήψεις των συνεχών απεικονίσεων θεωρούνται από τα πιο απλά παραδείγματα μοντέλων για δυναμικά συστήματα.[4] Οι δύο σταθερές ονομάστηκαν έτσι εξαιτίας του φυσικομαθηματικού Mitchell Feigenbaum και εμφανίζονται στις εξής επαναληπτικές διαδικασίες: ως μαθηματικές σταθερές των λογιστικών απεικονίσεων με τετραγωνικά μέγιστα σημεία[5] και τα διαγράμματα διακλάδωσής τους.
Η λογιστική απεικόνιση είναι ένα πολυώνυμο χαρτογράφησης, συχνά δίνεται ως ένα αρχετυπικό παράδειγμα των τρόπων με τους οποίους εξηγεί πως η χαοτική συμπεριφορά μπορεί να προκύψει από πολύ απλές μη-γραμμικέςδυναμικές εξισώσεις. Η απεικόνιση δημοσιεύθηκε σε μια εργασία το 1976 από τον Αυστραλιανό βιολόγο Robert May,[6] εν μέρει, ως ένα διακριτού-χρόνου δημογραφικό ανάλογο στη λογιστική εξίσωση που για πρώτη φορά δημιουργήθηκε από τον Pierre François Verhulst. Η διαφορική εξίσωση προορίζεται για να συλλάβει τις δύο επιδράσεις της αναπαραγωγής και της λιμοκτονίας.
Η αριθμητική τιμή της α είναι περίπου (A006891). Η αριθμητική τιμή της δ είναι προσεγγιστικά (A006890).
Η σταθερά του Apéry ζ(3)
Η σταθερά του Apéry ορίζεται ως η τιμή του αθροίσματος της παρακάτω σειράς
Ο αριθμός φ, επίσης αποκαλείται χρυσή τομή, χρησιμοποιείται συχνά στη γεωμετρία, ιδιαίτερα σε σχήματα με πενταγωνική συμμετρία. Πράγματι, το μήκος της διαγωνίου ενός κανονικού πενταγώνου είναι φορές την πλευρά του. Οι κορυφές ενός κανονικού εικοσαέδρου είναι εκείνες των τριών αμοιβαία καθέτων χρυσών ορθογωνίων. Επίσης, εμφανίζεται στην ακολουθία Φιμπονάτσι, και καθορίζει την εκθετική της αύξηση.[8] Η χρυσή τομή έχει την πιο αργή σύγκλιση από οποιοδήποτε άρρητο αριθμό.[9] Είναι, για αυτόν τον λόγο, μία από τις χειρότερες περιπτώσεις του θεωρήματος προσέγγισης του Λαγκράνζ και μια ακραία περίπτωση της ανισότητας του Hurwitz για τις διοφαντικές προσεγγίσεις. Αυτή ίσως μπορεί να είναι η εξήγηση γιατί οι γωνίες που βρίσκονται κοντά στη χρυσή αναλογία συχνά απεικονίζονται στην phyllotaxis (ανάπτυξη των φυτών)[10]. Ο αριθμός και προσεγγιστικά είναι ίσος με (A001622).
Η σταθερά του Κόνγουεϊ είναι ο αναλλοίωτος ρυθμός αύξησης όλων των συμβολοσειρών που προέρχονται παρόμοια με την ακολουθία look-and-say (με εξαίρεση μερικές τετριμμένες),[11] και συνήθως συμβολίζεται ως .
Δίνεται από τη μοναδική θετική πραγματική ρίζα ενός πολυωνύμου 71ου βαθμού με ακέραιους συντελεστές.[11] Η τιμή του είναι περίπου (A014715).
Πρόκειται για μία σημαντική σταθερά η οποία εμφανίζεται σε πολλούς τύπους για την παράγωγο της συνάρτησης ζήτα του Ρίμαν. Η τιμή της Α είναι περίπου (A074962).
δεν είναι σημαντικές μαθηματικές σταθερές αλλά εξακολουθούν να έχουν ενδιαφέρον γιατί αποτελούν απλούς εκπροσώπους ειδικών συνόλων αριθμών όπως των άρρητων[14] , των υπερβατικών[15]
και των κανονικών αριθμών (με βάση το 10)[16] αντίστοιχα. Η ανακάλυψη των άρρητων αριθμών αποδίδεται συνήθως στον Πυθαγόρειο φιλόσοφο Ίππασο τον «Μεταπόντιο» ο οποίος απέδειξε, κατά πάσα πιθανότητα με γεωμετρικό τρόπο, ότι η τετραγωνική ρίζα του 2 είναι άρρητος αριθμός. Όσον αφορά τη σταθερά του Λιουβίλ,η οποία πήρε το όνομα της από το Γάλλο μαθηματικό Ζοζέφ Λιουβίλ, ήταν ο πρώτος αριθμός που αποδείχθηκε ότι ήταν υπερβατικός.[17]
Όταν δεν προσδιορίζονται, οι σταθερές υποδηλώνουν κλάσεις παρόμοιων αντικειμένων, συνήθως συναρτήσεων, οι οποίες αντιπροσοπεύονται από μία σταθερά. Τέτοιες σταθερές συναντώνται συχνά όταν ασχολούμαστε με ολοκληρώματα και διαφορικές εξισώσεις. Παρ' όλο που δεν προσδιόριζονται, εχουν συγκεκριμένη τιμή, η οποία πολλές φορές δεν παίζει σημαντικό ρόλο στη λυση του προβλήματος.
Στα ολοκληρώματα
Τα αόριστα ολοκληρώματα ονομάζονται έτσι διότι οι λύσεις τους διαφέρουν μόνο σε μια σταθερά. Για παράδειγμα, όταν δουλεύουμε στους πραγματικούς αριθμούς, έχουμε ότι
όπου , η σταθερά ολοκλήρωσης, είναι ένας αυθαίρετος σταθερός πραγματικός αριθμός.[18] Με άλλα λόγια, οποιαδήποτε κι αν είναι η τιμή της σταθεράς ,η παράγωγος του ως προς πάντοτε δίνει .
έχει λύσεις , όπου είναι αυθαίρετη συνάρτηση της μεταβλητής.
Συμβολισμός
Αναπαράσταση σταθερών
Είναι συνηθισμένο να εκφράζουμε την αριθμητική τιμή μιας σταθεράς χρησιμοποιώντας τη δεκαδική της αναπαράσταση (ή τουλάχιστον κάποια από τα πρώτα ψηφία της αναπαράστασης). Αυτή η αναπαράσταση όμως ίσως προκαλέσει προβλήματα για δύο λόγους. Πρώτον, παρ' όλο που όλοι οι ρητοί έχουν πεπερασμένο ή συνεχώς επαναλαμβανόμενο δεκαδικό ανάπτυγμα, οι άρρητοι ωστόσο δεν έχουν τέτοιου είδους έκφραση κι αυτό τους καθιστά αδύνατο να περιγραφούν εντελώς με τέτοιο τρόπο. Επίσης, το δεκαδικό ανάπτυγμα ενός αριθμού δεν είναι απαραίτητα μοναδικό. Για παράδειγμα, οι δύο αναπραστάσεις 0.999 και 1 είναι ισοδύναμες[19][20] με την έννοια ότι αντιπροσωπεύουν τον ίδιο αριθμό.
Ο υπολογισμός του δεκαδικού αναπτύγματος των σταθερών έχει αποτελέσει συνηθισμένο εγχείρημα ανά τους αιώνες. Για παράδειγμα ο Γερμανός μαθηματικός Ludolph van Ceulen που έζησε το 16ο αιώνα αφιέρωσε σημαντικό κομμάτι της ζωής του στον υπολογισμό των πρώτων 35 ψηφίων του ππ.[21] Χρησιμοποιώντας υπολογιστές και υπερ-υπολογιστές έχουν υπολογιστεί περισσότερα από εκατό δισεκατομμύρια ψηφία κάποιων μαθηματικών σταθερών συμπεριλαμβανομένων του π, του και της τετραγωνικής ρίζας του 2. Έχουν αναπτυχθεί γρήγοροι αλγόριθμοι, κάποιοι από τους οποίους - όπως αυτός για τη σταθερά του Apéry- είναι απροσδόκητα γρήγοροι.
Κάποιες σταθερές διαφέρουν τόσο πολύ από το συνηθισμένο είδος ώστε έχει εφευρεθεί ένας νέος συμβολισμός για να τις αναπαριστούμε ικανοποιητικά. Κάτι τέτοιο απεικονίζεται στη διπλανή εικόνα στον αριθμό του Graham, όπου χρησιμοποιείται ο συμβολισμός του Κνουθ με άνω βέλος.[22][23]
Πολλές φορές τις αναπαριστάμε χρησιμοποιώντας συνεχή κλάσματα όταν διεξάγουμε διάφορες έρευνες, όπως στατιστικές αναλύσεις. Πολλές μαθηματικές σταθερές έχουν μια αναλυτική μορφή, αυτό σημαίνει ότι μπορούν να κατασκευαστούν χρησιμοποιώντας ευρέως γνώστες πράξεις που μπορούν να χρησιμοποιηθούν και για τον υπολογισμό τους. Δεν έχουν όλες οι σταθερές αναλυτικές μορφές όπως συμβαίνει για παράδειγμα με τη σταθερά Grossman[24] και τη σταθερά Foias.[25]
Συμβολισμός και ονομασία των σταθερών
Η χρήση γραμμάτων για το συμβολισμό των σταθερών είναι ένας τρόπος που χρησιμοποιείται συχνά για να κάνουμε το συμβολισμό πιο συνοπτικό. Μια καθιερωμένη σύμβαση, η οποία ξεκίνησε από τον Λέοναρντ Όιλερ το 18ο αιώνα,είναι η χρήση πεζών γραμμάτων από την αρχή του λατινικού αλφαβήτου, δηλαδή ή του ελληνικού αλφαβήτου για την ονομασία των σταθερών.
Ωστόσο, για κάποιες πιο σημαντικές σταθερές, τα σύμβολα μπορεί να είναι πιο περίπλοκα και να έχουν κάποιο επιπλέον γράμμα, αστερίσκο, αριθμό, λημνίσκο ή χρήση γραμμάτων από άλλα αλφάβητα όπως το εβραϊκό,το κυριλικικό ή το γοτθικό.[23]
Μερικές φορές το σύμβολο που αναπαριστά μια σταθερά είναι μια ολόκληρη λέξη. Για παράδειγμα, ο 9χρονος ανιψιός του αμερικανού μαθηματικού Edward Kasner επινόησε τα ονόματα googol και googolplex.[23][26]
↑Aubrey J. Kempner (Oct 1916). «On Transcendental Numbers». Transactions of the American Mathematical Society (Transactions of the American Mathematical Society, Vol. 17, No. 4) 17 (4): 476–482. doi:10.2307/1988833.
↑Champernowne, David (1933). «The onstruction of decimals normal in the scale of ten». Journal of the London Mathematical Society8 (4): 254–260. doi:10.1112/jlms/s1-8.4.254.
↑Knuth, Donald (1976). «Mathematics and Computer Science: Coping with Finiteness. Advances in Our Ability to Compute are Bringing Us Substantially Closer to Ultimate Limitations». Science194 (4271): 1235–1242. doi:10.1126/science.194.4271.1235. PMID17797067.