كتب symmetry and equality
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
التشاكل والمساواه (معلومة)
تشاكل رسوم زائدي هو داله من مجموعة رؤوس رسم زائدي إلى مجموعة رؤوس رسم زائدي آخر بحيث كل ضلع هو صوره لضلع بالرسم الزائدي المقابل.
الرسم الزائدي هو تشاكل احادي للرسم الزائدي ونكتب إذا كان يوجد تقابل وتبديله لـ بحيث آن . بالتالي تسمى دالة التقابل في هذه الحالة بتشاكل احادي للرسومات. لاحظ ان إذا وفقط إذا كان .
أمثلة
ليكن لدينا الرسم الزائدي والذي مجموعة أضلاعه حيث
.
والرسم الزائدي والمعرف بمجموعة أضلاعه حيث
بالتالي فإن الرسمين الزائدين و متشاكلان حيث الدالة معرفه كالتالي:
هذين الرسمين متشاكلان لكن ليس تشاكل قوي ( strongly isomorphic ) لأنه يوجد رأس في ينتمي للأضلاع أي أن
لكن لايوجد رأس في بحيث ينتمي للأضلاع لأن .
في هذا المثال الرسمين الزائدين و متكافئين ونكتب في هذه الحالة . أيضا رسومهم المزدوجه متشاكله٫ أي أن .
