el en el el en el el el en el uk es en es tr en en ru el el el en el el el el el el el el el el el el el el el el el el el el el el el de el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el es en es el es es tr en es ru en el el en el el el en el en en el el el el el el el el el el el en el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el el fr el el el en el el el el el el el el el el el el el el en de de el zh el el el el el el el el el en en de az el en el el en en el en el el en en el el el el el el en en el en el en el el el el el
είναι συνεχείς και παραγωγίσιμες στο πεδίο ορισμού τους.
Ως τώρα, όλα φαίνονται ονειρικά. Εντάξει, μπορούμε τα παραπάνω να τα χαλάσουμε αν βάλουμε μέσα στο παιχνίδι απόλυτες τιμές και ρίζες – σε ό,τι αφορά την παραγωγισιμότητα – αλλά, και πάλι, όλες αυτές οι συναρτήσεις είναι συνεχείς στο πεδίο ορισμού τους. Ε, και πόσες ασυνέχειες να βάλουμε, πλέον; Πέντε; Δέκα; Εκατό;
Η αλήθεια είναι ότι μπορούμε εύκολα, σχετικά, να σχεδιάσουμε μία συνάρτηση με γραφική παράσταση που να έχει άπειρες, στο πλήθος, ασυνέχειες, όπως αυτή που φαίνεται στο παρακάτω σχήμα:
Μία ωραία συνάρτηση με άπειρες ασυνέχειες – μπορείτε να βρείτε έναν τύπο για αυτήν την συνάρτηση;
Αυτές οι ασυνέχειες, όπως μπορεί να παρατηρήσει κανείς, είναι αριθμήσιμες στο πλήθος τους, δηλαδή δεν είναι περισσότερες από τους φυσικούς αριθμούς – μία μικρή υπενθύμιση περί αριθμησιμότητας. Μπορούμε να σκεφτούμε επίσης και μία συνάρτηση που να έχει υπεραριθμήσιμες στο πλήθος ασυνέχειες όπως αυτήν εδώ:
Η γλυκούλα που βλέπετε παραπάνω είναι παντού συνεχής και πουθενά παραγωγίσιμη – πηγή εικόνας: Wikipedia.
η οποία είναι μεν συνεχής σε όλο το – και περιοδική, τρομάρα της – αλλά δεν είναι πουθενά παραγωγίσιμη.
Βλέπουμε, λοιπόν, ότι και οι δύο κατηγορίες – αυτή των συνεχών και αυτή των ασυνεχών συναρτήσεων – έχουν να επιδείξουν ιδιαίτερη ποικιλία σε σχέση με τα μέλη τους, επομένως, ίσως να μην είναι και τόσο εύκολο να βρούμε τελικά πόσες είναι οι συνεχείς συναρτήσεις και αν είναι περισσότερες ή λιγότερες από τις ασυνεχείς.
Θέτοντας το πρόβλημα πιο αυστηρά
Για να διερευνήσουμε διεξοδικά τα παραπάνω, χρειάζεται να απαντήσουμε, αρχικά, σε δύο κρίσιμα ερωτήματα:
Πόσες είναι όλες οι συναρτήσεις ;
Πόσες είναι όλες οι συνεχείς συναρτήσεις ;
Περιοριζόμαστε σκόπιμα σε συναρτήσεις ορισμένες για όλους τους πραγματικούς αριθμούς μιας και όσα θα βρούμε – αν βρούμε – γενικεύονται εύκολα για συναρτήσεις με αυθαίρετο πεδίο ορισμού – με τη δέουσα, πάντα, προσοχή. Από εδώ κι εμπρός θα αναφερόμαστε σε αυτές τις συναρτήσεις ως πραγματικές και πραγματικές συνεχείς συναρτήσεις, αντίστοιχα.
Ας παρατηρήσουμε πρώτα ότι μπορούμε για κάθε πραγματικό αριθμό να ορίσουμε την αντίστοιχη σταθερή συνάρτηση , συνεπώς οι πραγματικές συναρτήσεις είναι τουλάχιστον τόσες όσοι οι πραγματικοί αριθμοί. Επειδή οι είναι συνεχείς, το ίδιο συμβαίνει και για τις συνεχείς συναρτήσεις – είναι τουλάχιστον τόσες όσοι και οι πραγματικοί αριθμοί. Ας συμβολίσουμε, για ευκολία, το πλήθος των πραγματικών αριθμών με , οπότε τα παραπάνω μας λένε ότι υπάρχουν τουλάχιστον στο πλήθος πραγματικές (και συνεχείς) συναρτήσεις.
Τώρα θα έλεγε κανείς ότι, αφού οι σταθερές συναρτήσεις είναι τόσες όσοι και οι πραγματικοί αριθμοί, προφανώς και οι πραγματικές συναρτήσεις στο σύνολό τους – ακόμα και μόνο συνεχείς να είναι – θα είναι πολύ περισσότερες από τους πραγματικούς αριθμούς. Ωστόσο, δεν αρκεί μόνο η διαίσθησή μας για να ισχυριστούμε ότι κάτι είναι μαθηματικά ορθό. Ας περάσουμε, λοιπόν, σε μία διερεύνηση του κατά πόσον μπορούμε να επιβεβαιώσουμε ή όχι τη διαίσθησή μας.
Πραγματικές συναρτήσεις vs Πραγματικοί αριθμοί
Ας συμβολίσουμε το σύνολο όλων των πραγματικών συναρτήσεων με – αυτός είναι ένας αρκετά συνηθισμένος συμβολισμός, είναι η αλήθεια. Το κάτω στο παραπάνω σύμβολο αναφέρεται στο πεδίο τιμών των συναρτήσεων ενώ το πάνω στο πεδίο ορισμού. Με αυτόν τον συμβολισμό, έχουμε ήδη δείξει παραπάνω ότι , μας μένει, επομένως, να εξετάσουμε αν ισχύει ή όχι η ισότητα.
Τώρα, θεωρούμε την ακολουθία φυσικών αριθμών η οποία κατασκευάζεται ως εξής:
Επί της ουσίας, πάμε σε κάθε στοιχείο της διαγωνίου του παραπάνω πίνακα και το αλλάζουμε, επιλέγοντας έναν – οποιονδήποτε – άλλο φυσικό αριθμό. Σαφώς, επομένως, από την υπόθεσή μας, θα πρέπει για κάποιον δείκτη . Ωστόσο, συνεπώς , άτοπο, άρα .
Το παραπάνω δεν μπορεί να δουλέψει άμεσα στην περίπτωσή μας, γιατί εκμεταλλευτήκαμε την αριθμησιμότητα των φυσικών αριθμών – στο σημείο που είπαμε ότι μπορούμε να γράψουμε όλες τις ακολουθίες φυσικών αριθμών σε μία λίστα. Ωστόσο, αυτό μπορούμε εύκολα να το παρακάμψουμε, ως εξής. Αρχικά, ας υποθέσουμε όπως και παραπάνω, προς άτοπο, ότι . Αυτό σημαίνει ότι μπορούμε κάθε πραγματικό αριθμό να τον αντιστοιχίσουμε αμφιμονοσήμαντα σε μία πραγματική συνάρτηση. Δηλαδή, μπορούμε να γράψουμε το σύνολο στην εξής μορφή:
Τώρα, προηγουμένως μπορούσαμε να παραθέσουμε τις ακολουθίες τη μία κάτω από την άλλη, κάτι που ήταν εύκολο, μιας και στους φυσικούς αριθμούς έχουμε μία σαφή έννοια «τάξης»: υπάρχει ο πρώτος φυσικός αριθμός, ο δεύτερος (ο διάδοχος του πρώτου), ο τρίτος (ο διάδοχος του δεύτερου) κ.ο.κ.. Στους πραγματικούς αριθμούς μία τέτοια ιδιότητα δε φαίνεται καθαρά αν υπάρχει ή όχι στον ορίζοντα. Ωστόσο, μπορούμε να εργαστούμε και χωρίς αυτήν την υπόθεση, σχεδόν όπως παραπάνω και να θεωρήσουμε τη συνάρτηση η οποία ορίζεται ως:
Σαφώς, το 2020 στον ορισμό δεν παίζει κανέναν ρόλο – κάθε μη μηδενικός πραγματικός αριθμός μας κάνει. Παρατηρούμε τώρα ότι, αφού , έπεται ότι υπάρχει κάποιο τέτοιο ώστε . Ωστόσο, άρα για όποιο κι αν επιλέξουμε, άτοπο, συνεπώς , όπως φανταζόμαστε.
Επί της ουσίας, δε χρειάστηκε να κάνουμε κάποια τρελή παρέκκλιση από το αρχικό μας επιχείρημα για τους φυσικούς αριθμούς, παρά να παρατηρήσουμε ότι η αριθμησιμότητα δε μας ήταν απαραίτητη ως ιδιότητα. Είναι χρήσιμο να παρατηρήσουμε εδώ ότι αν μας δινόταν ένα οποιοδήποτε σύνολο με τουλάχιστον δύο στοιχεία στη θέση του και πάλι θα μπορούσαμε με ακριβώς τον ίδιο τρόπο να δείξουμε ότι το σύνολο όλων των συναρτήσεων , που το συμβολίζουμε με , έχει πληθάριθμο γνήσια μεγαλύτερο του , δηλαδή . Αν επιλέξουμε ως τότε εύκολα μπορούμε να δούμε ότι μπορούμε να κατασκευάσουμε σύνολα με άπειρους πληθάριθμους που να είναι όλοι τους διαφορετικοί. Άρα, στην fancy ερώτηση «Είναι ένα το άπειρο;» η απάντηση είναι, εμφατικά, «όχι» καθώς άπειροι είναι οι φυσικοί αριθμοί αλλά, ακόμα πιο άπειρα είναι τα στοιχεία του συνόλου – σε λίγο πιο χαλαρό επίπεδο τα παραπάνω, προφανώς.
Συνεχείς συναρτήσεις vs Πραγματικοί αριθμοί
Ωραία, επιβεβαιώσαμε τη διαίσθησή μας σχετικά αναίμακτα και με bonus ένα ωραίο συμπέρασμα για τους άπειρους πληθάριθμους στην περίπτωση των πραγματικών συναρτήσεων. Ωστόσο, τι γίνεται με τις συνεχείς πραγματικές συναρτήσεις; Εδώ, όπως σχετικά εύκολα μπορείτε να δείτε, το ίδιο τέχνασμα δε θα δουλέψει. Πράγματι, ενώ μπορούμε και πάλι να υποθέσουμε ότι μπορούμε να γράψουμε σαν μία «λίστα» με πραγματικούς δείκτες όλες τις συνεχείς συναρτήσεις, η «διαγώνια» συνάρτηση που κατασκευάσαμε παραπάνω δε μας εγγυάται κανείς ότι είναι συνεχής – μην πέσετε στην παγίδα να πείτε ότι είναι συνεχής ως πράξεις συνεχών συναρτήσεων!
Επομένως, πρέπει να βρούμε άλλον τρόπο να διερευνήσουμε την ισχύ ή όχι της διαισθητικής μας εικόνας ότι οι συνεχείς συναρτήσεις είναι κι αυτές «πολλές». Αρχικά, ας θυμηθούμε/δούμε τον ορισμό της συνέχειας – όχι τον λυκειακό, σαφώς:
Μία συνάρτηση λέγεται συνεχής σε ένα του πεδίου ορισμού της αν για κάθε υπάρχει τέτοιος ώστε για κάθε του πεδίου ορισμού της να ισχύει: .
Μία βολική αναδιατύπωση του παραπάνω ορισμού με όρους ακολουθιών που θα μας φανεί ιδιαίτερα χρήσιμη είναι η ακόλουθη – αποκαλείται αρχή της μεταφοράς:
Μία συνάρτηση είναι συνεχής σε ένα του πεδίου ορισμού της αν για κάθε ακολουθία στοιχείων του πεδίου ορισμού της τέτοια ώστε ισχύει και .
Δε θα αποδείξουμε ότι τα παραπάνω είναι ισοδύναμα, ωστόσο, δεν είναι και τόσο δύσκολο μιας και τα δύο εκφράζουν σε άλλες γλώσσες την ίδια ιδέα: όσο το «πλησιάζει» το τόσο το «πλησιάζει» το .
Με βάση το παραπάνω, θα αποδείξουμε το εξής ιδιαίτερα ενδιαφέρον για τις πραγματικές συνεχείς συναρτήσεις:
Μία συνεχής συνάρτηση για την οποία ισχύει ότι για κάθε είναι ταυτοτικά μηδενική, δηλαδή για κάθε .
Η απόδειξη του παραπάνω είναι σχετικά απλή. Αν είναι ένας πραγματικός αριθμός, τότε, όπως γνωρίζουμε, υπάρχει μία ακολουθία ρητών αριθμών, έστω τέτοια ώστε . Από την αρχή της μεταφοράς παίρνουμε ότι . Ωστόσο, επειδή έπεται ότι για κάθε επομένως . Από τη μοναδικότητα τώρα του ορίου μίας ακολουθίας έπεται ότι , άρα πράγματι η είναι ταυτοτικά μηδενική.
Δεδομένου τώρα ότι η διαφορά δύο συνεχών συναρτήσεων είναι επίσης συνεχής, έχουμε άμεσα και ότι αν για κάθε για δύο συνεχείς πραγματικές συναρτήσεις τότε (σε όλο το ).
Τα παραπάνω εκφράζουν μία ιδιαιτέρως ενδιαφέρουσα ιδιότητα των συνεχών πραγματικών συναρτήσεων. Αν μας απασχολεί να εξετάσουμε αν δύο τέτοιες συναρτήσεις είναι ίσες, δε χρειάζεται να εξετάσουμε κάθε τιμή στο πεδίο ορισμού τους, αλλά αρκεί να εξετάσουμε μόνο τις τιμές που παίρνουν στους ρητούς αριθμούς και η συνέχεια θα κάνει τα υπόλοιπα. Έτσι, οι συνεχείς συναρτήσεις φαίνονται να είναι αρκετά «λίγες» σε σχέση με τις πραγματικές συναρτήσεις στο σύνολό τους, υπό την έννοια ότι, σε αντίθεση με τις συνεχείς, για δύο πραγματικές συναρτήσεις χρειάζεται να εξετάσουμε κάθε τιμή τους – σε κάθε πραγματικό αριθμό – για να αποφανθούμε αν είναι ίσες ή όχι.
Τώρα κάπως κλονίζεται λίγο η διαίσθησή μας. Είναι τελικά τόσες πολλές οι πραγματικές συναρτήσεις ή μήπως είναι, κόντρα στις αρχικές μας προσδοκίες, ενοχλητικά λίγες; Ήρθε η ώρα να πιάσουμε χαρτί και μολύβι. Ας συμβολίσουμε με το σύνολο όλων των συνεχών πραγματικών συναρτήσεων. Έχουμε δει αρκετά παραπάνω ότι . Επίσης, όπως είπαμε, κάθε συνεχής συνάρτηση καθορίζεται κατά μοναδικό τρόπο μόνο από τις τιμές της στους ρητούς αριθμούς. Με άλλα λόγια, δε χρειάζεται να γνωρίζουμε κάθε τιμή μίας συνεχούς συνάρτησης για να γνωρίζουμε ποια είναι παρά μόνο τις τιμές του συνόλου:
Κι εδώ έρχεται μία κομβική παρατήρηση: το σύνολο είναι αριθμήσιμο – αφού οι ρητοί είναι αριθμήσιμοι. Συνεπώς, για κάθε συνεχή συνάρτηση το σύνολο μπορεί να ταυτιστεί με μία ακολουθία πραγματικών αριθμών. Πράγματι, αν υποθέσουμε ότι έχουμε αριθμήσει τους ρητούς με κάποιον τρόπο – αυτό είναι εφικτό αφού είναι αριθμήσιμοι – ας πούμε και αν είναι μία συνεχής συνάρτηση τότε αντιστοιχίζουμε την στην ακολουθία:
Σαφώς, η παραπάνω ακολουθία είναι μοναδική για κάθε συνάρτηση ενώ κάθε ακολουθία πραγματικών αριθμών καθορίζει μονοσήμαντα και μία συνεχή συνάρτηση – καθορίζοντας τις τιμές της σε κάθε ρητό. Συνεπώς, έχουμε ένα ενδιαφέρον συμπέρασμα εδώ, το οποίο μας λέει ότι – χρησιμοποιήσαμε τον συμβολισμό για το σύνολο όλων των ακολουθιών πραγματικών αριθμών μιας και μία ακολουθία είναι, ουσιαστικά, μία συνάρτηση με πεδίο ορισμού τους φυσικούς αριθμούς. Από μόνο του αυτό το συμπέρασμα μας λέει κάτι εντυπωσιακό: οι συνεχείς πραγματικές συναρτήσεις είναι τόσες όσες και οι ακολουθίες πραγματικών αριθμών (οι οποίες αναμένουμε να είναι «αισθητά» λιγότερες από τις πραγματικές συναρτήσεις).
Ωραία, και πόσες είναι οι πραγματικές ακολουθίες;
Δείξαμε ότι οι πραγματικές συνεχείς συναρτήσεις είναι τόσες όσες και οι πραγματικές ακολουθίες, ωστόσο, ακόμα δεν έχουμε αποδείξει τίποτα που να δίνει μία οριστική απάντηση στο ερώτημά μας, απλώς έχουμε καταφέρει να αναγάγουμε το πρόβλημά μας στη μελέτη ενός άλλου, λίγο πιο «απλού» συνόλου: αυτού των πραγματικών ακολουθιών, .
(Ξανα)μετρώντας τους πραγματικούς αριθμούς
Αφήνουμε τις πραγματικές ακολουθίες προς το παρόν στην άκρη για να ασχοληθούμε λίγο με τον πληθάριθμο του συνόλου των πραγματικών αριθμών, . Αυτό που θα δείξουμε είναι ότι οι πραγματικοί αριθμοί είναι ακριβώς τόσοι όσα και τα υποσύνολα των φυσικών αριθμών, δηλαδή ότι , όπου με συμβολίζουμε το δυναμοσύνολο ενός συνόλου – ο συμβολισμός σαφώς εμπνέεται από την περίπτωση όπου του είναι πεπερασμένο, οπότε και ισχύει . Αρχικά, θα κάνουμε μία χρήσιμη, και κρίσιμη, παρατήρηση: . Δηλαδή, οι πραγματικοί αριθμοί είναι τόσοι όσοι και οι (πραγματικοί) αριθμοί μεταξύ των και . Αυτό, αν και εντυπωσιακό, είναι σχετικά εύκολο να το δει κανείς. Αφενός, προφανώς, αφού έπεται ότι . Από την άλλη, παρατηρούμε ότι η συνάρτηση:
είναι 1-1 (άρα, όπως έχουμε δει και παραπάνω, το πεδίο ορισμού της έχει το πολύ τόσα στοιχεία όσα το πεδίο τιμών της) και επίσης συνεπώς . Επομένως, .
Συνεπώς, αντί να δείξουμε ότι μπορούμε να δείξουμε ότι . Θεωρούμε τώρα ένα , δηλαδή ένα υποσύνολο των φυσικών αριθμών, και την χαρακτηριστική του συνάρτηση η οποία ορίζεται ως εξής:
Επειδή το είναι υποσύνολο των φυσικών αριθμών, μπορούμε να αναπαραστήσουμε τη χαρακτηριστική του συνάρτηση ως ακολουθία – εδώ αξιοποιούμε την αριθμησιμότητα των φυσικών αριθμών:
Για παράδειγμα, για το σύνολο παίρνουμε την ακολουθία . Προχωράμε ένα βήμα παρακάτω και παρατηρούμε ότι κάθε ακολουθία από 0 και 1 μπορούμε να την ερμηνεύσουμε ως έναν αριθμό στο θεωρώντας ότι τα 0 και 1 αντιστοιχούν στο δυαδικό ανάπτυγμα του εν λόγω αριθμού. Αυστηρότερα, μπορούμε να πούμε ότι αντιστοιχίζουμε ένα σύνολο στον αριθμό:
Η παραπάνω αντιστοίχιση είναι σαφώς επί, αφού κάθε ακολουθία από 0 και 1 μπορεί αφενός να προκύψει από την αναπαράσταση ενός αριθμού στο στο δυαδικό σύστημα και, αφετέρου, να ερμηνευθεί «φυσιολογικά» ως η χαρακτηριστική συνάρτηση ενός συνόλου φυσικών αριθμών. Επομένως, έπεται ότι .
Μένει να δείξουμε ότι η παραπάνω αντιστοίχιση είναι 1-1 πράγμα, θα λέγαμε, σχεδόν προφανές. Ωστόσο, τα πράγματα δεν είναι τόσο απλά. Θεωρήστε, για παράδειγμα, το παραπάνω σύνολο , το οποίο φυσιολογικά θα αντιστοιχιζόταν στον αριθμό:
Τώρα, θεωρήστε και το σύνολο . Αυτό το σύνολο θα αντιστοιχιζόταν στην ακολουθία:
και, συνεπακόλουθα, στον αριθμό:
δηλαδή τα διαφορετικά σύνολα και αντιστοιχίζονται στον ίδιο πραγματικό αριθμό, άρα η αντιστοίχισή μας δεν είναι 1-1. Επομένως, πρέπει να σκεφτούμε κάποιον τρόπο να παρακάμψουμε αυτή τη μικρή δυσκολία που έχουμε. Δεδομένου ότι ως τώρα έχουμε δείξει ότι αρκεί να δείξουμε και την αντίστροφη ανισότητα, . Εδώ θα κάνουμε μία ακόμα χρήσιμη παρατήρηση. Το δυναμοσύνολο των φυσικών αριθμών μπορεί να γραφεί λίγο πιο «τακτοποιημένα» με τη βοήθεια των παρακάτω συνόλων:
καθώς και του συνόλου:
Για την ακρίβεια, εύκολα βλέπει κανείς ότι μπορούμε να γράψουμε:
Με λίγα λόγια, «ταξινομήσαμε» τα υποσύνολα των φυσικών αριθμών ανάλογα με το πλήθος των στοιχείων που περιέχουν. Ας παρατηρήσουμε τώρα ότι τα για είναι όλα τους αριθμήσιμα. Πράγματι, το είναι πεπερασμένο άρα αριθμήσιμο. Το περιέχει ένα μονοσύνολο για κάθε φυσικό αριθμό, επομένως άρα είναι αριθμήσιμο. Για το , παρατηρούμε ότι περιέχει όλα τα δισύνολα τα οποία είναι, σαφώς, «λιγότερα» από ότι τα στοιχεία του , δηλαδή τα διατεταγμένα ζεύγη φυσικών αριθμών, μιας και στα δεύτερα μετράει η σειρά που γράφουμε τα στοιχεία τους. Έτσι . Ωστόσο, όπως έχουμε ξαναδεί, μπορούμε να αριθμήσουμε όλα τα ζεύγη φυσικών αριθμών εύκολα, όπως φαίνεται στο παρακάτω σχήμα:
Ο περίπατος του Cantor.
Έτσι και άρα και . Αναλόγως, μπορούμε να δείξουμε και ότι και άρα και, γενικότερα ότι για κάθε . Συνεπώς, επειδή τα είναι αριθμήσιμα στο πλήθος και αριθμήσιμα και τα ίδια ως σύνολα, έπεται ότι και η ένωσή τους είναι αριθμήσιμη, δηλαδή το σύνολο είναι αριθμήσιμο. Πράγματι, αν υποθέσουμε ότι για κάθε τότε μπορούμε να γράψουμε τα στοιχεία του ως εξής:
Επί της ουσίας, στο οστό «βήμα» παίρνουμε όλα τα στοιχεία που οι δείκτες τους αθροίζουν στο . Παρατηρήστε ότι με τον παραπάνω τρόπο θα πάρουμε όλα τα στοιχεία του καθώς ένα στοιχείο θα εμφανιστεί στο οστό «βήμα». Παρατηρήστε ότι σε κάθε «βήμα» μας παίρνουμε πεπερασμένα στο πλήθος στοιχεία, επομένως είναι εύκολο να αριθμήσουμε, οπότε το είναι πράγματι αριθμήσιμο
Ωστόσο, δεν ισχύει το ίδιο και για το , το οποίο – spoiler alert – θα δείξουμε ότι είναι υπεραριθμήσιμο. Για την ακρίβεια, θα δείξουμε ότι έχει τουλάχιστον τόσα στοιχεία όσα και το . Θεωρούμε έναν αριθμό και επιλέγουμε, αν χρειάζεται, από τα δύο δυαδικά του αναπτύγματα εκείνο που καταλήγει σε άπειρα διαδοχικά 1. Για παράδειγμα, αν έχουμε τον αριθμό , τότε ένα ανάπτυγμα του αριθμού είναι το «πεπερασμένο» ενώ ένα άλλο είναι το «άπειρο» . Εκ των δύο, επιλέγουμε το «άπειρο» και με βάση αυτό, αντιστοιχίζουμε τον σε ένα σύνολο φυσικών αριθμών που περιέχει το αν και μόνο αν στην οστή θέση του αναπτύγματός του εμφανίζεται το ψηφίο 1. Παρατηρήστε ότι κάθε τέτοιο σύνολο είναι εξ ορισμού άπειρο. Αν ο έχει άπειρο δυαδικό ανάπτυγμα, τότε σαφώς αυτό θα περιέχει άπειρα 1 άρα το θα είναι άπειρο, ενώ αν ο έχει πεπερασμένο ανάπτυγμα, τότε αντικαθιστώντας το τελευταίο του 1 με 0 και συναρμόζοντας στο τέλος άπειρα 1 παίρνουμε ένα «άπειρο» ανάπτυγμα αυτού του αριθμού.
Τώρα, εύκολα βλέπουμε ότι αν τότε άρα η αντιστοίχιση είναι 1-1 και, μάλιστα, επί του , συνεπώς . Τώρα, το με το διαφέρουν «ελάχιστα» ως προς το πλήθος τους, υπό την έννοια ότι το πρώτο υπολείπεται του δεύτερου κατά ένα αριθμήσιμο σύνολο. Θα δείξουμε ότι, στην πραγματικότητα, είναι ισοπληθικά, αποδεικνύοντας το ακόλουθο:
Αν είναι ένα υπεραριθμήσιμο σύνολο και ένα άλλο αριθμήσιμο σύνολο τότε .
Αφού το είναι υπεραριθμήσιμο, θα περιέχει ένα αριθμήσιμο υποσύνολο . Έστω μία αρίθμηση των στοιχείων του και μία αρίθμηση του και έστω η συνάρτηση :
Ουσιαστικά, απεικονίζουμε όλα τα στοιχεια στον εαυτό τους εκτός από τα στοιχεία του το οποίο το «απλώνουμε» ως εξής:
τα στοιχεία με άρτιο δείκτη τα απεικονίζουμε στα στοιχεία με δείκτη ίσο με το μισό του δείκτη τους, δηλαδή , κ.ο.κ., οπότε έτσι παίρνουμε όλα τα στοιχεία του ,
τα στοιχεία με περιττό δείκτη τα απεικονίζουμε στα «αντίστοιχα» στοιχεία του , δηλαδή , , κ.ο.κ., οπότε παίρνουμε έτσι όλα τα στοιχεία του .
Από τον ορισμό της είναι σαφές ότι αυτή είναι 1-1 και επί, συνεπώς .
Έτσι, και στην περίπτωσή μας, έπεται ότι δηλαδή συνεπώς .
Ας ανακεφαλαιώσουμε λίγο όσα έχουμε βρει ως τώρα. Αφενός, , δηλαδή οι συνεχείς συναρτήσεις είναι τόσες όσες και οι ακολουθίες πραγματικών αριθμών. Αφετέρου, έχουμε δείξει ότι , δηλαδή οι πραγματικοί αριθμοί είναι τόσοι όσα και τα υποσύνολα των φυσικών αριθμών. Για τη δεύτερη ισότητα μπορούμε να πούμε κάτι ελαφρώς πιο βολικό. Όπως είδαμε και παραπάνω, κάθε υποσύνολο των φυσικών αριθμών αντιστοιχίζεται σε μία μοναδική συνάρτηση και, αντίστροφα, κάθε τέτοια συνάρτηση περιγράφει κατά μοναδικό τρόπο ένα υποσύνολο των φυσικών αριθμών. Έτσι, μπορούμε εύκολα να πούμε ότι , άρα .
Ας πάρουμε τώρα μία ακολουθία :
Κάθε ένας όρος της μπορεί να αντιστοιχιστεί σε μία (και μοναδική) συνάρτηση , συνεπώς η ακολουθία μπορεί να γραφεί ως:
Όπως μπορεί να παρατηρήσει κανείς, η είναι επί της ουσίας μία συνάρτηση δύο μεταβλητών της μορφής:
Είναι σαφές ότι μία ακολουθία καθορίζει μοναδικά την παραπάνω συνάρτηση και καθορίζεται μοναδικά από αυτήν, επομένως βρήκαμε άλλη μία 1-1 και επί αντιστοίχιση ανάμεσα στις πραγματικές ακολουθίες και τις συναρτήσεις με πεδίο ορισμού το και πεδίο τιμών το . Όμως, όπως είδαμε και παραπάνω, και, συνεπώς, υπάρχει μία συνάρτηση που να είναι 1-1 και επί. Έτσι, κάθε συνάρτηση μπορεί να αντιστοιχιστεί στη συνάρτηση κατά μοναδικό τρόπο. Αντίστροφα, αν έχουμε μία συνάρτηση τότε αυτή μπορει να αντιστοιχιστεί κατά μοναδικό τρόπο στη συνάρτηση . Έτσι, παίρνουμε .
Συμμαζεύοντας όλες τις παραπάνω ισότητες έχουμε:
Δηλαδή, οι συνεχείς συναρτήσεις είναι ακριβώς τόσες όσοι και οι πραγματικοί αριθμοί!
Σαν κεραυνός εν αιθρία φαίνεται ήρθε το τελικό μας αποτέλεσμα ότι οι συνεχείς συναρτήσεις είναι, επί της ουσίας, λίγες, υπό την έννοια είναι είναι «μόλις» τόσες όσοι και οι πραγματικοί αριθμοί. Ωστόσο, δεν είναι μόνο αυτό που είναι εντυπωσιακό αλλά και ένα άλλο ενδιάμεσο αποτέλεσμα που αναφέραμε – και μας φάνηκε ιδιαίτερα χρήσιμο: οι συνεχείς συναρτήσεις είναι ακριβώς τόσες όσες και οι ακολουθίες πραγματικών αριθμών. Με άλλα λόγια, από τη σκοπιά των πληθαρίθμων, το να υποθέσουμε ότι μία πραγματική συνάρτηση είναι συνεχής είναι ισοδύναμο με το να υποθέσουμε ότι αυτή έχει πεδίο ορισμού όχι όλο το αλλά μόνο το σύνολο των φυσικών αριθμών.
Άλλο ένα εντυπωσιακό αποτέλεσμα είναι ότι οι πραγματικοί αριθμοί μπορούν να περιγραφούν πλήρως χρησιμοποιώντας μόνο σύνολα φυσικών αριθμών. Αυτό είναι εντυπωσιακό διότι οι φυσικοί αριθμοί αποτελούν μία δομή σχεδόν «φυσική» υπό την έννοια ότι φαίνονται πολύ πιο κοντά μας από ό,τι οι πραγματικοί αριθμοί, που περιέχουν «στριφνά» και «παράξενα» όντα – όπως τους αρρήτους – αλλά χρειάζονται και ιδιαίτερα λεπτές και περίπλοκες διαδικασίες για να κατασκευαστούν.
Να παρατηρήσουμε, επίσης, ότι το παραπάνω αποτέλεσμα μας δείχνει ότι μεταξύ των συναρτήσεων, οι περισσότερες – κατά συντριπτική πλειοψηφία, μάλιστα – είναι ασυνεχείς. Αυτό είναι σχετικά εύκολο να το δούμε. Όπως είδαμε παραπάνω . Το σύνολο , όπως είναι φυσιολογικό, απαρτίζεται από όλες τις ασυνεχείς συναρτήσεις και δεν μπορεί να είναι ισοπληθικό με το καθώς τότε θα έπρεπε, όπως θα δείξουμε, και η ένωσή του με το να είναι ισοπληθική με το , ωστόσο , άτοπο.
Αν, τώρα, είναι δύο σύνολα ισοπληθικά με το τότε υπάρχουν δύο συναρτήσεις και 1-1 και επί. Επειδή τώρα ισχύει και ότι υπάρχουν και συναρτήσεις και 1-1 και επί. Θεωρούμε τώρα τη συνάρτηση με:
Η είναι σαφώς 1-1 και επί, επομένως .
Έτσι, οι ασυνεχείς συναρτήσεις είναι πράγματι περισσότερες από τις συνεχείς συναρτήσεις.
Πολλά είπαμε σε αυτήν την ανάρτηση, καλή μας χώνεψη και καλή χρονιά!
Η κεντρική εικόνα είναι ο πίνακας Άντρες που σέρνουν μία βάρκα στις όχθες του Βόλγα του Ilya Repin.
Διαβάστε επίσης: Τι λέει το Θεώρημα του Bolzano;
Ακολουθήστε το aftermathsgr στα social media:
Μαθηματικός, μάλλον... Προβολή όλων των δημοσιεύσεων από Aftermaths
Previous Μία Χριστουγεννιάτικη επανάληψη στη δομή επανάληψης
Next Ένα μικρό quiz στην άλγεβρα
Ο/Η Τα πολλά πρόσωπα του αξιώματος της πληρότητας (2α) – Aftermaths λέει:
31 Ιανουαρίου 2021 στο 10:22
[…] τον συμβολισμό, μπορείτε να φρεσκάρετε τη μνήμη σας εδώ. Τώρα, λέμε ότι μία ακολουθία πραγματικών αριθμών, , […]
Ο/Η Τα πολλά πρόσωπα του αξιώματος της πληρότητας (2α) – Aftermaths λέει:
7 Φεβρουαρίου 2021 στο 01:43
[…] τον συμβολισμό, μπορείτε να φρεσκάρετε τη μνήμη σας εδώ. Τώρα, λέμε ότι μία ακολουθία πραγματικών αριθμών, , […]
Ο/Η Hyperreals: Λογικά πράγματα… – Aftermaths λέει:
14 Φεβρουαρίου 2021 στο 10:40
[…] το πόσες είναι αυτές που μπορούμε να κατασκευάσουμε – ακριβώς όπως συμβαίνει με τις συνεχείς συναρτήσεις – αλλά αυτό δε μας πειράζει. Παρακάτω θα καθορίσουμε […]
Ο/Η Τι λέει το Θεώρημα του Bolzano; – aftermaths.gr λέει:
19 Δεκεμβρίου 2021 στο 21:35
[…] ιδιότητα, γνωστή και ως αρχή της μεταφοράς, δείτε εδώ μία σύντομη συζήτηση γι’ αυτήν αλλά και για τις […]
Γράψτε το σχόλιο σας εδώ....
Εισάγετε τα παρακάτω στοιχεία ή επιλέξτε ένα εικονίδιο για να συνδεθείτε:
Ηλ. διεύθυνση (απαιτείται) Δεν θα εμφανιστεί δημόσια.
Σχολιάζετε χρησιμοποιώντας τον λογαριασμό WordPress.com. ( Αποσύνδεση /  Αλλαγή )
Σχολιάζετε χρησιμοποιώντας τον λογαριασμό Twitter. ( Αποσύνδεση /  Αλλαγή )
Σχολιάζετε χρησιμοποιώντας τον λογαριασμό Facebook. ( Αποσύνδεση /  Αλλαγή )
Ειδοποίηση μέσω mail για νέα σχόλια.
Να ειδοποιούμαι μέσω mail για νέα άρθρα.
Ακολούθησε το ιστολόγιο μέσω email
Μαζί με 513 ακόμα followers
Η καλή πράξη της ημέρας
Τεστάκι της Ημέρας #001 - Τι θυμόμαστε από το Γυμνάσιο;
Ασκήσεις στις Συναρτήσεις (Β' Λυκείου)
Ασκήσεις στα Σύνολα - Α' Λυκείου
Ασκήσεις στους κανόνες παραγώγισης
Τι λέει το Θεώρημα του Bolzano;
10 Επαναληπτικά Θέματα - Γ' ΕΠΑΛ
Επανάληψη σε παραγοντοποίηση και ταυτότητες
Λύσεις του Επαναληπτικού Διαγωνίσματος VI
5 Επαναληπτικά διαγωνίσματα (Γ' ΕΠΑΛ)
Η υπερβατικότητα του π
Αξίωμα της πληρότητας (6)
Τίποτα στην τύχη (1)
Τεστάκι της ημέρας (176)
The Wumpus Project (1)
1-1 After-maths Collatz featured Fermat Horner Tikz Workshop Α' Γυμνασίου Α' Λυκείου ΑΕΠΠ Απόψεις Β' Λυκείου Γ' λυκείου Διδακτικό υλικό ΕΟΚ ΕΠΑΛ ΘΜΤ Μαθηματικά Φυσική άλγεβρα ακρότατα αλγόριθμοι αμπελοφιλοσοφία ανισότητες ανισώσεις αποδείξεις απόλυτη τιμή ασκήσεις γραφική παράσταση δευτεροβάθμιες διάμεσος διαγώνισμα διακύμανση διασπορά διαφάνειες δομή επανάληψης δομή επιλογής δυνάμεις εισαγωγή εκθετική εξισώσεις επανάληψη θεωρία λογαριθμική λυμένα παραδείγματα λύσεις μέση τιμή μαθηματικά μονοτονία ολοκλήρωμα πίνακες πανελλήνιες παράγωγος παραμετρικές παραστάσεις πιθανότητες πολυώνυμα πράξεις πραγματικοί αριθμοί προβλήματα πρωτοβάθμιες πρόοδοι ρίζες σημειώσεις στατιστική συνέχεια συναρτήσεις συστήματα συχνοτήτων σύνολα τεστ τριγωνομετρία φύλλο εργασίας όρια
Buy me a tea!
Οι οπλές του αγριόγιδου είναι τα τέσσερα δάκτυλα του βιολιστή. Πάνε στα τυφλά και δε λαθεύουν ούτε χιλιοστό. Χυμούν σε γκρεμούς, παιχνιδιάρες στην ανηφοριά, ακροβάτες στην κατηφοριά, είναι καλλιτέχνες τσίρκου για το θεωρείο των βουνών. Οι οπλές του αγριόγιδου γαντζώνονται στον αέρα. Ο ρόζος τους, μικρό μαξιλαράκι, όποτε θέλει λειτουργεί σαν σιγαστήρας, διαφορετικά το χωρισμένο στα δυο νύχι είναι καστανιέτα για φλαμένκο. Οι οπλές του αγριόγιδου είναι τέσσερις άσσοι σε τσέπες χαρτοκλέφτη. Μ' εκείνες η βαρύτητα είναι μια παραλλαγή σ' ένα θέμα, όχι ένας νόμος.