فضای متریک مسیر (Path Space Metric)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک مسیر (Path Space Metric) :
تعریف: فضای متریک مسیر (Path Space Metric) معمولا به فضای همه مسیرهای پیوسته (یا قطعه قطعه پیوسته) در یک فضای متریک
\[ X \]همراه با یک متریک مناسب گفته می شود. دو متریک رایج روی فضای مسیرها عبارتند از:
1. متریک یکنواخت:
\[ d_\infty(\gamma_1, \gamma_2) = \sup_{t \in [0,1]} d_X(\gamma_1(t), \gamma_2(t)) \]2. متریک
\[ L^p \]:
\[ d_p(\gamma_1, \gamma_2) = \left( \int_0^1 d_X(\gamma_1(t), \gamma_2(t))^p dt \right)^{1/p} \]توضیح مفهومی: مطالعه فضاهای مسیر در توپولوژی جبری (برای تعریف گروه های هموتوپی)، آنالیز هندسی (برای محاسبه طول مسیرها)، و نظریه کنترل (برای مسیرهای بهینه) اهمیت دارد. این فضاها معمولا بسیار بزرگ (ناکراندار) و با ابعاد نامتناهی هستند.
فضای لوپ (Loop Space): حالت خاصی از فضای مسیر که در آن نقطه شروع و پایان یکسان است (لوپ ها). فضای لوپ در توپولوژی جبری برای تعریف گروه های هموتوپی بالاتر استفاده می شود.
ویژگی های اصلی:
فضای مسیرها با متر یکنواخت اگر
\[ X \]کامل باشد، کامل است.
این فضا معمولا فشرده نیست (مگر در موارد خاص).
همبندی مسیری این فضا با هموتوپی مسیرها ارتباط دارد.
ژئودزیک ها در این فضا متناظر با مسیرهای با حداقل انرژی یا حداقل طول هستند.
متریک انرژِی: برای مسیرهای مطلقا پیوسته، می توان متریک انرژی را تعریف کرد:
\[ E(\gamma) = \int_0^1 \|\dot{\gamma}(t)\|^2 dt \]که این یک نیم متریک است و در هندسه ریمانی برای مطالعه ژئودزیک ها استفاده می شود.
فضای مسیرهای یک خمینه ریمانی: اگر
\[ X \]یک خمینه ریمانی باشد، فضای مسیرهای
\[ C^1 \]یا
\[ H^1 \]با متریک مناسب یک خمینه هیلبرت (با بعد نامتناهی) است و نقش مهمی در مطالعه نقاط بحرانی تابع انرژی دارد.
کاربردها: فضای مسیر در توپولوژی جبری (برای مطالعه فضاهای لوپ)، آنالیز هندسی (برای مسائل وردشی)، فیزیک (نظریه میدان های کوانتومی، انتگرال مسیر فاینمن)، و نظریه کنترل بهینه کاربرد دارد.
هم ریختی با فضای اصلی: فضای مسیرها معمولا با
\[ X \]هم ریخت نیست و ابعاد بسیار بالاتری دارد.
📌 مثال ساده:
\[ X = \mathbb{R} \]،
\[ \gamma_1(t) = t \]،
\[ \gamma_2(t) = t^2 \]روی
\[ [0,1] \].
\[ d_\infty(\gamma_1, \gamma_2) = \max |t - t^2| = 1/4 \].
\[ d_2(\gamma_1, \gamma_2) = \sqrt{\int_0^1 (t - t^2)^2 dt} = \sqrt{\int_0^1 (t^2 - 2t^3 + t^4) dt} = \sqrt{1/3 - 1/2 + 1/5} = \sqrt{(10/30 - 15/30 + 6/30)} = \sqrt{1/30} \approx 0.183 \].
