Пермута́тор, собственное значение $\lambda$ стохастического ядра такое, что оно отлично от единицы и $|\lambda|=1$. Неотрицательная непрерывная функция $K(x,y)$, заданная на компактном множестве конечномерного пространства, называется стохастическим ядром, если$$\int_\Omega K(x,y)\, dy = 1,\quad x\in\Omega.$$Собственные значения такого ядра удовлетворяют условию $|\lambda|\le 1$. В теории операторов пермутатором называется оператор $A: E\to E$, если область его значений $A(E)$ конечномерна и в этой области существует такой базис $e_1,\dots, e_n$, что $Ae_j=e_{j_j}$, $j=1,\dots, n$.