فضای تابع های کراندار (Space of Bounded Functions)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای تابع های کراندار (Space of Bounded Functions) :
تعریف: فرض کنید
\[ X \]یک مجموعه دلخواه (غیرتهی) باشد. مجموعه همه توابع کراندار
\[ f: X \to \mathbb{R} \](یا
\[ \mathbb{C} \]) را با
\[ B(X) \]نشان می دهیم. روی این مجموعه، متر سوپریموم (یا متر یکنواخت) را به صورت زیر تعریف می کنیم:
\[ d_\infty(f, g) = \sup_{x \in X} |f(x) - g(x)| \]توضیح مفهومی: این فضا یکی از مهم ترین فضاهای تابعی در آنالیز است. کراندار بودن توابع تضمین می کند که سوپریموم مذکور متناهی باشد. متر یکنواخت میزان حداکثر اختلاف دو تابع را در سراسر دامنه می سنجد. همگرایی در این متر معادل با همگرایی یکنواخت توابع است.
ویژگی های اصلی:
کامل بودن: فضای
\[ (B(X), d_\infty) \]یک فضای متریک کامل است. اگر دنباله ای از توابع کراندار کوشی باشد، حد آن نیز یک تابع کراندار است و همگرایی یکنواخت است.
ساختار باناخ: این فضا با نرم
\[ \|f\|_\infty = \sup_{x \in X} |f(x)| \]یک فضای باناخ (فضای برداری نرم دار کامل) است.
جدایی پذیری: اگر
\[ X \]مجموعه ای ناشمارا باشد،
\[ B(X) \]جدایی پذیر نیست. برای مثال،
\[ B(\mathbb{R}) \]با توابع مشخصه نقاط مختلف، یک مجموعه ناشمارا با فاصله ۱ از هم دارد.
اگر
\[ X \]فشرده باشد،
\[ B(X) \]شامل
\[ C(X) \](توابع پیوسته) به عنوان زیرفضای بسته است.
مثال های مهم:
\[ B(\mathbb{N}) \]
: این فضا همان فضای دنباله های کراندار
\[ l^\infty \]است.
\[ B([0,1]) \]
: فضای همه توابع کراندار (نه لزوما پیوسته) روی بازه
\[ [0,1] \].
\[ C_b(X) \]
: زیرفضای توابع پیوسته و کراندار که در بسیاری از زمینه ها اهمیت دارد.
همگرایی یکنواخت: در این فضا،
\[ f_n \to f \]یعنی
\[ \sup_{x \in X} |f_n(x) - f(x)| \to 0 \]، که همان همگرایی یکنواخت است. این قوی ترین نوع همگرایی نقطه ای است.
ارتباط با فشرده سازی: اگر
\[ X \]یک فضای توپولوژیک باشد،
\[ C_b(X) \](توابع پیوسته کراندار) اطلاعات مهمی درباره
\[ X \]به دست می دهد و با فشرده سازی استون-چک
\[ X \]مرتبط است.
کاربردها: این فضا در آنالیز تابعی (به عنوان مثال اصلی فضای باناخ)، نظریه تقریب (برای تقریب توابع)، معادلات دیفرانسیل (برای اثبات وجود جواب)، و نظریه احتمال (برای مطالعه متغیرهای تصادفی کراندار) کاربرد دارد.
قضیه مهم: قضیه آسکولی-آرزلا: در
\[ C([0,1]) \](که زیرفضایی از
\[ B([0,1]) \]است)، مجموعه ای از توابع که به طور یکنواخت کراندار و هم درجه پیوسته باشند، فشرده نسبی در متر یکنواخت هستند.
📌 مثال ساده:
\[ X = \{1, 2\} \]،
\[ B(X) \]مجموعه همه زوج مرتب های
\[ (a, b) \]است. متر سوپریموم برابر
\[ \max(|a_1 - a_2|, |b_1 - b_2|) \]است. این فضا با
\[ \mathbb{R}^2 \]و متر
\[ l^\infty \]یکریخت است.
\[ f_n(x) = x^n \]روی
\[ [0,1] \]: این توابع کراندارند (۰ ≤ f_n(x) ≤ 1). اما
\[ f_n \]در متر یکنواخت به تابع
\[ f(x)=0 \]برای
\[ x<1 \]و
\[ f(1)=1 \]همگرا نیست، زیرا اختلاف در نزدیکی ۱ به ۱ میل می کند. در عوض، همگرایی نقطه ای دارد.
