به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+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>


☑ راهنمایی بیشتر: راهنمای تایپ
تلگرام محفل ریاضی
56 نفر آنلاین
0 عضو و 56 مهمان در سایت حاضرند
بازدید امروز: 3500
بازدید دیروز: 4860
بازدید کل: 5009152
...