更正式地说,如果<math>\mathbf{u}</math>是一个向量, <math>\mathbf{u}(v)</math>是碎片构型<math>z</math>在稳定过程中(通过不稳定顶点的崩塌)顶点<math>v</math>崩塌的次数,并且<math>\mathbf{n}</math>是一个积分向量(不一定是非负的),使得<math>z-\mathbf{n}\Delta'</math>是稳定的,那么对于所有顶点<math>v</math>,<math>\mathbf{u}(v) \leq \mathbf{n}(v)</math>。 | 更正式地说,如果<math>\mathbf{u}</math>是一个向量, <math>\mathbf{u}(v)</math>是碎片构型<math>z</math>在稳定过程中(通过不稳定顶点的崩塌)顶点<math>v</math>崩塌的次数,并且<math>\mathbf{n}</math>是一个积分向量(不一定是非负的),使得<math>z-\mathbf{n}\Delta'</math>是稳定的,那么对于所有顶点<math>v</math>,<math>\mathbf{u}(v) \leq \mathbf{n}(v)</math>。 |