Τι είναι το άδειο που έχει τεθεί στη Θεωρία Σετ;

Πότε δεν μπορεί να είναι τίποτα; Φαίνεται σαν μια ανόητη ερώτηση, και αρκετά παράδοξο. Στο μαθηματικό πεδίο της θεωρίας των συνόλων, είναι σύνηθες να μην είναι τίποτα άλλο από τίποτα. Πώς μπορεί αυτό να είναι?

Όταν σχηματίζουμε ένα σύνολο χωρίς στοιχεία, δεν έχουμε πλέον τίποτα. Έχουμε ένα σετ χωρίς τίποτα. Υπάρχει ένα ειδικό όνομα για το σύνολο που δεν περιέχει στοιχεία. Αυτό ονομάζεται κενό ή μηδενικό σετ.

Ο ορισμός του άδειου σετ είναι αρκετά λεπτός και απαιτεί λίγη σκέψη. Είναι σημαντικό να θυμόμαστε ότι σκεφτόμαστε ένα σειρά ως συλλογή στοιχείων. Το ίδιο το σετ είναι διαφορετικό από τα στοιχεία που περιέχει.

Για παράδειγμα, θα δούμε το {5}, το οποίο είναι ένα σύνολο που περιέχει το στοιχείο 5. Το σετ {5} δεν είναι ένας αριθμός. Είναι ένα σύνολο με τον αριθμό 5 ως στοιχείο, ενώ το 5 είναι ένας αριθμός.

Με παρόμοιο τρόπο, το κενό σύνολο δεν είναι τίποτα. Αντίθετα, είναι το σύνολο χωρίς στοιχεία. Βοηθά να σκεφτόμαστε σύνολα ως δοχεία, και τα στοιχεία είναι εκείνα τα πράγματα που βάζουμε σε αυτά. Ένα κενό δοχείο είναι ακόμα ένα δοχείο και είναι ανάλογο με το κενό σύνολο.

Το κενό σύνολο είναι μοναδικό, γι 'αυτό είναι απολύτως σκόπιμο να μιλήσουμε ο άδειο σετ, αντί ένα άδειο σετ. Αυτό καθιστά το κενό σύνολο διακριτό από άλλα σύνολα. Υπάρχουν άπειρα πολλά σύνολα με ένα στοιχείο σε αυτά. Τα σύνολα {a}, {1}, {b} και {123} έχουν το καθένα ένα στοιχείο και έτσι είναι ισοδύναμα μεταξύ τους. Δεδομένου ότι τα ίδια τα στοιχεία είναι διαφορετικά μεταξύ τους, τα σύνολα δεν είναι ίσα.

Δεν υπάρχει τίποτα ιδιαίτερο για τα παραδείγματα πάνω από το καθένα με ένα στοιχείο. Με μια εξαίρεση, για κάθε αριθμό μέτρησης ή άπειρο, υπάρχουν άπειρα πολλά σύνολα αυτού του μεγέθους. Η εξαίρεση είναι για τον αριθμό μηδέν. Υπάρχει μόνο ένα σύνολο, το κενό σετ, χωρίς στοιχεία σε αυτό.

Η μαθηματική απόδειξη αυτού του γεγονότος δεν είναι δύσκολη. Πρώτα υποθέτουμε ότι το άδειο σετ δεν είναι μοναδικό, ότι υπάρχουν δύο σύνολα χωρίς στοιχεία και στη συνέχεια χρησιμοποιήστε μερικές ιδιότητες από τη θεωρία των συνόλων για να δείξετε ότι αυτή η υπόθεση υπονοεί μια αντίφαση.

Το άδειο σύνολο δηλώνεται με το σύμβολο ∅, το οποίο προέρχεται από ένα παρόμοιο σύμβολο στο δανικό αλφάβητο. Ορισμένα βιβλία αναφέρονται στο άδειο σετ με το εναλλακτικό όνομα του μηδενικού συνόλου.

Δεδομένου ότι υπάρχει μόνο ένα κενό σύνολο, αξίζει να δούμε τι συμβαίνει όταν οι λειτουργίες που έχουν οριστεί η διασταύρωση, η ένωση και το συμπλήρωμα χρησιμοποιούνται με το κενό σύνολο και ένα γενικό σύνολο που θα υποδηλώσουμε με Χ. Είναι επίσης ενδιαφέρον να εξετάσουμε το υποσύνολο του κενού συνόλου και πότε είναι το κενό σύνολο ενός υποσυνόλου. Αυτά τα στοιχεία συλλέγονται παρακάτω:

• ο σημείο τομής από οποιοδήποτε σύνολο με το κενό σύνολο είναι το κενό σύνολο. Αυτό συμβαίνει επειδή δεν υπάρχουν στοιχεία στο άδειο σύνολο και έτσι τα δύο σύνολα δεν έχουν κοινά στοιχεία. Στα σύμβολα, γράφουμε Χ ∩ ∅ = ∅.
• ο ένωση από κάθε σετ με το κενό σύνολο είναι το σύνολο που ξεκινήσαμε με. Αυτό συμβαίνει επειδή δεν υπάρχουν στοιχεία στο άδειο σύνολο και έτσι δεν προσθέτουμε κανένα στοιχείο στο άλλο σετ όταν σχηματίσουμε την ένωση. Στα σύμβολα, γράφουμε Χ U ∅ = Χ.
• ο συμπλήρωμα του κενού συνόλου είναι το καθολικό σύνολο για τη ρύθμιση στην οποία εργαζόμαστε. Αυτό οφείλεται στο γεγονός ότι το σύνολο όλων των στοιχείων που δεν βρίσκονται στο κενό σύνολο είναι μόνο το σύνολο όλων των στοιχείων.
• Το κενό σύνολο είναι ένα υποσύνολο οποιουδήποτε συνόλου. Αυτό συμβαίνει επειδή δημιουργούμε υποσύνολα ενός συνόλου Χ επιλέγοντας (ή μη επιλέγοντας) στοιχεία από Χ. Μια επιλογή για ένα υποσύνολο είναι να μην χρησιμοποιούνται καθόλου στοιχεία από Χ. Αυτό μας δίνει το κενό σύνολο.