A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Megoldás. 1. Három szín elegendő a kívánt színezéshez. Legyen a hételemű halmaz . Az 1-et tartalmazó háromelemű részhalmazok színe legyen piros, az 1-et nem, de a 2-t tartalmazóké kék, a többi pedig legyen sárga. Ekkor bármely két piros részhalmaz tartalmazza az 1-et, ezért nem lehetnek diszjunktak. Hasonlóan bármely két kék részhalmaznak közös eleme a 2. Tekintsünk két sárga részhalmazt; ezeknek nem eleme sem az 1, sem a 2, így elemeik legfeljebb ötfélék lehetnek: 3, 4, 5, 6 vagy 7. Két ilyen háromelemű halmaz tehát nem lehet diszjunkt, hiszen ahhoz különböző elemre lenne szükség. 2. Megmutatjuk, hogy két színnel a színezés nem valósítható meg. Tegyük fel, hogy az lenne, és tekintsük a , , , , , , halmazokat. Ebben a sorrendben bármely két szomszédos helyen álló halmaz egymástól diszjunkt, ezért ha például piros, akkor kék, piros, kék, piros, kék és ismét piros. Azonban és is egymástól diszjunktak, tehát nem lehetnek egyszerre pirosak, ellentmondás. Megjegyzés. Énekes Péter és Zsakó Balázs megemlíti a feladat következő általánosítását: Legyen pozitív egész. Egy elemű halmaz elemű részhalmazait színezzük úgy, hogy bármely két diszjunkt részhalmaz különböző színű legyen. Ez legkevesebb három színnel valósítható meg. A közölt megoldás első része változatlan formában, a második része némi módosítással alkalmas ennek az általánosabb állításnak az igazolására.
|