title: Funzione algebrica
text: # Funzione algebrica
  
  In matematica, intuitivamente le funzioni algebriche si possono considerare come funzioni costruite attraverso un numero finito di applicazioni delle quattro operazioni dell'aritmetica, dell'elevamento a potenza e dell'estrazione della radice n-esima. Questo in prima approssimazione, perché le funzioni algebriche, nei casi irriducibili e per il teorema fondamentale della Teoria di Galois, non necessariamente sono espresse con radicali.
  
  Con più precisione, si dice che una funzione f (x) è algebrica se soddisfa identicamente la relazione
  
      $p(x,f(x))=0$
  
  dove p (x, y) è un polinomio in x e y con coefficienti interi.
  
  Si noti che un qualsiasi polinomio è una funzione algebrica, poiché i polinomi sono semplicemente le soluzioni per y dell'equazione
  
      $y-p(x)=0.$
  
  Più in generale ogni funzione razionale è algebrica, essendo soluzione di
  
      $q(x)y-p(x)=0\Rightarrow y={\frac {p(x)}{q(x)}}.$
  
  La radice n-esima di un qualunque polinomio è una funzione algebrica, poiché risolve l'equazione
  
      $y^{n}-p(x)=0\Rightarrow y={\sqrt[{n}]{p(x)}}.$
  
  La funzione inversa di una funzione algebrica è una funzione algebrica. Si supponga che y sia una soluzione di
  
      $a_{n}(x)y^{n}+\cdots +a_{0}(x),$
  
  per ogni valore di x, allora anche x è una soluzione di questa equazione per ogni valore di y. Infatti scambiando i ruoli di x e y e raccogliendo i termini,
  
      $b_{m}(y)x^{m}+b_{m-1}(y)x^{m-1}+\cdots +b_{0}(y)=0.$
  
  si ottiene la funzione inversa, anch'essa algebrica, scrivendo x come funzione di y.
  
  Comunque non tutte le funzioni hanno l'inversa. Per esempio, y = $x^2$ non ha inversa perché non è iniettiva. L'inversa è la funzione algebrica $x=\pm {\sqrt {y}}$. Questo è un esempio per capire come le funzioni algebriche, spesso, siano funzioni a più valori.
  
  Un altro modo per capire questo punto, che diventerà importante in seguito, è che una funzione algebrica ha per grafico una curva algebrica.
  
  ## Il ruolo dei numeri complessi
  
  Da una prospettiva algebrica, i numeri complessi sono uno strumento naturale per lo studio delle funzioni algebriche. Prima di tutto per il teorema fondamentale dell'algebra, i numeri complessi formano un campo algebricamente chiuso. Quindi ogni relazione polinomiale
  
      p(y, x) = 0
  
  ha sicuramente almeno una soluzione (e in generale un numero di soluzioni che non supera il grado di p in x) per y in ogni punto x, supposto che y possa assumere sia valori reali sia complessi. Così si risolvono i problemi relativi alla scelta del dominio delle funzioni algebriche.
  
  Inoltre, anche se si opera con funzioni algebriche reali, un modo semplice per esprimerle è proprio l'utilizzo dei numeri complessi. Per esempio se si considera la funzione algebrica determinata dall'equazione
  
      $y^{3}-xy+1=0.$
  
  usando la formula per una cubica, una soluzione è
  
      $y=-{\frac {(1+i{\sqrt {3}})x}{2^{2/3}{\sqrt[{3}]{729-108x^{3}}}}}-{\frac {(1-i{\sqrt {3}}){\sqrt[{3}]{-27+{\sqrt {729-108x^{3}}}}}}{6{\sqrt[{3}]{2}}}}.$
  
  Non c'è modo di esprimere questa funzione utilizzando solo numeri reali, anche se la funzione risultante è a valori reali.
  
  Inoltre l'uso dei numeri complessi permette di avere a disposizione le tecniche dell'analisi complessa per discutere le funzioni algebriche. In particolare, si può usare la formula di Cauchy per mostrare che ogni funzione agebrica è di fatto una funzione analitica.
  
  Formalmente, sia p(x, y) un polinomio complesso nelle variabili complesse x e y. Si supponga che $x_0$ ∈ C sia tale che il polinomio $p(x_0,y)$ di y abbia n zeri distinti. Si può dimostrare che la funzione algebrica è analitica in un intorno di $x_0.$ Si scelga un sistema di n dischi non sovrapposti $Δ_i,$ ciascuno contenente uno di questi zeri. Allora per la formula di Cauchy
  
      ${\frac {1}{2\pi i}}\oint _{\partial \Delta _{i}}{\frac {p_{y}(x_{0},y)}{p(x_{0},y)}}\,dy=1.$
  
  Per continuità, ciò vale per ogni x in un intorno di $x_0.$ In particolare, p(x,y) ha una sola radice in $Δ_i,$ data dal teorema del residuo:
  
      $f_{i}(x)={\frac {1}{2\pi i}}\oint _{\partial \Delta _{i}}y{\frac {p_{y}(x,y)}{p(x,y)}}\,dy$
  
  che è una funzione analitica.
  
  