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

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση

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