🗂️

Σύνολα

Υποσύνολα, ένωση, τομή, συμπλήρωμα, Venn

Πώς «ξέρει» το e-shop τι να σου δείξει;

Τσεκάρεις «αθλητικά» και «νούμερο 42» και η λίστα μικραίνει. Προσθέτεις «μαύρο ή λευκό» και μεγαλώνει ξανά. Πίσω από κάθε φίλτρο κρύβονται τομές και ενώσεις συνόλων — ακριβώς αυτό που μαθαίνεις εδώ.

Τι είναι σύνολο — η «συλλογή» με σαφείς κανόνες

Σύνολο είναι μια συλλογή αντικειμένων (από την εμπειρία ή τη διανόησή μας) που είναι καλά ορισμένα και διακρίνονται μεταξύ τους. «Καλά ορισμένα» σημαίνει: για κάθε αντικείμενο μπορείς να πεις με βεβαιότητα αν ανήκει ή όχι. «Οι φυσικοί αριθμοί από το 1 ως το 5» είναι σύνολο. «Οι ψηλοί μαθητές της τάξης» δεν είναι — το «ψηλός» δεν είναι σαφές κριτήριο.

Τα αντικείμενα λέγονται στοιχεία του συνόλου. Γράφουμε $x \in A$ όταν το $x$ είναι στοιχείο του $A$ και $x \notin A$ όταν δεν είναι. Ένα σύνολο παριστάνεται με δύο τρόπους:

Με αναγραφή των στοιχείων του: $A = \{1, 2, 3, 4, 5\}$ — η σειρά δεν παίζει ρόλο και κάθε στοιχείο γράφεται μία φορά
Με περιγραφή: $A = \{x \in \mathbb{N} \mid 1 \le x \le 5\}$ — διαβάζεται «το σύνολο των φυσικών $x$ με $1 \le x \le 5$ »

Το σύνολο που δεν έχει κανένα στοιχείο λέγεται κενό σύνολο και συμβολίζεται $\varnothing$ . Δύο σύνολα λέγονται ίσα όταν έχουν ακριβώς τα ίδια στοιχεία.

Παράδειγμα: Να γραφούν με αναγραφή των στοιχείων τους τα σύνολα: α) $A = \{x \in \mathbb{N} \mid x < 4\}$ , β) $B = \{x \in \mathbb{Z} \mid x^2 \le 4\}$ , γ) $\Gamma = \{x \in \mathbb{R} \mid x^2 + 1 = 0\}$ .

Λύση: α) Οι φυσικοί που είναι μικρότεροι του $4$ — μην ξεχάσεις το $0$ : $A = \{0, 1, 2, 3\}$ .

β) Οι ακέραιοι με τετράγωνο το πολύ $4$ : $B = \{-2, -1, 0, 1, 2\}$ — και οι αρνητικοί έχουν θετικό τετράγωνο.

γ) Η $x^2 = -1$ δεν έχει πραγματική λύση, άρα $\Gamma = \varnothing$ .

Υποσύνολο — όταν το ένα «χωράει» μέσα στο άλλο

Το $A$ είναι υποσύνολο του $B$ , και γράφεις $A \subseteq B$ , όταν κάθε στοιχείο του $A$ είναι και στοιχείο του $B$ — το $A$ «χωράει» ολόκληρο μέσα στο $B$ . Για παράδειγμα, $\{2, 4\} \subseteq \{1, 2, 3, 4\}$ . Για τα γνωστά σύνολα αριθμών ισχύει η αλυσίδα:

$\mathbb{N} \subseteq \mathbb{Z} \subseteq \mathbb{Q} \subseteq \mathbb{R}$

Άμεσες συνέπειες του ορισμού:

$A \subseteq A$ — κάθε σύνολο είναι υποσύνολο του εαυτού του
$\varnothing \subseteq A$ — το κενό σύνολο είναι υποσύνολο κάθε συνόλου, αφού δεν έχει στοιχείο που να «αποτυγχάνει»
Αν $A \subseteq B$ και $B \subseteq \Gamma$ , τότε $A \subseteq \Gamma$ (μεταβατική ιδιότητα)
Αν $A \subseteq B$ και $B \subseteq A$ , τότε $A = B$ — έτσι αποδεικνύουμε ισότητα συνόλων

