موضوع مقاله: فضای تابع | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # فضای تابع | مقدمه: معمولاً دامنه و/یا هم‌دامنه ساختاری اضافی دارد که از فضای تابعی به ارث برده می‌شود. | ## بخش 1: فضای تابع | برای مثال، مجموعه توابع از هر مجموعه به یک فضای برداری دارای ساختار فضای برداری طبیعی است که توسط جمع و ضرب نرده‌ای نقطه‌گون معین می‌شود. در سناریوهای دیگر، فضای تابعی ممکن است ساختارهای توپولوژیکی یا متریکی را به ارث ببرد، از این رو نام فضای تابعی دارد. می‌توان به توابع → ساختار یک فضای برداری روی را داد که در آن عمل‌ها به صورت نقطه‌گون تعریف شده‌اند، یعنی، برای هر , : → ، هر در و هر در ، تعریف می‌کنیم وقتیکه دامنه ساختار اضافی دارد، می‌توان در عوض زیرمجموعه (یا زیرفضا) همه چنین توابعی را در نظر بگیریم که ساختار را نگهداری می‌کند. برای مثال، اگر یک فضای برداری روی هم باشد، مجموعه نگاشت‌های خطی → یک فضای برداری روی می‌سازند که عمل‌های نقطه‌ای دارند (معمولا به صورت Hom(,) نشان داده می‌شوند. یکی از چنین فضاهایی فضای دوگان است: مجموعه تابعی‌های خطی → که در آن جمع و ضرب نرده‌ای به صورت نقطه‌گون تعریف شده‌اند. مثال‌ها فضاهای تابعی در زمینه‌های متعددی از ریاضیات پدیدار شده‌اند: در نظریه مجموعه‌ها، مجموعه توابع از X به Y را می‌توان به صورت X → Y یا YX نشان داد. | ## بخش 2: فضای تابع | به عنوان یک حالت خاص، مجموعه توانی یک مجموعه X را می‌توان به صورت مجموعه همه توابع از X به {۰, ۱} شناسایی کرد، که به صورت 2X نشان داده می‌شود. در آنالیز تابعی از همین موضوع برای تبدیل‌های خطی پیوسته استفاده شده، که شامل توپولوژی‌ها روی فضاهای برداری در بالا، و بسیاری از مثال‌های اصلی همان فضاهای تابع هستند که یک توپولوژی را حمل می‌کنند؛ مشهورترین مثال‌ها فضاهای هیلبرت و فضاهای باناخ هستند. در آنالیز تابعی، مجموعه همه توابع از اعداد طبیعی با یک مجموعه X را یک فضای دنباله می‌نامند. در توپولوژی، ممکن است بخواهیم یک توپولوژی روی فضای توابع پیوسته از یک فضای توپولوژیکی X به دیگری Y بگذاریم، این بسته به امکان طبیعت فضاها دارد. همچنین توپولوژی حاصل‌ضربی روی فضای توابع مجموعه نظری YX (یعنی توابعی که الزاماً پیوسته نیستند) موجود است. در توپولوژی جبری، مطالعه نظریه هوموتوپی به صورت اساسی مطالعه نامتعیرهای گسسته فضاهای تابعی است؛ در نظریه فرایندهای تصادفی، مسئله فنی اصلی آن است که چگونه یک سنجه احتمالی، روی فضای تابعی مسیرهای فرایند بسازیم (که توابعی از زمان هستند). | ## بخش 3: فضای تابع | این از روشی مثل دوتابع‌گون کانونی نمایش داده می‌شود؛ اما به عنوان یک تابع‌گون (منفرد)، از نوع [X, -] به صورت یک تابع‌گون مجاورتی به یک تابع‌گون از نوع (-×X) روی اشیاء نمایان می‌گردد؛ در برنامه‌نویسی تابعی و حساب لامبدا، از انواع تابع برای بیان ایده توابع مرتبه-بالاتر استفاده می‌شود. در نظریه دامنه، ایده اصلی یافتن ساختارهایی از ترتیب جزئی است که می‌تواند حسابان لامبدا را توسط یک رسته بسته دکارتی خوش-رفتار مدل کند، می‌باشد. در نظریه نمایش گروه‌های متناهی، اگر دو نمایش متناهی-بعد و از یک گروه داده شود، می‌توان یک نمایش از روی فضای برداری نگاشت‌های خطی Hom(,) بسازد که نمایش Hom نامیده می‌شود. آنالیز تابعی آنالیز تابعی حول و حوش فنون مناسب برای همراهی فضاهای برداری مثل فضاهای برداری توپولوژیکی با ایده‌هایی است که به فضاهای نرم‌دار متنهای بعد اعمال می‌شود، می‌باشد. | ## جمع‌بندی | در اینجا از خط حقیقی به عنوان دامنه نمونه استفاده می‌کنیم، اما فضاهای زیر روی زیرمجموعه‌های باز مناسب موجوداند: نرم اگر یک عنصر از فضای تابع از همه توابع پیوسته‌ای باشد که روی بازه بسته تعریف شده‌اند، نرم که روی تعریف شده‌است، همان مقدار قدرمطلق حداکثری برای است، که نرم همسان یا نرم زبرینه ('sup norm') نامیده می‌شود.