Ισότητα Συναρτήσεων ⚖️

Πότε δύο συναρτήσεις θεωρούνται ίδιες; Η απάντηση δεν είναι τόσο προφανής όσο φαίνεται εκ πρώτης όψεως. Δεν αρκεί να έχουν τον «ίδιο τύπο» – χρειάζεται να συμπίπτουν και στα σύνολα με τα οποία είναι ορισμένες. Σε αυτή την ενότητα θα δούμε με ακρίβεια πότε δύο συναρτήσεις είναι ίσες και πώς να ελέγχουμε την ισότητα στην πράξη.

Ορισμός 📌

📌 Ορισμός – Ισότητα συναρτήσεων

Δύο πραγματικές συναρτήσεις $f_1: A_1 \to B_1$ και $f_2: A_2 \to B_2$ είναι ίσες αν και μόνο αν ισχύουν ταυτόχρονα οι εξής τρεις συνθήκες:

$A_1 = A_2$ (ίδιο πεδίο ορισμού)
$B_1 = B_2$ (ίδιο σύνολο αφίξεως)
$f_1(x) = f_2(x)$ για κάθε $x \in A_1$ (ίδιες τιμές σε κάθε σημείο)

Η αυστηρότητα αυτού του ορισμού οφείλεται στο γεγονός ότι μια συνάρτηση δεν είναι μόνο ένας τύπος: είναι ένα ολόκληρο «πακέτο» που περιλαμβάνει τον κανόνα, το πεδίο ορισμού και το σύνολο αφίξεως. Αν αλλάξει έστω και ένα από αυτά, αλλάζει η συνάρτηση.

Γιατί χρειαζόμαστε και τις τρεις συνθήκες; 🧐

Κάθε συνθήκη έχει σημασία:

Ίδιο πεδίο ορισμού: Αν δύο συναρτήσεις δέχονται διαφορετικές εισόδους, δεν μπορεί να είναι «ίδιες», ακόμα κι αν συμπίπτουν εκεί που επικαλύπτονται.
Ίδιο σύνολο αφίξεως: Αυτή η συνθήκη εξασφαλίζει ότι «μιλάμε για την ίδια στοχοπεριοχή». Η ίδια αντιστοίχιση θεωρούμενη ως $\mathbb{R} \to \mathbb{R}$ ή $\mathbb{R} \to [0, +\infty)$ οδηγεί σε διαφορετικές ιδιότητες.
Ίδιες τιμές: Προφανώς, αν δύο συναρτήσεις δίνουν διαφορετικά αποτελέσματα για κάποια είσοδο, δεν είναι ίσες.

🔑 Η βασική αρχή

Μια συνάρτηση ταυτίζεται με την τριάδα $(A, B, \text{κανόνας})$ . Ισότητα συναρτήσεων σημαίνει ταυτότητα και των τριών συνιστωσών.

Απλοποιημένη περίπτωση – Πραγματικές συναρτήσεις πραγματικής μεταβλητής 💡

Στην πράξη του Λυκείου, οι περισσότερες συναρτήσεις που συναντάμε έχουν σύνολο αφίξεως το $\mathbb{R}$ . Σε αυτή την περίπτωση, η δεύτερη συνθήκη ικανοποιείται αυτόματα.

💡 Απλοποιημένο κριτήριο

Αν $B_1 = B_2 = \mathbb{R}$ , τότε αρκούν μόνο δύο συνθήκες για ισότητα:

$A_1 = A_2$ (ίδιο πεδίο ορισμού)
$f_1(x) = f_2(x)$ για κάθε $x \in A_1$ (ίδιες τιμές)

Αυτό είναι το κριτήριο που χρησιμοποιούμε σχεδόν πάντα στο σχολικό πλαίσιο.

Μια λεπτή παγίδα – Ίδιος τύπος δεν σημαίνει ίσες συναρτήσεις ⚠️

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

Προσοχή

Δύο συναρτήσεις μπορεί να έχουν τον ίδιο τύπο αλλά να μην είναι ίσες, αν τα πεδία ορισμού τους διαφέρουν. Για παράδειγμα, η $f(x) = x^2$ με $A_1 = \mathbb{R}$ και η $g(x) = x^2$ με $A_2 = [0, +\infty)$ δεν είναι ίσες, αφού $A_1 \neq A_2$ .

Αντίστροφα, δύο συναρτήσεις μπορεί να φαίνονται ότι έχουν διαφορετικό τύπο αλλά να είναι ίσες, αν οι τύποι τους απλοποιούνται στον ίδιο. Για παράδειγμα, οι τύποι $\frac{x^2 - 1}{x - 1}$ και $x + 1$ φαίνονται διαφορετικοί, αλλά:

Ο πρώτος τύπος απαιτεί $x \neq 1$ , άρα έχει πεδίο ορισμού $\mathbb{R} \setminus \{1\}$ .
Ο δεύτερος τύπος ορίζεται για κάθε $x \in \mathbb{R}$ .

Οπότε, αν και συμπίπτουν όπου και οι δύο ορίζονται, δεν είναι ίσες ως συναρτήσεις από το $\mathbb{R}$ στο $\mathbb{R}$ , επειδή έχουν διαφορετικά πεδία ορισμού.

Πρακτική στρατηγική για έλεγχο ισότητας 🛠️

Για να ελέγξουμε αν δύο συναρτήσεις $f$ και $g$ είναι ίσες, ακολουθούμε τα εξής βήματα:

Βρίσκουμε τα πεδία ορισμού $A_f$ και $A_g$ . Αν $A_f \neq A_g$ , οι συναρτήσεις δεν είναι ίσες.
Αν $A_f = A_g$ , ελέγχουμε αν $f(x) = g(x)$ για κάθε $x \in A_f$ . Αυτό συνήθως γίνεται με αλγεβρική απλοποίηση.
(Αν είναι ορισμένες με διαφορετικά σύνολα αφίξεως) Ελέγχουμε την ισότητα $B_f = B_g$ .

💡 Μια καλή συνήθεια

Πριν απλοποιήσουμε έναν τύπο (π.χ. διαγραφή κοινού παράγοντα από αριθμητή και παρονομαστή), να θυμόμαστε ότι αυτή η απλοποίηση μπορεί να διευρύνει το πεδίο ορισμού. Η αρχική και η απλοποιημένη έκφραση δεν ορίζουν γενικά την ίδια συνάρτηση!

Γιατί μας ενδιαφέρει η ισότητα συναρτήσεων; 🎯

Η έννοια της ισότητας είναι θεμελιώδης για:

την απλοποίηση εκφράσεων (να ξέρουμε πότε μπορούμε να τις αντικαταστήσουμε),
τη σύγκριση συναρτήσεων που προκύπτουν από διαφορετικούς υπολογισμούς,
τη σωστή κατανόηση του τι είναι μια συνάρτηση: όχι απλά ένας τύπος, αλλά μια ολόκληρη αντιστοίχιση με συγκεκριμένο «χώρο» εισόδου και εξόδου.