đ/k để có đẳng thức ở b đ t sperner

http://dientuvietnam...n/mimetex.cgi?A là họ các tập con của http://dientuvietnam.net/cgi-bin/mimetex.cgi?\{1,2,...,n\} sao cho không có phần tử nào của http://dientuvietnam...n/mimetex.cgi?A chứa một phần tử khác của http://dientuvietnam...etex.cgi?A.Định lý của Sperner nói rằng http://dientuvietnam...n/mimetex.cgi?A để có dấu đẳng thức.

Dấu đẳng thức xảy ra khi mọi tập con của đều có phần tử

với n lẻ ta có 2 bộ duy nhất thỏa mãn là các tập con có http://dientuvietnam.net/cgi-bin/mimetex.cgi?[\dfrac{n}{2}] phần tử và các tập con cóhttp://dientuvietnam.net/cgi-bin/mimetex.cgi?n-[\dfrac{n}{2}] phần tử
với n chẵn chỉ có 1 bộ như bạn nói

Bài viết đã được chỉnh sửa nội dung bởi thangde.: 22-09-2006 - 18:51

Hai chú thương anh đã bỏ công dịch đề-->các chú giải chi tiết ra nhé!

Bài này có thể giải như sau
sử dụng nhận xét tổng các số có dạng với mọi tập X thuộc A
Từ đó ta có >= .
hoạc nC(n-[n/2]))
DO nCa đạt mã tại hai giá trị này
Từ đó suy ra đuợc đáu đẳng thức như thangde nói

Bài viết đã được chỉnh sửa nội dung bởi DinhCuongTk14: 23-09-2006 - 21:30