ПОИСК Статьи Чертежи Таблицы Доказательство того, что растягивающие отображения являются разделяющими, содержится в доказательстве предложения 3.2.3. Для топологических цепей Маркова, как и для произвольных символических динамических систем, наличие этого свойства самоочевидно: условие шфш означает, что Ф и> „ для некоторого п. Но тогда применение п-й степени сдвига дает нам элементы, нулевые координаты которых различны. Расстояние между любыми двумя такими элементами больше некоторой фиксированной константы. [Выходные данные]