.
Άπειρο (σύμβολο: \( \infty) \) είναι μια αφηρημένη έννοια που περιγράφει κάτι χωρίς κανένα όριο και έχει σημασία σε μια σειρά από τομείς, κυρίως τα μαθηματικά και τη φυσική. Η λέξη άπειρο προέρχεται από το στερητικό πρόθεμα "α-" και τη λέξη "πέρας" που σημαίνει τέλος. Αναφέρεται σε διαφορετικές έννοιες (που συνήθως συνδέονται με την έννοια του "χωρίς τέλος") που προκύπτουν στην φιλοσοφία, τα μαθηματικά και τη θεολογία.
Στα μαθηματικά, το "άπειρο" χρησιμοποιείται συνήθως σε περιπτώσεις όπου αντιμετωπίζεται σαν να ήταν αριθμός (δηλαδή για τη σειρά ή το μέγεθος κάποιου πράγματος, π.χ.:"άπειρος αριθμός στοιχείων") αλλά είναι διαφορετικό είδος αριθμού από τους πραγματικούς αριθμούς. Το άπειρο βρίσκεται στα όρια, στους αριθμούς άλεφ, στις τάξεις της θεωρίας συνόλων, στα Ντέντεκιντ-άπειρα σύνολα, στο παράδοξο του Ράσελ, στη μη καθιερωμένη αριθμητική, στους υπερπραγματικούς αριθμούς, στην προβολική γεωμετρία, στο εκτεταμένο σύστημα πραγματικών αριθμών και στο απόλυτο άπειρο του Κάντορ.
Ο Γκέοργκ Καντόρ επισημοποιήθηκε πολλές ιδέες που σχετίζονται με το άπειρο και άπειρες σειρές κατά τα τέλη του 19ου και στις αρχές του 20ου αιώνα. Στη θεωρία που ανέπτυξε, υπάρχουν άπειρες σειρές διαφόρων μεγεθών (πληθικότητα). Για παράδειγμα, το σύνολο των ακεραίων είναι αριθμήσιμο, ενώ το άπειρο σύνολο των πραγματικών αριθμών είναι υπεραριθμήσιμο.
Ιστορία
Κύριο άρθρο: Άπειρο (φιλοσοφία)
Οι αρχαίοι πολιτισμοί είχαν διάφορες ιδέες για τη φύση του απείρου. Οι αρχαίοι Ινδοί και οι αρχαίοι Έλληνες δεν ορίζουν το άπειρο με ακριβή φορμαλισμό όπως και οι σύγχρονοι μαθηματικοί, και αντ 'αυτού προσεγγίζουν το άπειρο ως φιλοσοφική έννοια.
Πρώιμη Ελλάδα
Η πρώτη καταγεγραμμένη ιδέα του απείρου προέρχεται από τον Αναξίμανδρο, έναν προσωκρατικό Έλληνα φιλόσοφο που έζησε στη Μίλητο. Χρησιμοποίησε τη λέξη άπειρον που σημαίνει άπειρο ή απεριόριστο. Ωστόσο, ο πρώτος απολογισμός του απείρου στα μαθηματικά προέρχεται από τον Ζήνων τον Ελεάτη (490 π.Χ. - 425 π.Χ.), ο οποίος ήταν ένας από τους αρχαίους Έλληνες προσωκρατικούς φιλοσόφους στην Κάτω Ιταλία και μέλος της Ελεατικής σχολής, που ίδρυσε ο Παρμενίδης. Ο Αριστοτέλης τον αποκαλούσε εφευρέτη της διαλεκτικής μεθόδου. Ο Ζήνων ο Ελεάτης είναι γνωστός για τα τέσσερα παράδοξά του, τα οποία ο Μπέρτραντ Ράσελ περιέγραψε ως ασύγκριτα διακριτικά και βαθιά.
Σύμφωνα με την παραδοσιακή άποψη του Αριστοτέλη, οι Έλληνες της Ελληνιστικής Εποχής γενικά προτιμούν να διακρίνουν το δυναμικό άπειρο (potential infinity) από το άπειρο (actual infinity). Για παράδειγμα, αντί να λένε ότι υπάρχει ένας άπειρος αριθμός πρώτων αριθμών, ο Ευκλείδης προτιμά αντ 'αυτού να λέει ότι υπάρχουν περισσότεροι πρώτοι αριθμοί από αυτούς που περιέχονται σε κάθε δεδομένη συλλογή πρώτων αριθμών.
Ωστόσο, οι πρόσφατες ερμηνείες του αναγνώσματος Παλίμψηστο του Αρχιμήδη υπαινίσσονται ότι ο Αρχιμήδης είχε τουλάχιστον μια διαίσθηση για τη πραγματική ποσότητα του απείρου.
Πρώιμη Ινδία
Το ινδικό μαθηματικό κείμενο Σουρύα Πρατζνάτι (Surya Prajnapti, 3ος-4ος αιώνας π.Χ.) κατατάσσει όλους τους αριθμούς σε τρεις ομάδες: αριθμήσιμα, αναρίθμητα, και άπειρα σύνολα. Κάθε ένα από αυτά χωρίστηκε σε τρεις τάξεις:
Αριθμήσιμα: χαμηλότερη, ενδιάμεση, και υψηλότερη
Αναρίθμητα: σχεδόν αναρίθμητα, πραγματικά αναρίθμητα, και αναρίθμητα αναρίθμητα
Άπειρα: σχεδόν άπειρα, πραγματικά άπειρα, απείρως άπειρα
Σε αυτό το έργο, διακρίνονται δύο βασικοί τύποι άπειρων αριθμών. Και στους δύο λόγους, φυσικό και οντολογικό, έγινε διάκριση μεταξύ asaṃkhyāta ("αμέτρητων, αναρίθμητων") και ananta ("ατελείωτων, απεριόριστων"), μεταξύ αυστηρά οριοθετημένων και χαλαρά οριοθετημένων απείρων.
17ος αιώνας
Οι Ευρωπαίοι μαθηματικοί άρχισαν να χρησιμοποιούν άπειρους αριθμούς με συστηματικό τρόπο κατά τον 17ο αιώνα. Ο Τζον Ουάλις (John Wallis) χρησιμοποίησε για πρώτη φορά τον συμβολισμό \infty για μια τέτοια σειρά, ώστε να αξιοποιηθεί αυτό στους υπολογισμούς διαιρώντας την περιοχή σε απειροελάχιστες λωρίδες πλάτους της τάξης του \( \frac{1}{\infty} \). Ο Όιλερ χρησιμοποίησε το συμβολισμό i για έναν άπειρο αριθμό, και το αξιοποίησε εφαρμόζοντας τον τύπο του διωνύμου για τη i δύναμη, και άπειρα προϊόντα από i παράγοντες.
Μαθηματικά
Το σύμβολο του απείρου \infty (μερικές φορές ονομάζεται lemniscate) είναι ένα μαθηματικό σύμβολο που αντιπροσωπεύει την έννοια του απείρου.
Εισήχθη το 1655 από τον Τζον Ουάλις, και, από την εισαγωγή του, έχει επίσης χρησιμοποιηθεί έξω από τα μαθηματικά στο σύγχρονο μυστικισμό και στο λογοτεχνικό συμβολισμό.
Λογισμός
Leibniz, ένας από τους συν-εφευρέτες του απειροελάχιστου λογισμού,πιθανολογείται ευρέως για άπειρους αριθμούς και τη χρήση τους στα μαθηματικά.
Σύμφωνα με τον Λάιμπνιτς, και τα απειροστά και οι άπειρες ποσότητες ήταν ιδανικές οντότητες όχι της ίδιας φύσης με σημαντικές ποσότητες, έχοντας τις ίδιες ιδιότητες, σύμφωνα με το νόμο της συνέχειας.
Πραγματική Ανάλυση
Στην πραγματική ανάλυση, το σύμβολο \infty , που ονομάζεται άπειρο, χρησιμοποιείται για να δηλώσει κάτι χωρίς κανένα όριο.[1] x \rightarrow \inftyσημαίνει ότι το x μεγαλώνει χωρίς όριο και \( x \to -\infty \) σημαίνει ότι η τιμή του x μειώνεται χωρίς όριο. Αν f(t) ≥ 0 για κάθε t, τότε
· \( \int_{a}^{b} \, f(t)\ dt \ = \infty \) σημαίνει ότι το f(t) δεν βάζει όρια σε ένα πεδίο που υπόκειται σε όρια από το a ως το b.
·\( \int_{-\infty}^{\infty} \, f(t)\ dt \ = \infty \) σημαίνει ότι το πεδίο υπό τον έλεγχο f(t) είναι άπειρο.
· \( \int_{-\infty}^{\infty} \, f(t)\ dt \ = a \) σημαίνει ότι το συνολικό πεδίο υπό τον έλεγχο f(t) υπόκειται σε όρια, και ισούται με a.
Το άπειρο χρησιμοποιείται επίσης για να περιγράψει άπειρες σειρές:
· \( \sum_{i=0}^{\infty} \, f(i) = a \) σημαίνει ότι το σύνολο των άπειρων σειρών συγκλίνει σε κάποια πραγματική τιμή a.
· \( \sum_{i=0}^{\infty} \, f(i) = \infty \) σημαίνει ότι το σύνολο των απείρων σειρών αποκλίνει υπό την έννοια ότι τα επί μέρους σύνολα μεγαλώνουν χωρίς όριο.
Το άπειρο μπορεί να χρησιμοποιηθεί όχι μόνο για να προσδιορίσει ένα όριο αλλά και ως μια τιμή στο εκτεταμένο σύστημα πραγματικών αριθμών. Τα σημεία +\infty και -\infty μπορούν να προστεθούν στον τοπολογικό χώρο των πραγματικών αριθμών, προξενώντας την ένταξη των πραγματικών αριθμών σε συμπαγή χώρο δύο σημείων. Προσθέτοντας τις αλγεβρικές ιδιότητες σε αυτό μας δίνει τους εκτεταμένους πραγματικούς αριθμούς. Εμείς μπορούμε επίσης να θεωρήσουμε +\infty και -\infty ως ίδια, ωθώντας στην ένταξη των πραγματικών αριθμών σε συμπαγή χώρο ενός σημείου, η οποία είναι η πραγματική προβολική γραμμή. Η προβολική γεωμετρία επίσης αναφέρεται σε μία γραμμή στο άπειρο στο επίπεδο, ένα επίπεδο στο άπειρο στον τρισδιάστατο χώρο, και ούτω καθεξής σε μεγαλύτερες διαστάσεις.
Μιγαδική Ανάλυση
Στην στερεογραφική προβολή, το πολυσύνθετο επίπεδο μπορεί να <<τυλιχθεί>> μέσα στην σφαίρα, με την κορυφή της σφαίρας να αντιστοιχεί στο άπειρο. Αυτή είναι η επονομαζόμενη σφαίρα του Riemann
Στην μιγαδική ανάλυση το σύμβολο \infty, που ονομάζεται <<άπειρο>>, δηλώνει ένα ανυπόγραφο άπειρο όριο. \( x \rightarrow \infty \) σημαίνει ότι το μέγεθος |x| του x μεγαλώνει πέρα από κάθε τιμή που έχει ανατεθεί. Ένα σημείο \infty μπορεί να προστεθεί στο πολυσύνθετο επίπεδο ως ένας τοπολογικός χώρος παρέχοντας την ένταξη σε συμπαγή χώρο ενός σημείου του πολυσύνθετου επιπέδου. Όταν αυτό συμβεί, ο χώρος που προκύπτει είναι μία μονοδιάστατη πολυσύνθετη πολλαπλή, ή επιφάνεια Riemann, που αποκαλείται το εκτεταμένο πολυσύνθετο επίπεδο ή η σφαίρα του Riemann. Αριθμητικές πράξεις παρόμοιες με εκείνες που δόθηκαν παραπάνω για τους εκτεταμένους πραγματικούς αριθμούς μπορούν επίσης να οριστούν αν και δεν υπάρχει καμία αισθητή διαφορά στα σύμβολα (επομένως μία εξαίρεση είναι ότι το άπειρο δεν μπορεί να προστεθεί αυτό καθαυτό). Από την μία πλευρά, αυτό το είδος του άπειρου δίνει την δυνατότητα της διαίρεσης από το μηδέν, δηλαδή \( z/0 = \infty \) για οποιονδήποτε μη μηδενικό σύνθετο αριθμό z . Μέσα σε αυτό το πλαίσιο είναι συχνά χρήσιμο να εκλαμβάνουμε τις μεταμορφωσιγενείς συναρτήσεις σαν χάρτες μέσα στην σφαίρα του Riemann ορίζοντας την τιμή του \infty στους πόλους. Ο τομέας μιας σύνθετης συνάρτησης της τιμής ίσως επεκταθεί για να συμπεριλάβει το σημείο του απείρου καθώς επίσης. Ένα εξέχων παράδειγμα τέτοιων συναρτήσεων είναι η ομάδα μετασχηματισμών Mobius.
Μη-συμβατική ανάλυση
Οι αρχικές διατυπώσεις του απειροελάχιστου λογισμού του Ισαάκ Νεύτωνα και του Λάιμπνιτς χρησιμοποίησαν απειροελάχιστες ποσότητες. Στον εικοστό αιώνα, φάνηκε ότι η θεώρηση αυτή θα μπορούσε να μπει σε μία ενδελεχή βάση, μέσω διαφόρων λογικών συστημάτων , συμπεριλαμβανομένης της ομαλής απειροελάχιστης ανάλυσης και της μη-συμβατικής ανάλυσης. Στην τελευταία από τις δύο αναλύσεις τα απειροστά είναι αντιστρέψιμα και τα αντίστροφα τους είναι οι άπειροι αριθμοί. Υπό αυτήν την έννοια τα άπειρα είναι μέρος ενός υπερρεαλιστικού πεδίου. Δεν υπάρχει ισοδυναμία μεταξύ τους όπως και με τους διαπεπερασμένους αριθμούς του Καντόρ. Για παράδειγμα, αν το Η είναι ένας άπειρος αριθμός, τότε H + H = 2H and H + 1 είναι ξεχωριστοί άπειροι αριθμοί. Αυτή η προσέγγιση στο μη συμβατικό λογισμό έχει πλήρως αναπτυχθεί από τον Κάισλερ.
Θεωρία Συνόλων
Μία προς μία αντιστοιχία ανάμεσα στο μη πεπερασμένο σύνολο και κύριο υποσύνολο.
Μία άλλη μορφή του απείρου είναι το άπειρο πλήθος πληθαρίθμων και τακτικών αριθμών της θεωρίας των συνόλων. Ο Κάντορ ανέπτυξε ένα σύστημα διαπεπερασμένων αριθμών, στο οποίο ο πρώτος διαπεπερασμένος πληθάριθμος είναι ο aleph-null (ℵ0),ο πληθάριθμος του συνόλου των φυσικών αριθμών. Αυτή η μοντέρνα μαθηματική επινόηση του ποσοτικού απείρου αναπτύχθηκε στα τέλη του 19ου αιώνα από τους Κάντορ, Φρέγκε, Ντέντεκιντ και άλλους, χρησιμοποιώντας την ιδέα της συλλογής η των συνόλων.
Η προσέγγιση του Dedekind κατά κύριο λόγο ενστερνιζόταν την άποψη της μιας προς μια αντιστοιχίας ως γνώμονα για την σύγκριση του μεγέθους των συνόλων και την απόρριψη της άποψης του Γαλιλαίου (η οποία προήλθε από τον Ευκλείδη) ότι το σύνολο δεν μπορεί να έχει το ίδιο μέγεθος με το τμήμα. Ένα μη πεπερασμένο σύνολο μπορεί απλά να οριστεί ως ένα σύνολο το οποίο έχει το ίδιο μέγεθος με τουλάχιστον ένα από τα δικά του κύρια μέρη. Αυτή η αντίληψη του απείρου ονομάζεται το άπειρο του Dedekind. Το διάγραμμα φέρει ένα παράδειγμα: θεωρώντας τις ευθείες ως άπειρα σύνολα σημείων, το αριστερό μισό της χαμηλότερης μπλε ευθείας μπορεί να χαρτογραφηθεί κατά κάποιο τρόπο (πράσινες αντιστοιχίες) σε μία υψηλότερη μπλε ευθεία, και αντιστρόφως σε ολόκληρη την χαμηλότερη μπλε ευθεία (κόκκινες αντιστοιχίες). Επομένως ολόκληρη η χαμηλότερη μπλε ευθεία και το αριστερό της μισό έχουν τον ίδιο πληθάριθμο, π.χ. μέγεθος.
Γεωμετρία και Τοπολογία
Βασικό άρθρο: Διάσταση (διανυσματικός χώρος)
Χώροι απείρων διαστάσεων χρησιμοποιούνται ευρέως στην γεωμετρία και την τοπολογία, ιδιαίτερα ως ταξινομημένοι χώροι, αξιοσημείωτα ως χώροι Eilenberg-MacLane. Συνήθη παραδείγματα είναι ο σύνθετος προβολικός χώρος απείρων διαστάσεων Κ(Ζ,2) και ο πραγματικός προβολικός χώρος απείρων διαστάσεων Κ(Ζ/2Ζ, 1)
Μορφοκλασματικά Σύνολα/Μορφοκλάσματα
Η δομή ενός αντικειμένου φράκταλ επαναλαμβάνεται στις δικές του μεγεθύνσεις. Τα μορφοπλάσματα μπορούν να μεγεθυνθούν επ΄αόριστον χωρίς να χάσουν την δομή τους η να γίνουν «ομαλής ροής». Αυτά έχουν ασύλληπτου μεγέθους περιμέτρους-κάποια με άπειρα και άλλα με πεπερασμένα επιφανειακά πεδία. Μία τέτοιου είδους μορφοπλασματική καμπύλη με μια άπειρη περίμετρο και πεπερασμένο επιφανειακό πεδίο είναι η καμπύλη εξαπλής συμμετρίας του Koch (Koch snowflake).
Μαθηματικά χωρίς άπειρο
O Λέοπολντ Κρόνεκερ ήταν δύσπιστος με την έννοια του απείρου και για το πώς οι συνάδελφοι μαθηματικοί χρησιμοποιούσαν αυτήν την έννοια περί το 1870-1880. Αυτός ο σκεπτικισμός αναπτύχθηκε στη φιλοσοφία των μαθηματικών και ονομάστηκε «Finitism», μια ακραία μορφή της φιλοσοφικής και μαθηματικής σχολής του Κονστρουκτιβισμού και του Ενορατισμού.
Φυσική
Στη φυσική, οι προσεγγίσεις των πραγματικών αριθμών χρησιμοποιούνται για συνεχείς μετρήσεις και οι Φυσικοί Αριθμοί χρησιμοποιούνται για διακριτές μετρήσεις (π.χ. καταμέτρηση). Ως εκ τούτου, θεωρείται από τους φυσικούς πως μια μη μετρήσιμη ποσότητα θα μπορούσε να έχει άπειρη αξία, για παράδειγμα παίρνοντας μια άπειρη αξία σε ένα εκτεταμένο σύστημα των πραγματικών αριθμών, ή απαιτώντας την καταμέτρηση ενός άπειρου αριθμού γεγονότων. Για παράδειγμα, θεωρείται αδύνατο για οποιοδήποτε τύπο σώματος να έχει άπειρη μάζα ή άπειρη ενέργεια. Έννοιες για άπειρα πράγματα, όπως ένα άπειρο επίπεδο κύμα υπάρχουν, αλλά δεν υπάρχουν πειραματικά μέσα για τη δημιουργία τους.[2]
Θεωρητικές εφαρμογές του απείρου στη φυσική
Η πρακτική της άρνησης άπειρων τιμών για μετρήσιμα μεγέθη δεν προέρχεται από μια εκ των προτέρων άποψη ή από ιδεολογικά κίνητρα, αλλά περισσότερο από μεθοδολογικά και ρεαλιστικά κίνητρα. Μια από τις ανάγκες της κάθε φυσικής και επιστημονικής θεωρίας είναι να δώσει χρησιμοποιήσιμους τύπους που αντιστοιχούν τουλάχιστον κατά προσέγγιση στην πραγματικότητα. Για παράδειγμα, αν οποιοδήποτε αντικείμενο της άπειρης βαρυτικής μάζας υπήρχε, οποιαδήποτε χρήση του τύπου για τον υπολογισμό της βαρυτικής δύναμης θα οδηγήσει σε ένα άπειρο αποτέλεσμα, το οποίο θα είναι χωρίς όφελος, δεδομένου ότι το αποτέλεσμα θα είναι πάντα το ίδιο, ανεξάρτητα από τη θέση και τη μάζα του άλλου αντικειμένου. Ο τύπος δε θα ήταν χρήσιμος ούτε να υπολογίσει την δύναμη μεταξύ δύο αντικειμένων πεπερασμένης μάζας, ούτε να υπολογίσει τις κινήσεις τους. Αν ένα αντικείμενο άπειρης μάζας υπήρχε, οποιοδήποτε αντικείμενο πεπερασμένης μάζας θα έπρεπε να προσελκύεται με άπειρη δύναμη (και ως εκ τούτου, επιτάχυνση) από το αντικείμενο άπειρης μάζας, το οποίο δεν είναι αυτό που μπορούμε να παρατηρήσουμε στην πραγματικότητα. Μερικές φορές άπειρα αποτελέσματα μιας φυσικής ποσότητας μπορεί να σημαίνουν ότι η θεωρία που χρησιμοποιείται για να υπολογιστεί το αποτέλεσμα μπορεί να πλησιάζει στο σημείο όπου αποτυγχάνει. Αυτό μπορεί να βοηθήσει για να δείξει τα όρια μιας θεωρίας.
Αυτή η άποψη δεν σημαίνει ότι το άπειρο δεν μπορεί να χρησιμοποιηθεί στη φυσική. Για λόγους ευκολίας, οι υπολογισμοί, οι εξισώσεις, οι θεωρίες και προσεγγίσεις χρησιμοποιούν συχνά άπειρη σειρά , απεριόριστες λειτουργίες, κ.λπ., και μπορεί να περιλαμβάνουν άπειρες ποσότητες. Οι φυσικοί όμως απαιτούν το τελικό αποτέλεσμα να έχει σωματικά νόημα. Στην κβαντική θεωρία πεδίου οι απειρότητες προκύπτουν οι οποίες πρέπει να ερμηνεύονται κατά τέτοιο τρόπο που να οδηγούν σε ένα φυσικά ουσιαστικό αποτέλεσμα, μια διαδικασία που ονομάζεται επανακανονικοποίηση.
Ωστόσο, υπάρχουν κάποιες θεωρητικές περιπτώσεις όπου το τελικό αποτέλεσμα είναι άπειρο. Ένα παράδειγμα είναι η μοναδικότητα στην περιγραφή των μαύρων τρυπών. Ορισμένες λύσεις των εξισώσεων της γενικής θεωρίας της σχετικότητας επιτρέπουν πεπερασμένες μάζες διανομών μηδενικού μεγέθους, και ως εκ τούτου άπειρη πυκνότητα. Αυτό είναι ένα παράδειγμα του τι λέγεται μαθηματική μοναδικότητα, ή ένα σημείο όπου μια φυσική θεωρία καταρρέει. Αυτό δεν σημαίνει αναγκαστικά ότι υφίστανται σωματικά οι απειρότητες; αυτό μπορεί να σημαίνει απλά ότι η θεωρία είναι ανίκανη να περιγράψει σωστά την κατάσταση. Δύο άλλα παραδείγματα συμβαίνουν σε αντίστροφα τετράγωνα που αναγκάζουν τους νόμους της βαρύτητας να θέσουν σε ισχύ την εξίσωση ισχύος της νευτώνειας βαρύτητας και το νόμο της ηλεκτροστατικής του Coulomb. Στο r = 0 οι εξισώσεις αυτές εκτιμούνται σε απειρότητες.
Κοσμολογία
Η πρώτη δημοσιευμένη πρόταση ότι το σύμπαν είναι άπειρο ήρθε από τον Thomas Digges το 1576.[3] Οκτώ χρόνια αργότερα, το 1584, ο Ιταλός φιλόσοφος και αστρονόμος Τζιορντάνο Μπρούνο πρότεινε ένα απέραντο σύμπαν On the Infinite Universe and Worlds : «υπάρχουν Αμέτρητες ήλιοι; Αμέτρητες γαίες περιστρέφονται γύρω από αυτούς τους ήλιους κατά τρόπο παρόμοιο με τον τρόπο που οι επτά πλανήτες περιστρέφονται γύρω από τον ήλιο μας. Tα ζωντανά όντα κατοικούν αυτούς τους κόσμους. "
Κοσμολόγοι εδώ και καιρό προσπάθησαν να ανακαλύψουν αν υπάρχει άπειρο στο φυσικό μας σύμπαν: Υπάρχει ένας άπειρος αριθμός των αστεριών εκεί; Έχει το σύμπαν άπειρο όγκο; Μήπως το διαστημικό "πάει για πάντα"; Αυτό είναι ένα ανοικτό ερώτημα της κοσμολογίας. Σημειώστε ότι το ζήτημα της ύπαρξης άπειρου έχει διαχωριστεί από το ζήτημα της ύπαρξης συνόρων. Η δισδιάστατη επιφάνεια της Γης, για παράδειγμα, είναι πεπερασμένη, αλλά δεν έχει καμία άκρη. Με το να κινείται σε ευθεία γραμμή, το ένα θα επιστρέψει τελικά στο ακριβές σημείο από το οποίο ξεκίνησε. Το σύμπαν, τουλάχιστον κατ 'αρχήν, θα μπορούσε να έχει μια παρόμοια τοπολογία. Αν ναι, θα μπορούσε κανείς να επιστρέψει τελικά στην αφετηρία ενός ατόμου μετά από ταξίδι σε μια ευθεία γραμμή μέσα στο σύμπαν για αρκετά μεγάλο χρονικό διάστημα.
Εάν, από την άλλη πλευρά, το σύμπαν δεν ήταν κυρτό σαν μια σφαίρα, αλλά είχε μια επίπεδη τοπολογία, θα μπορούσε να είναι τόσο απεριόριστο όσο και άπειρο. Η καμπυλότητα του σύμπαντος μπορεί να μετρηθεί μέσω πολυπολικών στιγμών στο φάσμα της κοσμικής ακτινοβολίας υποβάθρου. Μέχρι σήμερα, η ανάλυση των προτύπων ακτινοβολίας που καταγράφονται από το WMAP διαστημόπλοιο υπαινίσσεται ότι το σύμπαν έχει μια επίπεδη τοπολογία. Αυτό θα ήταν σύμφωνο με ένα άπειρο φυσικό σύμπαν.
Ωστόσο, το σύμπαν θα μπορούσε επίσης να είναι πεπερασμένο, έστω και αν η καμπυλότητα του είναι επίπεδη. Ένας εύκολος τρόπος για να κατανοήσουμε αυτό είναι να εξεταστούν παραδείγματα δύο-διαστάσεων , όπως τα βίντεο παιχνίδια, όπου τα στοιχεία που αφήνουν μία άκρη της οθόνης επανεμφανίζονται από την άλλη. Η τοπολογία αυτών των παιχνιδιών είναι δακτυλιοειδή και η γεωμετρία είναι επίπεδη. Πολλές πιθανώς οριοθετούνται,επίσης υπάρχουν επίπεδες δυνατότητες για τρισδιάστατο χώρο [4]
Η έννοια του απείρου επεκτείνεται επίσης και στην υπόθεση για το πολυσύμπαν , η οποία, όταν εξηγήθηκε από τους αστροφυσικούς, όπως ο Μίτσιο Κάκου, προϋπέθετε ότι υπάρχει ένας άπειρος αριθμός και η ποικιλία των συμπάντων.[5]
Λογική
Στην λογική ένα ατέρμον επιχείρημα είναι "ένα ευδιάκριτο φιλοσοφικό είδος του επιχειρήματος που δείχνει ότι η διατριβή είναι ελαττωματική, διότι δημιουργεί μια άπειρη σειρά, όταν είτε (έντυπο & nbsp? Α) δεν υπάρχει τέτοια σειρά ή (έντυπο & nbsp ? Β) όταν υπάρχει, η διατριβή δεν θα είχε τον ρόλο (π.χ., & nbsp?. από αιτιολόγηση) που υποτίθεται ότι παίζουν "[6]
Πληροφορική
Το πρότυπο κινητής υποδιαστολής IEEE (IEEE 754) καθορίζει τις θετικές και τις αρνητικές τιμές του απείρου ( ± \infty ). Αυτές ορίζονται ως αποτέλεσμα της αριθμητικής υπερχείλισης, της διαίρεσης με το μηδέν, και άλλων εξαιρετικών λειτουργιών.
Μερικές γλώσσες προγραμματισμού, όπως η Java και η J, επιτρέπουν στον προγραμματιστή ρητή πρόσβαση στις θετικές και αρνητικές τιμές του απείρου ως σταθερές της γλώσσας. Αυτές μπορούν να χρησιμοποιηθούν ως το μεγαλύτερο και το ελάχιστο στοιχείο, καθώς ορίζονται (αντίστοιχα) ως η μεγαλύτερη ή η μικρότερη από όλες τις άλλες τιμές. Αυτές είναι χρήσιμες σαν αξίες φρουρού σε αλγόριθμους που αφορούν τη διαλογή, την αναζήτηση, ή τη χρήση των παραθύρων για την ταυτόχρονη εμφάνιση περισσότερων από ένα στοιχείο σε μια οθόνη.
Σε γλώσσες που δεν έχουν μεγαλύτερο και ελάχιστο στοιχείο, αλλά επιτρέπουν την υπερφόρτωση των σχεσιακών τελεστών, είναι δυνατό για έναν προγραμματιστή να δημιουργήσει ο ίδιος τα μεγαλύτερα και ελάχιστα στοιχεία. Σε γλώσσες που δεν παρέχουν σαφής πρόσβαση σε τέτοιες τιμές από την αρχική κατάσταση του προγράμματος, αλλά δέχονται την εφαρμογή του τύπου δεδομένων κινητής υποδιαστολής, οι τιμές του απείρου μπορεί να εξακολουθούν να είναι προσβάσιμες και μπορούν να χρησιμοποιηθούν ως αποτέλεσμα ορισμένων εργασιών.
Τέχνες και γνωστικές επιστήμες
Η προοπτική ως έργο τέχνης χρησιμοποιεί την έννοια των φανταστικών σημείων φυγής, ή των σημείων στο άπειρο, που βρίσκονται σε άπειρη απόσταση από τον παρατηρητή. Αυτό επιτρέπει στους καλλιτέχνες να δημιουργήσουν έργα που καθιστούν ρεαλιστικό το χώρο, τις αποστάσεις, και τις μορφές. Ο καλλιτέχνης Μαουρίτς Κορνέλις Έσερ είναι ιδιαίτερα γνωστός για την πρόσληψη της έννοιας του απείρου στο έργο του με αυτόν ή με άλλους τρόπους.
Ο γνωστικός επιστήμονας Τζωρτζ Λάκοφ θεωρεί την έννοια του απείρου στα μαθηματικά και τις επιστήμες ως αλληγορία. Η προοπτική αυτή βασίζεται στην αλληγορία του απείρου (BMI), που ορίζεται ως η συνεχώς αυξανόμενη ακολουθία <1,2,3, ...>.
Το σύμβολο \infty χρησιμοποιείται συχνά ρομαντικά και αντιπροσωπεύει την αιώνια αγάπη. Διάφοροι τύποι κοσμήματος διαμορφώνονται σε σχήμα άπειρο για το σκοπό αυτό.
Παραπομπές
Taylor 1955, p. 63
Δωρική Φακοί - Αίτηση Σημείωση - Axicons - 2. Ένταση Διανομής. Ανακτήθηκε 7 Απριλίου του 2014.
John Gribbin (2009), Σε αναζήτηση του πολυσύμπαντος: Παράλληλοι Κόσμοι, κρυμμένες διαστάσεις και το Ultimate Quest for the Frontiers of Reality , ISBN 9780470613528. σ. 88
Weeks, Jeffrey R. (2001). The Shape of Space. ISBN 978-0824707095.
Kaku, M. ( 2006). Παράλληλους κόσμους. Knopf Doubleday Publishing Group.
Cambridge Λεξικό της Φιλοσοφίας , δεύτερη έκδοση, σελ. 429
Πηγές
Gemignani, Michael C. (1990), Elementary Topology (2nd έκδοση), Dover, ISBN 0-486-66522-4
Keisler, H. Jerome (1986), Elementary Calculus: An Approach Using Infinitesimals (2nd έκδοση)
Maddox, Randall B. (2002), Mathematical Thinking and Writing: A Transition to Abstract Mathematics, Academic Press, ISBN 0-12-464976-9
Swokowski, Earl W. (1983), Calculus with Analytic Geometry (Alternate έκδοση), Prindle, Weber & Schmidt, ISBN 0-87150-341-7
Taylor, Angus E. (1955), Advanced Calculus, Blaisdell Publishing Company
David Foster Wallace (2004). Everything and More: A Compact History of Infinity. Norton, W. W. & Company, Inc.. ISBN 0-393-32629-2.
Εξωτερικοί σύνδεσμοι
A Crash Course in the Mathematics of Infinite Sets, by Peter Suber. From the St. John's Review, XLIV, 2 (1998) 1–59. The stand-alone appendix to Infinite Reflections, below. A concise introduction to Cantor's mathematics of infinite sets.
Infinite Reflections, by Peter Suber. How Cantor's mathematics of the infinite solves a handful of ancient philosophical problems of the infinite. From the St. John's Review, XLIV, 2 (1998) 1–59.
Grime, James. «Infinity is bigger than you think». Numberphile. Brady Haran.
Infinity, Principia Cybernetica
Hotel Infinity
John J. O'Connor and Edmund F. Robertson (1998). 'Georg Ferdinand Ludwig Philipp Cantor', MacTutor History of Mathematics archive.
John J. O'Connor and Edmund F. Robertson (2000). 'Jaina mathematics', MacTutor History of Mathematics archive.
Ian Pearce (2002). 'Jainism', MacTutor History of Mathematics archive.
Source page on medieval and modern writing on Infinity
The Mystery Of The Aleph: Mathematics, the Kabbalah, and the Search for Infinity
Dictionary of the Infinite (compilation of articles about infinity in physics, mathematics, and philosophy)
Hellenica World - Scientific Library
Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License
