فضای متریک روی دسته های اصلی (Principal Bundle Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک روی دسته های اصلی (Principal Bundle Metric Space) :
تعریف: یک دسته اصلی (principal bundle)
\[ P \]با گروه ساختاری
\[ G \]روی خمینه
\[ M \]، یک دسته فیبردار است که در آن گروه
\[ G \]به طور آزاد روی
\[ P \]عمل می کند و
\[ M = P/G \]. یک متریک روی
\[ P \]می تواند به گونه ای باشد که با عمل
\[ G \]ناوردا باشد. این متریک،
\[ P \]را به یک فضای متریک با تقارن
\[ G \]تبدیل می کند. همچنین می تواند یک اتصال (connection) روی
\[ P \]تعریف کند.
\[ g_P \]یک متریک
\[ G \]-ناوردا روی
\[ P \].
توضیح مفهونی: دسته های اصلی در نظریه پیمانه ای (gauge theory) نقش اساسی دارند. متریک روی آنها به ما اجازه می دهد تا مفاهیم هندسی (مانند طول و زاویه) را به این فضاها تعمیم دهیم. اتصالات روی
\[ P \]با مفاهیم فیزیکی مانند میدان های پیمانه ای مرتبط هستند.
ویژگی های اصلی:
یک متریک
\[ G \]-ناوردا روی
\[ P \]با یک متریک روی
\[ M \]و یک متریک روی جبر لی
\[ \mathfrak{g} \](برای جهات عمودی) تعیین می شود.
این متریک معمولا یک اتصال (اتصال اصلی) را القا می کند.
فضای کل
\[ P \]با این متریک یک فضای همگن موضعی است.
مثال ها:
\[ P = SO(n) \]به عنوان دسته اصلی روی
\[ S^{n-1} \].
کاربردها: دسته های اصلی با متریک در نظریه پیمانه ای (برای مطالعه میدان های یانگ-میلز)، فیزیک ذرات، و هندسه دیفرانسیل کاربرد دارند.
📌 مثال ساده:
\[ M = S^2 \]،
\[ P = SO(3) \]به عنوان دسته اصلی با گروه
\[ SO(2) \](برای جهات مماس).
