Πράξεις Συνόλων 🔗

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

Υπενθύμιση: τι είναι ένα σύνολο 📦

Ένα σύνολο είναι μια ομάδα από αντικείμενα που τα ξεχωρίζουμε με σαφήνεια —λέμε με βεβαιότητα αν κάτι ανήκει σε αυτό ή όχι. Γράφουμε τα σύνολα με κεφαλαία γράμματα (Α, Β, Γ, …) και τα στοιχεία τους μέσα σε άγκιστρα, χωρισμένα με κόμμα.

Για παράδειγμα:

A = \{1, 2, 3, 4, 5, 6\}

Σε αυτή την ενότητα θα μάθεις τι συμβαίνει όταν παίρνουμε δύο σύνολα και τα «συνδυάζουμε» με συγκεκριμένους τρόπους. Αυτοί οι τρόποι λέγονται πράξεις συνόλων, και είναι τέσσερις βασικές: η ένωση, η τομή, τα ξένα σύνολα (μια ειδική περίπτωση της τομής) και το συμπλήρωμα.

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

Ένωση συνόλων 🤝

Η ένωση δύο συνόλων Α και Β είναι ένα νέο σύνολο που περιέχει όλα τα στοιχεία που ανήκουν είτε στο Α, είτε στο Β, είτε και στα δύο μαζί. Συμβολίζεται:

A \cup B

και διαβάζεται «Α ένωση Β». Σκέψου το σαν να αδειάζεις δύο κουτιά με παιχνίδια μέσα σε ένα τρίτο, μεγαλύτερο κουτί: το τελικό κουτί έχει όλα τα παιχνίδια και από τα δύο αρχικά, χωρίς όμως να κρατάς διπλά αντίγραφα αν κάποιο παιχνίδι υπήρχε και στα δύο.

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

Παράδειγμα βήμα-βήμα

Έστω:

A = \{1, 2, 3, 4, 5, 6\}, \quad B = \{2, 4, 8\}

Βήμα 1: Γράφουμε όλα τα στοιχεία του Α: $1, 2, 3, 4, 5, 6$ .

Βήμα 2: Προσθέτουμε όσα στοιχεία του Β δεν έχουμε ήδη γράψει. Το 2 και το 4 υπάρχουν ήδη, οπότε τα προσπερνάμε. Μένει μόνο το 8.

Βήμα 3: Το αποτέλεσμα είναι:

A \cup B = \{1, 2, 3, 4, 5, 6, 8\}

Η ένωση μεγαλώνει ή μένει ίδια — ποτέ δεν μικραίνει

Το πλήθος στοιχείων της ένωσης είναι πάντα τουλάχιστον όσο το μεγαλύτερο από τα δύο αρχικά σύνολα. Αν τα δύο σύνολα δεν έχουν κανένα κοινό στοιχείο, το πλήθος στοιχείων της ένωσης ισούται ακριβώς με το άθροισμα των πληθών τους. Αν έχουν κοινά στοιχεία, η ένωση έχει λιγότερα στοιχεία από αυτό το άθροισμα, γιατί τα κοινά μετρήθηκαν διπλά και τα «μαζεύουμε» σε ένα.

Ειδικές περιπτώσεις της ένωσης

Αν το Β είναι υποσύνολο του Α (δηλαδή κάθε στοιχείο του Β ανήκει ήδη στο Α), τότε $A \cup B = A$ . Δεν προστίθεται τίποτα καινούριο.
Η ένωση ενός συνόλου με το κενό σύνολο δεν το αλλάζει καθόλου: $A \cup \emptyset = A$ .
Η ένωση ενός συνόλου με τον εαυτό του δίνει το ίδιο σύνολο: $A \cup A = A$ .
Η σειρά δεν έχει σημασία: $A \cup B = B \cup A$ .

Τομή συνόλων ✂️

Η τομή δύο συνόλων Α και Β είναι ένα νέο σύνολο που περιέχει μόνο τα στοιχεία που ανήκουν και στα δύο σύνολα ταυτόχρονα. Συμβολίζεται:

A \cap B

και διαβάζεται «Α τομή Β». Σκέψου το σαν να ψάχνεις τι έχουν κοινό δύο λίστες αγαπημένων ταινιών: κρατάς μόνο τους τίτλους που εμφανίζονται και στις δύο λίστες.

Παράδειγμα βήμα-βήμα

Έστω:

A = \{1, 2, 3, 4, 5, 6\}, \quad B = \{4, 6, 7\}

Βήμα 1: Εξετάζουμε κάθε στοιχείο του Α και ελέγχουμε αν ανήκει και στο Β.

Το 1: ανήκει στο Β; Όχι.
Το 2: Όχι.
Το 3: Όχι.
Το 4: Ναι, ανήκει και στο Β.
Το 5: Όχι.
Το 6: Ναι, ανήκει και στο Β.

Βήμα 2: Κρατάμε μόνο όσα απάντησαν «ναι»:

A \cap B = \{4, 6\}

