خلاصه شهودی در یک جمله

چندجمله‌ای‌ها ترکیب‌های ساده‌ای از توان‌های یک متغیر با ضرایب عددی هستند که خود یک فضای برداری بسیار مهم را می‌سازند؛ و «قضیه اساسی جبر» وعده می‌دهد که در دنیای اعداد مختلط، هیچ معادله چندجمله‌ای بی‌جواب نمی‌ماند و هر چندجمله‌ای درجه $m$ دقیقاً به $m$ عامل خطی درجه اول تجزیه می‌شود.

چندجمله‌ای و درجه آن

تابعی مانند $p: \mathbb{F} \to \mathbb{F}$ را یک چندجمله‌ای با ضرایب در $\mathbb{F}$ می‌نامند هرگاه بتوان آن را به صورت زیر نوشت:

$$p(z) = a_m z^m + a_{m-1} z^{m-1} + \dots + a_1 z + a_0$$

که در آن $a_0, a_1, \dots, a_m \in \mathbb{F}$ ضرایب ثابت هستند و $z \in \mathbb{F}$.

• اگر $a_m \neq 0$ باشد، عدد صحیح نامنفی $m$ را درجه چندجمله‌ای نامیده و با $\deg(p) = m$ نشان می‌دهیم.
• چندجمله‌ای صفر: تابعی که همواره صفر است ($p(z) \equiv 0$). درجه چندجمله‌ای صفر را طبق قرارداد برابر $-\infty$ (یا تعریف‌نشده) در نظر می‌گیرند.

فضاهای چندجمله‌ای‌ها در آکسلر

۱. $\mathcal{P}(\mathbb{F})$: مجموعه تمامی چندجمله‌ای‌ها با هر درجه دلخواه با ضرایب در $\mathbb{F}$. ۲. $\mathcal{P}_m(\mathbb{F})$: مجموعه تمامی چندجمله‌ای‌ها با درجه حداکثر $m$ به همراه چندجمله‌ای صفر:

$$\mathcal{P}_m(\mathbb{F}) = \{p \in \mathcal{P}(\mathbb{F}) \mid \deg(p) \le m\}$$

قضیه عامل (Factor Theorem)

عدد $\lambda \in \mathbb{F}$ ریشه چندجمله‌ای $p$ است ($p(\lambda) = 0$) اگر و تنها اگر چندجمله‌ای $p(z)$ بر دوجمله‌ای خطی $(z - \lambda)$ بخش‌پذیر باشد؛ یعنی چندجمله‌ای $q(z)$ وجود داشته باشد به طوری که:

$$p(z) = (z - \lambda) q(z)$$

قضیه اساسی جبر (Fundamental Theorem of Algebra)

هر چندجمله‌ای غیرثابت با ضرایب مختلط ($\deg(p) \ge 1$ و $p \in \mathcal{P}(\mathbb{C})$) حداقل یک ریشه در $\mathbb{C}$ دارد.

نتیجه شگفت‌انگیز (تجزیه کامل به عوامل خطی): هر چندجمله‌ای $p(z) = a_m z^m + \dots + a_0$ از درجه $m \ge 1$ با ضرایب مختلط، دقیقاً به $m$ عامل درجه اول تجزیه می‌شود:

$$p(z) = c (z - \lambda_1)(z - \lambda_2) \dots (z - \lambda_m)$$

که در آن $\lambda_1, \dots, \lambda_m \in \mathbb{C}$ ریشه‌های (با احتساب تکرار) چندجمله‌ای هستند.

مثال ۱: مقایسه تجزیه روی $\mathbb{R}$ در برابر $\mathbb{C}$

مسئله: چندجمله‌ای $p(z) = z^4 - 1$ را در دو میدان $\mathbb{R}$ و $\mathbb{C}$ تجزیه کنید.

حل گام‌به‌گام: ۱. ابتدا با اتحاد مزدوج تجزیه می‌کنیم:

$$z^4 - 1 = (z^2 - 1)(z^2 + 1) = (z - 1)(z + 1)(z^2 + 1)$$

۲. تجزیه روی $\mathbb{R}$: عبارت $z^2 + 1$ در اعداد حقیقی تجزیه‌ناپذیر است (ریشه حقیقی ندارد). بنابراین روی میدان اعداد حقیقی، تجزیه تا همین‌جا متوقف می‌شود:

$$p(z) = (z - 1)(z + 1)(z^2 + 1) \quad (\text{در } \mathcal{P}(\mathbb{R}))$$

۳. تجزیه روی $\mathbb{C}$ (بر اساس قضیه اساسی جبر): در میدان مختلط، $z^2 + 1 = (z - i)(z + i)$. پس تجزیه کامل می‌شود:

$$p(z) = (z - 1)(z + 1)(z - i)(z + i) \quad (\text{در } \mathcal{P}(\mathbb{C}))$$

۴. نتیجه: ۴ ریشه مختلط به دست آمد: $\{1, -1, i, -i\}$.

مثال ۲: فضای برداری $\mathcal{P}_2(\mathbb{R})$

چندجمله‌ای‌های درجه حداکثر ۲ به شکل کلی $a z^2 + b z + c$ هستند. سه چندجمله‌ای ساده را در نظر بگیرید: $p_1(z) = 1$، $p_2(z) = z$، $p_3(z) = z^2$. هر چندجمله‌ای دیگر مانند $5z^2 - 3z + 4$ را می‌توان به صورت ترکیب خطی این سه نوشت:

$$p(z) = 4(1) + (-3)(z) + 5(z^2) = 4p_1 + (-3)p_2 + 5p_3$$

به همین دلیل، $\{1, z, z^2\}$ پایه‌ای با ۳ عضو برای این فضا می‌سازد و بعد $\mathcal{P}_2(\mathbb{F})$ برابر $2+1 = 3$ است.

اشتباهات متداول در کار با چندجمله‌ای‌ها

• اشتباه ۱: اشتباه در بعد فضای $\mathcal{P}_m(\mathbb{F})$: دانشجویان اغلب تصور می‌کنند بعد فضای $\mathcal{P}_m(\mathbb{F})$ برابر $m$ است! اما چون چندجمله‌ای شامل جمله ثابت ($z^0 = 1$) هم می‌شود، لیست پایه‌ها شامل $\{1, z, z^2, \dots, z^m\}$ است که دارای $m+1$ عضو است.
• اشتباه ۲: فرض اینکه مجموعه چندجمله‌ای‌های «دقیقاً از درجه $m$» یک فضای برداری است: مجموعه چندجمله‌ای‌هایی با درجه «دقیقاً $m$» فضای برداری نیست! زیرا بسته به جمع نیست؛ مثلاً دو چندجمله‌ای درجه ۲ زیر را جمع کنید: $$(z^2 + 3z) + (-z^2 + 2) = 3z + 2$$ حاصل درجه ۱ شد و از مجموعه خارج گردید! به همین دلیل شرط «حداکثر درجه $m$» در تعریف $\mathcal{P}_m(\mathbb{F})$ حیاتی است.
• اشتباه ۳: فراموش کردن تکرار ریشه‌ها: چندجمله‌ای $(z-2)^3 = 0$ سه ریشه دارد که هر سه برابر ۲ هستند (ریشه مضاعف از مرتبه ۳). در قضیه اساسی جبر، تعداد ریشه‌ها همیشه با احتساب مرتبه تکرار دقیقاً برابر با درجه چندجمله‌ای است.