فضای متریک با انحنای محدود (Metric Space with Bounded Curvature)، در ریاضیات (Mathematics)

انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :

فضای متریک با انحنای محدود (Metric Space with Bounded Curvature) :

تعریف: یک فضای متریک با انحنای محدود به فضاهایی گفته می شود که در آنها مفهوم انحنا (به معنی الکساندرف) تعریف شده و از بالا یا پایین محدود باشد. رایج ترین این فضاها، فضاهای CAT(k) و CBB(k) (Curvature Bounded Below) هستند. این فضاها با مقایسه مثلث‌ها با مثلث‌های متناظر در فضاهای با انحنای ثابت (مانند کره، صفحه، یا فضای هذلولوی) تعریف می شوند.

فضای CAT(k): انحنا ≤ k

فضای CBB(k): انحنا ≥ k

توضیح مفهومی: در هندسه ریمانی، انحنای یک خمینه مفهوم محلی است. الکساندرف این مفهوم را به فضاهای متریک عمومی تعمیم داد: با مقایسه مثلث‌ها در فضا با مثلث‌های متناظر در فضاهای با انحنای ثابت (کره برای

\[ k > 0 \]

، صفحه برای

\[ k = 0 \]

، فضای هذلولوی برای

\[ k < 0 \]

)، می توان شرط محدود بودن انحنا را به صورت نامساوی هایی روی فواصل نقاط بیان کرد.

انواع فضاهای با انحنای محدود:

CAT(k) spaces: فضاهایی با انحنای ≤ k (از بالا محدود). این فضاها رفتار مشابه فضاهای با انحنای نامثبت دارند و در آنها مثلث‌ها "لاغر" هستند.

CBB(k) spaces: فضاهایی با انحنای ≥ k (از پایین محدود). این فضاها رفتار مشابه فضاهای با انحنای نامنفی دارند.

فضاهای الکساندرف: فضاهایی که هم CAT(k) و هم CBB(k) هستند برای یک k مشخص.

مثلث مقایسه: برای یک مثلث

\[ \Delta(x, y, z) \]

در

\[ X \]

، یک مثلث مقایسه

\[ \Delta(\bar{x}, \bar{y}, \bar{z}) \]

در فضای مدل

\[ M_k \]

(فضای با انحنای ثابت k) با اضلاع برابر می سازیم. سپس شرط CAT(k) می گوید که برای هر نقطه روی اضلاع، فاصله در

\[ X \]

کمتر یا مساوی فاصله در فضای مدل است.

مثال های مهم:

فضاهای CAT(0): شامل فضاهای اقلیدسی، درخت ها، ساختمان های اقلیدسی، و خمینه های با انحنای نامثبت.

فضاهای CAT(1): شامل کره ها با متر استاندارد (با انحنای ۱).

فضاهای CAT(-1): شامل فضای هذلولوی و درخت ها (که CAT(0) هم هستند).

خمینه های ریمانی: با انحنای مقطعی کراندار.

قضایای مهم:

در فضاهای CAT(0)، هر دو نقطه توسط یک ژئودزیک یکتا به هم وصل می شوند.

فضاهای CAT(0) به طور موضعی همبند مسیری و به طور سراسری انقباض‌پذیر هستند.

گروه های بنیادین خمینه های با انحنای منفی، گروه های هذلولوی گروماف هستند.

کاربردها: فضاهای با انحنای محدود در هندسه متریک، نظریه گروه های هندسی، آنالیز هندسی، و فیزیک (به ویژه در نظریه ریسمان و نسبیت عام) کاربرد گسترده ای دارند.

📌 مثال ساده:

صفحه اقلیدسی

\[ \mathbb{R}^2 \]

یک فضای CAT(0) است. در یک مثلث قائم الزاویه، فاصله بین نقاط روی اضلاع کمتر یا مساوی فاصله در مثلث مقایسه (که در اینجا خود مثلث است) است. در واقع در

\[ \mathbb{R}^2 \]

،

\[ k=0 \]

و شرط CAT(0) با تساوی برقرار است.

کره

\[ S^2 \]

یک فضای CAT(1) است. در یک مثلث بزرگ روی کره، ضلع سوم ممکن است از مقدار متناظر در صفحه کوچکتر باشد (چون مثلث روی کره "چاق" است).