ویژگیهای ۳.۱: ویژگیهای حساب مختلط (Properties of Complex Arithmetic)
مجموعه اعداد مختلط تحت دو عمل جمع و ضرب، تمامی خواص جبری بنیادین حاکم بر اعداد حقیقی را داراست و تشکیل یک ساختار جبری کامل به نام میدان (Field) میدهد.
۱. تصویر کلان و معنای شهودی
وقتی یک دستگاه عددی جدید معرفی میکنیم، مهمترین دغدغه این است که آیا این دستگاه جدید مانند اعداد معمولی دبیرستان «خوشرفتار» است؟ آیا میتوان در آن پرانتزها را جابهجا کرد؟ آیا ترتیب ضرب مهم نیست؟ آیا میتوان جملات را فاکتور گرفت؟
ویژگیهای ۳.۱ تضمین میکنند که تمام شهود جبری ما در حل معادلات، فاکتورگیری، سادهسازی و بسط جبری در مو به مو برقرار است.
۲. صورت دقیق ریاضی ویژگیها (کتاب آکسلر)
عملهای جمع و ضرب روی دارای خواص زیر هستند:
۱. جابهجایی (Commutativity):
۲. شرکتپذیری (Associativity):
۳. عناصر همانی (Identity Elements):
۴. وارون جمعی (Additive Inverse): برای هر ، یک عضو منحصربهفرد وجود دارد به طوری که:
۵. وارون ضربی (Multiplicative Inverse): برای هر با شرط ، یک عضو منحصربهفرد وجود دارد به طوری که:
۶. ویژگی توزیعپذیری (Distributive Property):
۳. کالبدشکافی و تحلیل دقیق شروط
ساخت فرمول صریح وارون ضربی
یکی از نقاط عطف در این ویژگیها، وجود وارون ضربی برای اعداد ناصفر است. فرض کنید باشد. چون است، حداقل یکی از یا غیرصفر است و بنابراین . میخواهیم عددی مانند بیابیم که :
این منجر به دستگاه دو معادله و دو مجهول روی اعداد حقیقی میشود:
با حل این دستگاه به دست میآوریم:
بنابراین وارون ضربی یکتای برابر است با:
این استخراج نشان میدهد که چرا شرط حیاتی است؛ زیرا اگر باشد، مخرج کسر صفر میشود.
۴. نکات کلیدی و هشدارهای مفهومی
- میدان بودن: مجموعه به همراه این خواص یک میدان (Field) است.
- عدم وجود ترتیب سازگار: گرچه مانند میدان است، اما بر خلاف ، میدان مرتب (Ordered Field) نیست؛ یعنی نمیتوان رابطهای مانند تعریف کرد که با ضرب و جمع سازگار باشد (زیرا اگر باشد آنگاه که تناقض است، و اگر باشد باز هم که تناقض است).
۵. ارتباطات و پیوندهای اتمیک
- تعریف زمینه: تعریف ۱.۱: اعداد مختلط C
- اثبات نمونه جابهجایی ضرب: مثال ۴.۱: اثبات جابهجایی ضرب مختلط
- استفاده برای تعریف تفریق و تقسیم: تعریف ۵.۱: تفریق و تقسیم در اعداد مختلط
- نامگذاری عمومی میدان: نماد ۶.۱: میدان اسکالرها F