رفتن به متن
باغ ریاضی
مثال ۲۵.۱ فضای توابع FS یک فضای برداری است
تنظیمات مطالعه
تنظیمات مطالعه

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

#مثال#اثبات#فصل_۱#بخش_۲#جبر_خطی#آکسلر#فضای_بردارینسخهٔ رسمی

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

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

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

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

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

۱. تصویر کلان و اهمیت این مثال

این مثال نقطه عطف جبر خطی است! تا پیش از این، بردارها را به شکل لیست‌هایی از اعداد مثل (x1,…,xn)(x_1, \dots, x_n) می‌دیدیم. اما با این مثال می‌فهمیم:

«یک فضای برداری می‌تواند از اشیائی کاملاً غیرعددی ساخته شده باشد؛ مانند توابع!»

وقتی ثابت کنیم FS\mathbb{F}^S یک فضای برداری است، تمام قضایای جبر خطی (استقلال خطی، بعد، پایه‌ها، نگاشت‌های خطی و ...) برای توابع ریاضی نیز صادق خواهد بود. این بنیان شاخه‌ای عظیم در ریاضیات به نام «آنالیز تابعی» (Functional Analysis) و فیزیک کوانتوم است.

۲. صورت دقیق گزاره کتاب آکسلر

گزاره مثال ۲۵.۱ کتاب آکسلر

اگر SS یک مجموعه ناتهی باشد، آنگاه FS\mathbb{F}^S (با اعمال جمع و ضرب اسکالر تعریف‌شده در نماد ۲۴.۱) یک فضای برداری روی میدان F\mathbb{F} است.

۳. نقشه راه و استراتژی اثبات (Proof Strategy)

  • نوع اثبات: بررسی مستقیم تک‌تک اصول موضوعه دهگانه فضای برداری.
  • ایده محوری: دو تابع ff و gg برابرند اگر و تنها اگر به ازای هر ورودی x∈Sx \in S، خروجی‌هایشان یکسان باشد (f(x)=g(x)f(x) = g(x)). چون مقادیر f(x)f(x) اعدادی در میدان F\mathbb{F} هستند، تمام خواص جبری (جابه‌جایی، شرکت‌پذیری و ...) مستقیماً از میدان F\mathbb{F} به این توابع منتقل می‌شوند.

۴. اثبات گام‌به‌گام تمامی اصول موضوعه برای FS\mathbb{F}^S

بررسی دقیق شروط هشت‌گانه

گام اول: جابه‌جایی در جمع (Commutativity)

فرض کنید f,g∈FSf, g \in \mathbb{F}^S. برای هر x∈Sx \in S:

(f+g)(x)=f(x)+g(x)=g(x)+f(x)=(g+f)(x)(f + g)(x) = f(x) + g(x) = g(x) + f(x) = (g + f)(x)
  • دلیل تساوی دوم: جابه‌جایی در جمع اعداد در میدان F\mathbb{F}. چون این تساوی برای هر x∈Sx \in S برقرار است، دو تابع با هم برابرند: f+g=g+ff + g = g + f.

گام دوم: شرکت‌پذیری در جمع (Associativity of Addition)

فرض کنید f,g,h∈FSf, g, h \in \mathbb{F}^S. برای هر x∈Sx \in S:

((f+g)+h)(x)=(f+g)(x)+h(x)=(f(x)+g(x))+h(x)((f + g) + h)(x) = (f + g)(x) + h(x) = (f(x) + g(x)) + h(x)

طبق خاصیت شرکت‌پذیری جمع در میدان F\mathbb{F}:

(f(x)+g(x))+h(x)=f(x)+(g(x)+h(x))=f(x)+(g+h)(x)=(f+(g+h))(x)(f(x) + g(x)) + h(x) = f(x) + (g(x) + h(x)) = f(x) + (g + h)(x) = (f + (g + h))(x)

بنابراین: (f+g)+h=f+(g+h)(f + g) + h = f + (g + h).

گام سوم: عضو همانی جمعی یا تابع صفر (Additive Identity)

تابع صفر را با نماد 00 تعریف می‌کنیم که به هر ورودی x∈Sx \in S، عدد صفر میدان را نسبت می‌دهد:

0:S→F,0(x)=0(∀x∈S)0: S \to \mathbb{F}, \quad 0(x) = 0 \quad (\forall x \in S)

حال برای هر f∈FSf \in \mathbb{F}^S و هر x∈Sx \in S:

(f+0)(x)=f(x)+0(x)=f(x)+0=f(x)(f + 0)(x) = f(x) + 0(x) = f(x) + 0 = f(x)

پس تابع صفر 0∈FS0 \in \mathbb{F}^S عضو همانی جمعی است: f+0=ff + 0 = f.

گام چهارم: وارون جمعی یا قرینه تابع (Additive Inverse)

برای هر تابع f∈FSf \in \mathbb{F}^S، تابع قرینه −f-f را چنین تعریف می‌کنیم:

(−f)(x)=−f(x)(∀x∈S)(-f)(x) = -f(x) \quad (\forall x \in S)

که در آن −f(x)-f(x) قرینه عدد f(x)f(x) در میدان F\mathbb{F} است. حال داریم:

