[論文レビュー] Ahlfors-David regular sets and bilipschitz maps

Pertti Mattila, Pirjo Saaranen|ArXiv.org|Sep 29, 2008

Advanced Topology and Set Theory参考文献 5被引用数 50

ひとこと要約

本稿は、次元 $ s $ のAhlfors-David正則集合が、次元 $ t < s $ の別の正則集合にリプシッツ同値な部分集合を含むかどうかを調査する。$ s < 1 $ の場合、任意の $ s $-正則集合は、すべての $ t < s $ に対して $ t $-正則部分集合を含むことが証明され、$ \mathbb{R}^n $ 内の標準的カントール集合に対しては、$ s < t $ のときそのような部分集合が存在する。さらに、特定の条件下で、リプシッツ写像を全体の空間 $ \mathbb{R}^n $ に拡張できることを示している。

ABSTRACT

Given two Ahlfors-David regular sets in metric spaces, we study the question whether one of them has a subset bilipschitz equivalent with the other.

研究の動機と目的

• 次元 $ s $ の正則集合が、$ t < s $ である別の正則集合にリプシッツ同値な部分集合を含むかどうかを特定すること。幾何測度論における基本的問題に取り組む。
• 測度空間内の正則集合間のリプシッツ写像の存在を分析し、特に次元制約と位相的障害に焦点を当てる。
• ある正則集合の部分集合上で定義されたリプシッツ写像を、特定の正則性および次元条件のもとで、全体の周囲空間 $ \mathbb{R}^n $ に拡張すること。
• $ \mathbb{R} $ のコンパクト部分集合を構成し、任意の $ s > 0 $ に対して非自明な $ s $-正則部分集合を含まないが、正のLebesgue測度を持つことを示し、『正則性フリー』の集合の存在を示す。

提案手法

• 正則集合 $ E $ に中心を持つ半径 $ r $ の互いに交わらない球を、制御された被覆と測度の増加を保証するように構成するため、被覆定理と測度論的推定を用いる。
• 長さが $ \sim \lambda_k(1-\lambda_k)^{k-1} $ に漸近する入れ子の区間 $ I_{k,i} $ の再帰的構成を適用し、交わり $ F $ の全測度が正であることを保証する。
• 正則性条件に基づく背理法を用いる：集合 $ E \subset F $ が $ s $-正則であると仮定すると、$ \lambda_m $ に対する下界が得られるが、$ \lambda_m \to 0 $ であるため、これは矛盾する。
• Lebesgue密度定理と $ \mathcal{L}^1(F \cap B(x,r))/(2r) $ の一様下界を用いて、$ F $ の任意の部分集合が $ s $-正則性に必要な一様下界を満たせないことを示す。
• dyadic立方体上のHausdorff型測度のスケーリングされた制限の和として、$ F $ 上のBorel測度 $ \nu $ を定義し、幾何的被覆と測度比較により、上界および下界の正則性を証明する。
• 標準的被覆定理（例：Vitali型）を適用し、$ E \cap B(p,R) $ を被覆する互いに交わらない球 $ B(x_i, r) $ を選ぶ。$ (R/r)^s $ を用いてその個数 $ m $ に上限を与える。

実験結果

リサーチクエスチョン

• RQ1 任意の $ s $-正則集合は、すべての $ t < s $ に対して $ t $-正則部分集合を含むか？本稿は $ s < 1 $ の場合にその事実を確認している。
• RQ2 $ s < t $ のとき、$ \mathbb{R}^n $ 内の $ s $-正則集合から $ t $-正則集合へのリプシッツ写像を、全体の空間 $ \mathbb{R}^n $ に拡張できるか？本稿は、特定の条件下でそれが可能であることを示している。
• RQ3 $ \mathbb{R} $ のコンパクト集合で正のLebesgue測度を持つものが、任意の $ s > 0 $ に対して $ s $-正則部分集合を含まないことは可能か？本稿はそのような集合を構成している。
• RQ4 正則集合のリプシッツ同値性は次元のみで決定されるか？本稿は次元だけでは不十分であり、位相的および測度論的障害が存在することを示している。
• RQ5 正則集合のリプシッツ像が再び正則であるための条件は何か？本稿はリプシッツ像が正則性を保つことを確認しているが、逆は成り立たない。

主な発見

• 任意の $ 0 < s < 1 $ に対して、すべての $ t < s $ に対して $ s $-正則集合は $ t $-正則部分集合を含む。これは定理 3.3 で証明されている。
• 標準的 $ s $-次元カントール集合（$ \mathbb{R}^n $ 内で $ s < n $）に対して、任意の $ t > s $ に対して、その集合は $ s $-カントール集合にリプシッツ同値な部分集合を含む。これは定理 3.1 で示されている。
• $ E \subset \mathbb{R}^n $ が $ s $-正則で、$ F \subset \mathbb{R}^n $ が $ t $-正則で $ s < t $ であり、$ s $ が十分に小さいとき、$ f(E) \subset F $ を満たす $ \mathbb{R}^n \to \mathbb{R}^n $ のリプシッツ写像 $ f $ が存在する。これは第4節で確立されている。
• $ \mathcal{L}^1(F) > 0 $ であるコンパクト部分集合 $ F \subset \mathbb{R} $ が存在し、任意の $ s > 0 $ に対して非自明な $ s $-正則部分集合を含まない。これは例 5.3 で構成されている。
• 構成された集合 $ F $ 上に定義された測度 $ \nu $ は、上界および下界の両方の $ t $-正則性を満たす。これにより、$ t < 1 $ に対して $ F $ が $ t $-正則測度を支持することが証明されるが、$ F $ の任意の部分集合は $ s > 0 $ に対して $ s $-正則ではない。
• 集合 $ F $ の構成は、$ \lambda_k \to 0 $ となる列に依存しており、$ m $-世代目の区間内に任意の $ s $-正則部分集合の点を含めることができない。したがって、そのような部分集合が存在すると仮定すると矛盾が生じる。