التطبيق
تطبيق
Application - Application
التطبيق
بفرض أن س، ع مجموعتان غير خاليتين (قد تكون س = ع). يقال عن كل علاقة ت من س إلى ع [ر] إنها تطبيق إذا كان كل عنصر من س مرتبطاً بعنصر وحيد من ع بهذه العلاقة، ونكتب:
ت: س ← ع
س ← ع
ويقال إن ع صورة س، وفق التطبيق ت ويكتب ع = ت (س)، كما يقال إن س أصل ع وفق التطبيق ت. وتسمى س منطلق التطبيق وع مستقره.
إن صورة التطبيق ت هي مجموعة صور عناصر منطلقة، ويرمز لها بـ ت (س) إذن:
ت (س) = {ع ' ع | ِ Eس ' س× ع = ت (س)}
يلاحظ مباشرة أن:
ت (س) Ê ع
إن البيان (بيا) للتطبيق ت هو بيان العلاقة ت من س إلى ع أي إن:
بيا ={(س، ع) | (س، ع) ' س×ع ؛ ع = ت (س)}
يُرمز لمجموعة تطبيقات المجموعة س في المجموعة ع بالرمز ع س أو مـ (س، ع).
يكون التطبيقان ت1، ت2 ' ع س متساويين، ويكتب ت1 = ت2، إذا كان:
ت1(س) = ت2(س)، "س ' س فقط، أي إن:
ت1 = ت2 Û ت1(س) = ت2 (س)، "س ' س
وبالتالي يكون:
ت1 ¹ ت2 Û Eس ' س، ت1(س) ¹ ت2(س)
لتكن س1 مجموعة جزئية من س وليكن ت ' ع س، تسمى المجموعة:
|
ت (س1) = {ت (س) | س ' س1}
الصورة المباشرة لـ س1.
يمثل التطبيق بمخطط بياني، كما يمكن تمثيله، عندما تكون س، ع، منتهيتين، بمخططٍ سهمي، أي بأسهم تنطلق من عناصر منطلقه لتستقر في عناصر من مستقره.
1ـ لتكن س = {أحمد، هند، زهير، عدنان، هالة، برهان} ومجموعة صفوف مدْرسة:
ع= {1(أ)، 1(ب)، 2(أ)، 2(ب)، 4(أ)، 4(ب)، 5(أ)، 5(ب)}
ولنفرض أن تطبيقاً ت: س ← ع معطى بالمخطط السهمي الآتي (الشكل ـ1):
إن: بيا(ت) = {(أحمد، 1(ب))، )هند،1(أ))، (زهير، 2)أ))، (عدنان، 4(ب))، (هالة، 5(أ))، (برهان، 4(ب))}.
2ـ ليكن التطبيق ت: ح ← ح
س ← س3 -3س+1
و(الشكل ـ2) يمثّل بيانَ هذا التطبيق.
أمثلة:
1ـ يسمى التطبيق ت: س ← س
س ← س
تطبيقاً مطابقاً على س.
2ـ إن التطبيق ت: ط ← ط
س ← 2س
تطبيق للأعداد الطبيعية في الأعداد الزوجية منها.
3ـ إن جمع الأعداد الحقيقية تطبيق لـ ح×ح في ح:
ت: ح × ح ← ح
(س1، س2) ← س1+ س2
وهو قانون تشكيل داخلي[ر] على ح.
4- الإسقاط القائم لنقاط مستقيم س من الفضاء على مستوٍ منه ع، هو تطبيق لنقاط س في ع.
يجب أن يلاحظ كما يلي:
1- يمكن أن يكون عنصرٌ واحد من المستقر ع صورة لأكثر من عنصرٍ من المنطلق س.
2- يمكن أن لا يكون عنصر من المستقر ع صورةً لأي عنصرٍ من المنطلق س.
أنواع التطبيقات:
ـ التطبيق المطابق: يكون التطبيق ت ' س س مطابقاً إذا كانت صورة كل عنصر من منطلقه هي ذاتها من مستقره، أي مهما يكن س ' س فإن ت (س) = س، يلاحظ من التعريف السابق أن ت (س) = س.
ـ التطبيق المتباين: يكون التطبيق ت ' ع س متبايناً إذا وإذا فقط كان:
"س1، س2 ' س، س1 ¹ س2 Ü ت (س1) ¹ (س2)
أي يكون التطبيق ت ' ع س متبايناً إذا وإذا فقط كانت صورتا عنصرين مختلفين من منطلقه مختلفتين، وهذا يكافئ القول:
"س1، س2 ' س، ت (س1) = ت (س2) Ü س1= س2
ـ التطبيق الغامر: يكون التطبيق ت ' ع س غامراً إذا وإذا فقط كان كل عنصر من مستقره صورة لعنصرٍ مواحد من منطلقه، أي أن:
"ع ' ع، E س ' س: ع = ت (س) أي يكون التطبيق غامراً إذا وإذا فقط كان ت (س) = ع
ـ تطبيق التقابل: يكون التطبيق ت ' ع س تقابلاً إذا وإذا فقط كان متبايناً وغامراً في آن واحد، أي إذا وإذا فقط:
1ـ "س1، س2 ' س، ت (س1) = ت (س2) Ü س1= س2
2ـ ت (س) = ع
أمثلة:
1ـ التطبيق ت: ط ← ط
س ← ع = 2س
متباين وغير غامر
2ـ التطبيق ت: ح × ح ← ح
(س1،س2) ← س1+س2
غامر وغير متباين
3ـ إن الإسقاط القائم لنقاط الفضاء على مستوٍ، تطبيقٌ غامرٌ وغير متباين وذلك لأن للنقطتين الواقعتين على مستقيمٍ واحد عمود على المستوي المسقط ذاته، كما أن كل نقطة من المستوي هي المسقط القائم لنقطة من الفضاء.
تركيب التطبيقات:
ليكن التطبيقان: ت1: س ← ع وت2: ع ← ف يقابل كل عنصر س ' س وفق ت1 عنصرٌ واحدٌ ع = ت1(س) ' ع، كذلك يقابل العنصر ع = ت1(س) ' ع وفق التطبيق ت2 العنصر الوحيد ص = ت2(ع) ' ف ويكون:
ص = ت2(ع) = ت2(ت1 (س)) = (ت2 O ت1) (س)
أي يقابل العنصر س ' س العنصر الوحيد ص = (ت2 O ت1) (س) ' ف وفق تطبيق ط، يُرمز له بـ ت2 O ت1، ويسمى مركب التطبيقين ت1 وت2:
ص = (ت2 O ت1) (س) = ط (س)
ليلاحظ أن التطبيق ت2 في الرمز ت2 O ت1 قد كُتب أولاً في اليمين، وأن التطبيق ت1 قد كُتب في اليسار.
لا يكون ت2 O ت1 معرَّفاً إلا إذا كانت صورة س وفق ت1 مساوية لمنطلق ت2.
ليكن التطبيقان:
ت: ح ← ح ، ت: ح ← ح
س ← 2س+1 س ← س2 -3س+1
عندئذ يكون:
" س ' ح: (ت2 O ت1) (س) = ت2(ت1(س1)) = ت2(2س+1)
= (2س+1)2 -3(2س+1)+1 = 4س2 -2س -1
وأُخذ في هذا المثال س = ع = ف = ح. أما من أجل ت1 O ت2 فيلاحظ أن:
(ت1 O ت2) (س) = ت1(ت2(س)) = ت1(س2-3س+1)
= 2(س2-3س+1) +1 = 2س2-6س+3
في حالة وجود كل من ت1 O ت2 و ت2 O ت1 كما في السابق فإن:
ت1 O ت2 ¹ ت2 O ت1 بشكل عام؛ أما إذا كان:
ت1 O ت2 = ت1 O ت2
فإنه يقال عندها إن ت1، ت2، تبادليان، يلاحظ أن:
منطلق ت2 O ت1 = منطلق ت1
مستقر ت2 O ت1 = مستقر ت2
خواص تركيب التطبيقات
1- تركيب التطبيقات تجميعي:
لتكن التطبيقات الثلاثة:
ت1: س ← ع ، ت2: ع ← ف ، ت3: ف ← ل
إن (ت3 O ت2) O ت1= ت3 O (ت2 O ت1)
ولإثبات ذلك يلاحظ أن (ت3 O ت2) O ت1 موجود، وهو تطبيق لـ س في ل (الشكل ـ3)، وبشكل مشابه، فإن (ت3 O ت2) O ت1 موجودٌ وهو تطبيق لـ س في ل، وللتطبيقين ت3 O (ت2 O ت1)، (ت3 O ت2) O ت1 المنطلق والمستقر ذاتهما، كذلك فإن:
[(ت3 O ت2) O ت1] (س) = (ت1 O ت2) (ت1(س))
= ت3 ([ت2 (ت1 (س))]
= ت3 [(ت2 O ت1) (س)]
= [ت3 O (ت2 O ت1)] (س)
وذلك مهما يكن العنصر س ' س، وتنتج بالتالي المساواة المطلوبة، ولذلك يكتب ت3 O ت2 O ت1 بلا أقواس.
2ـ بفرض أن ت1 ' عس وت2 ' فع. فإن القضايا التالية صحيحة:
أ ـ إذا كان كل من ت1، ت2، متبايناً فإن ت2 O ت1 متباين.
ب ـ إذا كان كل من ت1، ت2، غامراً فإن ت2 O ت1 غامرٌ.
حـ ـ إذا كان كل من ت1، ت2، تقابلاً فإن ت2 O ت1 تقابل.
د - إذا كان ت2 O ت1، متبايناً فإن ت1 متباين.
هـ - إذا كان ت2 O ت1 غامراً فإن ت2 غامر.
3- إذا كان ت1 ' عس غامراً، وت2 ، تَ2 ' فع فإن: ت2 O ت1= تَ2 O تَ1= ت2= تَ2
4- إذا كان ت2 ' فع متبايناً، ت1، تَ1 ' عس فإن:
ت2 O ت1= ت2 O تَ1 Ü ت1= تَ1
5- ليكن التطبيق ت ' عس وليكن مـ س، مـ ع التطبيقين المطابقين على س، ع على التوالي، عندئذ يكون:
أ ـ ت O مـ س = ت
ب ـ مـ ع O ت = ت
تطبيق الغمر القانوني (canonical surjection)
بفرض أن ر علاقة تكافؤ[ر] على المجموعة س، وأن مجموعة الخارج لـ س على ر وهي مجموعة صفوف التكافؤ لهذه العلاقة، يؤخذ التطبيق:
( صف تكافؤ س ' س وفق هذه العلاقة)
يلاحظ أن هذا التطبيق غامرٌ كما يصح فيه:
π (س) = π (ع) Û س ر ع يسمى التطبيق π، الغمر القانوني (أو التطبيق القانوني) لـ س على .
تطبيق التباين القانوني:
ليكن س1 جزءاً من مجموعة س وليكن التطبيق:
ب: س1 ← س
س ← س = ب (س)
ليلاحظ أن ب متباين وأن ب (س1) = س1 É س. يسمى ب تطبيق التباين القانوني لـ س1 في س.
تحليل تطبيق إلى عوامل:
ليكن التطبيق ت ' عس ولتكن ر علاقة تكافؤ على س معينة بـ
ت (س) = ت (ع) Û س ر ع
ويؤخذ كذلك تطبيق التباين القانوني: ب: ت (س) ← ع
يلاحظ أنه مهما يكن س ' س فإن:
ويقال إنه قد تم تفريق التطبيق ت إلى ثلاثة عوامل (الشكل ـ4).
معكوس تطبيق:
ليكن التطبيق ت ' عس. إن الصورة العكسية للعنصر ع ' ع وفق التطبيق ت والتي يرمز لها بـ ت-1 (ع)، هي مجموعة العناصر من س التي صورتها ع وفق ت أي:
ت-1 (ع) = {س ' س | ت (س) = ع}
س = ت-1 (ع) Û ع = ت (س)
إن الصورة العكسية للمجموعة الجزئية ع1 من ع وفق التطبيق ت والتي يُرمز لها بـ ت-1 (ع1) هي المجموعة التالية:
ت-1 (ع1) = {س ' س | ت (س) ' ع1}
ليكن التطبيق ت: ح ← ح
س ← س3
والمجموعة الجزئية ح1 = ل[9، 25]. إن ت-1 (ح1) هي المجموعة:
ت-1 (ح1) = {س ' ح: 3 ³ س ³ ج5ج، ج-5ج ³ س ³ ج -3 ج}
يكون التطبيق ت ' عس تقابلاً إذا وإذا فقط وجد تطبيق سع بحيث يكون:
ط O ت = مـ س، ت O ط = مـ ع
ينتنج عن ذلك أن ط تقابلٌ يسمى معكوس التقابل ت ويرمز له بـ ت-1 أي إن:
ت-1 O ت = مـ س، ت O ت-1 = مـ ع
يتصف معكوس تطبيق بالخواص التالية:
1ـ (ت-1)-1 = ت
2ـ إذا كان ت1 ' عس، ت2 ' فع تقابلين فإن:
(ت2 O ت1)-1 = ت1-1 O ت2-1
خواص الصور المباشرة والعكسية لأجزاء مجموعة:
ليكن التطبيق ت ' عس، وليكن س1، س2 جزأين من س، وليكن ع1، ع2 جزأين من ع. إن الخواص التالية صحيحة:
أولاً:
1ـ إذا كان س1 Ê س2 فإن ت (س1) Ê ت (س2)
2ـ ت (س1 È س2) = ت (س1) È ت (س2)
3ـ ت (س1 Ç س2) = ت (س1) Ç ت (س2)
وإذا كان التطبيق متباينا فإن:
ت (س1 Ç س2) = ت (س1) Ç ت (س2)
ثانياً:
1ـ إذا كان ع1 Ê ع2 فإن ت-1 (ع1) Ê ت-1 (ع2)
2ـ ت-1 (ع1 È ع2) = ت-1 (ع1) È ت-1 (ع2)
3ـ ت-1 (ع1 Ç ع2) = ت-1 (ع1) Ç ت-1 (ع2)
مقصور التطبيق:
ليكن التطبيق ت: س ← ع وليكن س1 جزءاً غير خالٍ من س، يسمى التطبيق:
ت1: س1 ← ع المعين بـ:
ت (س) = ت1(س)، "س ' س1 (*)
مقصور التطبيق ت على س1 وتكتب ت1/ س.
ليكن التطبيقان ت: ح ← ح+ ، ت1: ح ← ح+
س ← س2 س ← س2
إن ت1 مقصور (ت) على مجموعة الأعداد الطبيعية ط لأنه محقق لـ (*).
بفرض أن س1، ع1 جزءان من س وع على التوالي بحيث يكون:
ت (س1) Ê ع1، فإنه يمكن أن يُعرّف تطبيق ت1: س1 ← ع1 معين بـ
ت (س) = ت1(س)، "س ' س1
يسمى مقصور (ت) على س1 منطلقاً و ع1 مستقراً.
إذا لم يكن التطبيق ت: س ← ع تقابلاً، فقد يكون غالباً من الممكن والمفيد الحصول على مقصورٍ غامرٍ وذلك باختيار ع1= ت (س1)، وإذا كان ت1 متبايناً بالإضافة إلى كونه غامراً فعندها يسمى ت1 مقصوراً تقابلياً على س1 منطلقاً و ع1 مستقراً.
لنأخذ التطبيقات:
يلاحظ أن:
ت غير متباين وغير غامر
ت1 متباين وغير غامر وهو مقصور ت على
نن
ط متباين وغامر وهو المقصور التقابلي لـ ت على
إن المقصور التقابلي هام في التحليل وذلك لاستخدامه في تعريف الدالة العكسية، وفي المثال السابق يُعرّف المقصور التقابلي هذا الدالة العكسية الجيبية والتي يرمز لها جب-1(س) أو قوس جب س.
التباديل:
يسمى كل تطبيق تقابلٍ لمجموعة منتهية على ذاتها تبديلاً. سيرمز بـ ج لمجموعة التباديل على المجموعة س أي:
ج = {ت ' سس، ت تقابل}
يلاحظ في ج ما يلي:
1ـ إذا كان ت1، ت2 ' ج Ü ت1 O ت2 ' ج
2ـ ت1 O ( ت2 O ت3) = (ت1 O ت2)O ت3، "ت1، ت2، ت3 ' ج
3ـ "ت ' ج فإن ت-1 ' ج
4ـ "ت ' ج، ت O مـ س = مـ س O ت = ت
والثانية (ج، O) زمرة غير تبادلية.
مثال:
إذا كان س = {1، 2، 3} فإن زمرة التباديل على هذه المجموعة هي:
إلهام حمصي
مراجع للاستزادة: |
ـ صلاح أحمد، التحليل (1) (مطبعة جامعة دمشق، 1967).
ـ إلهام حمصي، الجبر (1) (جامعة دمشق 1981).
ـ محمد عادل سوزان، موفق دعبول، الرياضيات المعاصرة (1) (مؤسسة الرسالة، بيروت 1986).
التصنيف : الرياضيات و الفلك
النوع : علوم
المجلد: المجلد السادس
رقم الصفحة ضمن المجلد : 541
مشاركة :اترك تعليقك
آخر أخبار الهيئة :
- صدور المجلد الثامن من موسوعة الآثار في سورية
- توصيات مجلس الإدارة
- صدور المجلد الثامن عشر من الموسوعة الطبية
- إعلان..وافق مجلس إدارة هيئة الموسوعة العربية على وقف النشر الورقي لموسوعة العلوم والتقانات، ليصبح إلكترونياً فقط. وقد باشرت الموسوعة بنشر بحوث المجلد التاسع على الموقع مع بداية شهر تشرين الثاني / أكتوبر 2023.
- الدكتورة سندس محمد سعيد الحلبي مدير عام لهيئة الموسوعة العربية تكليفاً
- دار الفكر الموزع الحصري لمنشورات هيئة الموسوعة العربية
البحوث الأكثر قراءة
هل تعلم ؟؟
الكل : 57175260
اليوم : 131661
المجلدات الصادرة عن الموسوعة العربية :
-
المجلد الأول
-
المجلد الثاني
-
المجلد الثالث
-
المجلد الرابع
-
المجلد الخامس
-
المجلد السادس
-
المجلد السابع
-
المجلدالثامن
-
المجلد التاسع
-
المجلد العاشر
-
المجلد الحادي عشر
-
المجلد الثاني عشر
-
المجلد الثالث عشر
-
المجلد الرابع عشر
-
المجلد الخامس عشر
-
المجلد السادس عشر
-
المجلد السابع عشر
-
المجلد الثامن عشر
-
المجلد التاسع عشر
-
المجلد العشرون
-
المجلد الواحد والعشرون
-
المجلد الثاني والعشرون