ΜΠΕΡΔΕΜΕΝΟΣ
Εκκολαπτόμενο μέλος
Σημείωση: Το μήνυμα αυτό γράφτηκε 15 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.
ΜΠΕΡΔΕΜΕΝΟΣ
Εκκολαπτόμενο μέλος
Μιλάμε βέβαια για το "ενεστωτικό" άπειρο (αυτό το οποίο μπορούμε να πούμε ανά πάσα στιγμή ότι υπάρχει) και όχι για το εν δυνάμει (μία άπειρη επανάληψη κάποιας περιοδικής διαδικασίας).
Για το εν δυνάμει δεν νομίζω ότι υπάρχουν ενστάσεις ότι υπάρχει, αλλά μόνο εσχατολογικά μπορούμε να το δούμε ως άπειρο (σε κάθε χρονική στιγμή θα έχει καλύψει μόνο πεπερασμένο μέρος της "διαδρομής" του).
Σημείωση: Το μήνυμα αυτό γράφτηκε 15 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.
ΜΠΕΡΔΕΜΕΝΟΣ
Εκκολαπτόμενο μέλος
Για να συνεχιστεί κάπως το θεματάκι: πιστέυετε στο άπειρο; (Με οποιαδήποτε έννοια). Ή είναι εξ ορισμού αυτό που δεν μπορούμε με τπτ να προσεγγίσουμε; (αυτή είναι η μόνη δυνατή "περιγραφή" του; )
Ελάτε Ρεμπ, εποτε, Μισέλ... τα πάντα όλα
Σημείωση: Το μήνυμα αυτό γράφτηκε 15 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.
ΜΠΕΡΔΕΜΕΝΟΣ
Εκκολαπτόμενο μέλος
Έλα δάσκαλε.Δηλαδή λες ότι υπάρχει θεώρημα του Καντόρ να υποστηρίζει πως (με βάση την (1) )
Δε γνωρίζω κανένα τέτοιο θεώρημα και θα μου έκανε εντύπωση να υπάρχει, καθώς ο τελευταίος τύπος είναι η "υπόθεση του συνεχούς".
Θα 'θελα να δω εκείνο το θεώρημα που έλεγες, αν και υποπτεύομαι εννοείς το cardinality(X)<cardinality(Powerset(X)).
Το θεώρημα πάει κάπως έτσι: 2^Ν0 είναι προφανώς όλες οι ακολουθίες με όρους 0 ή 1. Σε κάθε μία από αυτές αντιστοιχάμε έναν αριθμό του διαστήματος (0,1), και συγκεκριμένα αυτόν που στο δυαδικό σύστημα γράφεται όπως η ακολουθία μας αφού πρώτα γράψουμε 0 και κόμα (αυτό εμπεριέχει κάποιες τεχνικές δυσκολίες οι οποίες ξεπερνιούνται με κανα-δυο άλλα θεωρηματάκια. Τέσπα). Έχουμε έτσι μια 1-1 και επί συνάρτηση από το 2^Ν0 στο (0, 1), το οποίο όπως λες κι εσύ στο πρώτο ποστ είναι ισοδύναμο με το σύνολο των πραγματικών αριθμών (όπως και κάθε διαστηματάκιον, οσοδήποτε μικρό). Άρα το δυναμοσύνολο των φυσικών είναι οι πραγματικοί.
Η έκφραση 2^Ν0 = Ν1 είναι η υπόθεση τού συνεχούς, με δεδομένο όμως ότι Ν1 είναι όχι οι πραγματικοί αλλά ο ελάχιστος μη-αριθμήσιμος άπειρος πληθάριθμος.
Υ.Γ. Όταν λες "τί να κάνω που είμαι άπειρος" εννοείς Ν0 ή Ν1;
Σημείωση: Το μήνυμα αυτό γράφτηκε 15 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.
ΜΠΕΡΔΕΜΕΝΟΣ
Εκκολαπτόμενο μέλος
Λες "θα περίμενε κανείς το Ν1 να είναι το πλήθος του δυναμοσυνόλου του Ν0".
Επίσης λες "Ν1 είναι το πλήθος των πραγματικών" και "Ν0 το πλήθος των φυσικών".
Υπάρχει επίσης θεωρηματάκι του Καντόρ (ο τύπος έζησε πριν ανακαλυφθεί το DVD player, δεν ειχε και πολλά χόμπυ) ότι το δυναμοσύνολο των φυσικών είναι ισοδύναμο με τους πραγματικούς.
Με δεδομένα αυτά, το Ν1 ΕΙΝΑΙ το πλήθος του δυναμοσυνόλου του Ν0 (δεν είναι η υπόθεση τού συνεχούς).
Σημείωση: Το μήνυμα αυτό γράφτηκε 15 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.
ΜΠΕΡΔΕΜΕΝΟΣ
Εκκολαπτόμενο μέλος
Σημείωση: Το μήνυμα αυτό γράφτηκε 15 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.
ΜΠΕΡΔΕΜΕΝΟΣ
Εκκολαπτόμενο μέλος
Σημείωση: Το μήνυμα αυτό γράφτηκε 15 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.
ΜΠΕΡΔΕΜΕΝΟΣ
Εκκολαπτόμενο μέλος
Όταν λες οτι το Ν1 είναι το πλήθος των πραγματικών;......Mα δε γράφω πουθενά Ν1=c
Σημείωση: Το μήνυμα αυτό γράφτηκε 15 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.
ΜΠΕΡΔΕΜΕΝΟΣ
Εκκολαπτόμενο μέλος
Σημείωση: Το μήνυμα αυτό γράφτηκε 15 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.
ΜΠΕΡΔΕΜΕΝΟΣ
Εκκολαπτόμενο μέλος
Απλά, με Ν1 δεν συμβολίζουμε ό,τι έχει ισχύ ίση με τους πραγματικούς αριθμούς (ή με το δυναμοσύνολο των φυσικών, καθώς αποδεικνύεται ότι αυτά είναι ισοδύναμα). Συμβολίζουμε τον αμέσως επόμενο πληθάριθμο (αριθμό, με την ευρύτερη έννοια, που μετράει πλήθος, που απαντάει δλδ στην (γενικευμένη, χωρίς να περιμένουμε δλδ απάντηση μέσω φυσικού αριθμού) ερώτηση "πόσα")) από αυτόν των φυσικών αριθμών . Κάτι τέτοιο έχει νόημα εφόσον κάθε σύνολο πληθαρίθμων έχει ελάχιστο (το πως ορίζεται αυτή η διάταξη είναι ψιλο-προφανής.)
Την ισχύ των πραγματικών τη συμβολίζουμε συνήθως με c (ελέω continuus).
Σημείωση: Το μήνυμα αυτό γράφτηκε 15 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.
-
Το forum μας χρησιμοποιεί cookies για να βελτιστοποιήσει την εμπειρία σας.
Συνεχίζοντας την περιήγησή σας, συναινείτε στη χρήση cookies στον περιηγητή σας.