خاصية شاملة
تُعرَّف الخاصية الشاملة في الرياضيات بأنها خاصية يختص بها كائن في فئة تجعله كائنا ممثلًا لمدلل ما (ذي تباين مشارك أو معاكس) بقيمة مجموعة، ويكون ذلك المدلل معرَّفًا في الفئة. وبتعبير آخر، دع فئة و مدللًا (نتعامل هنا مع حالة التباين المشارك)، يكون العنصر الشامل من هو الزوج حيث كائن من و بحيث أنه لكل زوج مماثل توجد وحيدة في تحقق . إن التوافق بين و يعرِّف تساوي شكل طبيعيًّا بين والمدلل ، ويُقال عن الكائن أنه كائن ممثِّل (أو تمثيل) لـ ، وخاصيته الشاملة هي حيازته للعنصر الشامل .[1]
مراجع
- بيتر جونستون (المنشئ) (7 فبراير 2011)، "Universal property"، Encyclopedia of Mathematics، مؤرشف من الأصل في 26 يونيو 2015.
- بوابة جبر
- بوابة رياضيات
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.