رفتن به متن
باغ ریاضی
مثال ۳۴.۱ زیرفضاهای فضاهای تابعی
تنظیمات مطالعه
تنظیمات مطالعه

مثال ۳۴.۱ زیرفضاهای فضاهای تابعی

#مثال#فضاهای_تابعی#دنباله‌ها#زیرفضا#فصل_۱#جبر_خطی#نکته_امتحانینسخهٔ رسمی

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

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

مثال ۳۴.۱: زیرفضاهای فضاهای تابعی و دنباله‌ای

ستون فقرات آنالیز تابعی در دل جبر خطی

توابع و دنباله‌ها بردار هستند! ویژگی‌های حساب دیفرانسیل و انتگرال (پیوستگی، مشتق‌پذیری، انتگرال‌پذیری و حد) همگی زیرفضاهایی نامتناهی‌بعد درون فضای تمام توابع می‌سازند، به شرطی که شرایط تحمیل‌شده همگن (برابر با صفر) باشند.

۱. پل ارتباطی جبر خطی و حساب دیفرانسیل

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

۲. بررسی دقیق پنج مثال بنیادین کتاب آکسلر

۱. زیرفضاهای مختصاتی با شرایط آفین در F4\mathbb{F}^4

مسئله: فرض کنید b∈Fb \in \mathbb{F} و مجموعه زیر تعریف شده باشد:

U={(x1,x2,x3,x4)∈F4:x3=5x4+b}U = \{(x_1, x_2, x_3, x_4) \in \mathbb{F}^4 : x_3 = 5x_4 + b\}

نشان دهید UU یک زیرفضای F4\mathbb{F}^4 است اگر و تنها اگر b=0b = 0.

اثبات دوطرفه

  • (  ⟹  )(\implies) فرض کنیم UU زیرفضا باشد: طبق قضیه ۳۲.۱، بردار صفر 0=(0,0,0,0)\mathbf{0} = (0, 0, 0, 0) باید در UU باشد. با جایگذاری مختصات صفر در معادله داریم: 0=5(0)+b  ⟹  b=00 = 5(0) + b \implies b = 0
  • (  ⟸  )(\impliedby) فرض کنیم b=0b = 0: معادله تبدیل می‌شود به x3−5x4=0x_3 - 5x_4 = 0. ۱. بردار صفر: 0−5(0)=0  ⟹  0∈U0 - 5(0) = 0 \implies \mathbf{0} \in U. ۲. جمع: اگر x,y∈Ux, y \in U، آنگاه (x3+y3)−5(x4+y4)=(x3−5x4)+(y3−5y4)=0+0=0  ⟹  x+y∈U(x_3+y_3) - 5(x_4+y_4) = (x_3-5x_4) + (y_3-5y_4) = 0 + 0 = 0 \implies x+y \in U. ۳. ضرب اسکالر: برای هر c∈Fc \in \mathbb{F}، (cx3)−5(cx4)=c(x3−5x4)=c⋅0=0  ⟹  cx∈U(cx_3) - 5(cx_4) = c(x_3 - 5x_4) = c \cdot 0 = 0 \implies cx \in U. بنابراین UU یک زیرفضاست. ■\blacksquare

۲. فضای توابع پیوسته C[0,1]C[0, 1] درون R[0,1]\mathbb{R}^{[0, 1]}

گزاره: مجموعه تمام توابع حقیقی‌مقدار پیوسته روی بازه [0,1][0, 1] یک زیرفضای R[0,1]\mathbb{R}^{[0, 1]} است.

اثبات به کمک قضایای حساب دیفرانسیل

۱. تابع صفر: تابع ثابت صفر f0(x)=0f_0(x) = 0 پیوسته است؛ پس تابع صفر در مجموعه هست. ۲. بسته بودن جمع: بر اساس قضیه حسابان، مجموع دو تابع پیوسته (f+gf + g) همواره یک تابع پیوسته است. ۳. بسته بودن ضرب اسکالر: حاصل‌ضرب یک اسکالر حقیقی در یک تابع پیوسته (c⋅fc \cdot f) همچنان پیوسته است. نتیجه: C[0,1]C[0, 1] یک زیرفضای برداری است. ■\blacksquare

