انتقل إلى المحتوى

خاصية شاملة

هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها
من ويكيبيديا، الموسوعة الحرة

تُعرَّف الخاصية الشاملة في الرياضيات بأنها خاصية يختص بها كائن في فئة تجعله كائنا ممثلًا لمدلل ما (ذي تباين مشارك أو معاكس) بقيمة مجموعة، ويكون ذلك المدلل معرَّفًا في الفئة. وبتعبير آخر، دع فئة و مدللًا (نتعامل هنا مع حالة التباين المشارك)، يكون العنصر الشامل من هو الزوج حيث كائن من و بحيث أنه لكل زوج مماثل توجد وحيدة في تحقق . إن التوافق بين و يعرِّف تساوي شكل طبيعيًّا بين والمدلل ، ويُقال عن الكائن أنه كائن ممثِّل (أو تمثيل) لـ ، وخاصيته الشاملة هي حيازته للعنصر الشامل .[1]

مراجع

[عدل]
  1. ^ بيتر جونستون (المنشئ) (7 فبراير 2011). "Universal property". Encyclopedia of Mathematics. مؤرشف من الأصل في 2015-06-26.