Στις περισσότερες εφαρμογές δουλεύουμε μέσα σε ένα βασικό σύνολο $\Omega$ , που περιέχει όλα τα σύνολα της συζήτησης — όπως ο δειγματικός χώρος στις πιθανότητες.

Γρήγορος έλεγχος

Ποια από τις παρακάτω σχέσεις είναι λάθος;

Πράξεις με σύνολα — ένωση, τομή, συμπλήρωμα, διαφορά

Έστω $A, B$ υποσύνολα ενός βασικού συνόλου $\Omega$ .

Ένωση $A \cup B$ : τα στοιχεία που ανήκουν σε ένα τουλάχιστον από τα $A, B$ . Το «ή» των μαθηματικών — όχι αποκλειστικό.
Τομή $A \cap B$ : τα στοιχεία που ανήκουν και στα δύο σύνολα ταυτόχρονα.
Συμπλήρωμα $A'$ : τα στοιχεία του $\Omega$ που δεν ανήκουν στο $A$ .
Διαφορά $A - B$ : τα στοιχεία του $A$ που δεν ανήκουν στο $B$ , δηλαδή $A - B = A \cap B'$ .

Αν $A \cap B = \varnothing$ , τα σύνολα λέγονται ξένα μεταξύ τους — δεν μοιράζονται κανένα στοιχείο.

Όλα αυτά ζωντανεύουν στα διαγράμματα Venn: το $\Omega$ είναι ένα ορθογώνιο, τα σύνολα κύκλοι μέσα του, και κάθε πράξη είναι μια σκιασμένη περιοχή. Η ένωση σκιάζει και τους δύο κύκλους, η τομή μόνο το «φακό» της επικάλυψης, το συμπλήρωμα ό,τι μένει έξω από τον κύκλο.

$A \cup B = \{x \in \Omega \mid x \in A \ \text{ή} \ x \in B\}, \qquad A \cap B = \{x \in \Omega \mid x \in A \ \text{και} \ x \in B\}, \qquad A' = \{x \in \Omega \mid x \notin A\}$

Κόλπο μνήμης

Το $\cup$ μοιάζει με κύπελλο που μαζεύει τα πάντα — ένωση = «ή», όλα μαζί. Το $\cap$ είναι το ίδιο κύπελλο ανάποδα: στενεύει και κρατάει μόνο τα κοινά — τομή = «και».

Δες το βασικό σύνολο σαν μια μπάρα που μοιράζεται σε περιοχές — το A, το B, η κοινή τους ζώνη και ό,τι μένει απ' έξω δείχνουν πώς ένωση, τομή και συμπλήρωμα μοιράζουν τα στοιχεία χωρίς να χάνεται κανένα.

Ήξερες ότι;

Τη θεωρία συνόλων τη θεμελίωσε ο Georg Cantor τη δεκαετία του 1870 και απέδειξε κάτι που σόκαρε την εποχή του: οι πραγματικοί αριθμοί είναι «περισσότεροι» από τους φυσικούς, παρότι και τα δύο σύνολα είναι άπειρα. Τα κυκλάκια που ζωγραφίζεις πήραν το όνομά τους από τον John Venn, που τα δημοσίευσε το 1880.

Μέθοδος: ασκήσεις με πράξεις συνόλων

Γράψε κάθε σύνολο με αναγραφή των στοιχείων του (ή ως διάστημα, αν είναι σύνολο πραγματικών αριθμών).
Σχεδίασε διάγραμμα Venn ή, για διαστήματα, κοινό άξονα.
Υπολόγισε τις πράξεις με τη σειρά που ζητούνται: πρώτα ό,τι είναι μέσα σε παρένθεση, μετά τα συμπληρώματα.
Επαλήθευσε: π.χ. $A \cup A' = \Omega$ , $A - B = A \cap B'$ , και ότι η ένωση έχει $N(A) + N(B) - N(A \cap B)$ στοιχεία.

