KonkurStudy
همه کارت‌ها

مجموعه‌های جزئاً مرتب، مشبکه‌ها و قضایای نقطهٔ ثابت

روی هر مشبکهٔ کامل، هر نگاشت یکنوا نقطهٔ ثابت دارد: کوچک‌ترین آن‌ها اینفیمم همهٔ نقاط پیش‌ثابت F(x)≤xF(x)\le x و بزرگ‌ترین آن‌ها سوپریمم همهٔ نقاط پس‌ثابت x≤F(x)x\le F(x) است (کناستر–تارسکی) — بدون نیاز به پیوستگی، متناهی بودن یا اصل انتخاب.

کارت مفهوم کنکور ارشد ریاضی