Διάγραμμα Βεν

Το διάγραμμα Βεν (γνωστό στην βιβλιογραφία και ως διάγραμμα Venn) είναι ένα διάγραμμα που δείχνει όλες τις πιθανές λογικές σχέσεις ανάμεσα σε μια πεπερασμένη συλλογή από σύνολα. Το διάγραμμα Βεν αποτελείται από δύο ή περισσότερους κύκλους ή ελλείψεις και από τα εκάστοτε στοιχεία των συνόλων.

Τα διαγράμματα Βεν είναι ειδική μορφή των διαγραμμάτων του Όιλερ. Χρησιμοποιούνται στη διδασκαλία στοιχειωδών στοιχείων της θεωρίας συνόλων, στις πιθανότητες, τη λογική, τα στατιστικά στοιχεία, τη γλωσσολογία και την επιστήμη των υπολογιστών.

Παραδείγματα
Στα παρακάτω σχήματα φαίνεται ο τρόπος που βασικές δυαδικές πράξεις συνόλων αναπαρίστανται με διαγράμματα Βεν:

Ιστορία
Η χρήση των διαγραμμάτων Βεν προτάθηκε γύρω στο 1880 από τον Άγγλο μαθηματικό και φιλόσοφο Τζον Βενν σε ένα άρθρο σχετικά με τους διαφορετικούς τρόπους απεικόνισης προτάσεων μέσω διαγραμμάτων.

Η χρήση τέτοιων διαγραμμάτων στη φορμαλιστική λογική, σύμφωνα με τους Φρανκ Ράσκεϊ και Μαρκ Γουέστον, προϋπήρχε του Βεν, αλλά «δικαίως συνδέεται» με αυτόν, καθώς «διερεύνησε και τυποποίησε συνολικά τη χρήση τους και ήταν ο πρώτος που τα γενίκευσε».Φρανκ Ράσκει, Μαρκ Γουέστον (2005). "A Survey of Venn Diagrams". The Electronic Journal of Combinatorics. Dynamic Survey 5.

Διαγράμματα με επικαλυπτόμενους κύκλους, που παριστάνουν ενώσεις και τομές, εισήχθησαν τον 13ο αιώνα από τον Καταλανό φιλόσοφο Ραϊμόν Λουλ (1232–1315/1316), ο οποίος τα χρησιμοποίησε για να απεικονίσει συνδυασμούς βασικών αρχών.Ραϊμόν Λουλ (1295). Ars Magna Generalis et Ultima. Mainz. Ο Γκότφριντ Βίλχελμ Λάιμπνιτς (1646–1716) παρήγαγε παρόμοια διαγράμματα τον 17ο αιώνα (αν και μεγάλο μέρος του έργου του έμεινε αδημοσίευτο), όπως και ο Γιοχάν Κρίστιαν Λάνγκε το 1712 περιγράφοντας τις συνεισφορές του Κρίστιαν Βάιζε στη λογική.Γιοχάν Κρίστιαν Λάνγκε (1712). Via ad Veritatem. Wittenberg. Τα διαγράμματα Όιλερ, παρόμοια με τα διαγράμματα Venn αλλά χωρίς να περιέχουν απαραίτητα όλες τις δυνατές ενώσεις και τομές, καθιερώθηκαν από τον μαθηματικό Λέοναρντ Όιλερ τον 18ο αιώνα.Λέοναρντ Όιλερ (18ος αιώνας). Opera Omnia.

Ο Βεν δεν χρησιμοποίησε τον όρο «διάγραμμα Venn», αλλά αναφερόταν στην έννοια ως «Κύκλοι του Όιλερ».Τζον Βενν (1880). "On the Diagrammatic and Mechanical Representation of Propositions and Reasonings". Philosophical Magazine and Journal of Science. Γνώρισε τα διαγράμματα Όιλερ το 1862 και έγραψε ότι τα διαγράμματα Venn δεν του προέκυψαν «παρά πολύ αργότερα», ενώ προσπαθούσε να προσαρμόσει τα διαγράμματα Όιλερ στη λογική του Μπουλ.Τζον Βενν (1880). ό.π. Στην αρχική πρόταση του άρθρου του το 1880, ο Βενν έγραψε ότι τα διαγράμματα Όιλερ ήταν η μόνη διαγραμματική αναπαράσταση της λογικής που είχε γνωρίσει «κάποια γενική αποδοχή».