Άσκηση: Έστω $\Omega = \{1, 2, 3, 4, 5, 6, 7, 8\}$ , $A = \{1, 2, 3, 4\}$ και $B = \{3, 4, 5, 6\}$ . Να βρεθούν τα $A \cup B$ , $A \cap B$ , $A'$ , $A - B$ .

Λύση: Ένωση — ό,τι ανήκει σε τουλάχιστον ένα: $A \cup B = \{1, 2, 3, 4, 5, 6\}$ .

Τομή — τα κοινά στοιχεία: $A \cap B = \{3, 4\}$ .

Συμπλήρωμα — ό,τι έχει το $\Omega$ και λείπει από το $A$ : $A' = \{5, 6, 7, 8\}$ .

Διαφορά — στοιχεία του $A$ που δεν είναι στο $B$ : $A - B = \{1, 2\}$ .

Επαλήθευση με μέτρημα: το $A \cup B$ έχει $4 + 4 - 2 = 6$ στοιχεία — αφαιρούμε μία φορά τα κοινά, αλλιώς τα μετράμε διπλά.

Γρήγορος έλεγχος

Αν $A = \{1, 2, 3\}$ και $B = \{2, 3, 4\}$ , ποιο είναι το $A - B$ ;

Γρήγορος έλεγχος

Αν $\Omega = \{1, 2, \dots, 10\}$ και $A = \{2, 4, 6, 8, 10\}$ , ποιο είναι το $A'$ ;

Γρήγορος έλεγχος

Αν $A \cap B = \varnothing$ και $x \in A$ , τι συμπεραίνουμε για το $x$ ;

Άσκηση τύπου διαγωνίσματος: Έστω $\Omega = \{1, 2, 3, \ldots, 10\}$ , $A$ το σύνολο των άρτιων στοιχείων του $\Omega$ και $B$ το σύνολο των πολλαπλασίων του $3$ στο $\Omega$ .

α) Να γραφούν τα $A$ , $B$ με αναγραφή.

β) Να βρεθούν τα $A \cap B$ , $A \cup B$ και $A - B$ .

γ) Να βρεθούν τα $(A \cup B)'$ και $A' \cap B'$ και να συγκριθούν.

Λύση:

α) $A = \{2, 4, 6, 8, 10\}$ και $B = \{3, 6, 9\}$ .

β) $A \cap B = \{6\}$ , $A \cup B = \{2, 3, 4, 6, 8, 9, 10\}$ (έλεγχος πλήθους: $5 + 3 - 1 = 7$ ✓) και $A - B = \{2, 4, 8, 10\}$ .

γ) $(A \cup B)' = \{1, 5, 7\}$ . Επίσης $A' = \{1, 3, 5, 7, 9\}$ και $B' = \{1, 2, 4, 5, 7, 8, 10\}$ , άρα $A' \cap B' = \{1, 5, 7\}$ .

Τα δύο σύνολα είναι ίσα: «όχι στο $A$ ή στο $B$ » σημαίνει «ούτε στο $A$ ούτε στο $B$ ». Αυτό ισχύει πάντα: $(A \cup B)' = A' \cap B'$ .

Απάντηση: β) $\{6\}$ , $\{2, 3, 4, 6, 8, 9, 10\}$ , $\{2, 4, 8, 10\}$ , γ) $(A \cup B)' = A' \cap B' = \{1, 5, 7\}$ .

Γρήγορος έλεγχος

Αν $A \subseteq B$ , με τι ισούται η τομή $A \cap B$ ;

Πρόκληση

Σε μια τάξη $30$ μαθητών, $17$ παίζουν μπάσκετ, $14$ ποδόσφαιρο και $5$ κανένα από τα δύο. α) Πόσοι παίζουν και τα δύο; β) Αν δεν ξέραμε πόσοι δεν παίζουν τίποτα, ποιος είναι ο ελάχιστος και ποιος ο μέγιστος δυνατός αριθμός μαθητών που παίζουν και τα δύο;

Δοκίμασε πρώτα μόνος σου — μετά δες τη λύση

