Η Έννοια του Συνόλου 🧺

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

Τι είναι ένα σύνολο 📦

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

Σκέψου τη διαφορά ανάμεσα σε αυτά τα δύο:

«Οι μαθητές μιας τάξης που έχουν ύψος πάνω από 1,60 μ.» — μπορείς να μετρήσεις τον καθένα και να ξέρεις σίγουρα ποιος ανήκει. Αυτό είναι σύνολο.
«Οι ψηλοί μαθητές μιας τάξης» — τι σημαίνει «ψηλός»; Κάποιος θα πει 1,55 μ., άλλος 1,70 μ. Δεν υπάρχει σαφές κριτήριο. Αυτό δεν είναι σύνολο, γιατί δεν μπορούμε να αποφασίσουμε με βεβαιότητα ποιος ανήκει.

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

Τα αντικείμενα που περιέχει ένα σύνολο λέγονται στοιχεία ή μέλη του συνόλου. Ένα σύνολο μπορεί να έχει στοιχεία οτιδήποτε: αριθμούς, γράμματα, λέξεις, ακόμα και άλλα σύνολα.

Πόσα διαφορετικά στοιχεία;

Σε ένα σύνολο κάθε στοιχείο μετράει μία μόνο φορά, όσες φορές κι αν το «γράφαμε». Το σύνολο των γραμμάτων της λέξης «ΜΑΜΑ» έχει μόνο δύο στοιχεία, το Μ και το Α — όχι τέσσερα, γιατί το σύνολο δεν κρατά αντίγραφα του ίδιου στοιχείου.

Πώς ονομάζουμε ένα σύνολο 🅰️

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

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

Α: τα φωνήεντα του ελληνικού αλφαβήτου
Β: οι μονοψήφιοι περιττοί αριθμοί
Γ: οι μέρες της εβδομάδας

Έτσι, αντί να λέμε κάθε φορά «οι μονοψήφιοι περιττοί αριθμοί», αρκεί να πούμε «το σύνολο Β».

Οι τρεις τρόποι να παραστήσουμε ένα σύνολο ✍️

Υπάρχουν τρεις βασικοί τρόποι να δείξουμε τι ακριβώς περιέχει ένα σύνολο. Το ίδιο ακριβώς σύνολο μπορεί να γραφτεί και με τους τρεις τρόπους — απλώς επιλέγουμε αυτόν που ταιριάζει καλύτερα κάθε φορά.

1. Περιγραφή με λόγια (ιδιότητα των στοιχείων)

Περιγράφουμε σε λόγια ή με σύμβολα την ιδιότητα που πρέπει να έχει ένα αντικείμενο για να ανήκει στο σύνολο. Η ιδιότητα πρέπει να ισχύει για όλα τα στοιχεία του συνόλου και μόνο για αυτά.

Παραδείγματα:

Α: τα φωνήεντα του ελληνικού αλφαβήτου
Β: οι μονοψήφιοι περιττοί αριθμοί
Γ: οι φυσικοί αριθμοί που είναι πολλαπλάσια του 5

Την τελευταία περιγραφή μπορούμε να τη γράψουμε πιο σύντομα με σύμβολα:

\Gamma = \{x \in \mathbb{N} \mid x \text{ είναι πολλαπλάσιο του } 5\}

Αυτό διαβάζεται: «το Γ είναι το σύνολο όλων των $x$ , όπου $x$ ανήκει στους φυσικούς αριθμούς, τέτοιο ώστε το $x$ να είναι πολλαπλάσιο του 5». Η κάθετη γραμμή $\mid$ διαβάζεται «τέτοιο ώστε» ή «όπου» και χωρίζει το σύμβολο του στοιχείου από τη συνθήκη που πρέπει να ικανοποιεί.

2. Αναγραφή των στοιχείων (σε άγκιστρα)

Γράφουμε όλα τα στοιχεία του συνόλου, χωρισμένα με κόμμα, μέσα σε δύο άγκιστρα $\{ \}$ .

A = \{\alpha, \varepsilon, \eta, \iota, o, \upsilon, \omega\}

B = \{1, 3, 5, 7, 9\}

Η σειρά δεν έχει σημασία!

