فضای الکساندرف (Alexandrov Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای الکساندرف (Alexandrov Space) :
تعریف: فضای الکساندرف یک فضای متریک با انحنای محدود از پایین است. دقیق تر، یک فضای متریک
\[ (X, d) \]یک فضای الکساندرف با انحنای ≥ k (یا CBB(k)) نامیده می شود اگر:
یک فضای ژئودزیکی باشد.
برای هر مثلث
\[ \Delta(x, y, z) \]در
\[ X \]و هر مثلث مقایسه
\[ \Delta(\bar{x}, \bar{y}, \bar{z}) \]در فضای مدل
\[ M_k \]، و برای هر نقطه
\[ p \]روی ضلع
\[ yz \]، اگر
\[ \bar{p} \]نقطه متناظر باشد، آن گاه
\[ d(x, p) \geq d_{M_k}(\bar{x}, \bar{p}) \].
\[ d(x, p) \geq d_{M_k}(\bar{x}, \bar{p}) \]یعنی مثلثها در مقایسه با فضای مدل "چاق" هستند.
توضیح مفهومی: فضاهای الکساندرف (با انحنای محدود از پایین) توسط ریاضیدان روسی الکساندرف در دهه ۱۹۴۰ معرفی شدند. این فضاها تعمیم طبیعی خمینه های ریمانی با انحنای مقطعی ≥ k هستند. برخلاف فضاهای CAT(k) که انحنا از بالا محدود است، در فضاهای الکساندرف انحنا از پایین محدود است. این فضاها خواص متفاوتی دارند، مثلا ممکن است در آنها ژئودزیک ها منحصر به فرد نباشند.
ویژگی های اصلی:
در فضاهای الکساندرف، زاویه بین ژئودزیک ها به خوبی تعریف شده است.
این فضاها دارای بعد (به معنی توپولوژیک یا هاوسدورف) هستند.
فضاهای الکساندرف فشرده و همبند، خواص مشابه خمینه ها دارند.
نقطه های تکین (singular points) در این فضاها ممکن است وجود داشته باشند.
این فضاها تحت حاصلضرب و برخی عملیات دیگر بسته هستند.
مثال های مهم:
خمینه های ریمانی با انحنای مقطعی ≥ k: مانند کره
\[ S^n \]با
\[ k=1 \].
فضاهای اقلیدسی
\[ \mathbb{R}^n \]: با
\[ k=0 \].
مخروط ها روی فضاهای الکساندرف: اگر
\[ X \]یک فضای الکساندرف با انحنای ≥ ۱ باشد، مخروط روی آن با انحنای ≥ ۰ است.
حدود گروماف-هاسدورف خمینه های با انحنای ≥ k: این حدود ممکن است به فضاهای الکساندرف بینجامند که خود خمینه نیستند.
قضایای ساختاری:
قضیه ساختار: در فضاهای الکساندرف با بعد متناهی، تقریبا همه نقاط (به جز یک مجموعه با بعد کمتر) دارای یک همسایگی هستند که با یک خمینه ریمانی هم ریخت است.
قضیه پایداری: اگر دنباله ای از خمینه های با انحنای ≥ k به یک فضای الکساندرف همگرا شود، آن گاه آن فضا یک خمینه است (تحت شرایط خاص).
تفاوت با فضاهای CAT(k): در فضاهای الکساندرف (انحنای ≥ k)، مثلثها "چاق" هستند (ضلع سوم بلندتر از حالت مقایسه است)، در حالی که در فضاهای CAT(k) (انحنای ≤ k)، مثلثها "لاغر" هستند (ضلع سوم کوتاه تر است).
کاربردها: فضاهای الکساندرف در هندسه ریمانی (برای مطالعه حدود فضاها)، نظریه گروه های هندسی، آنالیز هندسی، و فیزیک (در نسبیت عام برای مطالعه فضا-زمان های با انحنای محدود) کاربرد دارند.
📌 مثال ساده:
کره
\[ S^2 \]با متر استاندارد یک فضای الکساندرف با انحنای ≥ ۱ است. در یک مثلث روی کره، مثلا مثلثی با رئوس روی استوا، فاصله از یک رأس تا نقطه ای روی ضلع مقابل، از مقدار متناظر در صفحه (مثلث مقایسه) بیشتر است (چون کره تحدب دارد).
مخروط روی یک دایره (یعنی یک صفحه با یک نقطه مخروطی) نیز یک فضای الکساندرف با انحنای ≥ ۰ است.
