چنانچه محفل ریاضی را سودمند یافتید، لطفا برای حمایت از ما به کانال تلگرامی محفل ریاضی بپیوندید!
به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+1 امتیاز
36 بازدید
سوال شده در دانشگاه توسط maara

چرا دردو جمله ای$ t_{ \alpha } t_{ \beta } - t_{ \alpha \cup \beta } t_{ \alpha \cap \beta } $ تکجمله ای $initial$ برابر $ t_{ \alpha } t_{ \beta } $ است.

مرجع: هرزوگ هیبی

1 پاسخ

+2 امتیاز
پاسخ داده شده توسط erfanm
ویرایش شده توسط fardina

در ترتیبی که برای مقایسه متغییرها داریم (متغییرها به صورت $ t_{ \alpha } $هستند) داریم $ t_{ \alpha } < t_{ \beta } $ اگر داشته باشیم $ \alpha \subseteq \beta $ پس از آنجایی که $ \alpha \cap \beta \subseteq \alpha $ و $ \alpha \cap \beta \subseteq \beta $ داریم: $t_{ \alpha \cap \beta } < t_{ \alpha } $ و $ t_{ \alpha \cap \beta } < t_{ \beta } $

از آنجایی که از ترتیب $ < _{rev} $ القایی توسط این ترتیب استفاده می کنیم و طبق $ < _{rev} $ اگر در مقایسه دو تک جمله ای یکی از تک جمله ای ها (طبق ترتیب مقایسه متغییرها )دارای متغییر کوچکتر باشد کل تکجمله ای کوچکتر خواهد بود و در مورد دو تکجمله ای $t_{ \alpha } t_{ \beta } $ و $t_{ \alpha \cap \beta } t_{ \alpha \cup \beta } $ ، تکجمله ای
$ t_{ \alpha \cap \beta } t_{ \alpha \cup \beta } $ دارای متغییر کوچکتر(نسبت به تمام متغییرهای ظاهر شده) است لذا این تک جمله ای تحت $ < _{rev} $ کوچکتر است پس انیش برابر است با: $ t_{ \alpha } t_{ \beta } $

لطفا ما را در شبکه های اجتماعی دنبال کنید:
به محفل ریاضی ایرانیان خوش آمدید!
امروز : تاریخ شمسی اینجا نمایش داده می‌شود

♥ حمایت مالی

راهنمایی:

  • برای رفتن به سطر بعدی دو بار Enter بزنید.
  •  یک بار Enter یک فاصله محسوب می‌شود.
  •  _ایتالیک_ یا I و **پررنگ** یا B
  •  نقل‌قول با قراردادن > در ابتدای خط یا ❝
  • برای چپ به راست کردن متن کلیدهای Ctrl+Shift سمت چپ کیبورد را فشار دهید
  •  برای تایپ فرمول ابتدا روی ریاضی کلیک کرده و سپس به کمک آیکون‌های موجود فرمول را در بین دو علامت دلار

<math> $ $ </math>

بنویسید.

  •  برای اینکه فرمول در خط بعدی و وسط صفحه قرار گیرد دو علامت دلار اضافی بنویسید

<math> $$ $$ </math>


☑ راهنمایی بیشتر: راهنمای تایپ
62 نفر آنلاین
0 عضو و 62 مهمان در سایت حاضرند
بازدید امروز: 3297
بازدید دیروز: 6817
بازدید کل: 4712438
...