حساب کاربری
​
تغیر مسیر یافته از - میت-نیم-مشبکه
زمان تقریبی مطالعه: 2 دقیقه
لینک کوتاه

نیم-مشبکه

روابط دوتایی 
متقارن پادمتقارن کانکس خوش-بنیان ∨ {\displaystyle \vee } دارد ∧ \wedge دارد
رابطه هم‌ارزی ✓ ✗ ✗ ✗ ✗ ✗
پیش‌ترتییب (شبه‌ترتیب) ✗ ✗ ✗ ✗ ✗ ✗
ترتیب جزئی ✗ ✓ ✗ ✗ ✗ ✗
پیش-ترتیب کلی ✗ ✗ ✓ ✗ ✗ ✗
ترتیب کلی ✗ ✓ ✓ ✗ ✗ ✗
پیش-خوش‌ترتیب ✗ ✗ ✓ ✓ ✗ ✗
خوش-شبه-ترتیب ✗ ✗ ✗ ✓ ✗ ✗
خوش‌ترتیب ✗ ✓ ✓ ✓ ✗ ✗
مشبکه ✗ ✓ ✗ ✗ ✓ ✓
جوین-نیم-مشبکه ✗ ✓ ✗ ✗ ✓ ✗
میت-نیم-مشبکه ✗ ✓ ✗ ✗ ✗ ✓

علامت "✓" نشان‌دهنده آن است که ویژگی ستونی در تعریف آن سطر لازم است.
برای مثال تعریف رابطه هم‌ارزی لازم دارد تا متقارن باشد.
به صورت ضمنی همه این تعاریف ترایا و بازتابی می‌باشند.

در ریاضیات، جوین-نیم-مشبکه (به انگلیسی: Join-Semilattice) (یا نیم-مشبکه بالایی (به انگلیسی: Upper Semilattice)) یک مجموعه جزئاً مرتب (یا پوست یا POSET) است که هر زیرمجموعه ناتهی متناهی آن جوین داشته باشد. دوگان تعریف اخیر میت-نیم-مشبکه (به انگلیسی: Meet-Semilattice) (یا نیم-مشبکه پایینی (به انگلیسی: Lower Semilattice)) یک مجموعه جزئاً مرتب است که هر زیرمجموعه ناتهی متناهی آن میت (یا بزرگترین کران پایینی) داشته باشد. اگر ترتیب هر جوین-نیم-مشبکه را معکوس کنیم به میت-نیم-مشبکه می رسیم و برعکس.

تعریف جبری

یک میت-نیم-مشبکه ساختاری جبری چون ⟨ S , ∧ ⟩

نیم-مشبکه
است که شامل مجموعه S
نیم-مشبکه
با عمل دوتایی ∧
نیم-مشبکه
است که به آن میت (به انگلیسی: Meet) می گویند، چنان که برای تمام اعضای x , y , z ∈ S
نیم-مشبکه
اتحادهای زیر برقرار باشند:

شرکتپذیری:

x ∧ ( y ∧ z ) = ( x ∧ y ) ∧ z
نیم-مشبکه

جابجایی:

x ∧ y = y ∧ x
نیم-مشبکه

خودتوانی:

x ∧ x = x

نماد ∨

جوین (به انگلیسی: Join) نامیده می شود، اگر در تعریف بالا جای تمام ∧
ها قرار دهیم ∨
، به تعریف جوین-نیم-مشبکه می رسیم.

منابع

  • Davey, B. A.; Priestley, H. A. (2002). Introduction to Lattices and Order (second ed.). Cambridge University Press. ISBN 0-521-78451-4.
  • Vickers, Steven (1989). Topology via Logic. Cambridge University Press. ISBN 0-521-36062-5.
    آخرین نظرات
    کلیه حقوق این تارنما متعلق به فرا دانشنامه ویکی بین است.