Algebra su campo

spazio vettoriale dotato anche di un'operazione bilineare

In matematica, per algebra su campo si intende uno spazio vettoriale definito su un campo e munito di un'operazione binaria "compatibile" con le altre leggi di composizione (o moltiplicazione) degli elementi dello spazio.

Una generalizzazione diretta riguarda la possibilità di servirsi, invece che di un campo di base, di un qualsiasi anello commutativo.

DefinizioniModifica

Consideriamo un campo  , uno spazio vettoriale   su   e un'operazione binaria su tale spazio

 

Supponiamo inoltre che l'operazione   sia bilineare, cioè tale che:

  •  
  •  
  •  
  •  

con   e   scalari arbitrari in   e con  ,   e   vettori arbitrari in  .

Lo spazio   arricchito con questa operazione si dice algebra sul campo   e   si chiama campo di base dell'algebra  . In genere l'operazione binaria viene chiamata "moltiplicazione" dell'algebra e l'oggetto fornito da un'espressione come   viene chiamato prodotto di   e  . Tuttavia l'operazione binaria in molte specie particolari di algebre su campo viene indicata con nomi e notazioni specifiche.

Strutture simili alle algebre su campo, ma un po' più generali si possono definire ricorrendo, invece che ad un campo, ad un anello commutativo K: abbiamo bisogno di un modulo   su   e un'operazione di moltiplicazione bilineare che soddisfa le stesse identità sopra riportate; allora   è una K-algebra, e K è anello base di  .

Due algebre   e  , sullo stesso campo  , si dicono isomorfe se e solo se esiste un'applicazione biiettiva lineare rispetto a  ,   tale che   per   e   elementi arbitrari di  . Per molte considerazioni generali due algebre su campo isomorfe sono essenzialmente la stessa entità; esse differiscono nei modi usati per chiamare e per denotare i loro elementi.

ProprietàModifica

Per le algebre su un campo, la moltiplicazione bilineare da   ad   è completamente determinata dalla moltiplicazione degli elementi della base di  . Viceversa, una volta che la base per   è stata scelta, il prodotto degli elementi della base può essere scelto arbitrariamente, e quindi esteso in un unico modo a un operatore bilineare su  , cioè tale che la moltiplicazione risultante soddisfi le leggi dell'algebra.

Quindi, dato il campo  , ogni algebra può essere specificata a meno di isomorfismi assegnando la sua dimensione (per esempio  ), e specificando  coefficienti o costanti di struttura   che sono scalari. Questi coefficienti di struttura determinano la moltiplicazione in   tramite la seguente regola:

 

dove   formano una base di  . L'unico requisito per i coefficienti di struttura è che, se la dimensione   è infinita, allora questa somma deve sempre convergere (nel senso più appropriato per la situazione).

Si noti comunque che molti differenti insiemi di coefficienti di struttura possono dare origine ad algebre isomorfe.

Quando l'algebra può essere dotata di una metrica, allora i coefficienti di struttura sono scritti con indici superiori e inferiori, così da distinguere le loro proprietà nelle trasformazioni di coordinate. Così, in fisica matematica, i coefficienti di struttura sono spesso indicati con   e la loro regola di definizione è scritta usando la notazione di Einstein come:

 

Se si applica questo ai vettori scritti nella normale notazione a indici, la formula diventa:

 

Se   è solo un anello commutativo e non un campo, allora lo stesso procedimento funziona se   è un modulo libero su  . Se non lo è, allora la moltiplicazione è ancora completamente determinata dalla sua azione su un insieme generatore di  ; comunque, le costanti di struttura non possono essere specificate arbitrariamente in questo caso, e conoscere solo le costanti di struttura non individua l'algebra a meno di isomorfismi.

Specie di algebre ed esempiModifica

Si dice algebra commutativa un'algebra la cui moltiplicazione è commutativa. Si dice algebra associativa un'algebra la cui moltiplicazione è associativa. La maggior parte delle specie di algebra su campo più familiari godono delle due suddette proprietà.

Tutte queste algebre sono dotate anche di una topologia; molte di esse sono definite sopra uno spazio di Banach e queste strutture sono dette algebre di Banach. Se inoltre è data anche un'involuzione, otteniamo le C*-algebre. Queste algebre sono studiate nell'analisi funzionale.

