تعریف ۱۱.۲: درجه یک چندجملهای ()
درجه یک چندجملهای، بالاترین توان متغیر است که ضریب آن ناصفر باشد. برای چندجملهای صفر مطلق، درجه به صورت قرارداد میشود تا فرمولهای جبری همواره سازگار بمانند.
۱. متن رسمی ریاضی (کتاب آکسلر)
یک چندجملهای را دارای درجه میگوییم اگر اسکالرهایی مانند با وجود داشته باشند به طوری که برای هر :
درجه یک چندجملهای را با نشان میدهیم. همچنین چندجملهای که یکساناً صفر است (تابع صفر)، دارای درجه تعریف میشود:
۲. کالبدشکافی شرایط و چرایی قرارداد
چرا درجه چندجملهای صفر را تعریف میکنیم و مثلاً یا تعریفنشده نمیگذاریم؟
- چندجملهایهای ثابت ناصفر: اگر که است، داریم ؛ پس طبق تعریف . اگر درجه چندجملهای صفر هم صفر بود، تفکیک میان ثوابت ناصفر و صفر مطلق ناممکن میشد.
- سازگاری قاعده ضرب: رابطه بنیادین درجه ضرب دو چندجملهای چنین است: اگر باشد، است. طبق قرارداد: فرمول بدون نیاز به استثنا قائل شدن برقرار میماند!
- سازگاری با نامساوی درجات: برای هر عدد صحیح نامنفی ، همواره برقرار است؛ این امر تضمین میکند چندجملهای صفر عضو هر فضای باشد.
۳. جدول مقایسهای درجه چندجملهایها
| چندجملهای | ضرایب ناصفر | وضعیت عضویت در | |
|---|---|---|---|
| خیر | |||
| بله | |||
| (ثابت ناصفر) | بله | ||
| (چندجملهای صفر) | هیچ ضریب ناصفری ندارد | بله (چون ) |
۴. ارتباطات و پیوندهای اتمیک
- فضای مرجع: تعریف ۱۰.۲: فضای چندجملهایها P(F)
- کاربرد مستقیم در تعریف: نماد ۱۲.۲: فضای چندجملهایهای Pm(F)
- کاربرد در اثبات بعد نامتناهی: مثال ۱۴.۲: فضای P(F) با بعد نامتناهی است