Grunntilstanden er per definisjon ikke eksistert og inneholder = 0. Den må derfor tilfredsstille Det følger også fra at er en «senkeoperator» som ikke kan redusere antall kvant lavere enn til null.