Funzione polidroma: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 63:
==Rami e valori principali==
Tutti questi esempi condividono una proprietà comune: essi possono essere visti come [[funzione inversa|funzioni inverse]] di qualche altra applicazione (la [[potenza (matematica)|potenza]] per le radici, l'[[esponenziale]] per il logaritmo). Infatti la funzione inversa è la multifunzione più facile da incontrare, poiché a priori la corrispondenza <math>y\mapsto f^{-1}(y)</math> non genera un elemento, ma un insieme: esso è [[insieme vuoto|vuoto]] se ''y'' non è parte dell'immagine di ''f'', è un [[singleton]] per i valori in cui essa è iniettiva, è un insieme con più elementi altrimenti.
In ognuno di questi casi, per giungere da una funzione multivoca ad una monodroma e utilizzare gli strumenti usuali della matematica, si è scelta per convenzione (o per altri motivi) una singola controimmagine da associare a ''y'': nel caso della radice reale, la scelta cade su <math>+\sqrt x</math>; nel logaritmo complesso viene scelto il valore <math>\log z</math> tale che <math>0\leq arg(z)\leq 2\pi</math>; nell'[[arcoseno]] l'[[angolo]] scelto è sempre quello compreso tra 0 e <math>2\pi</math> e così via.
| |||