رفتن به متن
باغ ریاضی
نماد ۲۴.۱ نماد FS
تنظیمات مطالعه
تنظیمات مطالعه

نماد ۲۴.۱ نماد FS

یادداشت شما ذخیره شد

می‌خواهید این تغییرات برای مدیر وب‌سایت هم ارسال شوند؟ نسخهٔ رسمی تنها پس از تأیید تغییر می‌کند.

نماد ۲۴.۱: نماد فضای توابع FS\mathbb{F}^S (Function Space Notation)

چکیده مفهومی به زبان ساده

اگر SS یک مجموعه دلخواه (مانند یک بازه از اعداد، یک منحنی، یا حتی مجموعه‌ای از نام‌ها) باشد، نماد FS\mathbb{F}^S نشان‌دهنده مجموعه تمام توابعی است که از SS شروع شده و مقداری در F\mathbb{F} تولید می‌کنند. در این فضا، جمع دو تابع و ضرب یک عدد در تابع به صورت نقطه‌به‌نقطه (Pointwise) تعریف می‌شود.


۱. درک شهودی: توابع به عنوان بردارها

چرا برای مجموعه توابع از نماد توان FS\mathbb{F}^S استفاده می‌کنیم؟ به این تقارن شگفت‌انگیز دقت کنید:

  1. در F2=F{1,2}\mathbb{F}^2 = \mathbb{F}^{\{1, 2\}}، بردار v=(v1,v2)v = (v_1, v_2) دارای دو مؤلفه است: مؤلفه در نقطه ۱ و مؤلفه در نقطه ۲.
  2. در Fn=F{1,2,…,n}\mathbb{F}^n = \mathbb{F}^{\{1, 2, \dots, n\}}، بردار v=(x1,…,xn)v = (x_1, \dots, x_n) دارای nn مؤلفه است.
  3. در F∞=F{1,2,3,… }\mathbb{F}^\infty = \mathbb{F}^{\{1, 2, 3, \dots\}}، دنباله دارای بی‌نهایت شمارا مؤلفه است.
  4. حالا اگر دامنه به جای اعداد طبیعی، یک مجموعه پیوسته مثل بازه [0,1][0, 1] باشد چه؟ در این حالت، تابع f(x)f(x) را می‌توان برداری تصور کرد که در هر نقطه x∈[0,1]x \in [0, 1] یک «مؤلفه» یا مقدار دارد! یعنی به جای nn بعد، بی‌نهایت پیوسته بعد داریم.

پس مقدار تابع در هر نقطه، همان مؤلفه بردار در آن بعد است:

x-th component of vector f≡f(x)x \text{-th component of vector } f \equiv f(x)

۲. متن رسمی ریاضی (کتاب آکسلر)

نماد ۲۴.۱ کتاب آکسلر: فضای توابع FS\mathbb{F}^S

اگر SS یک مجموعه باشد، آنگاه FS\mathbb{F}^S نشان‌دهنده‌ی مجموعه‌ی تمام توابع از SS به F\mathbb{F} است:

FS={f∣f:S→F}\mathbb{F}^S = \{ f \mid f: S \to \mathbb{F} \}
  • برای هر دو تابع f,g∈FSf, g \in \mathbb{F}^S، جمع f+g∈FSf + g \in \mathbb{F}^S تابعی است که به صورت زیر تعریف می‌شود:

    (f+g)(x)=f(x)+g(x)for all x∈S(f + g)(x) = f(x) + g(x) \quad \text{for all } x \in S
  • برای هر λ∈F\lambda \in \mathbb{F} و هر f∈FSf \in \mathbb{F}^S، ضرب اسکالر λf∈FS\lambda f \in \mathbb{F}^S تابعی است که به صورت زیر تعریف می‌شود:

    (λf)(x)=λf(x)for all x∈S(\lambda f)(x) = \lambda f(x) \quad \text{for all } x \in S

۳. کالبدشکافی عملیات نقطه‌به‌نقطه (Pointwise Operations)

دو عمل جمع و ضرب در فضای توابع را «نقطه‌به‌نقطه» می‌نامند. چرا؟ چون برای پیدا کردن حاصل جمع دو تابع در یک نقطه ورودی مانند x0x_0:

  1. ابتدا مقدار خروجی تابع اول یعنی f(x0)f(x_0) را می‌خوانیم (که یک عدد در F\mathbb{F} است).
  2. سپس مقدار خروجی تابع دوم یعنی g(x0)g(x_0) را می‌خوانیم (که عددی در F\mathbb{F} است).
  3. این دو عدد را با هم جمع می‌کنیم.

به زبان کامپیوتر، تابع حاصل‌جمع یک تابع جدید است که ورودی xx را می‌گیرد و جمع خروجی‌ها را بازمی‌گرداند.


۴. مثال‌ها و کاربردها (Examples)

مثال کتاب: توابع روی بازه [0,1][0, 1]

اگر مجموعه SS بازه بسته [0,1][0, 1] و میدان F=R\mathbb{F} = \mathbb{R} باشد:

  • نماد R[0,1]\mathbb{R}^{[0, 1]} نشان‌دهنده مجموعه تمام توابع حقیقی روی بازه [0,1][0, 1] است.
  • مثلاً اگر f(x)=x2f(x) = x^2 و g(x)=sin⁡(x)g(x) = \sin(x) باشند: (f+g)(x)=x2+sin⁡(x)(f + g)(x) = x^2 + \sin(x) (3f)(x)=3x2(3f)(x) = 3x^2 هر دو تابع حاصل، اعضایی از R[0,1]\mathbb{R}^{[0, 1]} هستند.
