mathematica.gr

Δημοσιεύτηκε: **Πέμ Μάιος 17, 2012 10:42 pm**

Μια αλυσίδα υποσυνόλων ενός συνόλου

είναι μια συλλογή

ένθετων υποσυνόλων του

. Δηλαδή, από κάθε δύο μέλη του

, το ένα υποσύνολο πρέπει να περιέχει το άλλο. Πρέπει κάθε αλυσίδα υποσυνόλων των θετικών ακεραίων να είναι αριθμήσιμη ; Γιατί;

Δημοσιεύτηκε: **Πέμ Μάιος 17, 2012 11:15 pm**

vzf έγραψε:Μια αλυσίδα υποσυνόλων ενός συνόλου είναι μια συλλογή ένθετων υποσυνόλων του . Δηλαδή, από κάθε δύο μέλη του , το ένα υποσύνολο πρέπει να περιέχει το άλλο. Πρέπει κάθε αλυσίδα υποσυνόλων των θετικών ακεραίων να είναι αριθμήσιμη ; Γιατί;

Υπάρχει και υπεραριθμήσιμη τέτοια οικογένεια. Μπορούμε να την κατασκευάσουμε ως εξής:

Αντί του $\displaystyle{\Bbb{N}}$ μπορούμε να πάρουμε το ισοδύναμο του $\displaystyle{(0,1) \cap \Bbb{Q}}$ .

Η ζητούμενη οικογένεια είναι η $\displaystyle{A_{\gamma}=(0,\gamma) \cap \Bbb{Q}}$ με $\displaystyle{\gamma \in (0,1)}$ ,

άρα υπεραριθμήσιμη (έχει την ισχύ του συνεχούς)

Δημοσιεύτηκε: **Κυρ Μάιος 20, 2012 2:11 pm**

http://wuriddles.com/putnam.shtml

mathematica.gr

Αλυσίδα Υποσυνόλων

Αλυσίδα Υποσυνόλων

Re: Αλυσίδα Υποσυνόλων

Re: Αλυσίδα Υποσυνόλων