فرض کنید
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image001.png)
خانوادهای از زیرمجموعههای
k عضوی از یک مجموعه
n عضوی
X باشد. به
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image001.png)
اشتراکی گویند هرگاه برای هر دو عضو
A و
B متعلق به
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image001.png)
داشته باشیم
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image002.png)
. قضیهی معروف اردوش-کو-رادو بیان میکند اندازهی یک خانواده اشتراکی از زیرمجموعههای
k عضوی از یک مجموعه
n عضوی حداکثر
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image003.png)
است و تساوی زمانی برقرار است اگر و تنها اگر
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image004.png)
عضوی مانند
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image005.png)
وجود داشته باشد که برای هر عضو در
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image001.png)
مانند
A ![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image006.png)
داشته باشیم
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image007.png)
. فرض کنید
k و
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image008.png)
دو عدد صحیح مثبت باشند که
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image009.png)
. فرض کنید
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image001.png)
خانوادهای از زیرمجموعههای
k عضوی از مجموعه
n عضوی
X و
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image010.png)
خانوادهای از زیرمجموعههای
ℓ عضوی از مجموعه
X باشد به دو خانواده
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image001.png)
و
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image010.png)
دو خانواده ضربدری
–tتقریباً اشتراکی گویند اگر هر عضو
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image001.png)
با حداکثر
t عضو از خانواده
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image010.png)
اشتراک نداشته باشد و همینطور
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image011.png)
با حداکثر
t عضو از خانواده
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image001.png)
اشتراک نداشته باشد در این مقاله به عنوان تعمیمی از قضیهی اردوش-کو-رادو نشان میدهیم اگر
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image001.png)
و
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image010.png)
دو خانواده ضربدری
–t تقریباً اشتراکی باشند و
n به اندازه کافی بزرگ باشد، آنگاه
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image012.png)
و تساوی زمانی رخ می دهد اگر و تنها اگر عضوی مانند
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image005.png)
وجود داشته باشد که برای هر عضو
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image013.png)
متعل به
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image001.png)
و هر عضو
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image014.png)
متعلق به
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image010.png)
داشته باشیم،
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image007.png)
و
![](file:///C:Usersuser1AppDataLocalTempmsohtmlclip1�1clip_image015.png)
.
نوع مطالعه:
مقاله مستقل |
موضوع مقاله:
ریاضی دریافت: 1399/4/16 | ویرایش نهایی: 1402/3/28 | پذیرش: 1399/6/5 | انتشار: 1401/1/9 | انتشار الکترونیک: 1401/1/9