Дослiджуються орбiти повiльно збурених гамiльтонових систем та асоцiйованi з ними ергодичнi деформацiї лагранжевих многовидiв. Основнi результати базуються на пiдходi Дж. Мазера [18, 19] до побудови гомологiй iнварiантних ймовiрнiсних мiр, що мiнiмiзують деякi лагранжевi функцiонали, а також на елiптичнiй теорiї Громова–Саламона–Зендера–Флоєра [7, 9, 12, 20, 26] побудови iнварiантних многовидiв. В працi конструюються iнварiантнi пiдмноговиди, котрi є носiями iнварiантних ергодичних мiр та мають структуру локально гомеоморфних метричних просторiв. Аналiзується проблема конструювання ефективних критерiїв їх глобальної гомеоморфностi, сформульованої проф. А. М. Самойленком при дослiдженнi ергодичних деформацiй нелiнiйних гамiльтонових систем та їх адiабатичних iнварiантiв. Встановлено, що вiдображення f : X → Y з лiнiйно зв’язного гаусдорфового простору X в однозв’язний (зокрема, стягуваний) простiр Y є гомеоморфiзмом тодi i лише тодi, коли f локальним гомеоморфним i прообраз f⁻¹(y) кожної точки y ∈ Y є непорожньою компактною пiдмножиною в X.
The orbits of slowly perturbed Hamilton systems and the associated ergodic deformations of Lagrange manifolds are studied. The main results are based on the Mather approach [18, 19] to the construction of the homologies of invariant probabilistic measures, which minimize some Lagrange functionals, and on the elliptic Gromov–Salamon–Zehnder–Floer theory [7,9,12,20,26] of the construction of invariant manifolds. We have constructed the invariant submanifolds, which are the supports of invariant ergodic measures and have a structure of locally homeomorphic metric spaces. We analyze the problem of construction of efficient criteria of their global homeomorphism, which was posed by Professor A. M. Samoilenko during the study of ergodic deformations of nonlinear Hamilton systems and their adiabatic invariants. It is established that the mapping f : X → Y from a linearly connected Hausdorff space X onto a simply connected (in particular, contractible) space Y is a homeomorphism iff f is local and homeomorphic, and the preimage f⁻¹(y) of every point y ∈ Y is a nonempty compact subset in X.