فضای متریک با بعد همولوژیک محدود (Metric Space with Finite Homological Dimension)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک با بعد همولوژیک محدود (Metric Space with Finite Homological Dimension) :
تعریف: بعد همولوژیک (homological dimension) یک مفهوم از نظریه همولوژی است. برای یک فضای توپولوژیک
\[ X \]، بعد همولوژیک
\[ n \]است اگر
\[ H_n(X) \neq 0 \]و
\[ H_k(X) = 0 \]برای
\[ k > n \](با ضرایب مناسب، معمولا
\[ \mathbb{Z} \]). این بعد معمولا با بعد پوششی برابر است برای فضاهای خوب (مانند خمینه ها).
\[ \operatorname{hdim}(X) = \sup\{n : H_n(X) \neq 0\} \]توضیح مفهونی: بعد همولوژیک اطلاعاتی درباره "سوراخ های" یک فضا در ابعاد مختلف می دهد. برای یک خمینه
\[ n \]-بعدی فشرده و جهت پذیر،
\[ H_n(M) \neq 0 \]و
\[ H_k(M) = 0 \]برای
\[ k > n \]، بنابراین بعد همولوژیک
\[ n \]است.
ویژگی های اصلی:
برای خمینه ها، بعد همولوژیک با بعد خمینه برابر است.
این بعد تحت هوموتوپی ناورداست.
مجموعه کانتور دارای
\[ H_0 = \mathbb{Z} \]و
\[ H_k = 0 \]برای
\[ k \geq 1 \]است، بنابراین بعد همولوژیک صفر دارد.
چنبره
\[ T^n \]دارای
\[ H_n = \mathbb{Z} \]، بنابراین بعد همولوژیک
\[ n \]دارد.
بعد همولوژیک می تواند برای فضاهای عجیب (مانند منحنی های پئانو) با بعد پوششی متفاوت باشد.
کاربردها: این مفهوم در توپولوژی جبری (برای مطالعه فضاها)، هندسه، و نظریه هموتوپی کاربرد دارد.
📌 مثال ساده:
\[ S^2 \]دارای
\[ H_2 = \mathbb{Z} \]و
\[ H_k = 0 \]برای
\[ k > 2 \]، بنابراین بعد همولوژیک ۲ دارد.