بازتولید فضاهای قبلی به عنوان حالت‌های خاص FS\mathbb{F}^S

  • تولید Fn\mathbb{F}^n: اگر S={1,2,…,n}S = \{1, 2, \dots, n\} باشد، آنگاه F{1,…,n}\mathbb{F}^{\{1, \dots, n\}} دقیقاً همان فضای Fn\mathbb{F}^n است؛ زیرا تابعی که به 11 مقدار x1x_1 و به 22 مقدار x2x_2 تا به nn مقدار xnx_n را نسبت می‌دهد، معادل همان لیست (x1,…,xn)(x_1, \dots, x_n) است.
  • تولید F∞\mathbb{F}^\infty: اگر S={1,2,3,… }S = \{1, 2, 3, \dots\} باشد، آنگاه FS\mathbb{F}^S دقیقاً همان فضای دنباله‌های نامتناهی F∞\mathbb{F}^\infty است.

۵. تعبیر هندسی و بصری

نمودار تابع f+gf + g حاصل چسباندن عمودی ارتفاع‌های دو نمودار ff و gg در هر نقطه xx است. ضرب عدد ۲ در تابع ff به معنی دو برابر کردن ارتفاع تمام نقاط نمودار نسبت به محور افقی است. اگر عدد منفی ضرب شود، نمودار نسبت به محور افقی قرینه می‌شود.


۶. ارتباطات و پیوندهای اتمیک

پیوندهای این یادداشت ۴

یادداشت‌هایی که از این صفحه به آن‌ها پیوند داده شده است.

  • تعریف ۱۹.۱ جمع و ضرب اسکالر در فضاهای برداری
    پیش‌نمایش

    تعریف ۱۹.۱: جمع و ضرب اسکالر در فضاهای برداری

    چکیده مفهومی به زبان ساده

    برای ساختن یک «فضای برداری»، به دو ابزار اصلی نیاز داریم: ۱. یک ماشین جمع که دو عضو از فضا را می‌گیرد و عضو سومی از همان فضا تحویل می‌دهد. ۲. یک ماشین ضرب اسکالر که یک عدد (از میدان F\mathbb{F}) و یک عضو از فضا را می‌گیرد و عضو مقیاس‌شده‌ای از همان فضا تحویل می‌دهد.


  • مثال ۲۳.۱ فضای دنباله‌های نامتناهی F_infty
    پیش‌نمایش

    مثال ۲۳.۱: فضای دنباله‌های نامتناهی F∞\mathbb{F}^\infty

    چکیده مفهومی به زبان ساده

    اگر لیست‌های متناهی مانند (x1,x2,…,xn)(x_1, x_2, \dots, x_n) در Fn\mathbb{F}^n را تا بی‌نهایت ادامه دهیم، به دنباله‌های بی‌پایان (x1,x2,x3,… )(x_1, x_2, x_3, \dots) می‌رسیم. مجموعه تمام این دنباله‌ها با جمع و ضرب نظیر‌به‌نظیر، یک فضای برداری بسیار مهم به نام F∞\mathbb{F}^\infty می‌سازد که دروازه ورود به فضاهای بی‌نهایت بعدی است.


  • مثال ۲۵.۱ فضای توابع FS یک فضای برداری است
    پیش‌نمایش

    مثال ۲۵.۱: فضای توابع FS\mathbb{F}^S یک فضای برداری است

    چکیده مفهومی به زبان ساده

    اگر SS هر مجموعه ناتهی باشد، مجموعه تمام توابع از SS به میدان F\mathbb{F} (با جمع و ضرب اسکالر نقطه‌به‌نقطه) یک فضای برداری کامل و معتبر است. چون ویژگی‌های جمع و ضرب اعداد در میدان F\mathbb{F} نقطه به نقطه به این توابع ارث می‌رسد!


  • MOC فصل ۱ - فضاهای برداری
    پیش‌نمایش

    📘 نقشه راه فصل اول: فضاهای برداری (Vector Spaces)

    ستون فقرات جبر خطی

    فصل اول آکسلر مفهوم «بردار» را از پیکان‌های فیزیکی دبیرستان آزاد کرده و به یک ساختار جبری فراگیر تبدیل می‌کند. این فصل به سه بخش اصلی تقسیم می‌شود: ۱. بخش ۱.۱ (Rn\mathbb{R}^n و Cn\mathbb{C}^n): ساختن زمینه اسکالرها و فضاهای مختصاتی. ۲. بخش ۲.۱ (فضای برداری): تعریف اصل موضوعی و خواص بنیادین. ۳. بخش ۳.۱ (زیرفضاها و جمع مستقیم): نحوه تجزیه فضاها به بخش‌های ساده‌تر.


ارجاعات به این یادداشت ۰

یادداشت‌هایی که به این صفحه پیوند داده‌اند.

هنوز یادداشت دیگری به این صفحه پیوند نداده است.

حالت ارائه