Λήμμα του Τσορν

Το λήμμα του Τσορν, από τους μαθηματικούς Μαξ Άουγκουστ Τσορν και Καζίμιεζ Κουρατόφκι, είναι ένα αποδεικτικό εργαλείο που εξυπηρετεί παρόμοιες ανάγκες όπως η Μαθηματική επαγωγή. Το λήμμα διατυπώνει ότι ένας μερικώς διατεταγμένος χώρος, με κάθε αλυσίδα του (δηλαδή κάθε πλήρως διατεταγμένο υποσύνολό του) να έχει άνω φράγμα, τότε έχει μεγιστικό στοιχείο.

Βιβλιογραφία

Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974.  (Springer-Verlag edition).




Παραπομπές

Κατηγορία:Μαθηματική λογική