رفتن به متن
باغ ریاضی
نماد ۲۴.۱ فضای توابع 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): ساختن زمینه اسکالرها و فضاهای مختصاتی. ۲. بخش ۲.۱ (فضای برداری): تعریف اصل موضوعی و خواص بنیادین. ۳. بخش ۳.۱ (زیرفضاها و جمع مستقیم): نحوه تجزیه فضاها به بخش‌های ساده‌تر.

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

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

نمایش ۳ مورد دیگرنمایش کمتر

حالت ارائه