۳. فضای توابع مشتق‌پذیر C1(R)C^1(\mathbb{R}) درون RR\mathbb{R}^\mathbb{R}

گزاره: مجموعه تمام توابع مشتق‌پذیر روی خط حقیقی یک زیرفضای RR\mathbb{R}^\mathbb{R} است.

اثبات

مشتق عملگری خطی است: ۱. تابع صفر مشتق‌پذیر است و مشتق آن صفر است. ۲. (f+g)′(x)=f′(x)+g′(x)(f + g)'(x) = f'(x) + g'(x)؛ بنابراین مجموع دو تابع مشتق‌پذیر، مشتق‌پذیر است. ۳. (cf)′(x)=cf′(x)(cf)'(x) = c f'(x)؛ بنابراین ضرب اسکالر نیز مشتق‌پذیر است. نتیجه: توابع مشتق‌پذیر یک زیرفضا را تشکیل می‌دهند. ■\blacksquare

۴. شرط مشتق در یک نقطه مشخص: f′(2)=bf'(2) = b

مسئله: مجموعه توابع مشتق‌پذیر روی بازه (0,3)(0, 3) که در نقطه ۲ شرط f′(2)=bf'(2) = b را برآورده می‌کنند، یک زیرفضا است اگر و تنها اگر b=0b = 0.

اثبات

  • تابع خنثی جمع، تابع همواره صفر z(x)=0z(x) = 0 است.
  • مشتق تابع صفر برابر صفر است: z′(2)=0z'(2) = 0.
  • برای اینکه zz در این مجموعه قرار گیرد، باید داشته باشیم z′(2)=b  ⟹  0=bz'(2) = b \implies 0 = b.
  • اگر b=0b = 0 باشد، به دلیل خطی بودن عملگر مشتق: (f+g)′(2)=f′(2)+g′(2)=0+0=0(f+g)'(2) = f'(2) + g'(2) = 0 + 0 = 0 (cf)′(2)=c⋅f′(2)=c⋅0=0(cf)'(2) = c \cdot f'(2) = c \cdot 0 = 0 بنابراین مجموعه یک زیرفضاست. ■\blacksquare

۵. فضای دنباله‌های همگرا به صفر (c0c_0) درون C∞\mathbb{C}^\infty

گزاره: مجموعه تمام دنباله‌های مختلط (z1,z2,… )(z_1, z_2, \dots) که به صفر میل می‌کنند (lim⁡n→∞zn=0\lim_{n \to \infty} z_n = 0) یک زیرفضای C∞\mathbb{C}^\infty است.

اثبات با استفاده از قوانین حد

۱. دنباله صفر (0,0,0,… )(0, 0, 0, \dots) به وضوح به صفر میل می‌کند. ۲. اگر lim⁡an=0\lim a_n = 0 و lim⁡bn=0\lim b_n = 0، طبق قوانین حد دنباله‌ها:

lim⁡n→∞(an+bn)=lim⁡an+lim⁡bn=0+0=0\lim_{n \to \infty} (a_n + b_n) = \lim a_n + \lim b_n = 0 + 0 = 0

۳. برای هر اسکالر c∈Cc \in \mathbb{C}:

lim⁡n→∞(can)=clim⁡an=c⋅0=0\lim_{n \to \infty} (c a_n) = c \lim a_n = c \cdot 0 = 0

پس مجموعه c0c_0 یک زیرفضای برداری است. ■\blacksquare

۳. تجسم هندسی جئوجبرا (توابع گذرنده از مبدا در برابر توابع جابه‌جاشده)