μικρογραφία|Διάγραμμα του Βεν που δείχνει τα γράμματα που μοιράζονται το ελληνικό, το λατινικό και το Κυριλλικό αλφάβητοΟ Βεν θεωρούσε τα διαγράμματά του ως παιδαγωγικό εργαλείο, ανάλογο με την επαλήθευση φυσικών εννοιών μέσω πειράματος. Ως παράδειγμα εφαρμογής, σημείωνε ότι ένα διάγραμμα τριών συνόλων μπορούσε να απεικονίσει τον συλλογισμό: «Κάθε Α είναι κάποιο Β. Κανένα Β δεν είναι Γ. Επομένως, κανένα Α δεν είναι Γ.»

Ο Λιούις Κάρολ περιλαμβάνει τη «Μέθοδο Διαγραμμάτων του Βεν» καθώς και τη «Μέθοδο Διαγραμμάτων του Όιλερ» σε ένα «Παράρτημα προς τους Δασκάλους» του βιβλίου του Symbolic Logic (4η έκδοση, 1896).Λιούις Κάρολ (1896). Symbolic Logic. Μακμίλαν. Ο όρος «διάγραμμα Venn» χρησιμοποιήθηκε αργότερα από τον Κλάρενς Ίρβινγκ Λιούις το 1918, στο βιβλίο του A Survey of Symbolic Logic.Κλάρενς Ίρβινγκ Λιούις (1918). A Survey of Symbolic Logic. University of California Press.

Τον 20ό αιώνα τα διαγράμματα Venn αναπτύχθηκαν περαιτέρω. Ο Ντέιβιντ Γουίλσον Χέντερσον έδειξε, το 1963, ότι η ύπαρξη ενός n-διαγράμματος Venn με n-πλήρη περιστροφική συμμετρία συνεπάγεται ότι το n είναι πρώτος αριθμός.Ντέιβιντ Γουίλσον Χέντερσον (1963). "Venn diagrams for more than three circles". American Mathematical Monthly. 70 (4): 424–426. doi:10.1080/00029890.1963.11990918. Έδειξε επίσης ότι τέτοια συμμετρικά διαγράμματα Venn υπάρχουν για n = 5 και n = 7. Το 2002, ο Πίτερ Χάμπουργκερ βρήκε συμμετρικά διαγράμματα Venn για n = 11Πίτερ Χάμπουργκερ (2002). "Symmetric Venn Diagrams with 11 Curves". The Electronic Journal of Combinatorics. 9 (1): R10. και το 2003 οι Τζέραλντ Γκριγκς, Τσαρλς Κίλιαν και Κάρλα Σάβατζ έδειξαν ότι συμμετρικά διαγράμματα Venn υπάρχουν για όλους τους άλλους πρώτους αριθμούς.Τζέραλντ Γκριγκς, Τσαρλς Κίλιαν, Κάρλα Σάβατζ (2003). "Venn Diagrams and Symmetric Chain Decompositions in the Boolean Lattice". Electronic Journal of Combinatorics. 11 (1): R2. Αυτά τα αποτελέσματα δείχνουν ότι περιστροφικά συμμετρικά διαγράμματα Venn υπάρχουν αν και μόνο αν το n είναι πρώτος αριθμός. 

Τα διαγράμματα Venn και Όιλερ ενσωματώθηκαν στη διδασκαλία της θεωρίας συνόλων στο πλαίσιο του κινήματος των «νέων μαθηματικών» τη δεκαετία του 1960. Έκτοτε υιοθετήθηκαν και σε άλλα γνωστικά αντικείμενα, όπως η ανάγνωση.Φρανκ Ράσκει (1997). "Symmetric Venn Diagrams". Mathematical Intelligencer. 19 (1): 4–11. doi:10.1007/BF03024327.

Παραπομπές

Κατηγορία:Διαγράμματα
Κατηγορία:Θεωρία συνόλων