فضای تابع (Function Space)، در ریاضیات (Mathematics)
انواع فضاهای توپولوژیک (Topological Space) را در آموزش زیر شرح دادیم :
فضای تابع (Function Space) :
فضای تابع (Function space) یک فضای توپولوژیک است که نقاط آن توابع بین دو فضای توپولوژیک هستند. این فضاها معمولا با توپولوژی های مختلفی مانند توپولوژی فشرده-باز (compact-open topology)، توپولوژی همگرایی نقطه ای، یا توپولوژی یکنواخت مجهز می شوند.
مهم ترین مثال:
\[ C(X,Y) \]فضای توابع پیوسته از
\[ X \]به
\[ Y \]با توپولوژی فشرده-باز. این فضاها در توپولوژی جبری (حلقه ها و فضاهای طبقه بندی کننده) و آنالیز تابعی اهمیت دارند.
ویژگی ها:
اگر
\[ X \]موضعا فشرده و هاسدورف باشد،
\[ C(X,Y) \]با توپولوژی فشرده-باز، یک فضای نمایی (exponential) در رسته فضاهای توپولوژیک است.
توپولوژی همگرایی نقطه ای روی
\[ \mathbb{R}^X \]همان توپولوژی ضربی است.
فضاهای تابع در نظریه هموتوپی (مثل فضاهای حلقه) کاربرد دارند.
\[ C(X,Y) = \{ f: X \to Y \mid f \text{ پیوسته} \} \]فضاهای تابع ابزاری اساسی برای مطالعه پیوستگی و همگرایی توابع هستند.