Πολλοί μαθητές νομίζουν ότι πρέπει να γράφουν τα στοιχεία με κάποια συγκεκριμένη σειρά (π.χ. αύξουσα). Αυτό δεν ισχύει. Το $\{1, 3, 5, 7, 9\}$ και το $\{9, 5, 1, 3, 7\}$ είναι ακριβώς το ίδιο σύνολο, αφού περιέχουν τα ίδια στοιχεία. Αυτό που έχει σημασία είναι ποια στοιχεία περιέχει το σύνολο, όχι με ποια σειρά τα γράφουμε.

Όταν ένα σύνολο έχει πολλά στοιχεία που ακολουθούν ένα σαφές μοτίβο, μπορούμε να γράψουμε τα πρώτα λίγα και μετά να βάλουμε αποσιωπητικά (...) για τα υπόλοιπα — αρκεί να είναι απόλυτα σαφές ποια στοιχεία παραλείπουμε.

\Delta = \{2, 4, 6, 8, \dots, 100\}

Εδώ καταλαβαίνουμε ότι το Δ περιέχει όλους τους άρτιους αριθμούς από το 2 μέχρι το 100, χωρίς να χρειάζεται να τους γράψουμε όλους.

3. Βέννειο διάγραμμα (σχήμα)

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

Από πού πήρε το όνομά του

Το Βέννειο διάγραμμα πήρε το όνομά του από τον Άγγλο μαθηματικό John Venn, που το χρησιμοποίησε συστηματικά τον 19ο αιώνα για να δείχνει με σχήματα τις σχέσεις ανάμεσα σε σύνολα. Σήμερα το χρησιμοποιούμε παντού, ακόμα και εκτός μαθηματικών, για να συγκρίνουμε ομάδες πραγμάτων.

Πότε ένα στοιχείο ανήκει σε ένα σύνολο ∈ ∉

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

Το σύμβολο $\in$ σημαίνει «ανήκει».
Το σύμβολο $\notin$ σημαίνει «δεν ανήκει».

Αν το στοιχείο $\alpha$ ανήκει στο σύνολο $A$ , γράφουμε:

\alpha \in A

Αν το στοιχείο $\alpha$ δεν ανήκει στο σύνολο $A$ , γράφουμε:

\alpha \notin A

Παράδειγμα: Έστω $A$ το σύνολο των φωνηέντων του ελληνικού αλφαβήτου, δηλαδή $A = \{\alpha, \varepsilon, \eta, \iota, o, \upsilon, \omega\}$ .

Το γράμμα ω είναι φωνήεν, άρα $\omega \in A$ .
Το γράμμα ψ είναι σύμφωνο, άρα $\psi \notin A$ .

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

Ο πληθικός αριθμός ενός συνόλου ν(Α) 🔢

Πολλές φορές δεν μας ενδιαφέρει ποια ακριβώς είναι τα στοιχεία ενός συνόλου, αλλά πόσα είναι. Το πλήθος των στοιχείων ενός συνόλου λέγεται πληθικός αριθμός του συνόλου και συμβολίζεται $\nu(A)$ (διαβάζεται «νι του Α»).

Παραδείγματα:

Αν $A = \{\alpha, \varepsilon, \eta, \iota, o, \upsilon, \omega\}$ , τότε $\nu(A) = 7$ , γιατί το Α έχει 7 στοιχεία.
Αν $B = \{1, 3, 5, 7, 9\}$ , τότε $\nu(B) = 5$ .

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

Πρόσεξε τα διπλά στοιχεία

Αν σου δώσουν ένα σύνολο γραμμένο σαν λίστα με επαναλήψεις, π.χ. τα γράμματα της λέξης «ΘΑΛΑΣΣΑ», μην μετρήσεις τα γράμματα της λέξης (7 γράμματα) αλλά τα διαφορετικά γράμματα: Θ, Α, Λ, Σ — δηλαδή $\nu = 4$ . Κάθε στοιχείο ενός συνόλου καταγράφεται μία φορά, όσες φορές κι αν εμφανίζεται στην αρχική περιγραφή.

Ειδικές περιπτώσεις συνόλων 🌟

Υπάρχουν μερικές ειδικές κατηγορίες συνόλων που αξίζει να ξέρεις, γιατί εμφανίζονται συνέχεια.

Το κενό σύνολο ∅

