فرض کنید

خانوادهای از زیرمجموعههای
k عضوی از یک مجموعه
n عضوی
X باشد. به

اشتراکی گویند هرگاه برای هر دو عضو
A و
B متعلق به

داشته باشیم

. قضیهی معروف اردوش-کو-رادو بیان میکند اندازهی یک خانواده اشتراکی از زیرمجموعههای
k عضوی از یک مجموعه
n عضوی حداکثر

است و تساوی زمانی برقرار است اگر و تنها اگر

عضوی مانند

وجود داشته باشد که برای هر عضو در

مانند
A 
داشته باشیم

. فرض کنید
k و

دو عدد صحیح مثبت باشند که

. فرض کنید

خانوادهای از زیرمجموعههای
k عضوی از مجموعه
n عضوی
X و

خانوادهای از زیرمجموعههای
ℓ عضوی از مجموعه
X باشد به دو خانواده

و

دو خانواده ضربدری
–tتقریباً اشتراکی گویند اگر هر عضو

با حداکثر
t عضو از خانواده

اشتراک نداشته باشد و همینطور

با حداکثر
t عضو از خانواده

اشتراک نداشته باشد در این مقاله به عنوان تعمیمی از قضیهی اردوش-کو-رادو نشان میدهیم اگر

و

دو خانواده ضربدری
–t تقریباً اشتراکی باشند و
n به اندازه کافی بزرگ باشد، آنگاه

و تساوی زمانی رخ می دهد اگر و تنها اگر عضوی مانند

وجود داشته باشد که برای هر عضو

متعل به

و هر عضو

متعلق به

داشته باشیم،

و

.
نوع مطالعه:
مقاله مستقل |
موضوع مقاله:
ریاضی دریافت: 1399/4/16 | ویرایش نهایی: 1402/3/28 | پذیرش: 1399/6/5 | انتشار: 1401/1/9 | انتشار الکترونیک: 1401/1/9