25/11/08

Πορτοκαλί Σύνολο

Το πορτοκαλί είναι ωραίο χρώμα. Πορτοκαλί είναι τα πορτοκάλια και άλλα ωραία πράγματα στην ζωή. Η ομορφιά του χρώματος αυτού όμως δεν πρόκειται να μας απασχολήσει στο συγκεκριμένο άρθρο.
Πολλοί από σας θα γνωρίζετε, θα έχετε ξανακούσει -και λιγότεροι θα γνωρίζετε προσωπικά- το κενό σύνολο. Τούτο το αξιοθαύμαστο σύνολο είναι το σύνολο που δεν περιέχει κανένα στοιχείο (!). Αξιωματικά (στην θεμελίωση της συνολοθεωρίας από Ζermelo - Fraenkel) λέμε ότι υπάρχει σύνολο x τέτοιο για το οποίο ισχύει ότι δεν υπάρχει σύνολο y τέτοιο ώστε να ανήκει στο x. Όχι και ό,τι πιο εύκολο να αντιληφθεί κανείς, αλλά τι να κάνουμε, έτσι είναι τα μαθηματικά. Το εντυπωσιακό σχετικά με αυτό το σύνολο είναι ότι ό,τι και να ισχυριστείς για τα στοιχεία του ισχύει. Για παράδειγμα, μπορούμε να δοκιμάσουμε να ισχυριστούμε ότι όλα τα στοιχείατου κενού συνόλου είναι πορτοκαλί.
(Πρόταση:)Έστω λοιπόν ότι όλα τα στοιχεία του είναι όντως πορτοκαλί.
Θα αποδείξουμε την παραπάνω πρόταση με την γνωστή μέθοδο της απαγωγής σε άτοπο.
[Σύντομη σημείωση: Η απαγωγή σε άτοπο γνωστή και ως εις άτοπο απαγαγωγή για τους λάτρεις της αρχαίζουσας δεν έχει να κάνει με λύτρα, μασκοφόρους, όπλα και μπάτσους. Είναι μια μέθοδος απόδειξης στα μαθηματικά, η οποία ουσιαστικά λειτουργεί ως εξής: αν έχουμε δύο ενδεχόμενα, τότε μπορούμε να αποδείξουμε ότι ισχύει το ένα, εξασφαλίζοντας ότι αποκλείεται να ισχύει το άλλο (τότε λέμε ότι καταλήξαμε σε άτοπο) Πολλοί από σας τώρα θα με κοροϊδεύετε που μπήκα στον κόπο να εξηγήσω κάτι τόσο γνωστό, όμως σας πληροφορώ ότι υπάρχουν ρεύματα μαθηματικών τα οποία δεν την δέχονται τόσο αβίαστα]
Έτσι λοιπόν και εδώ, ας ισχυριστούμε ότι ισχύει το αντίθετο δηλαδή ότι δεν είναι όλα τα στοιχεία του κενού συνόλου πορτοκαλί, ισοδύναμα ότι υπάρχει τουλάχιστον ένα στοιχείο του κενό συνόλου το οποίο δεν είναι πορτοκαλί, για να αποδείξουμε τελικά ότι αποκλείεται να συμβαίνει αυτό και άρα ότι όλα τα στοιχεία του κενού είναι πορτοκαλί. Προχωρούμε.
(Απόδειξη:)Έστω ότι υπάρχει τουλάχιστον ένα στοιχείο που ανήκει στο κενό σύνολο και δεν είναι πορτοκαλί. Άτοπο.
Γιατί άτοπο; Μα γιατί δεν υπάρχει στοιχείο που ανήκει στο κενό σύνολο και δεν είναι πορτοκαλί, πολύ απλά γιατί δεν υπάρχει στοιχείο που ανήκει στο κενό σύνολο (παιχνίδια της λογικής: η σύζευξη μιας ψευδούς και μια αληθούς πρότασης είναι μια ψευδής πρόταση, πρόταση δηλαδή που "δεν ισχύει", σκεφτείτε το). Επομένως, όπως είπαμε, δείξαμε ότι δεν υπάρχει στοιχείο που να ανήκει στο κενό σύνολο και να μην είναι πορτοκαλί, άρα όλα τα στοιχεία του κενού συνόλου είναι πορτοκαλί. Ακόμη πιο εξωφρενικό είναι να σκεφτείτε ότι εύκολα αποδεικνύουμε ότι κανένα στοιχείο του κενού συνόλου δεν είναι πορτοκαλί (αφήνεται ως άσκηση στον αναγνώστη). Το ίδιο εύκολα, αποδεικνύουμε ότι τα στοιχεία του κενού συνόλου είναι μωβ, κόκκινα, πορτοκαλοκίτρινα, έχουν μαύρα μαλλιά, κατουράνε μια φορά το μήνα (ή και τις αρνήσεις όλων των παραπάνω προτάσεων). Ωωω. Εντυπωσιακό.

ΕΚΚΛΗΣΗ ΠΡΟΣ ΦΟΡΜΑΛΙΣΤΕΣ: Μην ακούσω τίποτα εντάσεις σχετικά με το πώς ορίζονται τα μαλλιά, το πορτοκαλί και το πουλί ως αντικείμενα της Θεωρίας Συνόλων, μερικές φορές είναι ωραίο να ξεχνιέσαι και να αφήνεις την ελευθερία της έκφρασης να σε παρασύρει.

(by Χρήστος)