I generi più noti di algebre non associative sono quelle che si avvicinano alle associative, cioè quelle nelle quali le differenze tra i diversi modi di comporre mediante la moltiplicazione dati elementi sono vincolate da semplici espressioni. Passiamoli in rassegna.

  • Algebre di Lie, per le quali si chiede valgano la   e l'identità di Jacobi   Con queste algebre il prodotto è chiamato parentesi di Lie e tradizionalmente viene scritto   invece di   Esempi di queste algebre sono:
    • Spazio euclideo sul campo dei numeri reali   con la moltiplicazione data dal prodotto vettoriale.
    • Algebre di campi vettoriali su varietà differenziabili (se   è   o il campo  ) oppure una varietà algebrica (per   qualsiasi);
    • Da ogni algebra associativa si deriva un'algebra di Lie adottando il commutatore per il ruolo di parentesi di Lie. Infatti ogni algebra di Lie si può costruire in questo modo oppure è la sottoalgebra di un'algebra di Lie costruita con i commutatori.
  • Algebre di Jordan, per le quali si chiede valgano la   e la commutatività  
    • Ogni algebra associativa sopra un campo avente caratteristica diversa da 2 dà origine ad un'algebra di Jordan definendo una nuova moltiplicazione x$y := (1/2)(x*y + y*x). Contrariamente al caso delle algebre di Lie, non tutte le algebre di Jordan si possono costruire in questo modo. Quelle che lo possono sono chiamate speciali.
  • Algebre alternative, per le quali si richiede sia   e   Gli esempi più importanti sono dati dall'algebra degli ottonioni (algebra sui reali) e generalizzazioni degli ottonioni su altri campi. Osserviamo esplicitamente che tutte le algebre associative sono alternative. A meno di isomorfismi le sole algebre alternative finito-dimensionali sui reali sono l'algebra dei reali, l'algebra dei complessi, l'algebra dei quaternioni e l'algebra degli ottonioni.
  • Algebre associative sulle potenze, per le quali si richiede che sia   per   ed   interi positivi qualsiasi. (Qui si definiscono le potenze   ricorsivamente come  .) Esempi di queste algebre sono forniti da tutte le algebre associative, da tutte le algebre alternative e dall'algebra dei sedenioni.

Altre specie di algebreModifica

  • Algebra di divisione, struttura nella quale esistono gli inversi moltiplicativi, ovvero nella quale si può effettuare la divisione. Le algebre di divisione finito-dimensionali sul campo dei numeri reali possono essere classificate pulitamente.
  • Algebra quadratica, struttura per la quale si chiede che valga la regola   dove   ed   sono elementi del campo di base ed   un elemento invertibile dell'algebra. A questa classe di strutture appartengono tutte le algebre alternative finito-dimensionali e l'algebra delle matrici reali di aspetto  . A meno di isomorfismi, le sole altre algebre quadratiche sui reali senza divisori dello zero sono fornite dai numeri reali, dai numeri complessi, dai quaternioni e dagli ottonioni.
  • Le algebre di Poisson svolgono un ruolo nella quantizzazione geometrica. Ciascuna di esse è uno spazio vettoriale arricchito con due moltiplicazioni che conducono a una struttura di algebra commutativa e una di algebra di Lie.

BibliografiaModifica

  • (EN) James R. Clay (1992): Nearrings. Geneses and Applications, Oxford University Press, ISBN 0-19-853398-5
  • (EN) Jonathan S. Golan (1992): The Theory of Semirings with Applications in Mathematica and Theoretical Computer Science, Langman, ISBN 0-582-07855-5
  • (EN) Benson Farb, R. Keith Dennis (1993): Noncommutative Algebra, Springer, ISBN 0-387-94057-X
  • (EN) Maurice Auslander, Idun Reiten, Sverre O. Smalø (1995): Representation Theory of Artin Algebras, Cambridge University Press, ISBN 0-521-41134-3
  • (EN) Sorin Dascalescu, Constantin Nastasescu, Serban Raianu (2002): Hopf Algebras. An Introduction, Marcel Dekker, ISBN 0-8247-0481-9

Voci correlateModifica

Collegamenti esterniModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica