فضای باناخ (Banach Space)، در ریاضیات (Mathematics)

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

فضای باناخ (Banach Space) :

تعریف: فضای باناخ یک فضای برداری نرم دار کامل است. یعنی یک فضای برداری

\[ X \]

همراه با نرم

\[ \|\cdot\| \]

به طوری که

\[ (X, d) \]

با

\[ d(x, y) = \|x - y\| \]

یک فضای متریک کامل باشد.

\[ \|x\| \geq 0, \quad \|x\| = 0 \iff x = 0 \] \[ \|\lambda x\| = |\lambda| \|x\| \] \[ \|x + y\| \leq \|x\| + \|y\| \]

و شرط کامل بودن: هر دنباله کوشی همگراست.

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

\[ L^p \]

برای

\[ p \neq 2 \]

مثال های مهمی از فضاهای باناخ هستند که هیلبرت نیستند.

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

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

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

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

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

مثال های مهم:

\[ L^p \]

و

\[ l^p \]

: برای

\[ 1 \leq p \leq \infty \]

.

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

: با نرم سوپریموم.

\[ C_0(X) \]

: توابع پیوسته ای که در بینهایت صفر می شوند.

\[ W^{k,p} \]

: فضاهای سوبولف.

\[ c_0 \]

و

\[ c \]

: دنباله های همگرا به صفر و دنباله های همگرا.

فضاهای باناخ با ساختار اضافی:

فضاهای باناخ انعکاسی: فضاهایی که با دوگان دوم خود یکریخت هستند.

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

فضاهای باناخ هموار: فضاهایی که نرم آنها مشتق پذیر است.

قضایای مهم:

قضیه جیمز: یک فضای باناخ انعکاسی است اگر و فقط اگر هر تابعک خطی پیوسته به نقاطی از گوی واحد برسد.

قضیه بیشاپ-فلپس: در فضای باناخ، تابعک های خطی که به نرم خود می رسند، چگالند.

قضیه کرین-میلمن: در دوگان یک فضای باناخ، نقاط اکسترمال گوی واحد بسته، چگال هستند.

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

📌 مثال ساده:

\[ X = l^1 \]

با نرم

\[ \|x\|_1 = \sum |x_n| \]

یک فضای باناخ است. دوگان آن

\[ l^\infty \]

است.

\[ l^1 \]

انعکاسی نیست، زیرا

\[ l^{1**} = l^\infty \]

که با

\[ l^1 \]

تفاوت دارد.

\[ C[0,1] \]

با نرم

\[ \|f\|_\infty \]

یک فضای باناخ است. دوگان آن فضای اندازه های رادون است.