‫التصنيف ‪ Categorification‬و نظرية الفئة ‪Category Theory‬‬

‫احمد زيني الياسري‬

‫في هذا المقال سنقوم بتعريف التصنيف ‪ Categorification‬وإعطاء أمثلة عنه خالل ذلك سنتطرق لتعريف الفئة ‪ category‬و‬
‫نضع أمثلة عليها‪ .‬فكرة التصنيف ‪ Categorfication‬تم طرحها في و هذا المصطلح يدل على عملية تبديل نظرية المجموعات ‪Set‬‬
‫‪ function‬بالمدالل ‪functor‬‬ ‫‪ Theortic‬بنظرية الفئات ‪ Category Theory‬المقترنة بها و تبديل الدالة‬
‫(هناك الكثير من االصطالحات لل ‪ functor‬باللغة العربية ومنها المدالل ‪ ,‬الدالل ‪ ,‬المقرن و لكننا اخترنا مصطلح المدالل لل‬
‫‪ )functor‬و كذلك المعادالت بين الدوال يتم تبديلها بواسطة االيزومورفيزم بين المدالالت ‪ functors‬أما العناصر ‪elements‬‬
‫فنبدلها ببناء رياضي ‪mathematical objects‬‬

‫مجموعة (‪ ← )set‬فئة ‪category‬‬

‫دالة (‪ ←)function‬مدالل ‪functor‬‬

‫معادالت بين الدوال ← ايزومورفيزم‬