Μπορεί ένα σύνολο να μην έχει κανένα στοιχείο; Ναι — και τότε λέγεται κενό σύνολο. Το κενό σύνολο συμβολίζεται είτε με δύο άγκιστρα χωρίς τίποτα μέσα, $\{\}$ , είτε με το ειδικό σύμβολο $\varnothing$ . Ο πληθικός του αριθμός είναι πάντα μηδέν.

Παράδειγμα: Έστω $A$ το σύνολο των άρτιων αριθμών που τελειώνουν σε 7. Ένας άρτιος αριθμός τελειώνει πάντα σε 0, 2, 4, 6 ή 8 — ποτέ σε 7. Άρα δεν υπάρχει κανένα στοιχείο που να ικανοποιεί τη συνθήκη, οπότε $A = \varnothing$ .

Πεπερασμένο σύνολο

Ένα σύνολο λέγεται πεπερασμένο όταν μπορούμε να μετρήσουμε πλήρως τα στοιχεία του και να καταλήξουμε σε έναν συγκεκριμένο αριθμό. Το σύνολο των ημερών της εβδομάδας είναι πεπερασμένο, με $\nu = 7$ . Το κενό σύνολο είναι κι αυτό πεπερασμένο, με $\nu = 0$ .

Απειροσύνολο

Ένα σύνολο λέγεται απειροσύνολο όταν έχει άπειρα στοιχεία, δηλαδή όσο κι αν μετράς, πάντα υπάρχει κι άλλο στοιχείο. Τέτοιο σύνολο δεν έχει πληθικό αριθμό (δεν γράφουμε $\nu$ με έναν συγκεκριμένο αριθμό, αφού δεν σταματά το μέτρημα).

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

Δύο βασικά σύνολα αριθμών: ℕ και ℕ₀ 🔢

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

\mathbb{N} = \{1, 2, 3, 4, \dots\}

Το $\mathbb{N}$ συμβολίζει το σύνολο όλων των φυσικών αριθμών, δηλαδή τους αριθμούς που χρησιμοποιούμε για να μετράμε (1, 2, 3, ...). Είναι απειροσύνολο, αφού δεν υπάρχει «τελευταίος» φυσικός αριθμός.

\mathbb{N}_0 = \{0, 1, 2, 3, 4, \dots\}

Το $\mathbb{N}_0$ είναι το ίδιο σύνολο, αλλά μαζί με το μηδέν. Ο δείκτης 0 δίπλα στο Ν σου θυμίζει ακριβώς αυτό: «το Ν, και επιπλέον το 0».

Ν και Ν₀ δεν είναι το ίδιο σύνολο

Το 0 ανήκει στο $\mathbb{N}_0$ αλλά δεν ανήκει στο $\mathbb{N}$ . Δηλαδή $0 \in \mathbb{N}_0$ , όμως $0 \notin \mathbb{N}$ . Πρόσεξε ποιο από τα δύο σύμβολα σου ζητάει η κάθε άσκηση, γιατί η απάντηση μπορεί να αλλάζει ανάλογα.

Ανακεφαλαίωση: πώς σκέφτεσαι ένα σύνολο βήμα-βήμα 🧭

Όταν συναντάς ένα σύνολο, είναι χρήσιμο να ελέγχεις με τη σειρά:

Είναι καλά ορισμένο; Μπορείς να αποφασίσεις με βεβαιότητα ποια αντικείμενα ανήκουν και ποια όχι;
Ποια είναι τα στοιχεία του; Μέτρα τα διαφορετικά αντικείμενα — χωρίς επαναλήψεις.
Πόσα στοιχεία έχει; Αυτός είναι ο πληθικός αριθμός $\nu$ . Αν δεν σταματούν ποτέ, το σύνολο είναι απειροσύνολο. Αν δεν έχει κανένα, είναι το κενό σύνολο.
Πώς θα το παραστήσω; Διάλεξε ανάμεσα σε περιγραφή με ιδιότητα, αναγραφή στοιχείων σε άγκιστρα, ή Βέννειο διάγραμμα — ανάλογα με το τι εξυπηρετεί καλύτερα.

Με αυτά τα τέσσερα βήματα μπορείς να αναλύσεις οποιοδήποτε σύνολο συναντήσεις, όσο απλό ή περίπλοκο κι αν φαίνεται στην αρχή.