Gelfand-Mazurov teorem i osnovni teorem algebre
I. Gogić, PMF-Matematički odsjek, Sveučilište u Zagrebu, Bijenička 30, 10000 Zagreb, Hrvatska
M. Tomašević, PMF-Matematički odsjek, Sveučilište u Zagrebu, Bijenička 30, 10000 Zagreb, Hrvatska
Sažetak
U ovom preglednom radu prezentiramo relativno elementaran dokaz slavnog Gelfand-Mazurovog teorema, koji kaže da je svaka kompleksna normirana algebra s dijeljenjem izomorfna algebri kompleksnih brojeva \mathbb{C}, te pomoću njega dajemo kratak dokaz Osnovnog teorema algebre.
1Uvod
Gelfand–Mazurov teorem (GMT u daljnjem), nazvan prema sovjetskom matematičaru I. Gelfandu i poljskom matematičaru S. Mazuru, je fundamentalni teorem teorije Banachovih algebri koji kaže da je svaka kompleksna normirana algebra s dijeljenjem izomorfna algebri kompleksnih brojeva \mathbb{C}. Taj rezultat je najprije na\-javio S. Mazur 1938. godine u
GMT se obično iskazuje za Banachove algebre (tj. za potpune normirane algebre) te se standardno dokazuje koristeći Liouvilleov teorem iz kompleksne analize. U ovom preglednom radu ćemo najprije prezentirati relativno elementaran dokaz GMT-a (Teorem
2Pregled osnovnih pojmova
Za vektorski prostor A nad poljem \mathbb{F} kažemo da je (asocijativna) algebra, ako je na A zadana operacija množenja, tj. asocijativna binarna operacija
A \times A \to A, \qquad (x,y) \mapsto xy
koja zadovoljava
(\lambda x+ \mu y)z=\lambda(xz)+\mu(yz) \qquad \text{i} \qquad x(\lambda y+ \mu z)=\lambda (xy)+ \mu(xz)
za sve \lambda,\mu \in \mathbb{F} te x,y,z \in A.
Za elemente x,y \in A kažemo da komutiraju ako vrijedi xy=yx. Ako svi elementi u A komutiraju, onda kažemo da je A komutativna algebra.
Za algebru A\neq \lbrace 0\rbrace kažemo da je unitalna (ili algebra s jedinicom) ako A sadrži element 1_{A} sa svojstvom
1_{A}x=x1_{A}=x \qquad \forall x\in A.
U tom slučaju element 1_{A} se zove jedinica u A i ona je jedinstvena.
Ako je A unitalna algebra, tada za element x \in A kažemo da je invertibilan ako postoji element x^{-1}\in A takav da je
x^{-1}x=xx^{-1}=1_{A}.
Element x^{-1}, ako postoji, je jedinstven i zovemo ga inverz od x. Skup svih invertibilnih elemenata algebre A označavamo s A^{\times}. Primijetimo da je A^{\times} grupa s obzirom na operaciju množenja.
Napomena 1. Neka je A unitalna algebra. Ako elementi x,y \in A komutiraju i ako je y \in A^{\times}, onda također komutiraju elementi x i y^{-1}. Naime xy=yx je ekvivalentno s y^{-1}x=xy^{-1}.
Ako je A unitalna algebra takva da vrijedi A^{\times}=A\setminus \lbrace 0\rbrace, tj. ako je svaki nenul element u A invertibilan, onda kažemo da je A algebra s dijeljenjem. Primijetimo da ako je A komutativna algebra s dijeljenjem tada je A polje koje sadrži \mathbb{F} kao potpolje (nakon identifikacije \mathbb{F} s \mathbb{F} 1_{A} \subseteq A).
Neka je A algebra. Za potprostor I od A kažemo da je obostrani ideal (ili samo ideal) u A ako vrijedi
IA=\lbrace xy : \, x \in I, y \in A\rbrace \subseteq I \qquad \text{i} \qquad AI=\lbrace xy : \, x\in A, y \in I\rbrace \subseteq I.
Očito su \lbrace 0} i A ideali u A koje zovemo trivijalni ideali. Ako A nema netrivijalnih ideala onda kažemo da je A prosta.
Napomena 2. Neka je A unitalna algebra. Tada A možemo promatrati kao (unitalni) prsten, tako da zaboravimo na dodatnu strukturu. Ako je I \subseteq A, onda je I ideal algebre A ako i samo ako je I ideal prstena A. Zaista, neka je I ideal prstena A. Tada za \lambda \in \mathbb{F} i x \in I imamo
\lambda x = \lambda (1_{A} x)=(\lambda 1_{A}) x \in I.
Dakle, I je potprostor od A pa stoga ideal algebre A. Obrat je trivijalan.
Napomena 3. Neka je A unitalna algebra i neka je I\neq A ideal u A. Tada vrijedi 1_{A}\not\in I. štoviše, I ne sadrži niti jedan invertibilni element, tj. I \cap A^{\times} = \emptyset. Posebno, ako je A algebra s dijeljenjem, tada je A prosta algebra.
Neka je I ideal u algebri A. U kvocijentni vektorski prostor A/I uvodimo operaciju množenja na sljede\' ci način:
(x+I)(y+I):=xy+I \qquad (x,y \in A).
Iz činjenice da je I (obostrani) ideal lako vidimo da ta definicija ima smisla, odnosno da ne ovisi o izboru predstavnika x i y klasa kvocijentnog prostora. S tako definiranim množenjem A/I postaje algebra koja se zove kvocijentna algebra algebre A po idealu I. Ako je 1_{A} jedinica u algebri A, očito je njena klasa 1_{A}+I jedinica u kvocijentnoj algebri A/I.
Napomena 4. Za ideal M\neq A algebre A kažemo da je maksimalan, ako M nije sadržan niti u jednom drugom idealu u A različitom od A. Ako je A unitalna komutativna algebra, tada se lako vidi da je ideal M u A maksimalan ako i samo ako je A/M polje (vidjeti npr. [7, Teorem 6.19]). Posebno, unitalna komutativna algebra A je prosta ako i samo ako je A polje.
Primjer 5. Neka je \mathbb{F} polje.
| \bullet |
[(a)] Promotrimo algebru polinoma \mathbb{F}[X] nad \mathbb{F} u jednoj varijabli X. Tada je \mathbb{F}[X] unitalna komutativna algebra, pri čemu je jedinica u \mathbb{F}[X] konstantni polinom 1. Kao što znamo, \mathbb{F}[X] je kao prsten domena glavnih ideala (npr. vidjeti [7, Teorem 8.9]). Drugim riječima, svaki ideal I prstena \mathbb{F}[X] (pa prema Napomeni
I=\langle p \rangle =p(X)\mathbb{F}[X]
za neki polinom p \in \mathbb{F}[X]. Nadalje, ideal I=\langle p \rangle je maksimalan ako i samo je polinom p ireducibilan, tj. p se ne može prikazati kao produkt dva nekonstanta polinoma u \mathbb{F}[X] (za detalje vidjeti [4, Sections III.5, III.6]). Prema Napomeni |
| \bullet |
[(b)] Neka je V konačnodimenzionalni vektorski prostor nad \mathbb{F}. Promotrimo skup \text{End}_{\mathbb{}}{F}(V) svih linearnih operatora s V u V. Tada je \text{End}_{\mathbb{}}{F}(V) unitalna algebra nad \mathbb{F} s obzirom na operacije
(\lambda T)v:=\lambda(T v), \quad (T_{1}+T_{2})(v):=T_{1}v+T_{2}v \quad \text{i} \quad (T_{1}T_{2})(v):=T_{1}(T_{2}v),
gdje su T_{1},T_{2} \in \text{End}_{\mathbb{}}{F}(V), v \in V te \lambda \in \mathbb{F}. Jedinica u \text{End}_{\mathbb{}}{F}(V) je jedinični operator. Lako se provjeri da je \text{End}_{\mathbb{}}{F}(V) prosta algebra koja je nekomutativna čim je \dim V \gt 1. |
Normirana algebra je algebra A nad poljem \mathbb{F}=\mathbb{R} ili \mathbb{F}=\mathbb{C} na kojoj je zadana submultiplikativna norma, tj. norma \Vert \cdot\Vert takva da vrijedi
\Vert xy\Vert \leq \Vert x\Vert \Vert y\Vert \qquad \forall x,y \in A.
Napomena 6. Neka je A normirana algebra.
| \bullet |
[(a)] Operacija množenja (x,y)\mapsto xy je neprekidna kao funkcija A \times A \to A. To slijedi direktno iz nejednakosti
\begin{eqnarray*} \Vert xy-x'y'\Vert & = & \Vert x(y-y')+(x-x')y'\Vert \leq \Vert x(y-y')\Vert + \Vert (x-x')y'\Vert \\ &\leq& \Vert x\Vert \Vert y-y'\Vert + \Vert x-x'\Vert \Vert y'\Vert , \end{eqnarray*}
gdje su x,x',y,y' \in A. |
| \bullet |
[(b)] Ako je A unitalna, tada je \Vert 1_{A}\Vert \geq 1. To slijedi direktno iz nejednakosti
\Vert 1_{A}\Vert =\Vert 1_{A}^{2}\Vert \leq \Vert 1_{A}\Vert ^{2}
i činjenice da je \Vert 1_{A}\Vert \neq 0 (jer je 1_{A} \neq 0). |
Primjer 7. Neka je \mathbb{F}=\mathbb{R} ili \mathbb{F}=\mathbb{C}.
| \bullet |
[(a)] Algebra polinoma \mathbb{F}[X] nad \mathbb{F} u jednoj varijabli X (Primjer
\Vert p\Vert := \sup\lbrace |p(\lambda)| :\, |\lambda|\leq 1\rbrace .
|
| \bullet |
[(b)] Neka je V konačnodimenzionalni normiran prostor nad poljem \mathbb{F}. Tada algebra \text{End}_{\mathbb{}}{F}(V) (Primjer
\Vert T\Vert _{o}:=\sup\lbrace \Vert Tx\Vert : \, \Vert x\Vert \leq 1\rbrace \qquad (T \in \text{End}_{\mathbb{}}{F}(V))
(vidjeti npr. [9, Teorem 2.24]). |
3Dokaz Gelfand-Mazurovog teorema
Najprije iskažimo Gelfand-Mazurov teorem.
Teorem 8. [Gelfand-Mazurov teorem] Neka je A kompleksna normirana algebra s dijeljenjem. Tada je
A = \mathbb{C}1_{A} = \lbrace \lambda 1_{A} : \, \lambda \in \mathbb{C}\rbrace .
U dokazu Teorema
K(x_{0},r)=\lbrace x \in A : \, \Vert x-x_{0}\Vert \lt r\rbrace \qquad \text{i} \qquad \overline{K}(x_{0},r)=\lbrace x \in A : \, \Vert x-x_{0}\Vert \leq r\rbrace .
Nadalje, za x \in A i polinom p \in \mathbb{C}[z], p(z)=\alpha_{0} +\alpha_{1} z+ \ldots + \alpha_{n} z^{n}, definiramo
p(x):=\alpha_{0} 1_{A} + \alpha_{1} x+ \ldots + \alpha_{n} x^{n} \in A.
Lema 9. Neka je A normirana algebra s dijeljenjem. Tada je invertiranje x \mapsto x^{-1} neprekidno, kao funkcija A^{\times} \to A^{\times}.
Dokaz. Neka je x \in A^{\times} proizvoljan i neka je
Primijetimo da je y \in A^{\times}, jer bismo u protivnom imali y=0 pa bi (1) povlačilo
6 (b). Imamo
(1)
y \in K\left(x,\frac{1}{2\Vert x^{-1}\Vert }\right).
\Vert 1_{A}\Vert =\Vert xx^{-1}\Vert \leq \Vert x\Vert \Vert x^{-1}\Vert \lt \frac{1}{2},
što je kontradikcija s Napomenom
\Vert y^{-1}\Vert - \Vert x^{-1}\Vert \le \Vert y^{-1}-x^{-1}\Vert = \Vert y^{-1}(x-y)x^{-1}\Vert \le \Vert y^{-1}\Vert \Vert x - y\Vert \Vert x^{-1}\Vert \lt \frac{1}{2} \Vert y^{-1}\Vert
pa je \Vert y^{-1}\Vert \lt 2\Vert x^{-1}\Vert. Gornji račun sada daje
\Vert y^{-1}-x^{-1}\Vert \lt 2 \Vert x^{-1}\Vert ^{2}\Vert x-y\Vert ,
iz čega direktno slijedi neprekidnost invertiranja.
\ \blacksquare
Napomena 10. Kako je \Vert 1_{A}\Vert \geq 1 (Napomena 6 (b)), iz dokaza Leme 9 za x=1_{A} dobivamo da za sve y \in K\left(1_{A},\frac{1}{2\Vert 1_{A}\Vert }\right) vrijedi y \in A^{\times} te \Vert y^{-1}\Vert \lt 2\Vert 1_{A}\Vert.
Lema 11. Neka je f : \mathbb{C} \to \mathbb{R} neprekidna funkcija takva da je
Tada f postiže maksimum na \mathbb{C}.
(2)
\lim_{|z| \to +\infty} f(z) = 0.
Proof. Najprije primijetimo da iz (2 ) slijedi da je f ograničena na \mathbb{C} i neka je
2 ) povlači da postoji R \gt 0 takav da je f(z) \lt \frac{M}{2} za sve z \in \mathbb{C}, |z| \gt R. S druge strane, restrikcija od f na \overline{K}(0,R) je neprekidna na kompaktnom skupu pa postiže maksimum. Očito je taj maksimum ujedno i maksimum funkcije f.
M := \sup_{z \in \mathbb{C}} f(z).
Također, (
\ \blacksquare
Dokaz Teorema 8 . Pretpostavimo suprotno, tj. da postoji x \in A \setminus \mathbb{C}1_{A}. Očito za sve \alpha,\beta \in \mathbb{C}, \alpha \ne 0 imamo \alpha x + \beta 1_{A} \in A\setminus \mathbb{C}1_{A}. Posebno je x - \lambda 1_{A} \ne 0 za sve \lambda \in \mathbb{C} pa je prema Lemi 9 funkcija \varphi : \mathbb{C} \to A zadana s
Naime, za |\lambda|\gt 2\Vert x\Vert \Vert 1_{A}\Vert imamo 1_{A}- \lambda^{-1}x\in K\left(1_{A},\frac{1}{2\Vert 1_{A}\Vert }\right) pa je prema Napomeni 10
11 postoji \lambda_{0} \in \mathbb{C} takav da je
Naime, u suprotnom element x \in A \setminus \mathbb{C}1_{A} zamijenimo elementom
4 ) slijedi da za sve \lambda \in \mathbb{C} imamo
Pokazat ćemo da (5 ) povlači
Jednom kada pokažemo (6 ), bit će moguće element x \in A \setminus \mathbb{C}1_{A} zamijeniti elementom x - 2^{-1}1_{A} \in A \setminus \mathbb{C}1_{A}, odakle će induktivno slijediti
3 )
6 ). Prema (5 ) znamo da je \Vert \varphi(2^{-1})\Vert \le 1 pa pretpostavimo da je
Za n \in \mathbb{N} označimo s \xi_{0}, \ldots, \xi_{n-1} sve n-te korijene iz jedinice. Promotrimo polinom p \in \mathbb{C}[z] definiran s1
1 ) slijedi
Iz (8 ) i (5 ) dobivamo
Definirajmo funkciju f: \mathbb{N} \to \mathbb{N}\cup\lbrace 0\rbrace s
9 ), (7 ) i (5 ) dobivamo
Kako je \Vert x^{-1}\Vert =1, za dovoljno velike n \in \mathbb{N} imamo 1_{A} - (2^{-1}x^{-1})^{n} \in K\left(1_{A}, \frac{1}{2\Vert 1_{A}\Vert }\right), pa je prema Napomeni 10
10 ) dobivamo
\varphi(\lambda) := (x-\lambda 1_{A})^{-1}
dobro definirana i neprekidna na \mathbb{C}. Nadalje za sve \lambda \in \mathbb{C}^{\times} imamo
\Vert \varphi(\lambda)\Vert \le |\lambda^{-1}|\Vert (\lambda^{-1}x-1_{A})^{-1}\Vert ,
odakle slijedi
(3)
\lim_{|\lambda|\to +\infty} \Vert \varphi(\lambda)\Vert =0.
\Vert (\lambda^{-1}x-1_{A})^{-1}\Vert \lt 2 \Vert 1_{A}\Vert .
Stoga prema Lemi
\Vert \varphi(\lambda_{0})\Vert = \sup_{\lambda \in \mathbb{C}} \Vert \varphi(\lambda)\Vert .
Bez smanjenja općenitosti možemo pretpostaviti da je
(4)
\lambda_{0} = 0 \qquad \text{i} \qquad \Vert \varphi(\lambda_{0})\Vert = 1.
y:= (x+\lambda_{0} 1_{A})\Vert \varphi(\lambda_{0})\Vert \in A \setminus \mathbb{C}1_{A}.
Iz (
(5)
\Vert (x-\lambda 1_{A})^{-1}\Vert = \Vert \varphi(\lambda)\Vert \le \Vert \varphi(0)\Vert = \Vert x^{-1}\Vert = 1.
Pokazat ćemo da (
(6)
\Vert (x-2^{-1}1_{A})^{-1}\Vert =\Vert \varphi(2^{-1})\Vert =1.
\Vert (x-(2^{-1}n)1_{A})^{-1}\Vert =1 \qquad \forall n \in \mathbb{N}.
Ovo je kontradikcija, jer je prema (
\lim_{n\to\infty} \Vert \varphi(2^{-1}n)\Vert = \lim_{n\to\infty}\Vert (x-(2^{-1}n)1_{A})^{-1}\Vert = 0.
Preostaje dokazati jednakost (
\Vert \varphi(2^{-1})\Vert \lt 1.
Neka je 0\lt \delta \lt 2^{-1} takav da je \Vert \varphi(2^{-1})\Vert = 1-2\delta. Iz neprekidnosti funkcije \varphi u 2^{-1} slijedi da postoji \eta \gt 0 sa svojstvom
(7)
|\lambda - 2^{-1}| \le \eta \implies \Vert \varphi(\lambda)\Vert \lt 1-\delta.
Za n \in \mathbb{N} označimo s \xi_{0}, \ldots, \xi_{n-1} sve n-te korijene iz jedinice. Promotrimo polinom p \in \mathbb{C}[z] definiran s
p(z):= z^{n}-2^{-n} = \prod_{j=0}^{n-1}(z-2^{-1}\xi_{j}).
Imamo
nz^{n-1} = p'(z) = \sum_{j=0}^{n-1} \prod_{\stackrel{k=0}{k \ne j}}^{n-1} (z-2^{-1}\xi_{k})
pa je prema Napomeni
\begin{align*} p(x)\left(\sum_{j=0}^{n-1}(x-2^{-1}\xi_{j} 1_{A})^{-1}\right) &= (x^{n}-2^{-n}1_{A})\left(\sum_{j=0}^{n-1}(x-2^{-1}\xi_{j} 1_{A})^{-1}\right) \\ &= \left(\prod_{j=0}^{n-1}(x-2^{-1}\xi_{j} 1_{A})\right) \left(\sum_{j=0}^{n-1}(x-2^{-1}\xi_{j} 1_{A})^{-1}\right) \\ &= \sum_{j=0}^{n-1} \prod_{\stackrel{k=0}{k \ne j}}^{n-1} (x-2^{-1}\xi_{k} 1_{A}) \\ &= p'(x) \\ &= nx^{n-1}. \end{align*}
Iz prethodnog računa (i Napomene
\begin{align*} \sum_{j=0}^{n-1}(x-2^{-1}\xi_{j} 1_{A})^{-1} &= nx^{n-1}(x^{n}-2^{-n}1_{A})^{-1}\\ &= nx^{n-1}x^{-n}(1_{A}-(2^{-1}x^{-1})^{n})^{-1}\\ &= nx^{-1}(1_{A} - (2^{-1}x^{-1})^{n})^{-1}\\ &= nx^{-1}((1_{A} - (2^{-1}x^{-1})^{n})+ (2^{-1}x^{-1})^{n})(1_{A} - (2^{-1}x^{-1})^{n})^{-1}\\ &= nx^{-1}(1_{A} + (2^{-1}x^{-1})^{n}(1_{A} - (2^{-1}x^{-1})^{n})^{-1}), \end{align*}
odnosno
(8)
\frac{1}{n} \sum_{j=0}^{n-1}\varphi(2^{-1}\xi_{j}) = x^{-1}+x^{-1}(2^{-1}x^{-1})^{n}(1_{A} - (2^{-1}x^{-1})^{n})^{-1}.
(9)
\begin{align} \frac{1}{n} \sum_{j=0}^{n-1}\Vert \varphi(2^{-1}\xi_{j})\Vert &\ge \frac{1}{n} \left\Vert \sum_{j=0}^{n-1} \varphi(2^{-1}\xi_{j})\right\Vert \\ &= \left\Vert x^{-1}+x^{-1}(2^{-1}x^{-1})^{n}(1_{A} - (2^{-1}x^{-1})^{n})^{-1}\right\Vert \\ &\ge \Vert x^{-1}\Vert -\Vert x^{-1}(2^{-1}x^{-1})^{n}(1_{A} - (2^{-1}x^{-1})^{n})^{-1}\Vert \notag\\ &\ge \Vert x^{-1}\Vert -\Vert x^{-1}\Vert \Vert 2^{-1}x^{-1}\Vert ^{n}\Vert (1_{A} - (2^{-1}x^{-1})^{n})^{-1}\Vert \notag\\ &= 1 - 2^{-n}\Vert (1_{A} - (2^{-1}x^{-1})^{n})^{-1}\Vert \notag. \end{align}
\begin{eqnarray*} f(n)&:=& \text{card}\lbrace 0 \le j \le n-1 : \, |2^{-1}\xi_{j} - 2^{-1}| \le \eta\rbrace \\ &=& \text{card}\lbrace 0 \le j \le n-1 : \, |\xi_{j} - 1| \le 2\eta\rbrace . \end{eqnarray*}
Tada iz (
(10)
\frac{f(n)(1-\delta)+(n-f(n))}{n} \gt 1-2^{-n}\Vert (1_{A} - (2^{-1}x^{-1})^{n})^{-1}\Vert .
\lim_{n\to\infty} (1-2^{-n}\Vert (1_{A} - (2^{-1}x^{-1})^{n})^{-1}\Vert ) = 1.
S druge strane, neka je \ell duljina luka kružnice |z| = 1 određenog s |z-1| \le 2\eta. Tada za sve n \in \mathbb{N} imamo
\frac{n}{2\pi} \ell - 1 \leq f(n)\leq \frac{n}{2\pi} \ell + 1,
pa je prema teoremu o sendviču
\lim_{n \to \infty} \frac{f(n)}{n}=\frac{\ell}{2\pi}.
Prelaskom na limes u relaciji (
1 - \frac{\ell}{2\pi}\delta \ge 1,
što je kontradikcija. Time je dokaz teorema završen.
\ \blacksquare
Korolar 12. Neka je A konačnodimenzionalna kompleksna algebra s dijeljenjem. Tada je A=\mathbb{C}1_{A}.
Dokaz. Prema Gelfand-Mazurovom teoremu, dovoljno je dokazati da je A moguće opskrbiti sa submultiplikativnom normom, tj. da postoji norma \Vert \cdot\Vert _{*} na A s obzirom na koju je (A, \Vert \cdot\Vert _{*}) normirana algebra.
U tu svrhu naprije izaberimo proizvoljnu normu \Vert \cdot\Vert na A. Npr., kako je n:=\dim A \lt \infty, postoji baza \lbrace e_{1}, \ldots, e_{n}\rbrace za A. Tada za svaki x \in A postoje jedinstveni skalari \alpha_{1}(x), \ldots , \alpha_{n}(x) takvi da je7 (b)). Za svako a \in A neka je L_{a} \in \text{End}_{\mathbb{}}{C}(A) pripadni operator lijevog množenja s a, tj. L_{a}(x):=ax (x \in A). Definirajmo
U tu svrhu naprije izaberimo proizvoljnu normu \Vert \cdot\Vert na A. Npr., kako je n:=\dim A \lt \infty, postoji baza \lbrace e_{1}, \ldots, e_{n}\rbrace za A. Tada za svaki x \in A postoje jedinstveni skalari \alpha_{1}(x), \ldots , \alpha_{n}(x) takvi da je
x=\alpha_{1}(x)e_{1} + \ldots + \alpha_{n}(x)e_{n},
pa možemo definirati
\Vert x\Vert :=\max\lbrace |\alpha_{1}(x)|, \ldots , |\alpha_{n}(x)|\rbrace .
Promotrimo algebru \text{End}_{\mathbb{}}{C}(A) svih linearnih operatora na A, opskrbljenu s operatorskom normom \Vert \cdot\Vert _{o} (Primjer
\Vert a\Vert _{*}:=\Vert L_{a}\Vert _{o}=\sup\lbrace \Vert ax\Vert : \, \Vert x\Vert \leq 1\rbrace \qquad (a \in A).
Očito je \Vert \cdot\Vert _{*} norma na A. Kako je operatorska norma submultiplikativna, za sve a,b \in A imamo
\Vert ab\Vert _{*}=\Vert L_{ab}\Vert _{o}=\Vert L_{a} L_{b}\Vert _{o}\leq\Vert L_{a}\Vert _{o}\Vert L_{b}\Vert _{o}=\Vert a\Vert _{*}\Vert b\Vert _{*}.
Dakle, (A, \Vert \cdot\Vert _{*}) je normirana algebra.
\ \blacksquare
Napomena 13. čitatelj bi se mogao zapitati vrijedi li tvrdnja Korolara 12 i bez pretpostavke da je A konačne dimenzije. Odgovor je negativan. Naime, algebra \mathbb{C}((X)) formalnih Laurentovih redova nad \mathbb{C} u jednoj varijabli X (vidjeti npr. [2, Example 1.41]) je primjer beskonačnodimenzionalne kompleksne algebre s dijeljenjem. Posebno, iz GMT-a slijedi da na algebri \mathbb{C}((X)) nije moguće definirati normu uz koju bi ona postala normirana algebra. Argument iz dokaza Korolara 12 ne prolazi, jer zbog beskonačnodimenzionalnosti od \mathbb{C}((X)) operatori lijevog množenja na \mathbb{C}((X)), s obzirom na proizvoljnu normu na \mathbb{C}((X)), nisu nužno ograničeni.
4Dokaz osnovnog teorema algebre preko Gelfand-Mazurovog teorema
Teorem 14. [Osnovni teorem algebre] Polje kompleksnih brojeva \mathbb{C} je algebarski zatvoreno. Drugim riječima, svaki nekonstantni polinom p \in \mathbb{C}[z] ima korijen u \mathbb{C}.
Dokaz. Dovoljno je dokazati da ako je p \in \mathbb{C}[z] ireducibilan polinom, tada je p nužno stupnja 1.
Neka je stoga5 (a) ireducibilnost od p je ekvivalentna činjenici da je kvocijentna algebra A:=\mathbb{C}[z]/\langle p \rangle algebra s dijeljenjem. Budući da je p stupnja n, A je n-dimenzionalna s bazom
12 slijedi n=\dim A=1, čime je dokaz teorema završen.
Neka je stoga
p(z)=\alpha_{0} + \ldots + \alpha_{n} z^{n} \in \mathbb{C}[z]
ireducibilan polinom, gdje je n\in \mathbb{N} i \alpha_{n} \neq 0. Trebamo pokazati da je n=1. Neka je \langle p \rangle=p(z)\mathbb{C}[z] glavni ideal u \mathbb{C}[z] generiran s p. Prema Primjeru
\lbrace 1+\langle p\rangle, \ldots, z^{n-1}+\langle p\rangle\rbrace .
Iz Korolara
\ \blacksquare
5Zaključak
Gelfand-Mazurov teorem (GMT) je jedan on najfundamentalnijih teorema teorije normiranih algebri. Osim njegovog teorijskog značaja, on ima i mnogobrojne primjene u raznim područjima matematike. U ovom preglednom radu smo demonstrirali relativno elementaran dokaz GMT-a te smo pokazali kako iz njega na jednostavan način možemo izvesti Osnovni teorem algebre.
Jedna od direktnih posljedica GMT-a je da je centar svake unitalne proste kompleksne normirane algebre izomorfan s \mathbb{C}. Između ostalih, ta činjenica se esencijalno koristi u diplomskom radu drugog autora
Bibliografija
| [1] | J. M. Almira, An application of the Gelfand-Mazur theorem: the fundamental theorem of algebra revisited, Divulgaciones Matem\' aticas, 13 (2) (2005), 123–125. |
| [2] | M. Brešar, Introduction to Noncommutative Algebra, Universitext, Springer, 2014. |
| [3] | I. Gelfand, Normierte Ringe, Mat. Sbornik N. S. 9 (51) (1941), 3–24. |
| [4] | T. W. Hungerford, Algebra (2nd ed.), Springer-Verlag 1980. |
| [5] | S. Kametani, An elementary proof of the fundamental theorem of normed fields, J. Math. Soc. Japan 4 (1) (1952), 96–99. |
| [6] | S. Mazur, Sur les anneaux lin\'eaires, C. R. Acad. Sci. Paris 207 (1938), 1025–1027. |
| [7] |
B. širola, Algebarske strukture, skripta, PMF-MO, Zagreb. dostupno na https://web.math.pmf.unizg.hr/nastava/alg/predavanja/ASpred.pdf . |
| [8] | M. Tomašević, O epimorfnoj slici centraC^{*}-algebre, diplomski rad, 2019, PMF-MO, Zagreb. |
| [9] | Š. Ungar, Matematička analiza u \mathbb{R}^{n}, Tehnička knjiga, Zagreb, 2005. |
