ИСТИНА

Рассматривается дискретная динамическая система, порожденная гомеоморфизмом $f$ на компактном многообразии $M$. Пусть $C=\{M(i)\}$ --- конечное покрытие многообразия $M$ замкнутыми ячейками. Символический образ динамической системы это ориентированный граф $G$ с вершинами, соответствующими ячейкам, а вершины $i$ и $j$ связаны ребром $i\to j$, если образ $f(M(i))$ пересекает $M(j)$. Допустимые пути на $G$ кодируют псевдотраектории системы, а потоки на $G$ соответствуют инвариантным мерам.