التكافؤ بين تعريفي العدد المركب
Equivalence of the Two Definitions of a Complex Number
للعدد المركب تعريفان، أحدهما عامّي Informal و هو شائع في التطبيق لبساطته، و الآخر صوري Formal و هو التعريف الرسمي المستخدم في التأصيل لنظرية الأعداد المركبة The Theory of Complex Numbers..
التعريف الأول Informal
العدد المركب هو عدد على الشكل بحيث
و
عددان حقيقيان و
.
التعريف الثاني Formal
العدد المركب هو زوج مرتب بحيث
و
عددان حقيقيان، و لكل عددين مركبين
و
تكون العمليات الجبرية كالتالي:
مبرهنــة Theorem
التعريفان متكافئان. أي أنه إذا كانت فئة الأعداد الحقيقية و
فئة الأعداد المركبة فإن:
البرهــان Proof
لدينـا من التعريف الثاني
و عليه فإن كل عدد حقيقي يمكن تمثيله بعدد مركب
. و بشكل أدق فإنه يمكننا تعريف تناظر شكلي Isomorphism بين حقل الأعداد الحقيقية و فئة الأعداد المركبة التي على الشكل
. و بالتالي يمكن أن نطمر أو نضمن Embed الأعداد الحقيقية في الأعداد المركبة بدالة الحقن Injection Map التالية
الآن لنعرف .
من تعريف العمليات الجبرية و من التناظر isomorphism بين حقل الأعداد الحقيقية و الأعداد المركبة التي على الشكل ، فإن
و أيضـاً
و عليه فإن النظرية صائبـة و التعريفـان متكافئـان.
كان هذا مثالاً بسيطاً يوضح نموذجاً لإثبات التكافؤ بين التعريفات في التأصيل للنظريات العددية..
بعض المصادر عن نظرية الأعداد المركبة.
C. Caratheodory, Theory of Functions of a Complex Variable, AMS, 2001
H.D. Ebbinghaus, Numbers, Springer, 1991
Walter Ledermann, Complex numbers, Routledge, 1960
تحيــاتي..،