بررسی شرط همگن در فضای توابع: توابعی که f(0)=0 هستند (زیرفضا) در برابر f(0)=1 (غیرزیرفضا)
  • توابع f و g در x=0 مقدار صفر دارند (f(0)=g(0)=0). ترکیب جمع آنها h(x) نیز از مبدا رد می‌شود (h(0)=0).
  • تابع k(x) در x=0 مقدار 1 دارد (شرط ناهمگن). تابع صفر در این خانواده نیست، بنابراین این خانواده زیرفضا تشکیل نمی‌دهد.
کد اصلی رسم
appName: classic
width: 700
height: 380
showToolBar: false
showAlgebraInput: true
showMenuBar: false
commands:
  - "f(x) = x^2 - 2*x"
  - "g(x) = sin(x)"
  - "h(x) = f(x) + g(x)"
  - "k(x) = x^2 + 1"
  - "Origin = Point({0, 0})"
caption: "بررسی شرط همگن در فضای توابع: توابعی که f(0)=0 هستند (زیرفضا) در برابر f(0)=1 (غیرزیرفضا)"
explain:
  - "توابع f و g در x=0 مقدار صفر دارند (f(0)=g(0)=0). ترکیب جمع آنها h(x) نیز از مبدا رد می‌شود (h(0)=0)."
  - "تابع k(x) در x=0 مقدار 1 دارد (شرط ناهمگن). تابع صفر در این خانواده نیست، بنابراین این خانواده زیرفضا تشکیل نمی‌دهد."

۴. قاعده زرین: معادلات همگن در برابر ناهمگن

قانون بقای زیرفضا در معادلات دیفرانسیل و انتگرال

هرگاه شرط تعریف مجموعه به شکل یک رابطه خطی برابر با صفر (Homogeneous) باشد، مجموعه یک زیرفضاست:

  • ∫01f(t) dt=0  ⟹  \int_0^1 f(t) \, dt = 0 \implies زیرفضا است.
  • ∫01f(t) dt=1  ⟹  \int_0^1 f(t) \, dt = 1 \implies زیرفضا نیست (تابع صفر در آن صدق نمی‌کند).
  • جواب‌های معادله دیفرانسیل y′′+4y=0  ⟹  y'' + 4y = 0 \implies زیرفضا است.
  • جواب‌های معادله دیفرانسیل y′′+4y=ex  ⟹  y'' + 4y = e^x \implies زیرفضا نیست (0+0≠ex0 + 0 \neq e^x).

۵. پیوندهای اتمیک

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

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

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

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

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

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

  • قضیه ۳۲.۱ شرایط سه‌گانه زیرفضا بودن
    پیش‌نمایش

    قضیه ۳۲.۱: شرایط سه‌گانه زیرفضا بودن (آزمون سریع زیرفضا)

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

    برای بررسی اینکه آیا یک زیرمجموعه یک زیرفضاست یا خیر، لازم نیست تمام ۱۰ اصل موضوعه فضای برداری را چک کنید؛ فقط کافی است سه شرط را بسنجید: داشتن بردار صفر، بسته بودن نسبت به جمع، و بسته بودن نسبت به ضرب اسکالر.

  • مثال ۴۳.۱ بررسی جمع مستقیم در توابع زوج و فرد
    پیش‌نمایش

    مثال ۴۳.۱: بررسی جمع مستقیم در توابع زوج و فرد

    تجزیه بنیادین فضای توابع به بخش‌های متقارن و پادمتقارن

    فضای تمام توابع حقیقی RR\mathbb{R}^\mathbb{R} را می‌توان به صورت جمع مستقیم دو زیرفضای زیبای توابع زوج (UeU_e) و توابع فرد (UoU_o) نوشت:

    RR=Ue⊕Uo\mathbb{R}^\mathbb{R} = U_e \oplus U_o

    این یعنی هر تابعی در جهان ریاضی، یک و دقیقاً یک بخش زوج و یک بخش فرد دارد!

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

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

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

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

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

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

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

حالت ارائه