‫إن الفكرة األساسية هي تبديل عنصر أو شيء بسيط ‪ simple object‬بعنصر أكثر تعقيد ولكن يحمل معلومات أكثر للحصول على‬
‫تركيبة رياضية أفضل‪ .‬مثال ذلك فئة المجموعات المنتهية (‪ )category of finite sets‬والذي عناصره (‪ (objects‬مجموعات‬
‫مفتوحة و المورفيزم هي الدوال بين المجموعات هو تصنيف ‪ categorfication‬لمجموعة ألعداد الطبيعية 𝑁 حيث أن االتحاد‬
‫االنفصالي )‪ )disjointunion‬وحاصل الضرب الديكارتي ‪ cross product‬للمجموعات المنتهية تقترن بالجمع و الضرب‬
‫للمجموعة‪ .‬إن دراسة التصنيف ستفضي إلى حقائق جميلة مثالً إن كثير من النتائج و الحقائق التي درسناها في الرياضيات المتقدمة‬
‫هي باألصل تصنيف لكثير من الدراسات في المدارس اإلعدادية حيث أننا في السابق كنا نتعامل مع مجموعات بسيطة بمفاهيم و‬
‫شروط بسيطة أما التصنيف فيجعلها معقدة و تحوي على معلومات أكثرو لكن مفيدة و تعطي نتائج أفضل لحساباتنا و دراساتنا و‬
‫توسيع مداركنا لفهم الموضوع و أخذ صورة أكبرعنه كذلك هو الحال في حال وجود تصنيف ‪ categorification‬يوجد أيضا ً‬
‫تصنيف عكسي ‪ decatorification‬والذي يقوم بعكس عملية التصنيف أي يبسط التركيب الرياضي من معقد إلى بسيط بمعنى آخر‬
‫إن عكس تصنيف فئة المجموعات المنتهية يعطينا مجموعة األعداد الطبيعية‪ .‬مثال آخر في الثورة النيوترية ‪ Noether‬في التبولوجيا‬
‫الجبرية و التي أهم مفاهيمها الزمرة الهومولوجية ‪ homology group‬فإن العمل كان يركز على العدد بيتي ‪ Betti number‬و‬
‫الذي هو يمثل البعد للزمرة الهومولوجية و أيضا ً باإلضافة إلى العدد الكاردينالي للمجموعة و بعد فضاء المتجهات ‪vector‬‬
‫‪space‬فإن هذه األرقام هي باألصل إجراء عكس التصنيف ‪ decategorification‬أي عدنا من تركيبة معقدة كالزمرة أو المجموعة‬
‫أو فضاء المتجهات إلى تركيب أبسط و هو العدد‪ .‬نحن نعرف أن فضائي متجهات يكونان متكافئين إذا تساوت أبعادهما‪ .‬نويثر‬
‫أشارت أيضا ً أن التعامل مع الزمر الهومولوجية بدل العمل مع العدد بيتي سيكون أفضل في حل الكثير من المسائل التبولوجية و‬
‫الجبرية ألننا سنتعامل ليس فقط مع الزمرة و إنما أيضا ً مع دوالها يعني أن الزمرة الهومولوجية النونية‬
‫)𝑦𝑔𝑜𝑙𝑜𝑚𝑜‪ (𝑇ℎ𝑒 𝑛𝑡ℎ ℎ‬هو مدالل )‪ (functor‬معرف على فئة الفضاءات التبولوجية بينما العدد بيتي النوني‬
‫( ‪ ( 𝑇ℎ𝑒 𝑛𝑡ℎ 𝐵𝑒𝑡𝑡𝑖 𝑛𝑢𝑚𝑏𝑒𝑟 𝑛𝑡ℎ‬هو مجرد دالة معرفة على مجموعة صفوف الفضاءات التبولوجية المتكافئة( ‪isomorphism‬‬
‫‪)classes of topological spaces‬‬

‫إن عكس التصنيف ‪ decatorification‬هو إجراء مباشر لعملية هدم المعلومات التي لدينا و تبسيطها أما التصنيف فيقوم بعملية‬
‫إصالح و معالجة المعلومات الضائعة و حتى ن كون بصورة أوضح نحتاج إلى تعريف الفئة و المدالل ونأخذ أمثلة عليهم كذلك سنتكلم‬
‫بصورة أوضح عن العدد بيتي و عالقته بالزمرة الهومولوجية‪.‬‬
 ‫تعريف ‪:‬الفئة( ‪:)category‬‬

‫إن الفئة عبارة عن مجموعة ‪ C‬تحوي ‪:‬‬

‫‪ -1‬مجموعة تركيبات)𝐶 𝑗𝑏𝑜( ‪set of objects‬‬

‫‪-2‬مجموعة من المورفيزمات )‪ 𝑀𝑜𝑟𝐶 (X, Y‬لكل من ‪ X, Y‬تركيبات داخل الفئة ‪ set of morphisms‬مع عملية التركيب‬

‫)𝑍 ‪𝑀𝑜𝑟𝐶 (𝑋, 𝑌) ᵡ 𝑀𝑜𝑟𝐶 (𝑌, 𝑍) → 𝑀𝑜𝑟𝐶 (𝑋,‬‬

‫𝑔 ∘ 𝑓 → )𝑔 ‪(𝑓,‬‬

‫و المورفيزم المحايد ‪ 𝑀𝑜𝑟𝐶 (𝑋, 𝑋) ∋ 1𝑥 identity morphism‬لكل تركيب 𝑋 في الفئة 𝑋 ∋ 𝐶 𝑗𝑏𝑜‬

‫كذلك إن التركيب يجب أن يكون تجميعي ‪ associative‬أي )‪(f ∘ g) ∘ h = f ∘ (g ∘ h‬لكل 𝑔 ∘ 𝑓و‪ 𝑔 ∘ ℎ‬معرفة‬

‫إن المورفيزم المحايد له الخاصية التالية ‪:‬‬

‫𝑓 ∘ 𝑌‪ 𝑓 = 𝑓 ∘ 1𝑋 = 1‬لكل 𝑓 ∋ )𝑌 ‪𝑀𝑜𝑟𝐶 (𝑋,‬‬

‫أمثلة‪:‬‬

‫‪ -1‬فئة المجموعات ‪:Sets Category‬‬

‫التركيبات ‪ :‬المجموعات ‪ sets‬المورفيزم ‪ :‬الدوال بين المجموعات ‪sets maps‬‬

‫‪-2‬فئة فضاءات المتجهات ‪vector space Category :‬‬

‫التركيبات ‪ :‬فضاءات المتجهات ‪ vector spaces‬المورفيزم‪ :‬الدوال الخطية ‪linear maps‬‬

‫‪-3‬فئة الزمر‪:‬‬

‫التركيبات‪ :‬الزمر ‪ Groups‬المورفيزم ‪ :‬الهومومورفيزم بين الزمر ‪Group homomorphism‬‬

‫‪ -4‬فئة الحلقات ‪Ring Category :‬‬

‫التركيبات ‪ :‬الحلقات ‪ Rings‬المورفيزم ‪:‬الهومومورفيزم بين الحلقات‪Ring homomorphism‬‬

‫‪ -5‬فئة الفضاءات التبولوجية ‪Topological spaces‬‬

‫التركيبات‪ :‬الفضاءات التبولوجية ‪ Topo.spaces‬وأيضا ً فئة الموديول و فئة المانفولد‪.‬‬

‫تعريف ‪ :‬فئات ذات تركيبة واحدة 𝐗 ‪ :Categories with one object:‬ليكن 𝐶 فئة ذات تركيبة واحدة 𝑋 و بذلك يكون لدينا‬
‫مجموعة واحدة من المورفيزم ) 𝑋 ‪ 𝑀𝑜𝑟𝐶 (𝑋,‬و هنا تركيب الدوال تجميعي و الهومومورفيزم المحايد 𝑋‪ 1‬لهذه العملية هنا تسمى‬
‫هذه الفئة بالمونوئيد (‪ )Minoid‬يعني المونوئيد هو فئة ذات تركيبة واحدة‬

‫تعريف (اإليزومورفيزم ‪ :)Isomorphism‬إن اإليزومورفيزم في فئة ‪ C‬هو عنصر 𝑓 ∋ )𝑌 ‪ 𝑀𝑜𝑟𝐶 (𝑋,‬بحيث يوجد‬

‫عنصر 𝑔 ∋ )𝑌 ‪ 𝑀𝑜𝑟𝐶 (𝑋,‬يحقق أن ‪ =𝑓 ∘ 𝑔 = 1𝑌 :‬و 𝑋‪𝑔 ∘ 𝑓 = 1‬‬

‫ليكن ‪ C‬فئة ذات تركيبة واحدة ‪ X‬بحيث كل المورفيزمات هي إيزومورفيزمات و كما نعرف أن )𝑋 ‪ 𝑀𝑜𝑟𝐶 (𝑋,‬هو مونوئيد‬
‫‪ Moniod‬ولكن كل عناصره متناظرة ‪ invertible‬و هذا يعني أنه زمرة‪ .‬الزمر هي فئات ذات تركيبة واحدة فيها كل المورفيزمات‬
‫إيزومورفيزمات‪.‬‬

‫تعريف‪ :‬الفئة األبيلية (‪ : (Preadditive Category‬يقال للفئة بأنها ‪ Preadditive‬إذا كان‪:‬‬

 ‫‪ 𝑀𝑜𝑟𝐶 (𝑋, 𝑌)-1‬هي زمرة أبيلية لكل 𝑌 ‪( 𝑜𝑏𝑗 𝐶 ∋ 𝑋,‬هنا العملية الثنائية هي الجمع)‬
‫‪-2‬تركيب الدوال توزيعي‪:‬‬

‫‪(g + h) ∘ f = g ∘ f + h ∘ f‬‬

‫‪𝑓 ∘ 𝑔 + ℎ) = 𝑓 ∘ 𝑔 + 𝑓 ∘ ℎ‬‬

‫متى ماكان التركيب معرف‪.‬‬

‫مثال‪:‬فئة الزمر األبيلية‪ .‬إن فئة الزمر التبديلية هي ‪ pre additive‬و الهومومورفيزم هي توزيعية تحت التركيب مع عملية الجمع‪.‬‬
‫ليكن ‪ C‬هي فئة ‪ Pre additive‬و فيها تركيبة واحدة ‪ X‬فإن)𝑋 ‪ 𝑀𝑜𝑟𝐶 (𝑋,‬تحوي عملية تجميعية(التركيب)‬

‫بناء رياضياتي لزمرة أبيلية ( عملية جمعية ) والتراكب هو توزيعي على الجمع و بذلك تكون )𝑋 ‪ 𝑀𝑜𝑟𝐶 (𝑋,‬هي حلقة و الضرب‬
‫هنا هو التراكب نفسه و بذلك يكون الحلقات هي فئة ‪ pre additive‬لتركيبة واحدة ‪Rings are preadditive one-objects‬‬
‫‪Category‬‬

‫تعريف ‪:‬المدالل )‪ :)functor‬كما قلنا سابقا ً هناك الكثير من التسميات مثالً المدالل ‪,‬الدالل‪ ,‬المقرن(تأتي من كلمة اقتران) ليكن ‪C, D‬‬
‫فئتان ‪ ,‬المدالل ‪ F‬من ‪ C‬إلى 𝐷 يتضمن‪:‬‬

‫دالة ‪F: obj C → obj D‬‬

‫لكل 𝑌 ‪ 𝑜𝑏𝑗 𝐶 ∋ 𝑋,‬توجد دالة ‪:‬‬

‫)𝑌(𝐹 ‪F: 𝑀𝑜𝑟𝐶 (𝑋, 𝑋) → 𝑀𝑜𝑟𝐶 (𝐹(𝑋),‬‬

‫ويحقق تركيب الدوال‬

‫)𝑔(𝐹 ∘ )𝑡(𝐹 = )𝑔 ∘ 𝑓( 𝐹 لكل تركيب ل 𝑔 ‪ 𝑀𝑜𝑟𝐶 ∋ 𝑓,‬معرف و كذلك يحافظ على المورفيزم المحايد )𝑋(𝐹‪𝐹(1𝑋 ) = 1‬‬

‫‪:‬نعرف المدالل اآلتي ‪:‬‬

‫ّ‬ ‫مثال‬

‫فئة الزمر ‪𝐹:‬‬ ‫فئة المجموعات →‬

‫نعرف لكل زمرة ‪ G‬المجموعة 𝑆 التي تولد منها و ألي هومومورفيزم ‪ 𝑓: 𝐺1 → 𝐺2‬بين زمرتين ‪ 𝐺2‬و ‪ 𝐺1‬نعرف )‪F(f‬هو دالة‬ ‫ّ‬
‫بين المجموعتين ‪ 𝑆1 , 𝑆2‬التابعتين ل ‪ 𝐺2‬و ‪𝐺1‬‬

‫مثال‪( :‬الزمرة األساسية ) ليكن ‪ Top‬فئة الفضاءات التبولوجية ذات نقطة معينة ‪ 𝑥0‬و ‪ Group‬هو فئة الزمر الجبرية ‪ ,‬نعرف‬
‫المدالل ‪ F: Top → Group‬بأنه الزمرة األساسية )𝑋( ‪ .Fundamental group 𝜋𝑥0‬كذلك إن الزمرة الهومولوجية هي أيضا ً‬
‫مدالل بين الفضاءات التبولوجية و الزمر الجبرية‪ .‬هناك أيضا ً عدد أ ويلر و الذي يتم حسابه عن طريق تثليث المانفولد و حساب العدد‬
‫يتم حسب قانون يربط رؤوس المثلث و أضالعه و أوجه المثلث‬

‫)‪Euler number: Manifold(Top. sp) → N(set‬‬

‫حيث أن ‪ Manifold‬هو فئة المانفولد و هي فضاءات تبولوجية و ‪N‬هي فئة مجموعة األعداد الطبيعية‪.‬‬

‫تأثيرات الزمرة ‪Group Actions‬‬

‫دائما ً في نظرية الزمر يهتم الكثير من الباحثين بتأثير الزمرة على مجموعة معينة ‪.‬‬

‫مثال‪ :‬الكروب 𝑛𝑆 يؤثر على مجموعة متكونة من 𝑛 من العناصر بواسطة التباديل‪ .‬لتكن ‪ C‬زمرة و التي هي فئة ذات تركيبة واحدة‬
‫كما بينا سابقاً‪.‬اآلن يجب أن نفكر بالمدالل 𝑡𝑒𝑆 → 𝐶 ‪ 𝐹:‬حيث ‪ Set‬فئة المجموعات‪ .‬التركيبة الواحدة (‪ (single object‬في 𝐶‬
‫يذهب إلى مجموعة 𝐴 في الفئة ‪ Set‬كل مورفيزم من ‪( C‬طبعاً) هو عنصر من زمرة يجب أن يذهب إلى دالة ‪𝐹: 𝐴 → 𝐴 map‬‬
‫بحيث يحافظ على تركيب الدوال ‪ composition of maps‬و بذلك يكون المدالل ‪C → Set‬هو مثال تأثير زمرة على مجموعة‪.‬‬
 ‫مثال‪ :‬المدالل من ‪ C‬إلى فئة الفضاءات التبولوجية هو تأثير زمرة على الفضاء التبولوجي‪.‬‬

‫مثال‪:‬المدالل من ‪ C‬إلى فئة الفضاءات التبولوجية هو تمثيل ‪ representation‬للزمرة‬

‫باستخدام الفكرة أعاله نستطيع تعريف تمثيالت ‪ representations‬لكثير من التركيبات الجبرية ‪( Algebraic obj‬مثل مونوئيد‬
‫‪,‬زمرة‪,‬حلقة‪ )...,‬لكل فئة مناسبة‪ .‬ليكن لدينا الفئة ‪ C‬نعرف‬

‫}مجموعة صفوف اإليزومورفيزم لتركيبات الفئة 𝐶{ = 𝐶 𝑂𝑆𝐼‬

‫يمكن إضافة بناء على الفئة (مثل الجمع المباشر ‪ Direct sum‬والضرب التنسوري ‪ )tensor-product‬وهذه اإلضافة تعطي‬
‫إضافة على المجموعة ‪. ISO C‬‬

‫مثال‪ :‬المجموعات المنتهية (‪)finite sets‬‬

‫ليكن 𝐶 هي فئة المجموعات المنتهية‪ -ISO C = N :‬ألن كل مجموعة منتهية متحددة بواسطة االيزومورفيزم بالكاردينالي ‪-‬االتحاد‬
‫االنفصالي ‪ Disjoint union‬على 𝐶 يمثل عملية الجمع على مجموعة األعداد الطبيعية ‪ N‬ألن‬

‫|𝐵| ‪|𝐴 ∪ 𝐵| = |𝐴| +‬‬

‫‪-‬حاصل الضرب الديكارتي على ‪ C‬يمثل عملية الضرب على 𝑁 ألن |𝐵| ‪|𝐴 × 𝐵| = |𝐴| +‬‬

‫مثال‪ :‬الفضاءات المتجهة ‪Vector space‬‬

‫ليكن 𝐶 فئة الفضاءات المتجهة ذات األبعاد المنتهية ‪ finite dimentioal vector spaces‬المعرفة على الحقل ‪:ℂ‬‬

‫‪ N = ISO C -‬ألن كل فضاء متجهات ذو بعد محدد يكون معروف عن طريق بعده‪.‬‬

‫‪-‬الجمع المباشر(‪ )direct sum‬على ‪ C‬تمثل الجمع على ‪ N‬ألن‬

‫)𝑤(‪𝑑𝑖𝑚(𝑣 ⊕ 𝑤) = dim(𝑣) + dim‬‬

‫لكل 𝑤 ‪ 𝑣,‬متجهات‬

‫‪-‬الضرب التنسوري (‪)tensor product‬على ‪ C‬يمثل عملية الضرب على ‪ N‬ألن‬

‫𝑤(‪𝑑𝑖𝑚(𝑣⨂𝑤) = dim(𝑣) ∙ dim‬‬

‫أهمية التصنيف ‪ :( categorification(:‬لماذا التصنيف ؟‬

‫‪-‬ألنه يفتح الغطاء عن األبنية في التركيبات الجبرية و يعطينا معلومات غنية أفضل و أوسع‬

‫‪ -‬الحصول على تطبيقات في التبولوجيا و الفيزياء مثال المدالل نظرية الحقل الكمي التبولوجية‪Topological quartum field .‬‬
‫)‪ Theory (T Q F T‬و فئة الكوبوردزم ‪ Category of Cobordism‬و فئة الكوبوردزم النوني ‪𝑛 −‬‬
‫𝑚𝑠𝑖𝑑𝑟𝑜𝑏𝑜𝐶 𝑓𝑜 𝑦𝑟𝑜𝑔𝑒𝑡𝑎𝐶 و أي ذو بعد 𝑛‬

‫بناء فئات أفضل ‪Building better Categories‬‬

‫ليكن لدينا فئة ‪ C‬مثالً فئة المجموعات ‪.Sets‬هدفنا اآلن تكوين فئة أفضل ‪ better category‬مثالً فئة المركبات المتسلسلة ‪chain‬‬
‫‪ complexes‬لذلك سنقوم بتطوير فئتنا للحصول على بناء رياضي متقدم أكثر و أكثر و مغري للدراسة و يعطينا معلومات أكثر و‬
‫أفضل و هذا مايتم البحث عنه بصورة واسعة في الدراسات الحديثة و سنبين ذلك في التعريف اآلتي‪:‬‬
‫نعرف عملية انحناء الفئة ‪ C‬على‬
‫تعريف‪ :‬عملية انحناء الفئة 𝐂 على مجموعة األعداد الصحيحة ‪ : )einrichment( ℤ‬لتكن 𝐶 فئة ّ‬
‫مجموعة األعداد الصحيحة ‪ )einrichment(ℤ‬لتكون فئة جديدة ‪ 𝐶 +‬حيث أن تركيبات الفئة الجديدة ال تختلف عن تركيبات القديمة‬
‫)𝐶(𝑗𝑏𝑜 = ) ‪ 𝑜𝑏𝑗(𝐶 +‬ولكن المورفيزم يتوسيعتهم بواسطة ‪ ℤ‬خطيا ً يعني لكل ) ‪ 𝐴, 𝐵 ∈ 𝑜𝑏𝑗(𝐶 + ) Obj (𝐶 +‬لدينا‬

‫= )𝐵 ‪𝐻𝑜𝑚𝐶 + (𝐴,‬‬ ‫𝑓𝑍 ⨁‬

‫)𝐵 ‪𝑓 ∈ 𝐻𝑜𝑚𝑐 (𝐴,‬‬

‫و نستطيع تعريف تراكب الدوال بواسطة التوسعة الخطية‬

‫‪(𝑓1 + 𝑓2 ) ∘ (𝑔1 + 𝑔2 ) = 𝑓1 ∘ 𝑔1 + 𝑓1 ∘ 𝑔2 +𝑓1 ∘ 𝑔2 + 𝑓2 ∘ 𝑔2 + 𝑓1 ∘ 𝑔2 + 𝑓2 ∘ 𝑔2‬‬

‫هنا ‪ 𝐶 +‬هي فئة ‪ preadditive‬اآلن سنقوم بعملية تحسين أخرى‪.‬‬

‫تعريف‪ :‬االنغالق الجمعي ‪ :additive closure‬لتكن ‪ 𝐶 +‬هي فئة ‪ّ preadditive‬‬

‫نعرف االنغالق الجمعي ‪ additive closure‬ل‬
‫) ‪ 𝑀𝑎𝑡(𝐶 +‬ليكون فئة بحيث‪:‬‬

‫‪-‬التركيبات (‪)objects‬هي حاصل الجمع المباشر لتركيبات ‪𝐶 +‬‬

‫𝑛‬ ‫𝑚‬
‫=𝐵‬ ‫𝐵⨁‬‫‪-‬إذا كان 𝑖𝐴⨁ = 𝐴 و 𝑗‬
‫‪𝑗=1‬‬ ‫‪𝑖=1‬‬

‫تركيبتان في فئة االنغالق الجمعي فإن المروفيزم بينهم يكون مصفوفة 𝑛 × 𝑚 حيث إن كل تركيب داخل المصفوفة ذو موقع 𝑗 ‪𝑖,‬‬
‫نكون مخطط يوضح‬ ‫هو مورفيزم للتركيبتين 𝑗𝐵 ‪ 𝐴𝑖 ,‬في ‪ 𝐶 +‬أما تركب المروفيزم فإنه ّ‬
‫يعرف بضرب المصفوفات اآلن نستطيع أن ّ‬
‫عملية التصنيف و التصنيف المعاكس‪:‬‬

‫مثال‪ :‬ليكن لدينا الفئة ‪ C = Set‬فإنه من الممكن تصنيفها إلى الزمر األبيلية الحرة ‪ free abelian groups‬فيكون بذلك المخطط ‪:‬‬

‫اآلن حتى نكمل المخطط ممكن أن يكون‪ category of invariant‬هو فئة الزمر األبيلية بصورة عامة و الزمر األبيلية الحرة هي‬
‫محتواة بداخلها‬
‫االنحالل ‪ : Resolution‬من ضمن آلية تطوير عملية التصنيف تفكيك بعض التركيبات و جعلها أصغر لتكون حسابات الثوابت لها‬
‫أسهل و أفضل و لهذا يفضّل استخدام التفكيك دائما ً في حال وجوده‬

‫|𝐵 ∩ 𝐴| ‪|𝐴 ∪ 𝐵| = |𝐴| ∪ |𝐵| −‬‬

‫لتكن لدينا 𝐼∈𝑖} 𝑖𝐴{ مجموعة من المجموعات فإن المبدأ األساسي لالحتواء \ اإلقصاء (‪ )inclusion\exclusion‬كاآلتي‪:‬‬

‫| ∝∈𝑖 𝑖𝐴 ∩| ‪|∪ 𝐴𝑖 𝑖∈𝐼 | = ∑(−1)|∝|+1‬‬

‫𝐼⊂∝‬

‫و حتى نفهم فكرة االنحالل نأخذالمثال التالي ‪:‬‬

‫نكون المثال المخطط التالي‪:‬‬

‫مثال‪ :‬ليكن ‪ 𝐴 = 𝐴1 ∪ 𝐴2 ∪ 𝐴3‬اآلن ّ‬

‫هنا اتجاه السهم يمثل عملية االحتواء ⊆ اآلن إذا لدينا انحالل ‪ resolution‬و مدالل 𝐹 نسأل عن إمكانية الحصول على متسلسلة‬
‫مضبوطة ‪ exact sequence‬و من ثم نطبّق المدالل على المركب ‪ complex‬للحصول على سلسلة مركبة ‪chain complex‬‬

‫اآلن كيف يمكن لالنحالل ∗ 𝑠𝑒𝑅 أن يكمل المخطط أعاله و حتى نحقق ذلك نحتاج تعريف مميز أويلر بالصيغة التالية‪:‬‬

‫تعريف‪ :‬مميز أويلر ليكن لدينا التركيبة 𝑋 ∋ 𝐶 تنتمي إلى الفئة 𝐶 و ليكن ))𝑥(𝑡𝑎𝐶( ∗ 𝑠𝑒𝑅يكون االنحالل اإلسقاطي‬
‫‪projective Res‬فإنه يمكن تعريف مميز أويلر بأن يكون ‪:‬‬

‫)))𝑋(𝑡𝑎𝐶( 𝑖 𝑠𝑒𝑅(𝑡𝑎𝐶𝑒𝐷 𝑖)‪(𝑋 ) = ∑𝑖 (−1‬‬

‫اآلن عندما نطبق الهومولوجي للسلسلة المركبة ‪ chain complex‬بذلك نحصل على الكثير من الثوابت الرياضية ‪ invariants‬و‬
‫بذلك نوسّع كمية المعلومات التي لدينا و عندما نعود لمخططنا السابق و توسعه نحصل على ‪:‬‬
 ‫اآلن لدينا معلومات مخزونة في السلسلة المركبة ألن السلسلة تحوي معلومات إضافية عن التركيبة المراد دراستها ‪X‬‬

‫لنعود إلى المثال السابق و نحاول تطبيق المدالل‬

‫نكون المخطط التالي ن كل 𝑖𝐴 هي مجموعة‬

‫مثال‪ :‬ليكن ‪ 𝐴 = 𝐴1 ∪ 𝐴2 ∪ 𝐴3‬اآلن ّ‬

‫اآلن نطبق المدالل بأخذ كل مجموعة إلى زمرة حرة ‪ free group‬تتولد بعناصر ‪ A‬فنحصل على المخطط‪:‬‬

‫و هذه متوالية مضبوطة و هنا الهومولوجي صفر في كل مكان‪ .‬اآلن نستطيع أن نتحدث عن مبدأ االحتواء\ اإلقصاء و حسب‬
‫المبرهنة األساسية‬

‫مبرهنة‪ :‬ليكن ‪ 𝐶.‬سلسلة مركبة فإنه ‪:‬‬

‫)) ‪∑(−1)𝑖 dim(𝐶. ) = ∑(−1)𝑖 dim(𝐻𝑖 (𝐶.‬‬

‫𝑖‬ ‫𝑖‬

‫و بالعودة إلى المثال أعاله نحصل على ‪:‬‬

 ‫| 𝑖𝐴 ∝∈𝑖∩ | |∝|)‪0 = ∑ (−1)i dim(𝐻𝑖 (𝑐ℎ𝑖 (𝐴)) = ∑(−1)𝑖 dim(𝐶ℎ𝑖 (𝐴)) = ∑(−1‬‬
‫𝑖‬
‫𝑖‬ ‫∝‬

‫و هذا يبين لنا أن مجموعة المساقط التي لها بالضبط نفس خواص مساقط الزمر اآلبيلية‪.‬‬

‫الحظ أن قاعدة الفصل ‪Decomposition Rule‬‬

‫|𝐵 ∩ 𝐴| ‪|𝐴 ∪ 𝐵| = |𝐴| ∪ |𝐵| −‬‬

‫والتي تعطينا المتوالية المضبوطة ‪:‬‬

‫‪0 → 𝐻0 (𝐴 ∩ 𝐵) → 𝐻0 (𝐴)⨁𝐻0 (𝐵) → 𝐻0 (𝐴 ∪ 𝐵) → 0‬‬

‫و هذا هو المدخل لعمل الباحث كوفانوف في كيفية تصنيف متعددة حدود جونز و استخدام الهومولوجيا كمدالل للحصول على نتائج‬
‫أفضل في تصنيف العقد و الروابط الرياضية إلى فئات أكثر حسب الخواص الجديدة‪.‬‬