الرياضيات الجامعية — السنة 1 · Bachelor Year 1
2العدّ
يبدو عدّ المجموعات المنتهية أمرًا ابتدائيًا — ثم يصير دقيقًا سريعًا. يعرّف هذا الفصل عدد العناصر تعريفًا سليمًا (عبر التقابلات، على نهج الفصل 1)، ويرسي مبادئ العدّ القليلة التي يتفرع عنها كل شيء، ثم يستخرج الأعداد الكلاسيكية: القوائم والتبديلات والأجزاء والمعاملات الثنائية.
2.1 عدد عناصر مجموعة منتهية
تعريف 2.1 (المجموعة المنتهية، عدد العناصر)
من أجل ، نكتب . تكون المجموعة منتهية عندما تكون أو يوجد تقابل من على من أجل ما؛ وهذا العدد وحيد (المبرهنة 2.2) وهو عدد عناصر ، ويُكتب (مع ).
مبرهنة 2.2 (عدد العناصر معرَّف تعريفًا سليمًا)
إذا كان فلا يوجد تقابل من على . وبدقة أكبر، إذا كان فلا يوجد تطبيق متباين من في .
برهان. نبرهن بالاستقراء على على العبارة التالية: لكل لا يوجد تطبيق متباين . من أجل تكون مجموعة الوصول خالية و : فلا وجود لأيّ تطبيق البتة. ولنفترض العبارة صحيحة من أجل ، ولنفترض أن تطبيق متباين مع . إذا لم تُبلغ القيمة كان تطبيقًا متباينًا في ، وهذا يناقض فرض الاستقراء. وإلا فإن من أجل واحد بالضبط؛ فنبدّل بين و (وصوريًا: نركّب مع منقولة القيمتين)، فيصير التطبيق المتباين الجديد يحقق . عندئذ يكون قصر على تطبيقًا متباينًا في مع — وهذا تناقض من جديد. ∎
نتيجة 2.3 (مبدأ الأدراج)
إذا كان فلا يكون أيّ تطبيق متباينًا: أي أن عنصرين من يشتركان في صورتهما.
برهان. نكتب و مع ، ونختار تقابلين و. لو كان متباينًا لكان تطبيقًا متباينًا من في (فهو تركيب تطبيقات متباينة، القضية 1.26)، وهذا يناقض المبرهنة 2.2. ∎
ملاحظة 2.4 (استراحة: لماذا التبديل في برهان المبرهنة؟)
يحوي برهان المبرهنة 2.2 أولَ حركة بارعة حقًّا في الفصل، وهي جديرة بأن تُعاد ببطء. والعقبة هي: أننا نريد، لتطبيق فرض الاستقراء، أن نحذف النقطة الأخيرة من مجموعة التعريف و النقطة الأخيرة من مجموعة الوصول، لكن قد يرسل نقطة أخرى إلى ، فيُفسد حذف نقطة الوصول عندئذ التطبيق في موضع آخر. والعلاج: أن نركّب مع منقولة القيمتين و — وهي تقابل لمجموعة الوصول، فيُحفظ التباين — وبعدها تستقر القيمة المزعجة في الموضع غير المؤذي ، فيصير الحذفان نظيفين. وهذا النمط، «سوِّ أولًا ثم اقطع»، يتكرر: فهو الذي يعيد به تراجع الاضطرابات توجيه في مسألة نهاية الأسبوع من هذا الفصل، وهو كيفية ترقيع التبديلات في مسألة الزمرة المتناظرة من الفصل 7.
قضية 2.5 (التطبيقات المتباينة والشاملة وعدد العناصر)
لتكن مجموعتين منتهيتين حيث ، وليكن . عندئذ
برهان. نفترض متباينًا. عندئذ يكون تقابلًا من على ، ومنه . ولو فات نقطة من لكان تطبيقًا متباينًا من في ، وهي مجموعة عدد عناصرها — وهذا مستحيل حسب مبدأ الأدراج. إذن : أي أن شامل، فهو إذن تقابليّ.
ونفترض شاملًا. نختار من أجل كل سابقةً واحدة ؛ عندئذ ، فيكون متباينًا (القضية 1.26). وبتطبيق الفقرة السابقة على (فعددا العناصر متساويان) يكون تقابليًا. ومن نحصل على ، ومنه يكون تقابليًا. وأخيرًا فإن التطبيق التقابلي متباين وشامل معًا بحكم التعريف، وبهذا تُغلق دورة الاستلزامات. ∎
مثال 2.6 (الانتهاء شرط جوهري)
على مجموعة منتهية تكون القضية 2.5 اختصارًا قويًا: فأيّ تطبيق متباين من إلى نفسها هو تلقائيًا تبديلة في — أي أن نصف التقابلية يأتي مجانًا. وينهار الاستلزامان معًا على المجموعات اللانهائية: فالتطبيق متباين من إلى لكنه يفوت ، والتطبيق الذي يرسل و من أجل شامل وغير متباين. وكلما استُدعيت هذه القضية كان فرض الانتهاء يقوم بعمل حقيقي — وهو موضوع تستكشفه مسألة نهاية الأسبوع في الفصل 1 من الجهة المقابلة، حيث تكون المجموعات اللانهائية هي بالضبط تلك التي تقبل تطبيقات ذاتية كهذه.
مثال 2.7 (نصف العمل، مجانًا)
تأمّل التطبيق على الذي يرسل إلى باقي قسمة على ؛ وجدول قيمه هو
هل تقابل؟ يكفي التباين وحده (القضية 2.5): فإذا كان للعددين و الباقي نفسه قسم الفرق ، وبما أن أوليّ ولا يقسم فإنه يقسم (مبرهنة إقليدس المساعدة، المستعملة هنا على مستوى الثانوية والمبرهن عليها في الفصل 6)؛ ومع يفرض هذا . ويأتي الشمول مجانًا — دون حاجة إلى حلّ من أجل كل ، وإن كان الجدول يؤكد ظهور كل قيمة مرة واحدة بالضبط. وهذا الاختصار عتيد: فهو يبرهن على قابلية الضرب الترديدي للقلب (الفصل 6)، وهو محرك الازدواج في مبرهنة ويلسون، ويعود في الجبر الخطي في صورة «تشاكل ذاتي لفضاء منته البُعد يكون متباينًا إذا وفقط إذا كان شاملًا» (الفصل 19).
2.2 مبادئ العدّ
قضية 2.8 (قاعدتا الجمع والجداء)
لتكن مجموعتين منتهيتين.
- إذا كان فإن ؛ وبعمومية أكبر، من أجل تجزئة إلى قطع ، لدينا .
- وفي الحالة العامة، .
- .
- مجموعة كل التطبيقات من إلى ، وهي ، تحقق .
- .
برهان. (1) نصل التعدادين: إذا كانت و دون تكرار فإن تعدّد دون تكرار (بحكم الانفصال). ويمدّد الاستقراء ذلك إلى قطعة.
(2) المجموعة اتحاد منفصل للمجموعتين و ، و اتحاد منفصل للمجموعتين و ؛ ومنه .
(3) المجموعة اتحاد منفصل، على ، للمجموعات التي عدد عناصر كلٍّ منها ؛ فطبّق (1).
(4) التطبيق من إلى هو بالضبط اختيار المتتالية المنتهية ذات حدًّا ؛ وهذا التقارن تقابل، و حسب (3) وبالاستقراء.
(5) أجزاء تقابل تطبيقات (أرسل إلى دالتها المميِّزة)؛ فطبّق (4). ∎
مثال 2.9 (العدّ بالمتمّمة)
كم عدد الرموز السرّية المكوَّنة من أرقام (الأرقام –، والترتيب مهمّ، والتكرار مسموح) التي تحوي رقمًا مكررًا واحدًا على الأقل؟ عدّها مباشرةً يعني التلاعب بالحالات «زوج واحد بالضبط، أو زوجان، أو ثلاثيّ، أو رباعيّ» — وهي خمس تشكيلات متداخلة. عُدَّ المتمّمة بدلًا من ذلك: عدد كل الرموز هو (بقاعدة الجداء)، وعدد الرموز ذات الأرقام الأربعة المتمايزة هو (وهي الترتيبات من الرتبة )، فيكون الجواب
أي إن قرابة نصف الرموز السرّية تكرّر رقمًا. والفكرة النافذة: كلما صيغ عدٌّ بعبارة «على الأقل» أو «ليس كلها» فجرّب المتمّمة أولًا — إذ تضمن قاعدة الجمع أن ، وكثيرًا ما تكون المتمّمة تشكيلة واحدة نظيفة.
مثال 2.10 (مسارات الشبكة)
عُدَّ أقصر المسارات من الزاوية إلى الزاوية في شبكة، بالتحرك خطوةً واحدة نحو اليمين (ي) أو خطوةً واحدة نحو الأعلى (ف) في كل مرة. يقطع كل مسار كهذا خطوات، منها من النوع ي و من النوع ف؛ وبالعكس، فإن أيّ كلمة طولها من الحرفين ي و ف فيها أربعة أحرف ي تصف مسارًا واحدًا بالضبط. فالمسارات تقابل إذن اختيارات مواضع الحروف ي:
والفكرة النافذة هي الترميز: فقد صار العدّ بديهيًا لحظة تُرجم كل مسار إلى كلمة، أي إلى جزء من المواضع — وهو مثال آخر على الشعار القائل إن كل عدّ صحيح تقابلٌ متنكّر (الطريقة 2.19).
2.3 القوائم والتبديلات والأجزاء
تعريف 2.11 (الترتيبات والتبديلات والتوفيقات)
لتكن مجموعة حيث وليكن .
- الترتيبة من الرتبة في هي متتالية منتهية متباينة من عنصرًا من (أي اختيار مرتَّب دون تكرار)؛
- والتبديلة في هي تقابل من إلى نفسها — أي، على نحو مكافئ، ترتيبة من الرتبة ؛
- والتوفيقة من الرتبة هي جزء من فيه عنصرًا (أي اختيار غير مرتَّب دون تكرار). ويُكتب عددها ، ويُقرأ « توفيق » .
مبرهنة 2.12 (الأعداد الثلاثة)
حيث و :
- عدد الترتيبات من الرتبة في هو ؛
- وعدد التبديلات في هو ؛
- و.
برهان. (1) نختار المركّبة الأولى ( طريقة)، ثم الثانية ( اختيارًا متبقيًا)، …، ثم المركّبة ذات الرتبة ( اختيارًا). وصوريًا نستقرئ على . من أجل توجد متتالية متباينة ذات حدّ واحد. ولنفترض العدّ صحيحًا من أجل . كل ترتيبة من الرتبة تُستخرج من ترتيبة واحدة بالضبط من الرتبة — هي بترها — بإلحاق مركّبة أخيرة خارج ، ولها بالضبط قيمة متاحة. فتنقسم الترتيبات من الرتبة إذن، بالبتر، إلى صفوف حجمها المشترك مفهرسة بالترتيبات من الرتبة ، وتعطي قاعدة الجمع
(2) هي (1) مع .
(3) كل جزء من عنصرًا يُرتَّب في ترتيبة متمايزة من الرتبة ، وكل ترتيبة من الرتبة تنشأ من جزء واحد بالضبط: ومنه . ∎
مثال 2.13 (الموائد المستديرة: القسمة على التناظر)
بكم طريقة يجلس ضيفًا حول مائدة مستديرة، إذا اعتُبر جلوسان متطابقين عندما يكون لكل ضيف الجاران نفسهما عن يمينه ويساره — أي بغضّ النظر عن الدوران؟ كل جلوس دائري يقابل جلوسًا خطيًا بالضبط (اقطع الدائرة عند أيّ موضع من المواضع )، فتنطوي الترتيبات الخطية في مجموعات من :
وعلى نحو مكافئ: أجلس ضيفًا مميَّزًا حيث شئت (فتقتل الحرية الدورانية)، ثم رتّب الضيوف الباقين باتجاه عقارب الساعة. ومن أجل : مائدة. ويوضح الحلّان العلاجين المعياريين للعدّ الزائد: إمّا القسمة على عدد التكرارات بالضبط، وإمّا كسر التناظر بتثبيت غرض واحد. ويقتضي كلاهما أن يكون حجم زمرة التكرارات نفسه في كل تشكيلة — وهو ما استعمله كذلك برهان الصيغة أعلاه، مع بدل .
مثال 2.14 (إضافة قيد)
ولنواصل مع المائدة المستديرة: من بين الموائد ذات ضيفًا، كم مائدة تجلس ضيفين معطيين و متباعدين (أي غير متجاورين)؟ عُدَّ المتمّمة. أمّا الموائد التي يجلس فيها و معًا: فألصقهما في كتلة واحدة — فيصير لدينا غرضًا حول المائدة، أي ترتيبًا دائريًا — ثم رتّب الضيفين داخل كتلتهما ( طريقة): فيكون عدد الموائد المتجاورة . ومنه
مائدةً تُبقيهما متباعدين. وللتحقق: يعطي (فحول مثلث يلامس الجميعُ الجميعَ) و يعطي ، ويسهل سردهما باليد. وحيلة الإلصاق — بمعاملة كتلة مفروضة كغرض واحد ثم عدّ ترتيباتها الداخلية — هي العلاج المعياري لقيود التجاور، خطيةً كانت أو دائرية.
قضية 2.15 (متطابقات أساسية)
من أجل :
برهان. المتطابقة الأولى: التطبيق تقابل بين الأجزاء ذات عنصرًا والأجزاء ذات عنصرًا. وأمّا قاعدة باسكال: فثبّت عنصرًا ؛ تنقسم الأجزاء ذات عنصرًا إلى تلك التي تحتوي (فنختار العناصر الأخرى: ) وتلك التي تتفادى (). وأمّا المتطابقة الثالثة: فكلا الطرفين يعدّ جميع أجزاء ، مقسومةً بحسب الحجم في الطرف الأيسر (القضية 2.8 (1) و (5)). ∎
مبرهنة 2.16 (مبرهنة ثنائي الحدّ)
لكل في حلقة تبديلية (مثل أو ) ولكل :
برهان. نشر توزيعيًا يعطي حدًّا واحدًا لكل اختيار، في كل عامل، بين و : فيظهر الحدّ مرةً واحدة لكل طريقة لاختيار العوامل من بين العوامل التي تسهم بالمقدار — أي مرة. (وبطريقة أخرى: استقرِ على باستعمال قاعدة باسكال.) ∎
مثال 2.17
تخصيصان كلاسيكيان: يستعيد ؛ و و يعطيان من أجل : أي إن نصف أجزاء مجموعة غير خالية بالضبط له عدد عناصر زوجيّ.
مثال 2.18 (متطابقة واحدة ببرهانين)
التخصيص و في مبرهنة ثنائي الحدّ يعطي
وإليك المتطابقة نفسها دون أيّ جبر البتة. الطرف الأيمن يعدّ الكلمات ذات الطول على الأبجدية (بقاعدة الجداء). صنّف كل كلمة بحسب مجموعة المواضع التي تحمل حرفًا غير معدوم: فاختيار حيث يكلّف ، ثم يحمل كل موضع من الحرف أو باستقلال: أي طريقة. وتعطي قاعدة الجمع على الطرف الأيسر. وإلى جانب متعة التوافق، لكلّ من البرهانين فضيلته: فالجبريّ يُعمَّم على أيّ قيمة للمقدار ، والتوفيقيّ يشرح الصيغة ويتكيّف مع قيود (كمنع الحرف في الموضع الأخير مثلًا) لا يلتقطها أيّ تعويض. والإبقاء على التقنيتين نشطتين هو المهارة العملية التي يدرّبها هذا الفصل.
طريقة 2.19 (أيّ عدّ ينطبق؟)
قبل الحساب، أجب عن سؤالين يخصّان الاختيار: هل الترتيب مهمّ، وهل التكرار مسموح؟
| الترتيب مهمّ | الترتيب غير مهمّ | |
|---|---|---|
| دون تكرار | ||
| [6pt] بتكرار مسموح | (التمرين 2.10) |
ثم ابحث عن تقابل أو تجزئة يردّان المسألة إلى هذه الأعداد النموذجية؛ فكل عدّ صحيح تقابلٌ متنكّر.
ملاحظة 2.20 (مزالق شائعة في العدّ)
- جمع حالات غير منفصلة. تقتضي قاعدة الجمع وجود تجزئة؛ فإذا كانت تشكيلة ما قد تحقق حالتين في آن واحد عُدَّت مرتين — والعلاج هو الاحتواء والاستبعاد (المبرهنة 2.24) أو تقسيم أدقّ للحالات.
- المرتَّب في مقابل غير المرتَّب. اختيار «لجنة من اثنين» هو ، لا : فقرّر قبل الحساب إن كان الاختيار يحمل ترتيبًا، وإذا كان العدّ المرتَّب أسهل فاقسم في النهاية على عدد الترتيبات — لكن بشرط أن ينشأ كل غرض غير مرتَّب من العدد نفسه من الأغراض المرتَّبة.
- اختيارات على مراحل غير مستقلة. تقتضي قاعدة الجداء أن يكون عدد الخيارات في كل مرحلة مستقلًا عن الاختيارات السابقة. فقولنا «اختر قائدًا ثم نائبًا مختلفًا عنه» سليم ()؛ أمّا «اختر لاعبين ينسجمان معًا» فليس جداءً على مرحلتين البتة.
- العدّ المزدوج بحكم الإنشاء. بناء كل غرض مرتين — مثل عدّ الأيدي التي فيها آسٌ واحد على الأقل بحاصل (اختر آسًا) (اختر أوراق أخرى) — يعدّ الأيدي ذات الآسين عدًّا زائدًا. فعبارة «على الأقل» تستدعي المتمّمة في كل الأحوال تقريبًا (المثال 2.9).
مثال 2.21 (عدٌّ على طريقة البوكر)
من رزمة فيها ورقة، عدد الأيدي المكوَّنة من أوراق هو . وأمّا الأيدي التي تحوي آسًا واحدًا بالضبط: فاختر الآس ( طرق) ثم أوراق من بين ورقة غير آس: . وتنطبق قاعدة الجداء لأن الاختيار ينقسم إلى مراحل مستقلة.
طريقة 2.22 (العدّ المزدوج)
للبرهان على متطابقة بين تعبيرين عدديين، جد مجموعة منتهية واحدة يعدّها الطرفان معًا — وهي عادةً مجموعة من الأزواج — ثم احسب عدد عناصرها بترتيبين مختلفين. والنموذج الأصلي هو مبرهنة المصافحات المساعدة: في حفل ما، عُدَّ الأزواج (شخص، يد صافحها). فالجمع على الأشخاص يعطي (أي عدد مصافحات كل شخص )؛ والجمع على المصافحات يعطي ضعف عدد المصافحات (إذ تضمّ كل مصافحة شخصين). ومنه فإن زوجيّ — فعدد الأشخاص الذين صافحوا عددًا فرديًا من الأيدي زوجيّ دائمًا، وهو استنتاج غير بديهي حصلنا عليه دون أيّ صيغة البتة. والمحرك نفسه يشغّل التمرين 2.12 وعدة أسئلة من مسألة نهاية الأسبوع أدناه.
مثال 2.23 (الجزء المتوسط)
ما متوسط عدد عناصر جزء من مجموعة فيها عنصرًا، إذا كانت الأجزاء جميعها متساوية الاحتمال؟ عُدَّ عدًّا مزدوجًا الأزواج حيث : فالجمع على الأجزاء يعطي ، وهو المجموع المطلوب؛ والجمع على العناصر يعطي (إذ يقع كلٌّ من العناصر في نصف الأجزاء بالضبط — فازدوج كل يحتوي مع ). ومنه
أي إن الأجزاء نصف ممتلئة في المتوسط — كما يتنبأ به كذلك التناظر (الذي يزدوج الحجمين و ). برهانان وجواب واحد، وكلاهما يتفادى الحساب المباشر في التمرين 2.5: فكثيرًا ما يعوّض ازدواجٌ حسن الاختيار عن متطابقة.
2.4 الاحتواء والاستبعاد
مبرهنة 2.24 (الاحتواء والاستبعاد)
من أجل مجموعات منتهية :
ومن أجل : .
برهان. ثبّت عنصرًا من الاتحاد وعُدَّ إسهامه في الطرف الأيمن. لتكن ، وعدد عناصرها . يُعدّ العنصر مرة واحدة في تحديدًا عندما ، بالإشارة ؛ فيكون إسهامه الكلي
حسب المثال 2.17. إذن يُعدّ كل عنصر من الاتحاد مرة واحدة بالضبط. ∎
مثال 2.25 (عدّ الأعداد الأولية فيما بينها)
كم عددًا صحيحًا من يكون أوليًا مع ؟ يشترك عدد صحيح في عامل مع تحديدًا عندما يقبل القسمة على أو أو ، فعُدَّ متمّمة ، حيث تجمع مضاعفات . وداخل يكون عدد مضاعفات هو كلما قسم العدد — دون حاجة إلى دوال الجزء الصحيح — ولدينا وهكذا. وبالاحتواء والاستبعاد:
ومنه فإن عددًا صحيحًا أوليّ مع . ومن المفيد إعادة تجميع الحساب في صورة جداء:
فنشر الأقواس الثلاثة يعيد إنتاج الحدود المؤشَّرة الثمانية للاحتواء والاستبعاد بالضبط، حدًّا لكل جزء من . وهذه الصورة الجدائية تعرّف دالة أويلر المؤشِّرة، التي يظهر دورها الحسابي مع توافقات الفصل 6 ويُطوَّر في مجلد السنة 2.
مثال 2.26 (الاضطرابات)
الاضطراب تبديلة بلا نقطة صامدة. لتكن مجموعة تبديلات التي تصمد عندها ؛ عندئذ ، ويعدّ الاحتواء والاستبعاد التبديلات ذات نقطة صامدة واحدة على الأقل؛ فيكون عدد الاضطرابات
وبما أن (انظر الفصل 17)، فإن قرابة من جميع التبديلات اضطرابات، مهما تكن .
ملاحظة 2.27 (أين يُستعمل هذا الفصل)
المعاملات الثنائية أكثر أغراض هذا الفصل إعادةَ استعمال: فهي تحرّك مبرهنة ثنائي الحدّ في الفصل 8 (نشر )، وصيغة لايبنتز للمشتقة من الرتبة لجداء في الفصل 14، ومعاملات نشور تايلور في الفصل 16. وتعود التبديلات في صورة زمرة — مع الإشارة المبنية على عدّ الانقلابات — في الفصل 7، وتعرّف الإشارةُ بدورها المحدداتِ في الفصل 22. والاحتواء والاستبعاد ومبادئ العدّ هي العمود الفقري المنتهي للاحتمال المتقطع، الذي يُطوَّر في مجلد السنة 2؛ أمّا أعداد الاضطراب في المثال 2.26 فتُدرس بعمق في مسألة نهاية الأسبوع أدناه.
2.5 تمارين
تمرين 2.1 ★
تتكوّن لوحة الترقيم من حرفين (من A إلى Z)، ثم ثلاثة أرقام، ثم حرفين. كم لوحة ممكنة؟ وكم منها بلا حرف مكرر بين الحروف الأربعة؟
حل
حل التمرين 2.1.
مراحل مستقلة وقاعدة الجداء: لوحة. وإذا كانت الحروف الأربعة متمايزة مثنى مثنى كوّنت مراحل الحروف ترتيبةً من الرتبة في الأبجدية: طريقة، ومنه لوحة.
تمرين 2.2 ★
كم قلبًا (أي إعادة ترتيب للحروف، ذا معنى أو بلا معنى) لكلمة برتقال؟ وكم لكلمة بانانا؟
حل
حل التمرين 2.2.
لكلمة برتقال حروف متمايزة: أي قلبًا. ولكلمة بانانا حروف بتكرار ( من الحرف ا، و من الحرف ن، و من الحرف ب): فكل قلب محدَّد بمواضع حروف ا ( اختيارًا)، ثم بمواضع حروف ن من بين المواضع الباقية ()، ويأخذ الحرف ب الموضع الأخير: قلبًا (أي، على نحو مكافئ، ).
تمرين 2.3 ★
تُختار لجنة من أشخاص من بين نساء و رجال. كم لجنة: إجمالًا؟ وفيها من النساء بالضبط؟ وفيها رجل واحد على الأقل؟
حل
حل التمرين 2.3.
الإجمالي: . وأمّا من النساء بالضبط: فنختارهما () ونختار من الرجال (): أي لجنة. وأمّا رجل واحد على الأقل: فهي متمّمة «لا رجل فيها»، .
تمرين 2.4 ★
برهن على أنه في أيّ مجموعة من شخصًا يشترك اثنان في شهر الميلاد؛ وعلى أنه من بين أيّ عددًا صحيحًا مختارًا من يوجد عددان متتاليان. (مبدأ الأدراج في المرتين: سمِّ الأدراج.)
حل
حل التمرين 2.4.
شهور الميلاد: الأدراج هي الشهور ؛ و شخصًا في درجًا يفرضون وجود شخصين في الدرج نفسه (النتيجة 2.3).
الأعداد المتتالية: الأدراج هي الأزواج ، وهي تجزّئ . واختيار عددًا صحيحًا يضع عددين في الزوج نفسه، وعنصرا الزوج الواحد متتاليان.
تمرين 2.5 ★
احسب . إرشاد: اشتقّ ، أو استعمل (وبرهن عليها).
حل
حل التمرين 2.5.
من أجل ،
وبالجمع وإعادة الفهرسة بوضع :
حسب القضية 2.15. (وبطريقة أخرى: اشتقّ وضع .)
تمرين 2.6 ★★
كم تطبيقًا متزايدًا تمامًا يوجد من إلى ؟ استنتج عدد التطبيقات المتزايدة (لا بالضرورة تمامًا). إرشاد للعدّ الثاني: التطبيق متزايد .
حل
حل التمرين 2.6.
التطبيق المتزايد تمامًا محدَّد بصورته، وهي جزء من فيه عنصرًا (اسرد الجزء بترتيب تزايدي)؛ وبالعكس فإن كل جزء من عنصرًا يعطي تطبيقًا واحدًا بالضبط من هذا النوع. ومنه تطبيقًا متزايدًا تمامًا.
وإذا كان متزايدًا لا غير، فضع . عندئذ يكون متزايدًا تمامًا (فبين متغيرين متتاليين يربح مقدارًا ويربح مقدار ) وقيمه في ؛ و يستعيد من أيّ متزايد تمامًا في . وهذا تقابل، فيوجد إذن تطبيقًا متزايدًا.
تمرين 2.7 ★★
(فاندرموند) برهن، بعدّ الأجزاء ذات عنصرًا في مجموعة مقسومة إلى كتلتين حجمهما و ، على أن:
واستنتج .
حل
حل التمرين 2.7.
اقسم مجموعة فيها عنصرًا إلى كتلتين (وفيها عنصرًا) و (وفيها عنصرًا). كل جزء من فيه عنصرًا يحوي عنصرًا من (حيث ) و عنصرًا من ؛ ومن أجل مثبَّت يوجد جزءًا كهذا، وتجزّئ الحالات الأجزاء ذات عنصرًا. وتعطي قاعدة الجمع متطابقة فاندرموند.
ومع : ، باستعمال .
تمرين 2.8 ★★
كم عددًا صحيحًا في يقبل القسمة على أو أو ؟ (بالاحتواء والاستبعاد؛ والمقدار يعدّ مضاعفات ، وهكذا.)
حل
حل التمرين 2.8.
لتكن مجموعة مضاعفات في ، ومنه . وبالاحتواء والاستبعاد (المبرهنة 2.24) مع ، مع ملاحظة أن وهكذا:
إذن يوجد عددًا صحيحًا يقبل القسمة على أو أو .
تمرين 2.9 ★★
عُدَّ التطبيقات الشاملة من مجموعة ذات عناصر على مجموعة ذات عنصرين؛ ثم على مجموعة ذات عناصر. إرشاد: عُدَّ التطبيقات غير الشاملة بالاحتواء والاستبعاد على القيم الفائتة.
حل
حل التمرين 2.9.
على مجموعة ذات عنصرين: جميع التطبيقات عدا التطبيقين الثابتين : أي تطبيقًا شاملًا.
وعلى مجموعة ذات عناصر: بالاحتواء والاستبعاد على القيم الفائتة، يكون عدد التطبيقات من مجموعة ذات عناصر إلى مجموعة ذات عناصر التي تفوتها قيمة واحدة على الأقل هو ؛ وعدد التطبيقات كلها ؛ فعدد الشاملة: . (وللتحقق: التطبيق الشامل من عناصر على عناصر يكرّر قيمة واحدة بالضبط: فاختر القيمة المكررة ()، والزوج الذي يُرسل إليها ()، وتقابلًا من أجل الباقي (): .)
تمرين 2.10 ★★
(النجوم والعصيّ) برهن على أن عدد الاختيارات من الرتبة من غرضًا بتكرار مع إهمال الترتيب — أي، على نحو مكافئ، عدد المتتاليات التي تحقق — هو . إرشاد: رمّز حلًّا بصفّ من نجمة و عصًا.
حل
حل التمرين 2.10.
حلّ المعادلة في يُرمَّز بصفّ من نجمة و عصًا: اكتب نجمة، ثم عصًا، ثم نجمة، ثم عصًا، …، وانتهِ بعدد من النجوم. وهذا تقابل على كلمات الطول المستعملة نجمة و عصًا، وهذه الكلمات محدَّدة بمواضع النجوم: . والاختيارات بتكرار تقابل حلول المعادلة (حيث عدد نسخ الغرض )، فيكون العدد نفسه.
تمرين 2.11 ★★★
برهن على صيغة المثال 2.26 الخاصة بالعدد بالتفصيل، واستنتج (وبرهن كذلك على هذه المتطابقة مباشرةً بتصنيف التبديلات بحسب مجموعة نقاطها الصامدة).
حل
حل التمرين 2.11.
مع ، تصمد التبديلة من عند كل وتبدّل النقاط الأخرى بحرية: . وبالاحتواء والاستبعاد:
لأن عدد أجزاء ذات الحجم هو . ومنه
وأمّا المتطابقة الثانية: فصنّف التبديلات في بحسب مجموعة نقاطها الصامدة . ومن أجل جزء مثبَّت فيه عنصرًا، تكون التبديلات التي تحقق هي بالضبط اضطرابات المتمّمة: أي تبديلة. وبالجمع على اختيارات التي عددها من أجل كل : .
تمرين 2.12 ★★★
من أجل ، برهن بعدّ مزدوج للأزواج (جزء، عنصر مميَّز) على أن:
وأمّا الثانية: فعُدَّ أزواج العناصر المميَّزة، متساويةً كانت أو مختلفة.
حل
حل التمرين 2.12.
المتطابقة الأولى. عُدَّ الأزواج حيث (و ) و . فبحسب حجم : يوجد زوجًا. وباختيار العنصر المميَّز أولًا: يوجد اختيارًا للعنصر ، ثم أيّ جزء من العناصر الباقية لإتمام : أي زوجًا.
المتطابقة الثانية. عُدَّ الثلاثيات حيث (ويجوز ). فبحسب الحجم: . ومباشرةً: إمّا (أي ثلاثية، وهو العدّ السابق) وإمّا (أي اختيارًا مرتَّبًا، ثم أيّ جزء من العناصر الأخرى: ). والمجموع
2.6 مسألة: الاضطرابات، أو الرسائل الخاطئة العناوين
مسألة 2.1
يضع سكرتير رسالة في ظرفًا معنونًا عشوائيًا: فما احتمال ألا يتلقى أحد رسالته الصحيحة؟ يقود هذا السؤال الكلاسيكي (مونمور، 1708) إلى أعداد الاضطراب في المثال 2.26. وصيغة الاحتواء والاستبعاد ليست إلا الحركة الافتتاحية: فهذه المسألة تطوّر التراجعات التي تحسب ، وبرهانين مستقلين آخرين على الصيغة، والمبرهنة اللافتة القائلة إن أقرب عدد صحيح إلى ، والتوزيع الكامل للنقاط الصامدة في تبديلة عشوائية، والحساب الطريف للمتتالية . وفي كل ما يلي، يرمز إلى عدد الاضطرابات (أي التبديلات الخالية من النقاط الصامدة) في ، مع الاصطلاح (إذ إن التبديلة الخالية بلا نقطة صامدة).
الجزء 1 — الحالات الصغيرة وإحصاء النقاط الصامدة.
- احسب مباشرةً، و بسرد اضطرابات مجمّعةً بحسب قيمة . (ينبغي أن تجد .)
- من أجل ، بيّن أن عدد التبديلات في ذات نقطة صامدة بالضبط هو .
- تحقق من الإحصاء من أجل : احسب وتأكّد أن مجموعها . وأيّهما أرجح من أجل أربع رسائل: ألا يوافق شيء، أم أن توافق رسالة واحدة بالضبط؟
بعدّ مزدوج (الطريقة 2.22) للأزواج التي تحقق ، بيّن أن
أي إن للتبديلة العشوائية، في المتوسط، نقطة صامدة واحدة بالضبط، مهما يكن .
الجزء 2 — تراجعان وبرهانان جديدان على الصيغة.
برهن توفيقيًا، من أجل ، على أن:
(صنّف اضطرابات في بحسب ، ثم بحسب كون أو لا؛ وفي حالة ، ابنِ تقابلًا مع اضطرابات بإعادة توجيه سابقة إلى .) وتحقق من التراجع عدديًا حتى .
بوضع ، استنتج من السؤال 5 أن ، واستنتج التراجع الثاني:
انطلاقًا من السؤال 6، برهن بالاستقراء على صيغة المثال 2.26،
— وهو برهان مستقل كل الاستقلال عن الاحتواء والاستبعاد.
(القلب الثنائي) لتكن و متتاليتين تحققان لكل . برهن على أن
(أرسِ أولًا المراجعة الثلاثية ، ثم استعمل المجموع المتناوب لسطر المثال 2.17.)
- طبّق السؤال 8 على المتطابقة من التمرين 2.11 للحصول على برهان ثالث على صيغة .
الجزء 3 — أقرب عدد صحيح إلى . اقبل في هذا الجزء — فالنظرية مبنيّة في الفصل 17 — أن حيث ، مع الحاصر التام للمتسلسلة المتناوبة من أجل كل .
- بيّن أن من أجل كل .
- استنتج المبرهنة الرئيسة: من أجل كل ، يكون أقرب عدد صحيح إلى . ولماذا تحتاج الحجة إلى ؟
- عيّن إشارة الخطأ: بيّن أن تحديدًا عندما يكون زوجيًا. (حدّد موضع أول حدّ مهمَل في المتسلسلة المتناوبة.)
- احسب حتى بتراجع السؤال 5، ثم قارن بالمقدار (، ).
- (احتمال حفظ القبعات) لتكن احتمال أن تكون تبديلة عشوائية منتظمة اضطرابًا. بيّن أن واحسب بخمسة أرقام عشرية. وعلّق: لماذا يكون جواب سؤال مونمور مستقلًا جوهريًا عن — منذ اثنتي عشرة رسالة أصلًا؟
الجزء 4 — توزيع النقاط الصامدة.
ثبّت . بيّن أن نسبة التبديلات في ذات نقطة صامدة بالضبط تحقق
(وهذه القيم الحدّية، ومجموعها ، تكوّن توزيع بواسون ذا الوسيط ، وهو غرض محوري في درس الاحتمال من مجلد السنة 2.)
- بعدّ مزدوج للثلاثيات حيث تصمد كلتاهما عند ، بيّن أن من أجل . وبالجمع مع السؤال 4: يكون متوسط مساويًا ، فيكون «تشتت» (تباين) عدد النقاط الصامدة مساويًا — وهو مستقل عن من جديد، ومطابق لقانون بواسون من جديد.
- احسب نسبة التبديلات ذات نقطة صامدة واحدة على الأقل من أجل (في صورة كسور وبأربعة أرقام عشرية)، وقارنها بالمقدار .
- بيّن مباشرة — دون حاجة إلى أيّ نهايات — أن ، واستنتج أن الاحتمالات من السؤال 14 تتذبذب: و ، فتتناقص القيم الزوجية وتتزايد القيم الفردية نحو النهاية المشتركة .
- (تبادل الهدايا السرّي) يسحب شخصًا اسمًا واحدًا من قبعة؛ فإذا سحب أحدهم اسمه أُعيد السحب كله من جديد. باستعمال الواقعة المعيارية القائلة إن حدثًا احتماله يقتضي في المتوسط محاولة، قدّر متوسط عدد السحوب الكاملة اللازمة، واستنتج أن هذا الإجراء يكلّف نحو سحبة في المتوسط، وذلك باستقلال جوهري عن .
الجزء 5 — حساب ، وتوليفة ختامية.
- صقّل السؤال 5: بيّن أنه من أجل مثبَّت، يكون عدد اضطرابات التي تحقق مساويًا بالضبط، باستقلال عن . واستنتج أن يقسم من أجل كل .
- برهن على أن فرديّ إذا وفقط إذا كان زوجيًا. (اعمل بترديد في تراجع السؤال 6.)
- برهن على أن من أجل ، وتحقق من التوافق على الرقم الأخير من .
- بيّن انطلاقًا من السؤال 6 أن من أجل ، فتكون نسبة عددي اضطراب متتاليين مساويةً تقريبًا بالضبط ؛ واشرح في جملة واحدة لماذا يتوافق ذلك مع .
- أين استعملت هذه المسألة بالضبط: (أ) قاعدتَي الجداء والجمع؛ (ب) العدّ المزدوج؛ (ج) مبرهنة ثنائي الحدّ؛ (د) الحاصر المقبول للمتسلسلة المتناوبة؟ جملة واحدة لكلٍّ منها.
- توليفة. صار لصيغة الآن ثلاثة براهين (الاحتواء والاستبعاد، والتراجع مع الاستقراء، والقلب الثنائي). قارن في فقرة قصيرة ما يشرحه كل برهان: أيّها أسرع حسابًا، وأيّها يتعمّم على أعداد نقاط صامدة أخرى، وأيّها يكشف لماذا يظهر في مسألة عن الأظرفة.
حل
حل المسألة 2.1.
1. (فالتبديلة الوحيدة تصمد عند )، و (وهي التبديل)، و (بالترميز السطري: و ). ومن أجل ، بالتجميع بحسب : مع تكون الاضطرابات و و ؛ ومع : و و ؛ ومع : و و . ثلاثة في كل مجموعة: أي .
2. التبديلة ذات نقطة صامدة بالضبط محدَّدة باختيار مجموعة نقاطها الصامدة ( طريقة) مع قصرها على المتمّمة، الذي يجب أن يكون تبديلة على نقطة بلا نقطة صامدة ( طريقة). والاختياران مستقلان والتقارن تقابليّ: .
3. لدينا ؛ و؛ و؛ و (إذ تفرض ثلاث نقاط صامدة نقطةً رابعة)؛ و . والمجموع: . فألا يوافق شيء ( حالة) يفوق أن توافق رسالة واحدة بالضبط ( حالات) — بفارق ضئيل.
4. عُدَّ الأزواج التي تحقق . ومن أجل مثبَّت، تكون التبديلات الصامدة عند هي تبديلات النقاط الأخرى: أي تبديلة. ومنه فإن عدد الأزواج هو ، وهذا العدد يساوي كذلك . وبالقسمة على عدد التبديلات : يكون متوسط عدد النقاط الصامدة مساويًا بالضبط، من أجل كل .
5. ليكن اضطرابًا في وليكن : أي قيمة ممكنة. الحالة : تتبادل النقطتان و ، ويكون قصر على النقاط الباقية اضطرابًا كيفيًا فيها: أي إمكانًا. الحالة : لتكن ؛ عندئذ و . نعرّف على بالعلاقتين من أجل و . عندئذ يكون تبديلة في (إذ حلّت القيمة الفائتة محلّ القيمة )، وهي اضطراب: إذ ، و في المواضع الأخرى. وبالعكس، من اضطراب في ومن القيمة نستعيد بوضع و و في المواضع الأخرى: وهو تقابل يعطي إمكانًا. وبالجمع على : . وعدديًا: و.
6. من السؤال 5 لدينا ، ومنه
وبما أن فإن الاستقراء يعطي ، أي من أجل .
7. بالاستقراء على . البداية: . خطوة الانتقال: بافتراض ،
وهي الصيغة المطلوبة. ولم يُستعمل أيّ احتواء واستبعاد: بل التراجع التوفيقي من السؤال 5 وحده.
8. المراجعة الثلاثية، بالعوامل:
والآن عوّض وبادل بين المجموعين المنتهيين:
والمجموع الداخلي هو نشر (بمبرهنة ثنائي الحدّ، المبرهنة 2.16): فهو ينعدم من أجل ويساوي من أجل . فلا يبقى إلا ، ويكون الطرف الأيمن هو ، وهو المطلوب.
9. بالتناظر ، تُكتب متطابقة التمرين 2.11 على الصورة . وبتطبيق السؤال 8 مع و :
وبإعادة الفهرسة بوضع : نحصل على الصيغة مرة ثالثة.
10. لدينا (السؤال 7)، ومنه
11. من أجل لدينا ، وتكون متراجحة السؤال 10 تامة: أي أن يقع على مسافة من ، فهو إذن أقرب عدد صحيح إليه على نحو وحيد. ومن أجل لا يعطي الحاصر إلا مسافة ، وتخفق الدعوى هناك بالفعل: إذ إن أقرب عدد صحيح إليه ، بينما .
12. المقدار متسلسلة متناوبة حدودها متناقصة تمامًا، فإشارته إشارة حدّه الأول . ومنه فإن إشارة هي إشارة : فمن أجل زوجيّ يكون و؛ ومن أجل فرديّ يكون .
13. ؛ و؛ و؛ و. وللتحقق: ، وأقرب عدد صحيح إليه هو — ولدينا ، كما يتنبأ به السؤال 12 من أجل زوجيّ.
14. . ومن أجل : (بخمسة أرقام عشرية)، في مقابل ؛ والفارق دون . ويتقلص الحاصر بسرعة تجعل الاحتمال مثبَّتًا إلى أرقام عشرية كثيرة منذ اثنتي عشرة رسالة: فالجواب «نحو » مستقل عن في كل غرض عملي — وهي مفاجأة المسألة الشهيرة.
15. حسب السؤال 2 ومع :
عندما مع مثبَّت، لأن . والقيم الحدّية (حيث ) هي أوزان توزيع بواسون ذي الوسيط .
16. عُدَّ الثلاثيات حيث و و . فباختيار الزوج المرتَّب أولًا: طريقة؛ والتبديلات الصامدة عند و معًا هي تبديلات النقاط الباقية: أي تبديلة. والمجموع: . وأمّا الجمع على التبديلات أولًا فيعدّ، من أجل كل ، الأزواج المرتَّبة من النقاط الصامدة المتمايزة: . ومنه المتطابقة المذكورة؛ وبالقسمة على يكون متوسط مساويًا ، فيكون متوسط مساويًا ويكون التباين .
17. النسب : من أجل ، ؛ ومن أجل ، ؛ ومن أجل ، . وكلها في حدود واحد في المئة من ، متذبذبةً حوله.
18. مباشرةً:
والقوس . فمن أجل زوجيّ يكون الفرق سالبًا: أي ، ومنه ؛ ومن أجل فرديّ يكون موجبًا: وبالجمع مع السؤال 12 (فالزوجية فوق والفردية تحته) والسؤال 14 (فالمسافة إلى تؤول إلى ): يحصر السلّمان بينهما.
19. السحبة الكاملة الواحدة تبديلة عشوائية منتظمة، وتصحّ عندما تكون اضطرابًا: أي باحتمال . وحسب الواقعة المذكورة، يكون متوسط عدد السحوب حتى النجاح ، ويعطي السؤال 14 أن بخطأ مهمَل منذ القيم الصغيرة للعدد . إذن يكلّف تبادل الهدايا السرّي مع إعادات السحب نحو سحبة كاملة في المتوسط — سواء أكان في المكتب أشخاص أم .
20. ثبّت وأجرِ تصنيف السؤال 5 على القيمة . إذا كان : حملت النقاط الباقية اضطرابًا كيفيًا، أي طريقة. وإذا كان : أعد توجيه السابقة إلى تمامًا كما في السؤال 5؛ وهذا تقابل مع اضطرابات النقاط في : أي طريقة. والمجموع ، وهو نفسه من أجل كل . وبالجمع على قيم التي عددها : ، وهذا يُظهر العامل : أي .
21. الدعوى: فرديّ إذا وفقط إذا كان زوجيًا. بالاستقراء باستعمال ، أي . البداية: زوجيّ و فرديّ: فتتحقق الدعوى. وإذا كان زوجيًا كان زوجيًا و : أي فرديّ، وهو المطلوب. وإذا كان فرديًا كان زوجيًا، فيكون فرديًا بالفرض، ويكون : أي زوجيّ. وبهذا يُغلق الاستقراء.
22. إرجاع بترديد يُلغي الحدّ الأول: . ومن أجل : ، وينتهي بالفعل بالرقم .
23. من أجل لدينا ، وقسمة تراجع السؤال 6 على تعطي ، حيث ويؤول بسرعة إلى . والاتساق: إذا كان فإن — إذ يختصر العامل في النسبة، ويؤكد التراجع ذلك بدقة .
24. (أ) قاعدتا الجداء والجمع أساس كل عدّ: فالسؤالان 2 و 5 يجزّئان مجموعات التبديلات إلى مراحل مستقلة. (ب) وأعطى العدّ المزدوج المتوسط (السؤال 4) والتباين (السؤال 16) لعدد النقاط الصامدة دون أيّ صيغة للعدد البتة. (ج) وحسبت مبرهنة ثنائي الحدّ المجموع الداخلي المتناوب الذي يجعل القلب الثنائي يعمل (السؤال 8). (د) وحوّل حاصر المتسلسلة المتناوبة المجموعَ الدقيق لكن المعتم إلى العبارة الشفافة «أقرب عدد صحيح إلى » (الأسئلة 10–14).
25. الاحتواء والاستبعاد (المثال 2.26 والتمرين 2.11) هو البرهان المفهومي: فهو يشرح المجموع المتناوب بوصفه تصحيحات لعدٍّ زائد، ويتعمّم حرفيًا على عدّ العناصر التي تتفادى أيّ عائلة من المجموعات «السيئة». وأمّا طريق التراجع (الأسئلة 5–7) فهو الأسرع حسابًا — في زمن خطيّ، وبحساب صحيح مضبوط، وبلا عوامل — وهو مصدر الوقائع الحسابية في الجزء 5. وأمّا القلب الثنائي (السؤالان 8–9) فيضع الصيغة داخل تحويل عام سيعود كلما تقابل نسقان مثلثيان من المتطابقات. وأمّا ظهور فأحسن ما يشرحه الصيغة نفسها: إذ إن نسبة الاضطرابات هي المجموع الجزئي للمتسلسلة التي تعطي ، فكانت أظرفة مونمور، قبل ترميز أويلر بثلاثة عقود، تحسب العدد فعلًا.