فضای CAT(k) (انگلیسی : CAT(k) Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای CAT(k) (انگلیسی : CAT(k) Space) :
تعریف: یک فضای متریک
\[ (X, d) \]یک فضای CAT(k) نامیده می شود اگر:
یک فضای ژئودزیکی باشد (بین هر دو نقطه یک ژئودزیک وجود داشته باشد).
برای هر مثلث
\[ \Delta(x, y, z) \]در
\[ X \]و هر مثلث مقایسه
\[ \Delta(\bar{x}, \bar{y}, \bar{z}) \]در فضای مدل
\[ M_k \](فضای با انحنای ثابت k) با اضلاع برابر، و برای هر دو نقطه
\[ p, q \]روی اضلاع مثلث، اگر
\[ \bar{p}, \bar{q} \]نقاط متناظر در مثلث مقایسه باشند، آن گاه
\[ d(p, q) \leq d(\bar{p}, \bar{q}) \].
\[ d(p, q) \leq d_{M_k}(\bar{p}, \bar{q}) \]برای همه نقاط روی اضلاع مثلث.
توضیح مفهومی: فضاهای CAT(k) تعمیم طبیعی فضاهای با انحنای ≤ k هستند. نام CAT از حروف اول نام های کارتان (Cartan)، الکساندرف (Alexandrov) و توپونوگف (Toponogov) گرفته شده است. این فضاها نقش اساسی در هندسه متریک مدرن دارند. برای
\[ k=0 \]، این فضاها (CAT(0)) مهم ترین کلاس را تشکیل می دهند و خواص مشابه فضاهای اقلیدسی دارند.
فضاهای مدل
\[ M_k \]:
اگر
\[ k > 0 \]،
\[ M_k \]یک کره با شعاع
\[ 1/\sqrt{k} \]است.
اگر
\[ k = 0 \]،
\[ M_0 \]صفحه اقلیدسی
\[ \mathbb{R}^2 \]است.
اگر
\[ k < 0 \]،
\[ M_k \]یک فضای هذلولوی با انحنای
\[ k \]است.
ویژگی های اصلی فضاهای CAT(k):
در فضاهای CAT(0)، بین هر دو نقطه یک ژئودزیک یکتا وجود دارد.
فضاهای CAT(0) به طور موضعی همبند مسیری و به طور سراسری انقباضپذیر هستند.
فضاهای CAT(k) برای
\[ k \leq 0 \]دارای خاصیت یکنواخت سازی (uniformization) هستند.
این فضاها تحت حاصلضرب (با متر مناسب) بسته هستند.
در فضاهای CAT(0)، برآمدگی روی مجموعه های محدب بسته، ناانبساطی است.
مثال های مهم:
CAT(0): فضاهای اقلیدسی، درخت ها، ساختمان های اقلیدسی، خمینه های با انحنای نامثبت، فضای تیچ مولر (Teichmüller space) با متر وایل-پیترسون.
CAT(1): کره
\[ S^n \]با متر استاندارد (به شرطی که قطر مثلثها کمتر از
\[ \pi/\sqrt{k} \]باشد).
CAT(-1): فضای هذلولوی
\[ \mathbb{H}^n \]، درخت ها (که CAT(0) هم هستند).
محصولات: حاصلضرب فضاهای CAT(0) با متر
\[ l^2 \]، CAT(0) است.
قضایای مهم:
قضیه کارتان-آدامز: در فضاهای CAT(0)، هر گروه متناهی از ایزومتری ها یک نقطه ثابت مشترک دارد.
قضیه بروهات-تیس: برای گروه های کاهشی روی ساختمان های اقلیدسی.
قضیه نقطه ثابت: هر انقباض روی یک فضای CAT(0) کامل دارای یک نقطه ثابت یکتاست.
کاربردها: فضاهای CAT(k) در نظریه گروه های هندسی (برای مطالعه گروه های هذلولوی و گروه های CAT(0))، آنالیز هندسی (مسائل بهینه سازی)، توپولوژی جبری (نظریه ساختمان ها)، و فیزیک (نظریه میدان های کوانتومی) کاربرد دارند.
📌 مثال ساده:
یک درخت (مثلا یک گراف درختی با یال های به طول ۱) یک فضای CAT(0) است. در یک درخت، هر مثلث در واقع یک سه راه (tripod) است و شرط CAT(0) به سادگی برقرار است. همچنین بین هر دو نقطه یک ژئودزیک یکتا وجود دارد (مسیر یکتا در درخت).
