Haar Measure on Fuzzy Lie Group

技術要約：ファジィ・リー群におけるハール測度

問題提起
本論文は、古典的な測度論および調和解析をファジィ数学の領域へと拡張する際の理論的空白に対処している。具体的には、局所コンパクトなリー群におけるハール測度および積分のファジィ版の構築を目的としている。古典的なハール測度は、位相群上の唯一の（乗法定数を除いて）不変な測度を提供するが、著者らは、ファジィ・リー環からファジィ・リー群への指数写像が依然として未解決の問題であると指摘している。したがって、本研究は、積分および不変測度をファジィ位相構造内で厳密に確立するために、ファジィ・リー群の多様体としての性質に焦点を当てている。

手法
著者らは構成的なアプローチを採用し、核となる概念を定義する前に、必要な数学的基盤を体系的に構築している。手法は以下の段階を経て進行する：

1. 基礎的な定義： 本論文は、ファジィ集合、ファジィ関係、ファジィベクトル空間、およびファジィ位相空間（ファジィハウスドルフ空間およびコンパクト空間を含む）の必要な定義を確立する。また、$C^1$ ファジィ多様体を特徴付けるために、ファジィ微分可能性および微分同相写像を定義する。
2. ファジィ測度論： 著者らはファジィ測度空間 $(X, \mathcal{F}, \mu)$ を定義し、単調性、下からの連続性と上からの連続性、零加法性、および自己連続性といった性質を導入する。古典的な加法性と、ファジィ測度に求められる単調性および半連続性を区別する。
3. ファジィ積分： ファジィ積分は、$\lambda$-カット集合を用いたアプローチ（数理的な数理的積分スタイル）を用いて定義される。ここで、集合 $P$ 上の関数 $f$ の積分は、$\lambda \cap \mu(P \cap F_\lambda)$ の上限である。本論文は、この積分の規則、これには線形性の性質やルベーグ測度との関係が含まれることを確立する。
4. ファジィ・リー群： ファジィ・リー群の概念は、群演算（乗法および反転）がファジィ微分可能であるような $C^1$ ファジィ多様体として定義される。本論文では、主な解析を、ハウスドルフ空間でもある局所コンパクトなファジィ・リー群に限定している。
5. ファジィ・ハール測度の構築： 著者らは、以下の4つの特定の条件を課すことにより、局所コンパクトなファジィ・リー群 $G_f$ 上の「ファジィ・ハール測度」($\mu_f$) を定義する：
   • $\mu_f(\emptyset) = 0$。
   • 単調性：$P \subset Q \implies \mu_f(P) \leq \mu_f(Q)$。
   • 連続性：単調列に対して $\lim_{n \to \infty} \mu_f(P_n) = \mu_f(P)$。
   • 左不変性：すべての $g \in G_f$ に対して $\mu_f(gP) = \mu_f(P)$。
6. ファジィ・ハール積分： 最終的に、$\mu_f$ に関するファジィ・ハール積分が構築され、その一意性の性質が調査される。

主要な貢献と結果
本論文は、主要な結果として4つの主要な定理を提示している：

• 定理 3.23（完備性）： 著者らは、すべてのファジィ測度は完備であることを主張している。その証明は、零測度の集合が零測度のファジィ部分集合のみを含むことを示すために、一様自己連続性の概念を利用している。
• 定理 8.3（ファジィ・ハール測度の特徴付け）： この定理は、完備なファジィ測度がファジィ・リー群 $G_f$ 上で置換不変である場合に、かつその場合に限り、ファジィ・ハール測度であることを確立している。証明には、被覆引数および置換の下での測度の性質が含まれる。
• 定理 9.3（積分の唯一性）： 本論文は、局所コンパクトなファジィ・リー群上のファジィ・ハール積分が、乗法定数を除いて一意的であることを証明している。具体的には、2つのファジィ・ハール積分が存在する場合、一方は他方のスカラー倍（$\gamma > 0$）となる。証明には、コンパクトな台を持つ連続関数 ($C_c(G_f)$) を用いた極限引数と、ファジディの文脈に適応させたフビニの定理の適用が含まれる。
• 定理 9.4（ユニモジュラリティ）： 本論文は、局所コンパクトなファジィ・リー群 $G_f$ がユニモジュラ（左および右のハール測度が一致する）であるための必要十分条件は、一意性定理における乗法定数 $\gamma$ が 1 であることであることを確立している。

意義と主張
著者らは、これらの一連の研究の主な目的は、積分対象の測度を持つファジィ・リー群上の積分および積分作用器に関する結果を確立することであると述べている。本論文の意義は以下の点にある：

• 存在と構築： ファジィ・ハール測度 ($\mu_f$) および対応するファジィ・ハール積分を、成功裏に定義および構築したこと。
• 一意性： 古典的なケースと同様に、ファジィ・ハール積分が乗法定数を除いて一意的であることを示したこと。
• 理論的基礎： 積分理論を支えるために、ファジィ多様体、ファジィ微分可能性、およびファジィ位相群の必要な定義を提供したこと。

本論文は、具体的な実験的応用や将来のエンジニアリング実装を提案するものではない。代わりに、これはファジィ測度論における理論的な進展として位置づけられており、多様体の性質を活用し、アルフレッド・ハールの古典的な不変原理をファジィ領域へと拡張することで、ファジィ・リー群上での積分という「未解決問題」を解決することを目指している。本研究は、ファジィ集合の性質に対応するために、古典的な測度論の概念（厳密な加法性に代わる単調性と半連続性）を多用している。