Funzione polidroma
![](https://upload.wikimedia.org/wikipedia/commons/thumb/7/78/Multivalued_function.svg/220px-Multivalued_function.svg.png)
In matematica, una funzione polidroma (o funzione multivoca o multifunzione) è una relazione simile per alcuni aspetti a una funzione (in cui a ogni elemento del dominio è associato esattamente un elemento del codominio) ma che a differenza di quest'ultima può avere più valori, cioè a ogni elemento del dominio è associato almeno un elemento del codominio. Le funzioni polidrome sono usate soprattutto in analisi complessa.
Definizione
[modifica | modifica wikitesto]Siano e due insiemi. Una funzione polidroma da in è una funzione
che associa ad ogni elemento di un sottoinsieme non vuoto di (qui è l'insieme delle parti di ).
Una definizione equivalente vede una funzione polidroma come un sottoinsieme del prodotto cartesiano tale che per ogni in esiste almeno un in per cui (cioè una relazione binaria tra e "totale a sinistra").
Nel contesto delle funzioni polidrome, una funzione nel senso usuale del termine viene detta monodroma. In questo caso, è formato da un elemento solo per ogni . Utilizzando l'insieme delle parti viene infatti aggirato il problema di avere per ogni input una e una sola immagine, associando all'elemento di partenza un intero insieme, che è un unico elemento se considerato all'interno dell'insieme delle parti del codominio.
Differenza con le funzioni a valori vettoriali
[modifica | modifica wikitesto]È bene sottolineare la differenza tra funzioni polidrome e funzioni vettoriali, cioè a valori nel prodotto cartesiano di copie di , distinguendo due differenze fondamentali:
- una funzione vettoriale ha immagini con un numero di componenti sempre fisso a poiché sono vettori di ; al contrario, una funzione polidroma ha valori di cardinalità variabile, poiché sono sottoinsiemi arbitrari di .
- una funzione vettoriale ha come immagini ennuple ordinate, mentre le funzioni polidrome danno come immagini degli insiemi, che notoriamente sono indipendenti dall'ordine in cui si enumerano i suoi elementi.
Analisi complessa
[modifica | modifica wikitesto]Radice ennesima
[modifica | modifica wikitesto]La più semplice e immediata funzione polidroma è la radice ennesima di una variabile complessa:
intesa come inversa della funzione monodroma . Usando la rappresentazione polare e ricordando che ogni numero complesso espresso in forma polare deve riportare l'intervallo di definizione dell'argomento affinché il numero sia ben definito abbiamo:
Si vede chiaramente che è ben definito (ovviamente ), ma al contrario l'argomento della funzione radice ennesima:
è chiaramente non definitivamente determinato. Questo implica che anche se è univocamente determinato dalla determinazione principale del suo argomento, la sua inversa non è univocamente determinata, di conseguenza si avranno valori, in corrispondenza degli valori dell'argomento di . Per ritornare allo stesso punto bisogna dunque eseguire giri intorno all'origine. Da notare che la funzione resta monodroma se restringiamo l'intervallo di definizione dell'argomento ad un settore tra ed .
Logaritmo
[modifica | modifica wikitesto]Consideriamo un'altra tipica funzione polidroma che è anche discontinua su tutta una semiretta uscente dall'origine come:
cioè la branca principale del logaritmo, dove è la fase per che assume gli infiniti valori: . Ovviamente questo discorso vale anche per il logaritmo naturale e il logaritmo su qualsiasi base.
A partire dal logaritmo si può definire anche in campo l'esponenziazione a qualsiasi base come la funzione polidroma
Argomento
[modifica | modifica wikitesto]L'ultima funzione polidroma che analizziamo è l'argomento di un numero complesso, definito come
per ogni numero complesso non nullo . Ricordiamo che questa definizione ha senso poiché l'esponenziale complesso ristretto ai numeri puramente immaginari, cioè del tipo , assume valori nella sfera unitaria .
Sempre dalle proprietà dell'esponenziale si ricava che risulta, se è un particolare valore dell'argomento di ,
Altre caratteristiche della polidromia
[modifica | modifica wikitesto]Caratteristica di molte funzioni polidrome è l'esistenza di punti di singolarità non isolate che sono detti punti di diramazione di ordine , se compiendo giri nello stesso verso, la funzione assume sempre lo stesso valore iniziale; si dice invece un punto di diramazione di ordine infinito, se per quante volte si giri intorno al punto singolare la funzione non torna mai ad assumere lo stesso valore iniziale. A parte i due punti di diramazione in zero e all'infinito la funzione logaritmo è analitica. Ciò significa che si può sviluppare in serie di Taylor entro un cerchio di convergenza di centro di raggio :
Funzioni polidrome reali
[modifica | modifica wikitesto]Tipiche e molto usate funzioni polidrome a valori reali sono le inverse delle funzioni trigonometriche: esse sono periodiche, quindi similmente al logaritmo complesso, le loro inverse assumono una quantità numerabile di valori.
Rami e valori principali
[modifica | modifica wikitesto]Tutti questi esempi condividono una proprietà comune: essi possono essere visti come funzioni inverse di qualche altra applicazione (la potenza per le radici, l'esponenziale per il logaritmo). Infatti la funzione inversa è la multifunzione più facile da incontrare, poiché a priori la corrispondenza non genera un elemento, ma un insieme: esso è vuoto se non è parte dell'immagine di , è 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 : nel caso della radice reale, la scelta cade su ; nel logaritmo complesso viene scelto il valore tale che ; nell'arcoseno l'angolo scelto è sempre quello compreso tra e e così via.
Ognuna delle funzioni monodrome che si potrebbero definire al variare della scelta all'interno dell'insieme viene detto ramo dell'inversa; il valore effettivamente scelto dalla convenzione si dice il ramo principale e il valore che esso assume valore principale. Ad esempio, sempre per il seno: i rami di sono , , , eccetera, e il valore principale di è , mentre gli altri suoi valori non principali sono .
Esistono teoremi che assicurano, a seconda delle varie geometrie del dominio, la continuità di tali rami e la relazione tra essi: si verifica ad esempio che l'esistenza di un ramo continuo dell'argomento è condizione necessaria e sufficiente all'esistenza di un ramo continuo del logaritmo.
Voci correlate
[modifica | modifica wikitesto]- Analisi complessa
- Funzione di variabile complessa
- Serie complessa
- Superficie di Riemann
- Relazione (matematica)
- Funzione (matematica)
- Funzione inversa
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Eric W. Weisstein, Funzione polidroma, su MathWorld, Wolfram Research.
Controllo di autorità | GND (DE) 4270772-9 |
---|