Teorema fondamentale dell'algebra

Da Wikipedia, l'enciclopedia libera.

Il teorema fondamentale dell'algebra asserisce che ogni polinomio non costante a coefficienti complessi ammette una radice complessa.

Dal teorema segue immediatamente che un'equazione polinomiale (ovvero formata da un polinomio eguagliato a zero, in una variabile) di grado n ammette sempre n soluzioni in campo complesso, tenuto conto che alcune possono essere multiple.

Indice

1 Storia
2 Dimostrazioni
- 2.1 Dimostrazione basata sull'analisi complessa
- 2.2 Dimostrazione topologica
3 Campi algebricamente chiusi
4 Curiosità
5 Collegamenti esterni

[modifica] Storia

La prima enunciazione del teorema è stata fatta dal matematico di origine fiamminga Albert Girard nel 1629 nel libro L'invention en algebre. Ma il teorema non veniva dimostrato. Nel 1702 Leibniz sostenne di aver trovato un controesempio con il polinomio $x 4 + 1$ . Nel 1742 Nicolaus Bernoulli e Christian Goldbach in una lettera inviata allo stesso Leibniz dimostrarono l'esistenza di soluzioni complesse del polinomio.

Il primo tentativo serio di dimostrazione del teorema fu operato da d'Alembert nel 1746, il quale però utilizzò un teorema non ancora dimostrato (la dimostrazione fu fatta da Puiseux nel 1751 utilizzando lo stesso teorema fondamentale dell'algebra). Altri tentativi di dimostrazione furono portati avanti nel 1749 da Eulero, Lagrange nel 1772, Laplace nel 1795.

Finalmente nel 1799 Gauss riuscì nell'intento sfruttando i tentativi dei suoi predecessori. Infine, nel 1814 Jean Robert Argand, un impiegato di banca appassionato di matematica, pubblicò un'altra dimostrazione molto più semplice rispetto a quella di Gauss.

[modifica] Dimostrazioni

Esistono numerose dimostrazioni del teorema fontamentale dell'algebra che coinvolgono settori molto diversi della matematica come la topologia, l'analisi complessa e l'algebra.

[modifica] Dimostrazione basata sull'analisi complessa

Sia $p (z)$ un polinomio complesso, tale che $p(z)\neq 0$ per ogni $z$ complesso. Allora la funzione

$f(z)=\frac{1}{p(z)}$

è una funzione intera, cioè è una funzione olomorfa definita per ogni valore complesso $z$ . D'altra parte

$\lim_{z\to \infty} |p(z)|=\infty$

implica

$\lim_{z\to \infty} |f(z)|=0$

e quindi la funzione $| f (z) |$ è limitata. Per il teorema di Liouville $f (z)$ è costante, da cui segue che anche $p (z)$ è costante.

Quindi gli unici polinomi senza zeri sono i polinomi costanti.

[modifica] Dimostrazione topologica

Consideriamo un polinomio a coefficienti complessi non costante

$P(z)=a_n z^n+a_{n-1}z^{n-1}+...+a_1 z+a_0\,$

vogliamo dimostrare che esiste un punto $α$ tale che $P (α) = 0$ . A tale scopo possiamo considerare il caso in cui $a n = 1$ (a cui ci si può ricondurre dividendo).

Supponiamo per assurdo che P non ammetta radici, cioè che l'origine non sia nella sua immagine. Consideriamo sul piano complesso la circonferenza di centro l'origine e raggio r parametrizzata da

γ r (t) = r e i t

Il polinomio P rappresenta una funzione continua del piano complesso in sè stesso e come tale manderà la circonferenza $γ r$ in una curva piana parametrizzata $P (γ r)$ . La curva così ottenuta non passerà per l'origine dal momento che abbiamo assunto che 0 non è nell' immagine di P, e questo qualunque sia il raggio r. Quindi possiamo considerare l' indice di avvolgimento di $P (γ r)$ rispetto all'origine $I (P (γ r),0)$

Poniamo

$\Phi(r)=I(P(\gamma_r),0)\,$

Poiché l' indice di avvolgimento non varia per deformazioni della curva tali che questa non tocchi mai l'origine (è un invariante omotopico) la funzione $Φ(r)$ sarà continua e poiché l'indice assume solo valori interi dovrà anche essere una funzione costante.

Ora cosideriamo il valore di $Φ(r)$ per due differenti valori di r:

per r=0 la curva $γ r$ è costituita da un unico punto (l'origine) e la sua immagine sarà quindi anch'essa un unico punto che non può essere l'origine. In questo caso evidentemente si ha che $I (P (γ 0),0) = Φ(0) = 0$ .
per r abbastanza grandi affinché si abbia

$r>1, \quad r>|a_{n-1}|+...+|a_0|$

abbiamo che la curva

P (γ r)

può essere deformata con continuità nella curva $\gamma^n_r$ definita da

$t \mapsto r^n e^{int}$

immagine di

γ r

mediante la funzione polinomiale

z n

. Poiché l'indice di questa curva rispetto all'origine è n e per l'invarianza omotopica possiamo dedurre che

Φ(r) = n

Per dimostrare questo osserviamo che finché z si trova nella circonferenza

| z | = r

vale la seguente catena di disuguaglianze:

$|P(z)-z^n|=|a_{n-1}z^{n-1}+...+a_1 z+a_0|\,$

$\leq |a_{n-1}||z|^{n-1}+...+|a_1| |z|+|a_0|\,$

$= |a_{n-1}|r^{n-1}+...+|a_1| r+|a_0|\,$

$< r^{n-1}(|a_{n-1}|+...+|a_1|+|a_0|)\,$

$< r^{n-1}\cdot r =r^n=|z^n|\,$

questo significa che fintanto che z si trova sulla circonferenza di raggio r la distanza che separa il punto P(z) della curva immagine dal punto

z n

è minore di quella che separa il punto

z n

dall'origine, dunque il segmento che congiunge P(z) a

z n

non tocca l'origine per ogni z in

γ r

e questo permette di definire una deformazione continua di

P (γ r)

in $\gamma^n_r$ che non faccia passare la curva per l'origine.

Il fatto che $Φ(r)$ assuma valori differenti per differenti raggi contradice il fatto che deve essere una funzione costante, e siamo quindi giunti ad un assurdo da cui concludiamo che l'ipotesi che P non avesse nessuna radice è impossibile.

[modifica] Campi algebricamente chiusi

Per approfondire, vedi la voce Campo algebricamente chiuso.

Si dice che il campo complesso C è un campo algebricamente chiuso per indicare il fatto che ogni polinomio di grado almeno 1, a coefficienti in C, ha una radice in C, come stabilisce il teorema qui esposto. Tale proprietà non è condivisa dai sottocampi Q ed R come si può vedere subito considerando i polinomi

$\ x^2-2$

che non ha radici nel campo Q dei razionali, e

$\ x^2+1$

che non ha radici nel campo R dei reali.

[modifica] Curiosità

In Francia il teorema fondamentale dell'algebra viene chiamato Teorema di D'Alembert, con una sorta di campanilismo che colpisce anche gli italiani che si ostinano a chiamare Teorema di Dini quello che per tutti è il teorema delle funzioni implicite.