Ein vollständiger Satz kommutierender Observablen (v.S.k.O.) ist ein Begriff aus der Quantenmechanik, in der Messgrößen wie Energie, Ort oder Impuls durch Operatoren dargestellt und als Observablen bezeichnet werden. Messgrößen, die man gleichzeitig genau bestimmen kann, heißen kommutierende Observablen; sie haben die Eigenschaft, dass ihre Operatoren miteinander vertauschen.
Solch ein Verhalten ist in der Quantenmechanik allerdings eher die Ausnahme. Die meisten Paare von Observablen lassen sich nicht gleichzeitig beliebig genau messen, was eine Konsequenz aus der heisenbergschen Unschärferelation ist. Man spricht dann auch von komplementären Observablen.
Um einen quantenmechanischen Zustand eindeutig zu charakterisieren, sind oft mehrere Observablen notwendig. Beispielsweise ist es beim Wasserstoffatom nicht ausreichend, nur die Energie anzugeben (mittels der Hauptquantenzahl $ n $), sondern es sind zwei weitere Observablen notwendig: der Betrag des Drehimpulses (Quantenzahl $ l $) und die $ z $-Komponente des Drehimpuls (Quantenzahl $ m $). Diese drei Größen bilden dann einen vollständigen Satz kommutierender Observablen.
Eine Menge von Observablen $ A $, $ B $, $ C $,... bildet einen v.S.k.O., wenn eine orthonormale Basis des Zustandsraums aus gemeinsamen Eigenvektoren der Observablen existiert, und diese Basis (bis auf einen Phasenfaktor) eindeutig ist.
Eine äquivalente Formulierung lautet:
Eine Menge von Observablen $ A $, $ B $, $ C $,... bildet einen v.S.k.O. genau dann, wenn:
Um ein quantenmechanisches Problem zu lösen, ist man bemüht eine Menge von Observablen zu finden, die das System beschreiben und einen v.S.k.O. bilden. Durch die Angabe der Messwerte der Observablen (das sind die Eigenwerte der Observablen) ist es damit möglich den Zustand eines Systems eindeutig zu bestimmen. Umgekehrt bedeutet das, dass man eine Messung auf einen vollständigen Satz kommutierender Observablen erstrecken muss, um den Zustand des Systems nach der Messung durch die Angabe der Messwerte eindeutig zu bestimmen.
Gegeben sei eine Observable $ A $, deren Eigenvektoren eine Basis des Zustandsraumes bilden. Sind diese sämtlich nicht-entartet, so lässt sich der Zustand des Systems durch die Angabe des zu einem Eigenvektor gehörigen Eigenwertes eindeutig charakterisieren. $ A $ bildet dann „für sich“ einen v.S.k.O. Sind die Eigenvektoren jedoch in irgendeiner Form entartet, nimmt man eine weitere Observable $ B $ hinzu, die mit $ A $ vertauscht und deren Eigenvektoren wiederum eine Basis des Zustandsraumes bilden. Aus beiden Mengen von Eigenvektoren wählt man nun die nicht-Entarteten. Bilden diese eine Basis des Zustandsraumes stellen $ A $ und $ B $ einen v.S.k.O. dar. Wenn nicht, nimmt man solange weitere Observablen $ C $, $ D $,... hinzu, die jeweils paarweise mit den anderen Observablen vertauschen, bis man eine Basis aus Eigenvektoren zu nicht-entarteten Eigenwerten konstruieren kann.