(f+(−f))(x)=f(x)+(−f(x))=0=0(x)(f + (-f))(x) = f(x) + (-f(x)) = 0 = 0(x)

چون برای همه xxها خروجی صفر است، نتیجه می‌گیریم: f+(−f)=0f + (-f) = 0.

گام پنجم: شرکت‌پذیری ضرب اسکالر (Associativity of Scalar Mult)

برای هر a,b∈Fa, b \in \mathbb{F} و هر f∈FSf \in \mathbb{F}^S و هر x∈Sx \in S:

((ab)f)(x)=(ab)f(x)=a(bf(x))=a((bf)(x))=(a(bf))(x)((ab)f)(x) = (ab) f(x) = a (b f(x)) = a ((bf)(x)) = (a(bf))(x)
  • دلیل تساوی دوم: شرکت‌پذیری ضرب در میدان F\mathbb{F}. بنابراین: (ab)f=a(bf)(ab)f = a(bf).

گام ششم: همانی ضرب اسکالر (Multiplicative Identity)

برای عدد 1∈F1 \in \mathbb{F} و هر f∈FSf \in \mathbb{F}^S و هر x∈Sx \in S:

(1f)(x)=1⋅f(x)=f(x)(1f)(x) = 1 \cdot f(x) = f(x)

چون 11 عضو خنثی ضرب در میدان F\mathbb{F} است. پس: 1f=f1f = f.

گام هفتم: توزیع‌پذیری اسکالر روی جمع توابع (Distributivity I)

برای هر a∈Fa \in \mathbb{F} و هر f,g∈FSf, g \in \mathbb{F}^S و هر x∈Sx \in S:

(a(f+g))(x)=a((f+g)(x))=a(f(x)+g(x))(a(f + g))(x) = a ( (f + g)(x) ) = a (f(x) + g(x))

طبق خاصیت توزیع‌پذیری در میدان F\mathbb{F}:

a(f(x)+g(x))=af(x)+ag(x)=(af)(x)+(ag)(x)=(af+ag)(x)a(f(x) + g(x)) = a f(x) + a g(x) = (af)(x) + (ag)(x) = (af + ag)(x)

بنابراین: a(f+g)=af+aga(f + g) = af + ag.

گام هشتم: توزیع‌پذیری جمع اسکالرها روی یک تابع (Distributivity II)

برای هر a,b∈Fa, b \in \mathbb{F} و هر f∈FSf \in \mathbb{F}^S و هر x∈Sx \in S:

((a+b)f)(x)=(a+b)f(x)((a + b)f)(x) = (a + b) f(x)

طبق توزیع‌پذیری اعداد در میدان F\mathbb{F}:

(a+b)f(x)=af(x)+bf(x)=(af)(x)+(bf)(x)=(af+bf)(x)(a + b) f(x) = a f(x) + b f(x) = (af)(x) + (bf)(x) = (af + bf)(x)

بنابراین: (a+b)f=af+bf(a + b)f = af + bf.

همه اصول موضوعه برقرارند؛ پس FS\mathbb{F}^S قطعاً یک فضای برداری روی F\mathbb{F} است ■\blacksquare

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

  • فضای Rn\mathbb{R}^n و R∞\mathbb{R}^\infty در دل RS\mathbb{R}^S: همان‌طور که دیدیم، اگر دامنه SS متناهی باشد (S={1,…,n}S = \{1, \dots, n\})، فضای توابع همان Rn\mathbb{R}^n می‌شود. اگر دامنه SS نامتناهی شمارا باشد (S=NS = \mathbb{N})، فضای توابع همان دنباله‌ها R∞\mathbb{R}^\infty می‌شود. اگر دامنه SS پیوسته باشد (S=[0,1]S = [0, 1] یا S=RS = \mathbb{R})، فضایی غول‌پیکر با بعد بی‌نهایت پیوسته داریم!
  • بنابراین مفهوم «فضای توابع» چتری فراگیر است که تمام فضاهای برداری مقدماتی را در خود جای می‌دهد.

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

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

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

  • نماد ۲۴.۱ فضای توابع FS
    پیش‌نمایش

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

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

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

  • تعریف ۲۰.۱ فضای برداری
    پیش‌نمایش

    تعریف ۲۰.۱: فضای برداری (Vector Space)

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

    یک «فضای برداری» زمینی حاصل‌خیز برای محاسبات جبری است؛ مجموعه‌ای از اشیاء (به نام بردار) همراه با دو عمل جمع و ضرب اسکالر، که قوانین حساب و کتاب دبیرستانی (مانند جابه‌جایی، شرکت‌پذیری، پخش‌شدن ضرب روی جمع، وجود بردار صفر و عضو قرینه) دقیقاً و موبه‌مو در آن برقرار است.

  • قضیه ۲۶.۱ یکتایی همانی جمعی
    پیش‌نمایش

    قضیه ۲۶.۱: یکتایی عضو همانی جمعی (Unique Additive Identity)

    پیام کلیدی قضیه در یک جمله

    در هر فضای برداری، فقط و فقط یک بردار صفر وجود دارد؛ هیچ فضایی نمی‌تواند دو یا چند عضو خنثای جمع متفاوت داشته باشد.

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

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

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

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

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

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

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

حالت ارائه