می خواهم امروز یک مطلب ریاضی بگم حالا حتما همین اول این پست رو می بندید ولی یه لحظه صبر کنید. حرفم رو بزنم بعد اگه خوشتون نیومد این صفحه رو ببندید.

فرض کنید یه سری چیز دارید می تونه ادم باشه اعداد باشن مجموعه باشن مهم نیست چیه. خب میگیریم مجموعه آدم چون ملموستره. یه مجموعه بزرگ ادم داریم خب این ادمها می تونن خصوصیتهای مختلف داشته باشن ولی بعضی خصوصیاتشون رو میشه مقایسه کرد بعضی ها رو نه. مثلا شما بگید یکی خوشبختتر از اون یکی ممکنه بغل دستیتون هم قول شما نباشه و حرف شما رو قبول نداشته باشه. پس می بیند که همه خصوصیات قابل مقایسه نیستن ما می تونیم قد یا وزن یا شماره پا و سن یا یه چیزهای مثل این رو با هم مقایسه کنید ولی همه خصوصیات رو نه. خب این مجموعه با اون خصوصیت قابل مقایسه رو میگن مجموعه جزئی مرتب.

حال برگردیم به مثال خودمون اون مجموعه آدمها رو در نظر  بگیریم با خصوصیت سن افراد یه مجموعه جزئی مرتبه، درسته.

اگه از اون مجموعه هر تعداد ادم انتخاب کنیم یه نفر از همه  مسنتره. درسته دیگه. حالا می خوام نتیجه ای از این حرف بگیرم شاید به نظر خیلی بدیهی بیاد. میخوام نتیجه بگیرم یکی توی این مجموعه مسنتره و هیچکی پیدا نمیشه سنش از اون یه نفر بیشتر باشه. به نظر خیلی بدیهی میاد. 

این مثال من حالت خاصی از لم زرن بود. می خواین بدونید لم زرن چی میگه امیدوارم اونقدر حرفم رو خوب زده باشم که شما مشتاق دونستن اون شده باشید:

اگر A یک مجموعه جزئی مرتب باشد، بطوریکه هر زیر مجموعه کلا مرتب آن دارای کران بالا باشد آنگاه A دارای عضو ماکزیمال است.

پی نوشت: می خوام رای گیری کنم ریاضی به این زبان رو دوست دارید یا نه؟