فضای متریک هادامار (Hadamard Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک هادامار (Hadamard Space) :
تعریف: یک فضای متریک هادامار (Hadamard Space) یک فضای CAT(0) کامل است. به عبارت دیگر، یک فضای متریک کامل، ژئودزیکی، و با انحنای ≤ ۰ (به معنی الکساندرف) که در آن بین هر دو نقطه یک ژئودزیک یکتا وجود دارد.
فضای هادامار = CAT(0) + کامل
توضیح مفهومی: این فضاها به افتخار ریاضیدان فرانسوی ژاک هادامار نامگذاری شده اند. آنها تعمیم طبیعی فضاهای اقلیدسی و هذلولوی به فضاهای با انحنای نامثبت هستند. خواص این فضاها شباهت زیادی به خواص فضای اقلیدسی دارد: وجود ژئودزیک یکتا، تحدب توابع فاصله، و وجود برآمدگی ناانبساطی روی مجموعه های محدب.
ویژگی های اصلی:
بین هر دو نقطه یک ژئودزیک یکتا وجود دارد.
تابع فاصله مربعی
\[ d^2(x, y) \]به طور یکنواخت محدب است.
برای هر نقطه
\[ x \]و هر مجموعه محدب بسته
\[ C \]، یک برآمدگی یکتا
\[ \pi_C(x) \]وجود دارد که
\[ d(x, \pi_C(x)) = \inf_{y \in C} d(x, y) \].
این برآمدگی یک نگاشت ناانبساطی است (
\[ d(\pi_C(x), \pi_C(y)) \leq d(x, y) \]).
فضاهای هادامار به طور موضعی همبند مسیری و به طور سراسری انقباضپذیر هستند.
مثال های مهم:
فضاهای اقلیدسی
\[ \mathbb{R}^n \]: ساده ترین مثال.
فضاهای هذلولوی
\[ \mathbb{H}^n \]: با انحنای منفی ثابت.
درخت های حقیقی (Real Trees): فضاهای هادامار یک بعدی.
ساختمان های اقلیدسی (Euclidean Buildings): مانند ساختمان های مربوط به گروه های جبری.
فضای تیچ مولر (Teichmüller space): با متر وایل-پیترسون یک فضای هادامار است (البته کامل نیست، اما با متر تکلیف دیگری دارد).
حاصلضرب فضاهای هادامار: با متر
\[ l^2 \]، باز هم هادامار است.
قضایای مهم:
قضیه کارتان-آدامز: هر گروه متناهی از ایزومتری های یک فضای هادامار یک نقطه ثابت مشترک دارد.
قضیه بروهات-تیس: برای گروه های کاهشی روی ساختمان ها.
قضیه نقطه ثابت: هر انقباض روی یک فضای هادامار دارای یک نقطه ثابت یکتاست.
قضیه تحدب: تابع فاصله تا یک نقطه، تابعی محدب است.
متر مربع فاصله: در فضاهای هادامار، تابع
\[ f(x) = d^2(x, y) \]به طور یکنواخت محدب است. این خاصیت برای مسائل بهینه سازی و نقطه ثابت بسیار مفید است.
کاربردها: فضاهای هادامار در آنالیز محدب (تعمیم بهینه سازی به فضاهای با انحنای نامثبت)، نظریه گروه های هندسی (برای مطالعه گروه های CAT(0))، هندسه جبری (نظریه ساختمان ها)، و فیزیک (نظریه ریسمان و گرانش کوانتومی) کاربرد دارند.
📌 مثال ساده:
صفحه اقلیدسی
\[ \mathbb{R}^2 \]یک فضای هادامار است. بین هر دو نقطه یک خط راست یکتا وجود دارد. برآمدگی روی یک خط (مجموعه محدب) برابر با پای عمود است و این برآمدگی ناانبساطی است (یعنی فاصله بین برآمدگی دو نقطه از فاصله خود نقاط بیشتر نیست).
درخت ها نیز فضاهای هادامار هستند. در یک درخت، برآمدگی یک نقطه روی یک مسیر (زیردرخت محدب) برابر با نزدیک ترین نقطه روی آن مسیر است.