Το 7, αν και ανήκει στο Β, δεν μπαίνει στην τομή γιατί δεν ανήκει στο Α.

Η τομή μικραίνει ή μένει ίδια — ποτέ δεν μεγαλώνει

Το πλήθος στοιχείων της τομής είναι πάντα το πολύ όσο το μικρότερο από τα δύο αρχικά σύνολα. Η τομή «φιλτράρει» και κρατά μόνο ό,τι είναι κοινό, άρα δεν μπορεί ποτέ να έχει περισσότερα στοιχεία από οποιοδήποτε από τα δύο αρχικά σύνολα.

Ειδικές περιπτώσεις της τομής

Αν το Β είναι υποσύνολο του Α, τότε $A \cap B = B$ : η τομή είναι το μικρότερο από τα δύο.
Η τομή ενός συνόλου με το κενό σύνολο δίνει πάντα το κενό σύνολο: $A \cap \emptyset = \emptyset$ .
Η τομή ενός συνόλου με τον εαυτό του δίνει το ίδιο σύνολο: $A \cap A = A$ .
Η σειρά δεν έχει σημασία: $A \cap B = B \cap A$ .

Μην μπερδεύεις ένωση και τομή!

Είναι το πιο συνηθισμένο λάθος σε αυτή την ενότητα. Θυμήσου: η ένωση ( $\cup$ ) «μαζεύει τα πάντα» — είναι σαν το γράμμα U (cup, κύπελλο) που «μαζεύει» ό,τι ρίξεις μέσα. Η τομή ( $\cap$ ) «κρατά μόνο τα κοινά» — φαντάσου το σαν σκεπή που καλύπτει μόνο εκεί που συναντιούνται τα δύο σχήματα. Αν βιαστείς και τα μπερδέψεις, θα γράψεις σύνολο με πολύ περισσότερα ή πολύ λιγότερα στοιχεία απ' ό,τι πρέπει. Πριν απαντήσεις, ρώτα τον εαυτό σου: «θέλω ό,τι υπάρχει έστω σε ένα από τα δύο (ένωση) ή θέλω μόνο ό,τι υπάρχει και στα δύο μαζί (τομή);»

Ξένα σύνολα 🚫

Δύο σύνολα λέγονται ξένα μεταξύ τους όταν δεν έχουν κανένα κοινό στοιχείο. Με άλλα λόγια, η τομή τους είναι το κενό σύνολο:

A \cap B = \emptyset

Σε ένα διάγραμμα Venn, δύο ξένα σύνολα ζωγραφίζονται σαν δύο κύκλοι που δεν αγγίζονται καθόλου — δεν υπάρχει καμία κοινή περιοχή ανάμεσά τους.

Παράδειγμα

Έστω:

Σύνολο Α: οι άρτιοι αριθμοί από το 1 έως το 10, δηλαδή $A = \{2, 4, 6, 8, 10\}$
Σύνολο Β: οι περιττοί αριθμοί από το 1 έως το 10, δηλαδή $B = \{1, 3, 5, 7, 9\}$

Κανένας αριθμός δεν μπορεί να είναι ταυτόχρονα άρτιος και περιττός, άρα:

A \cap B = \emptyset

Τα σύνολα Α και Β είναι ξένα μεταξύ τους.

Πρόσεξε τη διαφορά: το να είναι δύο σύνολα ξένα δεν σημαίνει ότι είναι «άδεια» ή «μικρά». Και τα δύο μπορεί να έχουν πολλά στοιχεία το καθένα — απλώς δεν μοιράζονται κανένα κοινό στοιχείο μεταξύ τους.

Αν, αντίθετα, δύο σύνολα έχουν έστω και ένα κοινό στοιχείο, τότε δεν είναι ξένα, και η τομή τους δεν είναι το κενό σύνολο.

Το κενό σύνολο είναι ξένο με τον εαυτό του!

Το κενό σύνολο $\emptyset$ θεωρείται ξένο με οποιοδήποτε σύνολο, ακόμα και με τον εαυτό του, αφού $\emptyset \cap \emptyset = \emptyset$ . Αυτό μπορεί να ακούγεται περίεργο, αλλά βγαίνει φυσικά από τον ορισμό: αφού δεν υπάρχει κανένα στοιχείο μέσα του, δεν μπορεί ποτέ να μοιραστεί κάποιο κοινό στοιχείο με κανέναν.

Συμπλήρωμα συνόλου 🔄

Μέχρι τώρα συγκρίναμε δύο σύνολα μεταξύ τους. Το συμπλήρωμα είναι διαφορετικό: αφορά ένα μόνο σύνολο, αλλά μέσα σε ένα «πλαίσιο αναφοράς».

