فضای متریک خود-مشابه (Self-Similar Metric Space)، در ریاضیات (Mathematics)

انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :

فضای متریک خود-مشابه (Self-Similar Metric Space) :

تعریف: یک فضای متریک خود-مشابه (Self-similar metric space) فضایی است که با یک مقیاس دهی (scaling) مناسب، با بخشی از خودش یکریخت باشد. به طور دقیق تر، یک فضای متریک

\[ X \]

خود-مشابه است اگر یک خانواده از نگاشت های انقباضی

\[ \{f_1, ..., f_m\} \]

روی

\[ X \]

وجود داشته باشد به طوری که

\[ X = \bigcup_{i=1}^m f_i(X) \]

و این اجتماع تقریبا جدا از هم باشد (شرط مجموعه باز). این تعریف پایه نظریه فرکتال ها است.

\[ X = \bigcup_{i=1}^m f_i(X) \]

،

\[ f_i \]

انقباض.

توضیح مفهومی: فضاهای خود-مشابه در نظریه فرکتال ها (توسط بنوا مندلبرو) معروف شدند. مجموعه کانتور، برف دانه کخ، و مثلث سیرپینسکی مثال های کلاسیک هستند. این فضاها معمولا دارای بعد کسری (بعد هاوسدورف) هستند و خواص هندسی جالبی دارند.

ویژگی های اصلی:

یک فضای خود-مشابه معمولا توسط یک دستگاه تابع تکراری (IFS - Iterated Function System) تعریف می شود.

اگر نگاشت ها انقباض باشند، یک جاذب (attractor) یکتا وجود دارد که همان فضای خود-مشابه است.

بعد هاوسدورف این فضاها از معادله

\[ \sum_{i=1}^m r_i^d = 1 \]

به دست می آید، که

\[ r_i \]

ضرایب انقباض هستند.

این فضاها معمولا فشرده و کامل هستند.

مثال ها: مجموعه کانتور (

\[ r=1/3 \]

,

\[ m=2 \]

،

\[ d = \log 2 / \log 3 \]

)، برف دانه کخ (

\[ r=1/3 \]

,

\[ m=4 \]

،

\[ d = \log 4 / \log 3 \]

).

قضیه هاچینسون: برای یک IFS از نگاشت های انقباضی روی یک فضای متریک کامل، یک مجموعه فشرده یکتا (جاذب) وجود دارد که

\[ K = \bigcup f_i(K) \]

.

کاربردها: فضاهای خود-مشابه در گرافیک کامپیوتری (برای تولید تصاویر فرکتالی)، فیزیک (برای مدل سازی پدیده های طبیعی مانند سواحل، ابرها)، زیست شناسی (برای مدل سازی ساختار رگ ها)، و نظریه اعداد (برای مطالعه مجموعه های خود-مشابه) کاربرد دارند.

📌 مثال ساده:

مجموعه کانتور

\[ C \]

:

\[ f_1(x) = x/3 \]

،

\[ f_2(x) = x/3 + 2/3 \]

.

\[ C = f_1(C) \cup f_2(C) \]

.

مثلث سیرپینسکی: سه انقباض با مرکز رئوس مثلث.