可数离散amenable群作用下次可加势拓扑压-the next potential topological pressure that can be increase by that action of countable discrete amenable groups.docxVIP

2中 国 科 学 技 术 大 学 硕 士 学 位 论 文μ盖脑 hμ(G, U ) 及h+(G, U ), 井证明了局部拓扑脑的变分原理:htop(G, U ) =supμ∈M(X,G)hμ(G, U ) =supμ∈M(X,G)h+(G, U ).μμ同时, 得到推广后的两种覆盖脑 hμ(G, U )，h+(G, U ) 相等.本文主要的目的是推广黄文和易英飞的结果到可数离散Amenable群作用动力系统的情形。设 (X, G) 为一个动力系统，其中，X 为一个紧致度量空间，G 为可数离散 Amenable 群. 记 F (G) 为 G 的有限子集全体. (X, G) 上的一个次可加势是指X上的一族连续实值函 数F = {fE ∈ C(X) : E ∈ F (G)}，且满足如下条件:(1) G 不变性:fEg (x) = fE (x), ?E ∈ F (G), g ∈ G;(2) 弱次可加性:fE∪F (x) ≤ fE (x) + fF (x), ?E ∩ F = ?, E, F ∈ F (G);(3) 渐减性: supsupffE (x) ? fE∪{g}(x)1 ∞.E∈F (X) x∈X,g∈G对 μ ∈ M(X, G), F 相对于 μ的 Lyapunov 指数 F?(μ) 定义如下:1F?(μ) = limfFn dμn→∞ |Fn| X其中，{Fn}n∈N 为 G 中的任意 F?lner序列。我们得到如下定理:X定理 1. (拓扑压的局部变分原理) 设 (X, G) 是 G-系统，U ∈ Co , F 如前定义，则P (G, F ; U ) =supμ∈M(X,G){hμ(G, U ) + F?(μ)}成立，且最大值可以在 Me(X, G)中取到，如果下面条件之一满足:1. G 为 Abel 群;2. F 满足强次可加性，即:fE∪F (x) + fE∩F (x) ≤ fE (x) + fF (x), ?E, F ∈ F (G)相应地，我们给出了一个非平凡的例子。特别地，给定 X 上的一个连续函数 f ，我们可以诱导一个函数族??F = ?fE (x) = J f (gx) : E ∈ F (G)??g∈E?满足之前的条件. 这样我们可以得到:X定理 1 . (拓扑压的变分原理) 设 (X, G) 是 G-系统，U ∈ C? , f ∈ C(X), F 由 f 诱导得到，则P (G, f ; U ) =supμ∈M(X,G)hμ(G, U ) +f (x) dμ(x)X成立，且最大值可以在 Me(X, G)中取到。作为应用，我们推广了拓扑压决定不变测度和测度脑方面的结论。X定理 2. (局部拓扑压决定不变测度) 设 (X, G) 是动力系统，U ∈ C? , μ : BX → R 为符号测皮, 则 μ ∈ M(X, G) 当且仅当 X f (x)dμ(x) ≤ P (G, f ; U ), ?f ∈ C(X) 成立。X定理 3. (局部拓扑压决定局部测度摘) 设 (X, G) 是动力系统，U ∈ C? , μ ∈ M(X, G), 则下式成立:hμ(G, U ) =inff ∈C(X)P (G, f ; U ) ?f (x) dμ(x) 。X另外，通过证明映射 F?(·) : M(X, G) → R 的上半连续性，我们推广了局部平衡态方面的一些结论。本文的结构是这样安排的:第一章主要介绍了可数离散 Amenable 群和其作用的脑 的背景知识，以及我们给出的局部拓扑压、Lyapunov 指数定义的合理性;第二章集中精 力证明了局部拓扑压的变分原理;第二章给出了变分原理的相关应用。第一章背景知识和定义§1.1Amenable 群|F |设 G 为离散拓扑群， F (G) 为 G 的有限子集全体。称 G 为 Amenable 群，如果对 任意的 δ 0， K ? F (G)，存在 F ? F (G)，使得 |KF ?F | δ, 这里 | · | 表示集合的元素个 数， KF = {kf : k ∈ K, f ∈ F }。为行文方便，本论文中所提到的 Amenable 群 G 全部指 可数离散 Amenable 群，且单位元记作 eG。?∈设 δ 0, KF (G)。称 AF (G) 为 (K, δ)-不变的，如果 |B(A,K)| δ，其中，|A|B(A, K) = {g ∈ G : Kg ∩ A I= ? 且 Kg ∩ (G \ A) I= ?}。称 {Fn}n∈N ? F (G) 为一个 F?lner 序列[26]，如果对任意的 δ 0 和 K ? F (G)，当 n 充分大时，Fn 为 (K, δ)-不变的，即它等价于limn→∞|B(Fn, K)| = 0,对 K|Fn|