Για να ορίσουμε το συμπλήρωμα χρειαζόμαστε πρώτα ένα σύνολο αναφοράς (το συμβολίζουμε συνήθως με το κεφαλαίο ελληνικό γράμμα Ω, «ωμέγα»). Αυτό είναι το «σύμπαν» της συζήτησής μας — όλα τα στοιχεία που μας ενδιαφέρουν σε ένα συγκεκριμένο πρόβλημα. Κάθε άλλο σύνολο που εξετάζουμε θεωρείται υποσύνολο αυτού του Ω.

Αν το Α είναι υποσύνολο του Ω, τότε το συμπλήρωμα του Α (ως προς το Ω) είναι το σύνολο όλων των στοιχείων του Ω που δεν ανήκουν στο Α. Συμβολίζεται:

A'

(διαβάζεται «Α τόνος» ή «συμπλήρωμα του Α»).

Παράδειγμα βήμα-βήμα

Έστω σύνολο αναφοράς:

\Omega = \{1, 2, 3, 4, 5, 6\}

και

A = \{2, 3, 6\}

Βήμα 1: Γράφουμε όλα τα στοιχεία του Ω: $1, 2, 3, 4, 5, 6$ .

Βήμα 2: Διαγράφουμε νοερά όσα ανήκουν στο Α (το 2, το 3, το 6).

Βήμα 3: Αυτά που απομένουν αποτελούν το συμπλήρωμα:

A' = \{1, 4, 5\}

Σε ένα διάγραμμα Venn, ζωγραφίζεις τον κύκλο του Α μέσα σε ένα ορθογώνιο που παριστάνει το Ω· το συμπλήρωμα A' είναι όλη η περιοχή μέσα στο ορθογώνιο που βρίσκεται έξω από τον κύκλο του Α.

Χρήσιμες ιδιότητες του συμπληρώματος

Το Α και το A' είναι πάντα ξένα μεταξύ τους: $A \cap A' = \emptyset$ , αφού κανένα στοιχείο δεν μπορεί ταυτόχρονα να ανήκει και να μην ανήκει στο Α.
Η ένωση του Α με το συμπλήρωμά του δίνει πάντα ολόκληρο το σύνολο αναφοράς: $A \cup A' = \Omega$ . Μαζί, το Α και το A' «καλύπτουν» όλο το Ω χωρίς να αφήνουν τίποτα απ' έξω.
Το συμπλήρωμα του συμπληρώματος επιστρέφει στο αρχικό σύνολο: αν πάρεις το συμπλήρωμα του A', ξαναβρίσκεις το Α.
Το συμπλήρωμα του Ω είναι το κενό σύνολο, και το συμπλήρωμα του κενού συνόλου είναι το Ω: $\Omega' = \emptyset$ και $\emptyset' = \Omega$ .

Το συμπλήρωμα χρειάζεται πάντα σύνολο αναφοράς

Δεν μπορείς να μιλήσεις για το «συμπλήρωμα ενός συνόλου» χωρίς να ξέρεις ποιο είναι το σύνολο αναφοράς Ω — το αποτέλεσμα αλλάζει τελείως ανάλογα με το Ω που διάλεξες! Για παράδειγμα, αν $A = \{2, 3, 6\}$ και δεν αλλάζει, αλλά διαλέξεις $\Omega = \{1, 2, 3, 4, 5, 6, 7, 8\}$ αντί για $\{1, 2, 3, 4, 5, 6\}$ , τότε το A' θα είναι $\{1, 4, 5, 7, 8\}$ — διαφορετικό απάντηση από πριν, γιατί άλλαξε το «σύμπαν» μέσα στο οποίο κοιτάμε. Πάντα να ελέγχεις ποιο είναι το Ω πριν υπολογίσεις ένα συμπλήρωμα.

Πώς να διαλέγεις τη σωστή πράξη 🧭

Όταν βλέπεις μια άσκηση με δύο ή περισσότερα σύνολα, σκέψου τι ακριβώς σου ζητάει:

Θέλεις να βρεις...	Χρησιμοποιείς	Σύμβολο
Όλα τα στοιχεία που υπάρχουν έστω σε ένα από τα σύνολα	Ένωση	$A \cup B$
Μόνο τα στοιχεία που είναι κοινά και στα δύο σύνολα	Τομή	$A \cap B$
Αν δύο σύνολα δεν μοιράζονται κανένα στοιχείο	Έλεγχος αν είναι ξένα	$A \cap B = \emptyset$
Όλα όσα δεν ανήκουν σε ένα σύνολο, μέσα σε ένα πλαίσιο αναφοράς	Συμπλήρωμα	$A'$

Ένας καλός τρόπος να ελέγχεις τη δουλειά σου: μετά την ένωση, κάθε στοιχείο και των δύο αρχικών συνόλων πρέπει να εμφανίζεται στο αποτέλεσμα. Μετά την τομή, κάθε στοιχείο του αποτελέσματος πρέπει να μπορείς να το «εντοπίσεις» και στα δύο αρχικά σύνολα. Μετά το συμπλήρωμα, το αρχικό σύνολο και το συμπλήρωμά του μαζί πρέπει να ξαναφτιάχνουν ολόκληρο το σύνολο αναφοράς.