[논문 리뷰] The specification property on a set-valued map and its inverse limit

Brian Raines, Tim Tennant|arXiv (Cornell University)|2015. 09. 28.

Mathematical Dynamics and Fractals참고 문헌 4인용 수 12

한 줄 요약

이 논문은 컴act metric 공간 위의 다가우수 함수로의 사양 성질과 위상 엔트로피를 확장하고, 그 역학적 의미를 규명한다. 사양 성질이 위상 혼합성과 양의 엔트로피를 암시함을 증명하며, 다가우수 함수가 사양 성질을 가진다면 그 역방향 극한 공간 위의 관련 이동 맵 역시 사양 성질을 갖는다는 것을 보이며, 불변 측도와 전지수 측도에의 응용을 제시한다.

ABSTRACT

In this paper we consider dynamical properties of set-valued mappings and their implications on the associated inverse limit space. Specifically, we define the specification property and topological entropy for set-valued functions and prove some elementary results of these properties. We end with a few results regarding invariant measures for set-valued functions and their associated inverse limits.

연구 동기 및 목표

• 단일가우수에서 다가우수 동역학계로의 사양 성질과 위상 엔트로피를 일반화하는 것.
• 다가우수 함수의 맥락에서 사양 성질과 위상 혼합성 사이의 관계를 조사하는 것.
• 다가우수 함수에 의해 유도된 역방향 극한 공간 위의 이동 맵의 역학을 연구하는 것.
• 다가우수 함수의 불변 측도의 구조와 그 지지 성질을 분석하는 것.
• 특히 주기점이 조밀할 경우 불변 측도가 전지수를 가질 조건을 확립하는 것.

제안 방법

• 균일한 간격 제어를 갖는 유한 궤적 세그먼트에 대한 균일한 실상 영향을 이용해 다가우수 함수의 사양 성질을 정의한다.
• ε-스패닝 집합에 대한 길이 n의 부분 궤적 수를 세는 방식으로 다가우수 함수의 위상 엔트로피를 정의한다.
• 모든 수열 (x₀, x₁, ...) 중에서 xᵢ₊₁ ∈ F(xᵢ)를 만족하는 집합으로서 역방향 극한 공간을 구성하며, 곱 위상을 부여한다.
• 역방향 극한 공간 위의 이동 맵 σ를 σ(x₀, x₁, ...) = (x₁, x₂, ...)로 정의한다. 이는 연속적이며 F의 역학을 모방한다.
• 전체 역학을 특징짓는 데 사용되는 완전 궤적 CO(x)와 CO(F)의 개념을 도입한다.
• F가 사양 성질을 갖는다면, 역방향 극한 공간 위의 이동 맵 σ 역시 사양 성질을 만족함을 증명한다.

실험 결과

연구 질문

• RQ1 다가우수 함수 F에 대해 사양 성질이 위상 혼합성과 양의 위상 엔트로피를 암시하는가?
• RQ2 실상 개념을 다가우수 함수로 의미 있게 확장할 수 있으며, 사양 성질과의 관계는 어떠한가?
• RQ3 다가우수 함수가 역방향 극한 공간 위의 이동 맵을 유도할 때, 그 이동 맵이 사양 성질을 물려받는 조건은 무엇인가?
• RQ4 다가우수 함수의 불변 측도 공간의 구조는 어떠한가? 그리고 언제 전지수를 가질 수 있는가?
• RQ5 정의역 내 주기점의 조밀성은 전지수를 가진 불변 측도 존재성과 어떻게 관련되는가?

주요 결과

• 다가우수 함수 F에 대해 사양 성질이 성립하면, F는 위상 혼합적이며 양의 위상 엔트로피를 가진다.
• 만약 다가우수 함수 F가 실상 성질을 갖고 주기점의 집합이 조밀하다면, 더 약한 형태의 사양 성질을 만족한다.
• F가 사양 성질을 갖는다면, 역방향 극한 공간 lim←F 위의 이동 맵 σ 역시 사양 성질을 만족한다.
• F-불변 측도 중 전지수를 가진 측도의 집합은 모든 F-불변 측도 공간에서 밀도 Gδ 집합이다.
• 주기점의 집합이 X에서 조밀할 경우, F의 불변 측도 중 전지수를 가진 측도의 집합은 밀도 Gδ 집합이다.
• 주기 궤적이 조밀하다면, 전지수를 가진 명시적 불변 측도 μ를 주기 궤적에 지지되는 Dirac 측도의 가중합으로 구성할 수 있다.