Δυνάμεις με Άρρητο Εκθέτη 🔢

Για να μπορέσουμε να ορίσουμε την εκθετική συνάρτηση $f(x) = a^x$ για κάθε πραγματικό $x$ , χρειαζόμαστε μια σαφή σημασία για δυνάμεις όπως $2^{\sqrt{2}}$ , $10^{\pi}$ , $3^{\sqrt{5}}$ . Ξεκινάμε υπενθυμίζοντας πώς έχει οριστεί μέχρι τώρα η δύναμη $a^x$ για φυσικό, ακέραιο και ρητό $x$ , και στη συνέχεια εξετάζουμε πώς η έννοια επεκτείνεται με συνέπεια στους άρρητους αριθμούς.

Υπενθύμιση των Ορισμών 📚

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

📌 Ορισμοί δύναμης για γνωστούς εκθέτες

Φυσικός εκθέτης $\nu \in \mathbb{N}$ , $a \neq 0$ :
$a^\nu = \underbrace{a \cdot a \cdots a}_{\nu \text{ φορές}}$
Μηδενικός εκθέτης: $a^0 = 1$ για $a \neq 0$ .
Αρνητικός ακέραιος εκθέτης ( $a \neq 0$ ):
$a^{-\nu} = \frac{1}{a^\nu}$
Ρητός εκθέτης ( $a > 0$ , $\nu, \mu \in \mathbb{Z}$ , $\mu > 0$ ):
$a^{\frac{\nu}{\mu}} = \sqrt[\mu]{a^\nu} = \left(\sqrt[\mu]{a}\right)^\nu$

Κάθε ένας από τους παραπάνω ορισμούς έχει επιλεχθεί έτσι ώστε να διατηρούνται οι βασικές ιδιότητες των δυνάμεων (π.χ. $a^\nu \cdot a^\mu = a^{\nu+\mu}$ ). Αυτή η αρχή της διατήρησης είναι που καθοδηγεί και την επέκταση σε άρρητους εκθέτες.

Ιδιότητες Δυνάμεων 🧰

Οι ακόλουθες ιδιότητες ισχύουν για κάθε ρητό (θετικό, αρνητικό ή μηδέν) εκθέτη, με την προϋπόθεση ότι οι βάσεις είναι κατάλληλες (συνήθως $a, b > 0$ όταν εμπλέκονται ρίζες).

📌 Βασικές ιδιότητες των δυνάμεων

Για $a, b > 0$ και $\nu, \mu \in \mathbb{R}$ :

$a^\nu \cdot a^\mu = a^{\nu + \mu}$ — γινόμενο ίδιας βάσης
$\dfrac{a^\nu}{a^\mu} = a^{\nu - \mu}$ — πηλίκο ίδιας βάσης
$(a^\nu)^\mu = a^{\nu \cdot \mu}$ — δύναμη δύναμης
$(a \cdot b)^\nu = a^\nu \cdot b^\nu$ — δύναμη γινομένου
$\left(\dfrac{a}{b}\right)^\nu = \dfrac{a^\nu}{b^\nu}$ — δύναμη πηλίκου
$a^{-\nu} = \dfrac{1}{a^\nu}$ , $a \neq 0$
$a^0 = 1$ , $a \neq 0$
$a^{1/\nu} = \sqrt[\nu]{a}$ για $a \geq 0$ (και $\nu \in \mathbb{N}^*$ )
$a^{\nu/\mu} = \sqrt[\mu]{a^\nu} = \left(\sqrt[\mu]{a}\right)^\nu$

Γιατί απαιτούμε $a > 0$ ;

Ο περιορισμός $a > 0$ είναι καίριος όταν εισάγουμε ρητούς και άρρητους εκθέτες. Για παράδειγμα, το $(-8)^{1/3}$ δίνει $-2$ αν γράψουμε $\sqrt[3]{-8}$ , αλλά αν γράψουμε το ίδιο κλάσμα ως $2/6$ τότε $(-8)^{2/6} = \sqrt[6]{(-8)^2} = \sqrt[6]{64} = 2 \neq -2$ . Έτσι, για να είναι ο ορισμός μονοσήμαντος και να ισχύουν οι ιδιότητες χωρίς εξαιρέσεις, απαιτούμε $a > 0$ .

Επέκταση σε Άρρητο Εκθέτη 🌊

Πώς ορίζουμε το $2^{\sqrt{2}}$ ; Η ιδέα είναι η ακόλουθη: ο $\sqrt{2} = 1{,}41421356\ldots$ μπορεί να προσεγγιστεί από μια ακολουθία ρητών αριθμών, π.χ.:
$1 , \; 1{,}4 , \; 1{,}41 , \; 1{,}414 , \; 1{,}4142 , \; \ldots \to \sqrt{2}$

Για κάθε ρητό όρο $r_n$ της ακολουθίας ξέρουμε ήδη να υπολογίζουμε το $2^{r_n}$ (μέσω ριζών). Αποδεικνύεται ότι η ακολουθία $2^{r_1}, 2^{r_2}, 2^{r_3}, \ldots$ συγκλίνει σε έναν μοναδικό αριθμό, τον οποίο ορίζουμε ως $2^{\sqrt{2}}$ .

📌 Η θεμελιώδης διατήρηση

Όλες οι ιδιότητες των δυνάμεων που ισχύουν για ρητό εκθέτη συνεχίζουν να ισχύουν και όταν ο εκθέτης είναι άρρητος. Έτσι, για $a > 0$ και οποιουσδήποτε πραγματικούς $x, y$ :
$a^x \cdot a^y = a^{x+y}, \quad \frac{a^x}{a^y} = a^{x-y}, \quad (a^x)^y = a^{xy}$

Η υπολογιστική μηχανή χρησιμοποιεί ακριβώς αυτή τη λογική προσέγγισης για να εμφανίσει τιμές όπως:
$10^{\sqrt{2}} \approx 25{,}9546\ldots, \quad 2^{\pi} \approx 8{,}8249\ldots, \quad e^{1/3} \approx 1{,}3956\ldots$

Προσοχή στον περιορισμό της βάσης

Η επέκταση σε άρρητους εκθέτες ορίζεται μόνο για θετική βάση $a > 0$ . Παραστάσεις όπως $(-2)^{\sqrt{2}}$ δεν ορίζονται στους πραγματικούς αριθμούς. Αυτός είναι και ένας από τους λόγους που στον ορισμό της εκθετικής συνάρτησης $f(x) = a^x$ απαιτούμε $a > 0$ .

Γιατί αποκλείουμε και το $a = 1$; 🤔

Αν και το $1^x = 1$ για κάθε $x$ είναι μαθηματικά ορισμένο, αυτή η «σταθερή» συνάρτηση δεν έχει τις ενδιαφέρουσες ιδιότητες της εκθετικής (δεν είναι 1–1, δεν αυξάνει ούτε μειώνεται γνησίως). Γι' αυτό στον ορισμό της εκθετικής συνάρτησης θα απαιτήσουμε $a \neq 1$ .

Συνοψίζοντας 🎯

Η επέκταση της δύναμης σε άρρητο εκθέτη γίνεται με συνέπεια, μέσω προσέγγισης από ρητούς, και διατηρεί όλες τις γνωστές ιδιότητες. Έτσι, η παράσταση $a^x$ για $a > 0$ έχει νόημα για κάθε $x \in \mathbb{R}$ , και μπορούμε με ασφάλεια να ορίσουμε την εκθετική συνάρτηση στο σύνολο των πραγματικών.