فضای متریک با نرم یکنواخت (Uniform Norm Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک با نرم یکنواخت (Uniform Norm Metric Space) :
تعریف: نرم یکنواخت (یا نرم سوپریموم) روی فضای توابع کراندار
\[ B(X) \](یا توابع پیوسته روی یک فضای فشرده
\[ C(X) \]) به صورت زیر تعریف می شود:
\[ \|f\|_\infty = \sup_{x \in X} |f(x)| \]متریک متناظر:
\[ d_\infty(f, g) = \|f - g\|_\infty = \sup_{x \in X} |f(x) - g(x)| \]توضیح مفهومی: نرم یکنواخت میزان حداکثر اختلاف دو تابع را در سراسر دامنه اندازه می گیرد. همگرایی در این متریک معادل با همگرایی یکنواخت توابع است. این فضا برای توابع پیوسته روی یک مجموعه فشرده، یک فضای باناخ مهم است و در آنالیز تابعی، نظریه تقریب، و معادلات دیفرانسیل کاربرد دارد.
ویژگی های اصلی:
کامل بودن: فضای توابع کراندار
\[ B(X) \]با نرم یکنواخت کامل است. زیرفضای توابع پیوسته
\[ C(X) \](برای
\[ X \]فشرده) نیز کامل است.
جدایی پذیری:
\[ C([a,b]) \]جدایی پذیر است (چندجمله ای ها با ضرایب گویا چگالند)، اما
\[ B([0,1]) \]جدایی پذیر نیست.
خاصیت تقریب: قضیه وایرشتراس می گوید چندجمله ای ها در
\[ C([a,b]) \]با نرم یکنواخت چگالند.
قضیه آسکولی-آرزلا: برای فشردگی در این فضا، شرط هم درجه پیوستگی لازم است.
مثال های مهم:
\[ C([0,1]) \]
با نرم
\[ \|f\|_\infty \]: فضای باناخ توابع پیوسته.
\[ l^\infty \]
: فضای دنباله های کراندار با نرم
\[ \|x\|_\infty = \sup_n |x_n| \].
\[ B(\mathbb{R}) \]
: فضای توابع کراندار روی
\[ \mathbb{R} \].
قضایای مهم:
قضیه وایرشتراس تقریب: چندجمله ای ها در
\[ C([a,b]) \]چگالند.
قضیه آسکولی-آرزلا: یک زیرمجموعه
\[ F \subset C([a,b]) \]فشرده نسبی است اگر و فقط اگر به طور یکنواخت کراندار و هم درجه پیوسته باشد.
قضیه باناخ-استون:
\[ C(X) \]و
\[ C(Y) \]برای
\[ X, Y \]فشرده، اگر به عنوان جبر باناخ یکریخت باشند، آن گاه
\[ X \]و
\[ Y \]هومئومورفند.
کاربردها: نرم یکنواخت در آنالیز تابعی (به عنوان مثال اصلی فضای باناخ)، نظریه تقریب (برای تقریب یکنواخت توابع)، معادلات دیفرانسیل (برای اثبات وجود جواب با قضیه آسکولی-آرزلا)، و نظریه کنترل کاربرد دارد.
📌 مثال ساده:
\[ f(x) = x \]،
\[ g(x) = x^2 \]روی
\[ [0,1] \].
\[ \|f-g\|_\infty = \max_{x \in [0,1]} |x - x^2| = \max_{x \in [0,1]} x(1-x) = 1/4 \].
