By Ioffe's theorem [1]}, tightness of the associated sequence of processes (uniformly on the state space) follows from boundedness of the generator as an operator. To apply the generator criterion in [2]} we must show propagation of chaos and prove the weak law of large numbers
\({}\lim _{N\rightarrow \infty } \frac{1}{N} \sum _{j\in [N]} x_j(t) = \mathbb {E}[x_0(t)].\) 

Согласно теореме Иоффе [1], строгость связанной последовательности процессов (равномерно на пространстве состояний) следует из ограниченности генератора как оператора. Для применения критерия генератора в [2], мы должны показать распространение хаоса и доказать слабый закон больших чисел:

\(\lim _{N\rightarrow \infty } \frac{1}{N} \sum _{j\in [N]} x_j(t) = \mathbb {E}[x_0(t)].\)