[논문 리뷰] Existence of an invariant measure on a hypergroup

Yury Chapovsky|arXiv (Cornell University)|2012. 12. 28.

advanced mathematical theories참고 문헌 5인용 수 5

한 줄 요약

이 논문은 국소적으로 컴act한 하이퍼그룹에서 왼쪽(따라서 오른쪽) 불변 측도의 존재를 증명하며, 하이퍼그룹 이론에서 오랫동안 남아 있던 격차를 해결한다. 항등원의 컴팩트 이웃에 대한 극한 구조를 이용하고 하이퍼그룹의 대수적 및 위상적 구조를 활용함으로써, 전체 하이퍼그룹 공간에서 전체 지지(full support)를 가진 그러한 측도가 존재한다는 것을 증명한다.

ABSTRACT

We prove existence of an invariant measure on a hypergroup.

연구 동기 및 목표

• 일반적인 국소적으로 컴팩트한 하이퍼그룹에서 왼쪽 불변 측도가 존재하는지 여부라는 열린 문제를 해결하기 위해.
• 특수 케이스(예: 컴팩트, 이산, 또는 아벨 하이퍼그룹)를 넘어서 불변 측도 이론을 확장하기 위해.
• 왼쪽 이동에 대해 불변이고 하이퍼그룹 전역에서 전체 지지를 가지는 라돈 측도를 구성하기 위해.
• 향후 하이퍼그룹에서의 조화 분석을 뒷받침하는 일반적인 존재 결과를 제공하기 위해.

제안 방법

• 항등원의 컴팩트 이웃 U에 대해 인덱스가 지정된 양의 선형 함수열 $\chi_g$를 구성하며, $g \in \mathscr{K}_+^*(U)$.
• 하이퍼그룹의 콘볼루션과 쌍대성 성질을 이용하여 $\chi_g(f) = \lim_{U} \chi_g(f)$를 $\mathbb{R}^+$ 내의 코시 넷으로 정의함으로써 수렴을 보장한다.
• 콘볼루션의 지지 성질과 $\mathscr{M}_b$ 위의 약한 위상에 기반한 추정을 통해 $\chi_g(f)$의 거동을 균일하게 제어한다.
• 한계 함수열 $\chi(f) = \lim \chi_g(f)$가 모든 컴팩트 $K \subset Q$에 대해 $\mathscr{K}(K)$ 위에서 유계이고 선형이므로, 이는 라돈 측도임을 증명한다.
• 에프스실론 넷과 노름 제어를 포함한 추정을 통해 한계에서 $\langle \varepsilon_s * f, \chi \rangle = \chi(f)$임을 보여, 왼쪽 불변성을 검증한다.
• 레마 4에서 유도된 하한 $a_f > 0$을 이용하여 $\chi(f) > 0$임을 보여, 전체 지지를 증명한다.

실험 결과

연구 질문

• RQ1 모든 국소적으로 컴팩트한 하이퍼그룹은 왼쪽 불변 라돈 측도를 갖는가?
• RQ2 교환법칙이나 이산성 조건을 가정하지 않고도 불변 측도의 존재를 확립할 수 있는가?
• RQ3 항등원의 컴팩트 이웃에 대한 극한 과정을 통해 그러한 측도를 구성하는 것이 가능한가?
• RQ4 불변 측도는 하이퍼그룹 전역에서 반드시 전체 지지를 가져야 하는가?
• RQ5 위상적 및 측도론적 추정을 통해 모든 시험 함수에 대해 불변성 성질을 균일하게 검증할 수 있는가?

주요 결과

• 모든 국소적으로 컴팩트한 하이퍼그룹 $Q$에 대해, 항등원의 컴팩트 이웃에 대한 극한 구조를 통해 존재가 증명된 왼쪽 불변 측도 $\chi$가 존재한다.
• 측도 $\chi$는 라돈 측도이며, 모든 컴팩트 $K \subset Q$에 대해 $\chi(f) = \lim \chi_g(f)$가 유계이고 선형이므로 성립한다.
• 측도 $\chi$는 모든 $f \in \mathscr{K}_+^*$에 대해 $\langle \varepsilon_s * f, \chi \rangle = \chi(f)$를 만족하여 왼쪽 불변성이 확인된다.
• 레마 4에 의해 보장된 $\chi(f) > 0$이 모든 $f \in \mathscr{K}_+^*$에 대해 성립하므로, $\chi$의 지지는 전체 하이퍼그룹 $Q$이다.
• 수렴을 보장하기 위해 $\epsilon$-넷과 약한 위상에 기반한 균일 추정에 의존하는 이 구성은 잘 정의된 극한으로 수렴한다.
• 이 결과는 이전의 존재 정리들(예: 컴팩트, 이산, 또는 아벨 케이스)을 포함한 국소적으로 컴팩트한 하이퍼그룹 전반에 대한 일반화된 존재 결과를 제공한다.