原因很简单。

因为当角动量的模量平方取定且l为m的量最大允许值时，本征值为l＋1的态是不存在的。

由于系统总可以处于轨道角动量为0的状态，所以0必是分量算符l^z的一个本征值。

而由l^＋与l^－的行为可知，对于角动量分量算符l^z，它的相邻本征值之间总是相差一个整数1。

所以分量算符l^z的本征值只能为m=0，±1，±2，……±l－1。