Egy vektortér Heisenberg algebrája