فضای متریک موضعا محدب (Locally Convex Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک موضعا محدب (Locally Convex Metric Space) :

تعریف: یک فضای برداری توپولوژیک موضعا محدب (Locally Convex Space) فضایی است که در آن هر نقطه دارای یک پایه از همسایگی های محدب است. یک فضای متریک موضعا محدب، فضای متریکی است که هم زمان یک فضای برداری توپولوژیک موضعا محدب باشد و متریک آن با ساختار برداری سازگار باشد (یعنی جمع و ضرب اسکالر پیوسته باشند). مهم ترین مثال: فضاهای نرم دار (و به طور کلی فضاهای فرشه).

\[ \forall U \text{ همسایگی صفر}, \exists V \text{ همسایگی صفر محدب}, V \subset U \]

توضیح مفهومی: مفهوم تحدب موضعی تعمیم طبیعی فضاهای نرم دار است. در فضاهای نرم دار، گوی های باز (که محدب هستند) یک پایه از همسایگی های محدب را تشکیل می دهند. فضاهای موضعا محدب می توانند با خانواده ای از نیم نرم ها (seminorms) توصیف شوند. فضاهای فرشه (Fréchet spaces) نمونه های مهمی از فضاهای موضعا محدب هستند که متریک پذیر و کامل می باشند.

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

هر فضای نرم دار موضعا محدب است.

فضاهای موضعا محدب را می توان با خانواده ای از نیم نرم ها توصیف کرد: توپولوژی توسط خانواده

\[ \{p_\alpha\}_{\alpha \in A} \]

از نیم نرم ها تولید می شود.

اگر خانواده نیم نرم ها شمارا باشد و فضا کامل باشد، آن را فضای فرشه می نامیم.

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

دوگان یک فضای موضعا محدب، فضای همه تابعک های خطی پیوسته است.

مثال های مهم:

فضاهای نرم دار: مانند

\[ L^p \]

،

\[ C([a,b]) \]

.

فضاهای فرشه: مانند

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

(توابع هموار با همگرایی یکنواخت مشتقات روی مجموعه های فشرده)، فضای توابع تحلیلی، فضای دنباله ها با همگرایی نقطه ای.

فضای توابع با تکیه گاه فشرده

\[ C_c(\Omega) \]

: با توپولوژی حد مستقیم (LF-space).

فضای توزیع ها (Distributions): دوگان فضاهای موضعا محدب.

فضاهای فرشه: این فضاها توسط یک خانواده شمارا از نیم نرم ها تعریف می شوند و با یک متریک پایای انتقالی (مانند

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

) به فضاهای متریک کامل تبدیل می شوند.

قضیه کرین-میلمن: در فضاهای موضعا محدب، نقاط اکسترمال مجموعه های فشرده محدب نقش مهمی دارند.

قضیه مکی-آرنس: در مورد دوگان فضاهای موضعا محدب و توپولوژی های سازگار.

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

📌 مثال ساده:

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

با نیم نرم های

\[ p_n(f) = \max_{x \in [0,1]} |f^{(n)}(x)| \]

یک فضای فرشه است. همگرایی

\[ f_k \to f \]

در این فضا یعنی

\[ f_k \]

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

فضای همه توابع پیوسته روی

\[ \mathbb{R} \]

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