Αξίωμα της επιλογής: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 1:
Στα [[μαθηματικά]],το [[αξίωμα της επιλογής]] η ΑC είναι ένα [[αξίωμα]] της [[θεωρία συνόλων|θεωρίας συνόλων]] που ισοδυναμεί με την δήλωση οτι "το καρτεσιανό γινόμενο μιας συλλογής μη κενών συνόλων είναι μη κενο".Πιο συγκεκριμένα, αναφέρει ότι για κάθε
για κάθε '''<math>i \in I</math>'''.Το αξίωμα της επιλογής διατυπώθηκε το 1904 από τον [[Ernst Zermelo]], προκειμένου να επισημοποιήσει την απόδειξη του [[θεωρήματος της καλής διαταξης]].<ref name="Zermelo, 1904">{{cite journal| first=Ernst| last=Zermelo| year=1904| url=http://gdz.sub.uni-goettingen.de/no_cache/en/dms/load/img/?IDDOC=28526 |format=reprint|title=Beweis, dass jede Menge wohlgeordnet werden kann| journal=Mathematische Annalen| volume=59| issue=4| pages=514–16|doi=10.1007/BF01445300}}</ref>
| |||