فضای توابع پیوسته (Space of Continuous Functions) با متر سوپریموم، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای توابع پیوسته (Space of Continuous Functions) با متر سوپریموم :
تعریف: فرض کنید
\[ X \]یک فضای فشرده (مثلا
\[ [a, b] \]) باشد. مجموعه همه توابع پیوسته
\[ f: X \to \mathbb{R} \]را با
\[ C(X) \]نشان می دهیم. روی این مجموعه، متر یکنواخت (متر سوپریموم) را تعریف می کنیم:
\[ d(f, g) = \max_{x \in X} |f(x) - g(x)| \](به دلیل فشردگی
\[ X \]، ماکسیمم وجود دارد و با سوپریمم برابر است.)
توضیح مفهومی: فضای توابع پیوسته روی یک مجموعه فشرده، یکی از مهم ترین فضاهای متریک در آنالیز است. این فضا کامل است (چون حد یکنواخت توابع پیوسته، پیوسته است) و ساختار جبری نیز دارد (جبر باناخ). قضیه وایرشتراس در مورد تقریب توابع پیوسته با چندجمله ای ها در این فضا مطرح می شود.
ویژگی های اصلی:
کامل بودن:
\[ (C(X), d_\infty) \]یک فضای متریک کامل است. دنباله کوشی از توابع پیوسته به یک تابع پیوسته همگرای یکنواخت همگراست.
جدایی پذیری: اگر
\[ X \]یک فضای متریک فشرده باشد،
\[ C(X) \]جدایی پذیر است (توسط قضیه وایرشتراس-استون).
ساختار باناخ: با نرم
\[ \|f\|_\infty = \max_{x \in X} |f(x)| \]یک فضای باناخ (جابجایی) است.
خاصیت تقریب: چندجمله ای ها در
\[ C([a, b]) \]چگالند (قضیه وایرشتراس).
قضیه وایرشتراس: هر تابع پیوسته روی
\[ [a, b] \]را می توان با یک دنباله از چندجمله ای ها به طور یکنواخت تقریب زد. یعنی چندجمله ای ها در
\[ C([a, b]) \]چگالند.
قضیه آسکولی-آرزلا: یک زیرمجموعه
\[ F \subset C([a, b]) \]فشرده نسبی (یعنی بستارش فشرده) است اگر و فقط اگر
\[ F \]به طور یکنواخت کراندار و هم درجه پیوسته باشد. این قضیه ابزار اصلی برای اثبات وجود جواب در معادلات دیفرانسیل است.
فضای
\[ C_0(X) \]: اگر
\[ X \]موضعا فشرده باشد،
\[ C_0(X) \]توابع پیوسته ای هستند که در بینهایت صفر می شوند. این فضا نیز با متر یکنواخت کامل است.
جبر باناخ:
\[ C(X) \]با ضرب نقطه ای توابع یک جبر باناخ جابجایی است. قضیه گلند-نایمارک ارتباط این جبرها را با فضاهای فشرده نشان می دهد.
کاربردها: این فضا در معادلات دیفرانسیل (برای اثبات وجود جواب با قضیه آسکولی-آرزلا)، آنالیز تابعی (به عنوان مثال اصلی جبر باناخ)، نظریه تقریب، و فیزیک ریاضی کاربرد دارد.
📌 مثال ساده:
\[ X = [0, 1] \]،
\[ f(x) = x \]،
\[ g(x) = x^2 \]. فاصله یکنواخت بین
\[ f \]و
\[ g \]برابر
\[ \max_{x \in [0,1]} |x - x^2| = \max_{x \in [0,1]} |x(1-x)| = 1/4 \]است (که در
\[ x=1/2 \]رخ می دهد).
\[ f_n(x) = \arctan(nx) \]روی
\[ [0,1] \]. این توابع به تابع
\[ f(x) = \pi/2 \]برای
\[ x>0 \]و
\[ f(0)=0 \]همگرای نقطه ای هستند اما همگرای یکنواخت نیستند (چون ناپیوستگی در ۰ ایجاد می شود).
