Definizione di logaritmo

[Giacomo]

vorrei provare a definire il logaritmo come "l' unica funzione" che soddisfa queste propietà:
f:(0;+)in R;
f, continua;
f(2)= a; con a un qualsiasi numero reale;
f(xy)=f(x)+f(y); dominio;

considerando A={ x (0;+) tc. N tc. x=
ottengo che devo per forza definire f in questo modo;

per ogni x in A;

una volta appurato che la definizione non dipende da m e n ma solo dal numero x....

vorrei dimostrare che la funzione è continua in A; cioè qualcosa di questo tipo.
per abbastanza vicina a 1 la funzione definita è abbastanza vicina a 0;
un po il contrario di quello che si deve dimostrare nell' esponenziale, ma non mi sembra altrettanto facile. come si potrebbe fare senza usare i logaritmi?

[Massimo Gobbino]

No no, forget it! Non si può andare oltre.

Per cominciare, per simmetria con il caso dell'esponenziale, io avrei posto f(a)=1 invece di f(2)=a, ma in fondo è solo questione di gusti. A quel punto, come giustamente hai osservato, si arriva bene a dimostrare che per ogni razionale q, ma poi non si va più avanti.

Il motivo è che ... non si può andare avanti, nel senso che (in assenza di condizioni aggiuntive) esistono infinite funzioni che soddisfano la relazione per ogni coppia di numeri reali positivi. Certo se si impone la continuità, allora ce n'è una sola, e anche se si impongono condizioni molti più deboli, come l'esistenza di un rettangolo nel piano cartesiano (con y>0) che non contiene punti del grafico.

La situazione per l'esponenziale è esattamente la stessa, e lo è pure per l'equazione . Quest'ultima sui razionali ha solo soluzioni del tipo f(x)=ax, ma sui reali è tutta un'altra storia, a meno di non imporre la continuità o cose del genere.

[Giacomo]

ho imposto come condizione la continuità quindi dovrebbe esisterne una sola, come ha detto lei. Per condizioni necessarie sono poi arrivato a definirla in un denso, "quell' insieme A ". Esattamente come l' esponenziale, che si arriva a definire sul denso dei razionali. Adesso però l' insieme A non sono i razionali ma i "radicali", tra mille virgolette. Vorrei provare a dimostrare che su quel denso intanto è continua, condizione necessaria per estenderla con continuità a tutti i reali positivi. (con l' esponenziale si puo dimostrare che sui razionali è continua, una volta definita per condizioni necessarie )
dovrebbe essere possibile no?

cioè, vorrei dimostrare questo:
tc. appartenenti a (intersecato dominio)
cioè che il logaritmo, definito per ora solo in quel denso, è continuo in 1; è facile farlo con delle disuguaglianze?

poi una volta dimostrato che è continuo in 1 dovrebbe essere facile provare la continuita nel denso. successivamente, lo estendo (forse) con qualche forma "piu debole" del teorema di estensione (ad esempio spazio metrico loc. unif. continuo) o mantenendo la monotonia

non lo so, forse sto sbagliando

[Massimo Gobbino]

Ah, forse ho capito. Detto brutalmente, si tratta di dimostrare che, se è vicino ad 1, allora q è vicino a 0.

Questo è in un certo senso l'opposto di quello che si fa con l'esponenziale, cioè dimostrare che è vicino ad 1 quando q è vicino a 0. Ora nel caso dell'esponenziale si fa facilmente con Bernoulli, esattamente come nella dimostrazione che la radice n-esima di a tende ad 1.

Con il logaritmo in effetti la cosa sembra più complicata. Già limitandosi ai casi in cui a>1 e q>0 (ai quali non dovrebbe comunque essere difficile ricondursi), uno avrebbe bisogno di una disuguaglianza del tipo (si è posto per comodità a=1+b)



per un opportuno c. Ora molto a posteriori questa è vera, se non altro come disuguaglianza di convessità, nel senso che è come dire che la funzione sta sopra alla sua retta tangente in 0, che ha equazione con .

Questo discorso però è molto a posteriori, e non sarebbe male trovarne una dimostrazione che usi gli assiomi e poco più.

[Già che ci sono, sposto il tutto nella sezione preliminari, che mi sembra più adatta]

[Giacomo]

Esatto
credo che basti dimostrare questo:

sia e a>0 e sia >0
si consideri la seguente disuguaglianza:
| - 1 |

le soluzioni (in N ) di questa disequazione sono del tipo
?

se si,
per" che tende a 0", tende a + ?

la saprei risolvere usando i logaritmi, ma non lo posso fare, perchè non li ho ancora definiti, vorrei farlo con delle proprietà strettamente legate agli assiomi, come ha detto lei. Con una disuguaglianza di quel tipo si, si dovrebbe concludere.

[Giacomo]

è corretta questa dimostrazione?

- Sia a a > 1; sia q ;
> 0 >0 tc. | - 1 | < |q| < ;


Caso q = ; con n , n > 0 e m ;

in questo caso | - 1 | < a < ;

Passo 1:

Fissato ( > 0 ) è possibile scegliere in modo che a < n>; Prendo =
Infatti, Faccio vedere che ogni per n risulta a ;
Infatti 1 + 1+ (se tolgo gli esponenti a cose minori di 1 ottengo qualcosa di maggiore), ora per n ho che 1+ 1+ 1 + a (ho levato dei denominatori che sono maggiori uguali a 1, e ho levato che è minore o uguale 1), quindi prendendo quel delta si ha che a < n> , perche quelli minori o uguali implicano la disuguaglianza contraria;


Passo 2

fisso >0; scelgo e = (come sopra); Ora dico che | - 1 | < < ;
Supponiamo che sia ; questo implica
. per come era stato scelto , | - 1 | , quindi a maggior ragione | - 1 | .
si ha quindi < <.

Giusto?