α) Έστω $M$ το σύνολο των μαθητών του μπάσκετ και $\Pi$ του ποδοσφαίρου. Κάποιο άθλημα παίζουν $30 - 5 = 25$ μαθητές, δηλαδή η ένωση έχει $25$ στοιχεία. Αν προσθέσεις $17 + 14 = 31$ , όσους είναι στην τομή τους μέτρησες δύο φορές. Άρα η τομή έχει $31 - 25 = 6$ στοιχεία.

Έλεγχος με Venn: μόνο μπάσκετ $17 - 6 = 11$ , μόνο ποδόσφαιρο $14 - 6 = 8$ , και τα δύο $6$ , κανένα $5$ : $11 + 8 + 6 + 5 = 30$ ✓

β) Η τομή είναι μέγιστη όταν $\Pi \subseteq M$ : τότε $M \cap \Pi = \Pi$ , δηλαδή $14$ μαθητές. Είναι ελάχιστη όταν η ένωση είναι όσο γίνεται μεγαλύτερη, δηλαδή όλοι οι $30$ : τότε η τομή έχει $31 - 30 = 1$ στοιχείο.

Απάντηση: α) $6$ μαθητές, β) από $1$ έως $14$ μαθητές.

Όταν μπερδεύεσαι με πράξεις συνόλων, ζωγράφισε διάγραμμα Venn — δύο κύκλοι μέσα σε ένα ορθογώνιο λύνουν το 90% των αποριών. Και κράτα τη «μετάφραση»: ένωση = «ή», τομή = «και», συμπλήρωμα = «όχι». Η ίδια λογική επιστρέφει αυτούσια στα ενδεχόμενα των πιθανοτήτων.

Συνηθισμένα λάθη

Γράφουν $\{0\} = \varnothing$ . Το $\varnothing$ δεν έχει κανένα στοιχείο, ενώ το $\{0\}$ έχει ένα, τον αριθμό $0$ .
Μπερδεύουν το $\in$ (στοιχείο) με το $\subseteq$ (υποσύνολο): σωστό είναι $2 \in \{1, 2\}$ και $\{2\} \subseteq \{1, 2\}$ , λάθος το $2 \subseteq \{1, 2\}$ .
Θεωρούν ότι $A - B = B - A$ . Η διαφορά εξαρτάται από τη σειρά των συνόλων.
Στην ένωση γράφουν δύο φορές τα κοινά στοιχεία. Κάθε στοιχείο γράφεται μία φορά.

Σύνοψη — τι κρατάμε

Σύνολο: καλά ορισμένα, διακεκριμένα στοιχεία· $x \in A$ ή $x \notin A$
$A \subseteq B$ : κάθε στοιχείο του $A$ ανήκει στο $B$ · $\varnothing \subseteq A$ για κάθε $A$
$A \cup B$ («ή»), $A \cap B$ («και»), $A'$ («όχι»), $A - B = A \cap B'$
Ξένα σύνολα: $A \cap B = \varnothing$
$A \cup A' = \Omega$ , $A \cap A' = \varnothing$ και $(A \cup B)' = A' \cap B'$

Τι είναι σύνολο — η «συλλογή» με σαφείς κανόνες

Τα αντικείμενα λέγονται στοιχεία του συνόλου. Γράφουμε

x \in A

όταν το

x

είναι στοιχείο του

A

και

x \notin A

όταν δεν είναι. Ένα σύνολο παριστάνεται με δύο τρόπους:

Με αναγραφή των στοιχείων του:

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

— η σειρά δεν παίζει ρόλο και κάθε στοιχείο γράφεται μία φορά

Με περιγραφή:

A = \{x \in \mathbb{N} \mid 1 \le x \le 5\}

— διαβάζεται «το σύνολο των φυσικών

x

με

1 \le x \le 5

Το σύνολο που δεν έχει κανένα στοιχείο λέγεται κενό σύνολο και συμβολίζεται

\varnothing

. Δύο σύνολα λέγονται ίσα όταν έχουν ακριβώς τα ίδια στοιχεία.