Ποσοδείκτες

Εισαγωγή στους Ποσοδείκτες

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

Καθολικός Ποσοδείκτης (Universal Quantifier)

Ο καθολικός ποσοδείκτης $\forall$ (διαβάζεται "για κάθε" ή "για όλα") δηλώνει ότι μια ιδιότητα ισχύει για όλα τα στοιχεία ενός συνόλου.

$$\forall x \in A: P(x)$$

σημαίνει "για κάθε $x$ που ανήκει στο $A$, ισχύει η ιδιότητα $P(x)$".

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

• $\forall x \in \mathbb{R}: x^2 \geq 0$ ("για κάθε πραγματικό $x$, το $x^2$ είναι μη αρνητικό")
• $\forall n \in \mathbb{N}: n + 1 > n$ ("για κάθε φυσικό $n$, ο επόμενός του είναι μεγαλύτερος")

Υπαρξιακός Ποσοδείκτης (Existential Quantifier)

Ο υπαρξιακός ποσοδείκτης $\exists$ (διαβάζεται "υπάρχει") δηλώνει ότι υπάρχει τουλάχιστον ένα στοιχείο ενός συνόλου που ικανοποιεί μια ιδιότητα.

$$\exists x \in A: P(x)$$

σημαίνει "υπάρχει $x$ στο $A$ τέτοιο ώστε να ισχύει η $P(x)$".

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

• $\exists x \in \mathbb{R}: x^2 = 2$ ("υπάρχει πραγματικός αριθμός με τετράγωνο ίσο με 2")
• $\exists n \in \mathbb{N}: n > 100$ ("υπάρχει φυσικός αριθμός μεγαλύτερος του 100")

Μοναδικός Υπαρξιακός Ποσοδείκτης

Ο συμβολισμός $\exists!$ (διαβάζεται "υπάρχει μοναδικό") δηλώνει ότι υπάρχει ακριβώς ένα στοιχείο που ικανοποιεί την ιδιότητα.

$$\exists! x \in A: P(x)$$

Παράδειγμα:

$\exists! x \in \mathbb{R}: x + 3 = 5$ (υπάρχει μοναδικό $x = 2$)

Άρνηση Ποσοδεικτών

Η άρνηση προτάσεων με ποσοδείκτες ακολουθεί συγκεκριμένους κανόνες:

Άρνηση καθολικού ποσοδείκτη:

$$\neg(\forall x: P(x)) \equiv \exists x: \neg P(x)$$

Δηλαδή: "δεν ισχύει για όλα" ισοδυναμεί με "υπάρχει τουλάχιστον ένα για το οποίο δεν ισχύει".

Άρνηση υπαρξιακού ποσοδείκτη:

$$\neg(\exists x: P(x)) \equiv \forall x: \neg P(x)$$

Δηλαδή: "δεν υπάρχει κανένα" ισοδυναμεί με "για όλα δεν ισχύει".

Πολλαπλοί Ποσοδείκτες

Σε πολλές μαθηματικές προτάσεις χρησιμοποιούνται πολλαπλοί ποσοδείκτες:

$$\forall \varepsilon > 0, \exists \delta > 0: |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon$$

Αυτός είναι ο ορισμός του ορίου συνάρτησης!

Προσοχή στη σειρά: Η σειρά των ποσοδεικτών είναι σημαντική!

• $\forall x, \exists y: P(x, y)$ σημαίνει "για κάθε $x$ υπάρχει (πιθανώς διαφορετικό) $y$"
• $\exists y, \forall x: P(x, y)$ σημαίνει "υπάρχει ένα $y$ που δουλεύει για όλα τα $x$"

Αυτές οι δύο προτάσεις δεν είναι γενικά ισοδύναμες.

Ποσοδείκτες και Σύνολα

Οι ποσοδείκτες συνδέονται στενά με τα σύνολα:

Υποσύνολο με ποσοδείκτη:

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

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

$$A = B \Leftrightarrow \forall x: (x \in A \Leftrightarrow x \in B)$$

Μη κενό σύνολο:

$$A \neq \emptyset \Leftrightarrow \exists x: x \in A$$

Χρήση στις Αποδείξεις

Για να αποδείξουμε $\forall x: P(x)$:

Δείχνουμε ότι η $P(x)$ ισχύει για ένα αυθαίρετο $x$ (χωρίς να κάνουμε υποθέσεις για το $x$).

Για να αποδείξουμε $\exists x: P(x)$:

Βρίσκουμε ένα συγκεκριμένο $x$ για το οποίο ισχύει η $P(x)$.

Για να αναιρέσουμε $\forall x: P(x)$:

Βρίσκουμε ένα αντιπαράδειγμα (ένα $x$ για το οποίο δεν ισχύει η $P(x)$).

Για να αναιρέσουμε $\exists x: P(x)$:

Δείχνουμε ότι για κανένα $x$ δεν ισχύει η $P(x)$.