Βασικές Έννοιες Συνόλων

Εισαγωγή στα Σύνολα

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

Συμβολισμοί και Ορισμοί

Τα σύνολα συνήθως συμβολίζονται με κεφαλαία γράμματα ($A$, $B$, $C$, ...) και τα στοιχεία τους με πεζά γράμματα ($a$, $b$, $c$, ...).

Βασικοί Συμβολισμοί:

• $x \in A$: το $x$ ανήκει στο σύνολο $A$
• $x \notin A$: το $x$ δεν ανήκει στο σύνολο $A$
• $\emptyset$ ή $\{\}$: το κενό σύνολο (σύνολο χωρίς στοιχεία)
• $|A|$ ή $\#A$: το πλήθος των στοιχείων του συνόλου $A$ (πληθικότητα)

Τρόποι Περιγραφής Συνόλων

1. Απαρίθμηση (Περιγραφικός τρόπος)

Αναφέρουμε όλα τα στοιχεία του συνόλου μέσα σε άγκιστρα:

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

$$B = \{\alpha, \beta, \gamma\}$$

2. Ιδιότητα Χαρακτηρισμού

Ορίζουμε το σύνολο μέσω μιας ιδιότητας που πρέπει να ικανοποιούν τα στοιχεία του:

$$A = \{x \in \mathbb{Z} : x > 0 \text{ και } x \leq 5\}$$

Διαβάζεται: "το σύνολο όλων των $x$ που ανήκουν στους ακεραίους τέτοιων ώστε $x > 0$ και $x \leq 5$".

Βασικά Αριθμητικά Σύνολα

• $\mathbb{N} = \{1, 2, 3, ...\}$: Φυσικοί αριθμοί
• $\mathbb{N}_0 = \{0, 1, 2, 3, ...\}$: Φυσικοί αριθμοί με το μηδέν
• $\mathbb{Z} = \{..., -2, -1, 0, 1, 2, ...\}$: Ακέραιοι αριθμοί
• $\mathbb{Q}$: Ρητοί αριθμοί (κλάσματα $\frac{p}{q}$ με $p, q \in \mathbb{Z}$, $q \neq 0$)
• $\mathbb{R}$: Πραγματικοί αριθμοί
• $\mathbb{C}$: Μιγαδικοί αριθμοί

Υποσύνολα

Ένα σύνολο $A$ είναι υποσύνολο του συνόλου $B$ (συμβολίζεται $A \subseteq B$) αν κάθε στοιχείο του $A$ ανήκει και στο $B$:

$$A \subseteq B \Leftrightarrow (\forall x: x \in A \Rightarrow x \in B)$$

Γνήσιο υποσύνολο: $A \subset B$ σημαίνει $A \subseteq B$ και $A \neq B$.

Ιδιότητες υποσυνόλων:

• $\emptyset \subseteq A$ για κάθε σύνολο $A$ (το κενό σύνολο είναι υποσύνολο κάθε συνόλου)
• $A \subseteq A$ για κάθε σύνολο $A$ (αντανακλαστική ιδιότητα)
• Αν $A \subseteq B$ και $B \subseteq A$, τότε $A = B$

Ισότητα Συνόλων

Δύο σύνολα $A$ και $B$ είναι ίσα ($A = B$) αν και μόνο αν έχουν ακριβώς τα ίδια στοιχεία:

$$A = B \Leftrightarrow (A \subseteq B \text{ και } B \subseteq A)$$

Δυναμοσύνολο

Το δυναμοσύνολο $\mathcal{P}(A)$ ενός συνόλου $A$ είναι το σύνολο όλων των υποσυνόλων του $A$:

$$\mathcal{P}(A) = \{B : B \subseteq A\}$$

Αν το σύνολο $A$ έχει $n$ στοιχεία, τότε το δυναμοσύνολό του έχει $2^n$ στοιχεία:

$$|\mathcal{P}(A)| = 2^{|A|}$$