La funzione esponenziale è definita come $y=a^x$ con $a,y > 0$ ed $a!=1$ con $x \in RR$
La funzione logaritmo è definita come $y=log_a(x)$ con $a,x > 0$ ed $a!=1$ con (se non sbaglio) $y!=0$
E' dimostrabile che la funzione logaritmo è l'inversa della funzione esponenziale e vale l'implicazione:
$a^x = y$ -> $x = log_a(y)$
Per arrivare alla forma $y=\log_a(x)$ si deve "scambiare" $x$ con $y$, ma non riesco a giustificare questo passaggio e le varie restrizioni nei valori che avrà $x$ ed $y$. La funzione logaritmo non è simmetrica, a meno che lo "scambio" non sia una traslazione degli assi prendendo come riferimento la bisettrice $y=x$. Ma non cambia il dubbio sulle restrizioni del campo di esistenza perché abbiamo:
$a^x = y$ con $a > 0$, $a!=1$ e $y > 0$, $x \in RR$
l'inversa è $x = log_a(y)$ con restrizioni come sopra ma con $x != 0$ non essendoci $log(y) = 0$
Ora se "scambio" $x$ con $y$ dovrò restringere ulteriormente, quindi farò un sistema:
1. $x = \log_a(y)$
2. $y=\log_a(x)$
che risulta verificato per: $a > 0$, $a!=1$ e $y > 0$ e $x>0$
Ma questo non corrisponde con il campo di esistenza della funzione logaritmo perché può avere anche valori negativi come risultato.
Grazie a chi mi aiuta.