Zbiory potęgowe XxxX: Y to zbiór (n+1)−elementowy i y należy do Y Jak udowodnić, że iloczyn poniższych zbiorów potęgowych jest ∅? φ'(Y)={A⊆Y: y∍∉nie nalezy do A} φ''(Y)={A⊆Y: y nalezy do A}

XxxX: Czy powinienem skorzystać z dwumianu Newtona?

Adamm: Gdyby istniał zbiór A należący do części wspólnej φ'(Y) i φ"(Y), to y∊A i y∉A Otrzymana sprzeczność dowodzi że przekrój jest pusty

XxxX: Mógłbyś mi to rozpisać?

Pytający: (φ'(Y))∩(φ''(Y))={A⊆Y: y∉A}∩{A⊆Y: y∊A}={A⊆Y: y∉A ∧ y∊A}=∅

XxxX: Dzięki