فضای متریک فرشه (Fréchet Space)، در ریاضیات (Mathematics)

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

فضای متریک فرشه (Fréchet Space) :

تعریف: فضای فرشه (Fréchet Space) یک فضای برداری توپولوژیک است که:

موضعا محدب باشد (یعنی دارای یک پایه از همسایگی های محدب).

متریک پذیر باشد (یعنی توپولوژی آن توسط یک متریک سازگار با ساختار برداری قابل تعریف باشد).

با آن متریک کامل باشد.

یک فضای فرشه توسط یک خانواده شمارا از نیم نرم ها

\[ \{p_n\}_{n \in \mathbb{N}} \]

تعریف می شود و متریک آن معمولا:

\[ d(x, y) = \sum_{n=1}^\infty \frac{1}{2^n} \frac{p_n(x - y)}{1 + p_n(x - y)} \]

توضیح مفهومی: فضاهای فرشه به نام موریس فرشه، یکی از بنیان گذاران آنالیز تابعی، نامگذاری شده اند. این فضاها تعمیم طبیعی فضاهای باناخ هستند: در باناخ نرم داریم، در فرشه خانواده شمارا از نیم نرم ها داریم. بسیاری از فضاهای مهم در آنالیز مانند

\[ C^\infty \]

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

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

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

هر فضای باناخ یک فضای فرشه است (با یک نیم نرم).

قضیه هان-باناخ در فضاهای فرشه برقرار است.

قضیه نگاشت باز و گراف بسته برای عملگرهای خطی بین فضاهای فرشه برقرار است.

فضاهای فرشه لزوما نرم پذیر نیستند (ممکن است نرمی وجود نداشته باشد که توپولوژی را تولید کند).

مثال های مهم:

\[ C^\infty(\Omega) \]

: توابع هموار روی یک مجموعه باز

\[ \Omega \subset \mathbb{R}^n \]

با همگرایی یکنواخت مشتقات روی فشرده ها.

\[ C(\mathbb{R}) \]

: توابع پیوسته روی

\[ \mathbb{R} \]

با توپولوژی همگرایی یکنواخت روی فشرده ها.

\[ H(\Omega) \]

: توابع هولومورف روی یک مجموعه باز

\[ \Omega \subset \mathbb{C} \]

با همگرایی یکنواخت روی فشرده ها.

\[ s \]

: فضای دنباله های با کاهش سریع (rapidly decreasing sequences).

\[ C_c^\infty(\Omega) \]

: با توپولوژی مناسب (محدود مستقیم) فرشه نیست بلکه LF-فضاست.

متریک در فضاهای فرشه: متریک ارائه شده پایای انتقالی است (یعنی

\[ d(x+z, y+z) = d(x, y) \]

) و توپولوژی برداری را تولید می کند. اما این متریک از یک نرم نمی آید (همگن نیست).

قضایای مهم:

قضیه کولموگوروف: یک فضای برداری توپولوژیک نرم پذیر است اگر و فقط اگر یک همسایگی محدب و کراندار از صفر داشته باشد. بنابراین فضاهای فرشه که چنین همسایگی ای ندارند، نرم پذیر نیستند.

قضیه باناخ-اشتاینهوس برای فضاهای فرشه نیز برقرار است.

قضیه کرین-میلمن در فضاهای فرشه (برای مجموعه های فشرده محدب).

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

📌 مثال ساده:

\[ C^\infty[0,1] \]

: دنباله

\[ f_n(x) = \sin(nx) \]

در این فضا همگرا نیست، اما

\[ g_n(x) = \frac{\sin(nx)}{n} \]

به ۰ همگراست.

فضای همه دنباله های حقیقی

\[ \mathbb{R}^{\mathbb{N}} \]

با نیم نرم های

\[ p_n(x) = |x_n| \]

یک فضای فرشه است (محصول شمارا از خط).