Συναρτήσεις 1–1 (Ένα προς Ένα) 🎯

Μια συνάρτηση $f: A \to B$ αντιστοιχίζει κάθε $x \in A$ σε ένα μοναδικό $y \in B$ . Όμως τίποτα στον ορισμό της συνάρτησης δεν απαγορεύει δύο διαφορετικά $x$ να καταλήγουν στην ίδια εικόνα $y$ . Οι συναρτήσεις στις οποίες αυτό δεν συμβαίνει ποτέ έχουν μια ξεχωριστή, πολύ χρήσιμη ιδιότητα: είναι 1–1 (ένα προς ένα).

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

Ορισμός 📌

📌 Ορισμός – Συνάρτηση 1–1

Μια συνάρτηση $f: A \to B$ λέγεται 1–1 (ένα προς ένα) όταν για κάθε δύο διαφορετικά στοιχεία του πεδίου ορισμού, οι τιμές της συνάρτησης είναι επίσης διαφορετικές:
$\forall\, x_1, x_2 \in A: \quad x_1 \neq x_2 \Rightarrow f(x_1) \neq f(x_2)$

Ισοδύναμα (αντιθετοαντίστροφη διατύπωση):
$f(x_1) = f(x_2) \Rightarrow x_1 = x_2$

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

Η διαίσθηση πίσω από το «1–1» 💡

Μια συνάρτηση 1–1 έχει την ιδιότητα ότι δεν χάνει πληροφορία: αν ξέρουμε την εικόνα $y = f(x)$ , μπορούμε μοναδικά να προσδιορίσουμε το $x$ . Αντιθέτως, σε μια μη 1–1 συνάρτηση, δύο διαφορετικές εισόδους μπορούν να «συγχωνευθούν» στην ίδια έξοδο, και έτσι η γνώση της εξόδου δεν αρκεί για να ξέρουμε την είσοδο.

Η $f(x) = 2x + 1$ είναι 1–1: αν $2x_1 + 1 = 2x_2 + 1$ , αφαιρούμε $1$ και διαιρούμε με $2$ , οπότε $x_1 = x_2$ .
Η $f(x) = x^2$ με πεδίο ορισμού $\mathbb{R}$ δεν είναι 1–1: π.χ. $f(2) = f(-2) = 4$ , άρα δύο διαφορετικά $x$ δίνουν την ίδια εικόνα.
Αν όμως περιορίσουμε τη $f(x) = x^2$ στο $[0, +\infty)$ , τότε γίνεται 1–1.

🔑 Βασική ιδέα

Συνάρτηση 1–1 $\Leftrightarrow$ Διαφορετικές είσοδοι δίνουν διαφορετικές εξόδους. Κανένα «συγχωνευμένο» ζεύγος.

Μέθοδοι Ελέγχου 🔍

Υπάρχουν δύο βασικοί τρόποι να ελέγξουμε αν μια συνάρτηση είναι 1–1: ο αλγεβρικός και ο γραφικός.

Αλγεβρικός έλεγχος

💡 Αλγεβρικός έλεγχος

Για να δείξουμε ότι η $f$ είναι 1–1, παίρνουμε τυχαία $x_1, x_2 \in A$ με $f(x_1) = f(x_2)$ και δείχνουμε ότι υποχρεωτικά $x_1 = x_2$ . Εναλλακτικά, δείχνουμε ότι η εξίσωση $f(x) = y$ έχει το πολύ μία λύση για κάθε $y$ .

Η πρώτη μέθοδος ακολουθεί πιστά την αντιθετοαντίστροφη διατύπωση του ορισμού. Η δεύτερη είναι συχνά πιο πρακτική: μελετάμε το πλήθος λύσεων της $f(x) = y$ . Αν για κάθε $y$ η εξίσωση έχει μία το πολύ λύση, τότε η $f$ είναι 1–1.

Γραφικός έλεγχος

💡 Γραφικός έλεγχος – Κριτήριο οριζόντιας ευθείας

Μια συνάρτηση είναι 1–1 αν και μόνο αν κάθε ευθεία παράλληλη προς τον άξονα τετμημένων ( $x'x$ ) τέμνει τη γραφική παράσταση σε ένα το πολύ σημείο.

Το κριτήριο αυτό είναι το οριζόντιο αντίστοιχο του κριτηρίου κατακόρυφης ευθείας. Η λογική: αν μια οριζόντια ευθεία $y = c$ τέμνει τη γραφική παράσταση σε δύο σημεία $(x_1, c)$ και $(x_2, c)$ , τότε $f(x_1) = f(x_2) = c$ με $x_1 \neq x_2$ , οπότε η $f$ δεν είναι 1–1.

Προσοχή

Αν μια ευθεία $y = c$ τέμνει τη γραφική παράσταση σε δύο ή περισσότερα σημεία, τότε η συνάρτηση δεν είναι 1–1, αφού υπάρχουν διαφορετικά $x_1 \neq x_2$ με $f(x_1) = f(x_2) = c$ .

Σύνδεση με τη μονοτονία 📈📉

Ένα χρήσιμο γεγονός που προκύπτει άμεσα από τον ορισμό:

Αν μια συνάρτηση είναι γνησίως μονότονη (γνησίως αύξουσα ή γνησίως φθίνουσα) σε ένα διάστημα, τότε είναι 1–1 εκεί.

Αυτή είναι μια πολύ βολική συντόμευση σε πολλές ασκήσεις: δεν χρειάζεται πάντα να ξεκινήσουμε από τον ορισμό – αρκεί να δείξουμε τη μονοτονία.

🔑 Χρήσιμη παρατήρηση

Γνήσια μονοτονία $\Rightarrow$ 1–1. Το αντίστροφο όμως δεν ισχύει πάντα: υπάρχουν 1–1 συναρτήσεις που δεν είναι γνησίως μονότονες σε όλο το πεδίο ορισμού τους (π.χ. τμηματικές συναρτήσεις).

Γιατί μας ενδιαφέρει το 1–1; 🌟

Πέρα από τη θεωρητική ομορφιά, η ιδιότητα 1–1 είναι κρίσιμη για διάφορους λόγους:

Μόνο οι 1–1 συναρτήσεις έχουν αντίστροφη συνάρτηση: μπορούμε να γυρίσουμε πίσω από το $y$ στο $x$ με μοναδικό τρόπο.
Επιτρέπουν ακύρωση στην εξίσωση $f(x_1) = f(x_2)$ : συμπεραίνουμε αμέσως $x_1 = x_2$ .
Εμφανίζονται φυσικά σε πολλές εφαρμογές, από την κρυπτογραφία μέχρι τη γεωμετρία.

Συνοψίζοντας την τεχνική αντιμετώπιση 🛠️

Όταν καλούμαστε να δείξουμε ότι μια συνάρτηση είναι 1–1:

Ξεκινάμε με $f(x_1) = f(x_2)$ .
Με αλγεβρικούς χειρισμούς καταλήγουμε σε $x_1 = x_2$ .

Όταν θέλουμε να δείξουμε ότι δεν είναι 1–1:

Αρκεί να βρούμε δύο διαφορετικά $x_1, x_2$ με $f(x_1) = f(x_2)$ (ένα αντιπαράδειγμα).
Γραφικά, αρκεί να βρούμε μία οριζόντια ευθεία που να τέμνει τη γραφική παράσταση σε δύο τουλάχιστον σημεία.