Algebra di Weyl

In algebra astratta, l'Algebra di Weyl è l'anello formato dagli operatori differenziali con coefficienti polinomiali in una sola variabile. Le algebre di Weyl prendono il nome da Hermann Weyl, che le introdusse in meccanica quantistica nello studio del principio di indeterminazione di Heisenberg.

Definizione

Dato un campo F {\displaystyle F} , F [ X ] {\displaystyle F[X]} è l'anello dei polinomi nella variabile X {\displaystyle X} a coefficienti in F {\displaystyle F} . Indicando la derivata rispetto a X {\displaystyle X} con il simbolo X {\displaystyle \partial _{X}} , un elemento dell'algebra è scritto nella forma:

f n ( X ) X n + + f 1 ( X ) X + f 0 ( X ) , {\displaystyle f_{n}(X)\partial _{X}^{n}+\cdots +f_{1}(X)\partial _{X}+f_{0}(X),}

dove f i F [ X ] {\displaystyle f_{i}\in F[X]} .

Proprietà

L'algebra di Weyl è un esempio di anello semplice che non è un anello di matrici su un anello con divisione. Inoltre è anche un dominio non commutativo e una estensione di Ore.

Definizione tramite presentazione

L'algebra di Weyl si può definire anche come l'algebra generata dalla seguente presentazione:

< X , Y | Y X X Y 1 > {\displaystyle <X,Y|YX-XY-1>} ,

ovvero come il quoziente dell'algebra libera con due generatori X , Y {\displaystyle X,Y} sull'ideale generato dalla relazione Y X X Y = 1 {\displaystyle YX-XY=1} .

Estensioni

L'agebra di Weyl è un caso particolare di una famiglia infinita di algebre (algebre di Weyl); l'n-esima algebra di Weyl è l'anello degli operatori differenziali con coefficienti polinomiali in n variabili, generata da X i {\displaystyle X_{i}} e X i {\displaystyle \partial {X_{i}}} .

Bibliografia

  • Rausch de Traubenberg Michel, Slupinski Makus, Tanasa Adrian, Finite-dimensional Lie subalgebras of the Weyl algebra (PDF), in J. Lie Theory, n. 16, 2006, pp. 427-454. URL consultato il 2 maggio 2007.

Collegamenti esterni

  • (EN) Weyl algebra (archiviato dall'url originale il 1º ottobre 2007). su PlanetMath
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica