Teoria mnogości część wspólna sumy

Szarlejj · Post autor: **Szarlejj** » 12 sty 2013, o 19:28

Czy mógłby ktoś naprowadzić ?

\(\displaystyle{ A_{k,l} = [k ; k+l) , k,l in NN ,\
igcap_{k}^{ infty } igcup_{ l }^{ infty } A_{k,l}\
igcap_{ k }^{ infty } [k ; infty ) =emptyset}\)

Nieprawda, że istnieje \(\displaystyle{ x}\) należący do \(\displaystyle{ igcap_{k}^{ infty } [k ; infty )}\) ?
Weźmy dowolny choć ustalony \(\displaystyle{ x \in \RR}\) Wówczas musi być : \(\displaystyle{ x>k}\) , co nie jest prawdziwe z powodu nieograniczoności liczb naturalnych ?

Post autor: **Jan Kraszewski** » 12 sty 2013, o 19:57

Ale z czym masz problem?

JK

Szarlejj · Post autor: **Szarlejj** » 12 sty 2013, o 22:54

Chodzi mi o to, czy przeprowadziłem poprawne rozumowanie.

Post autor: **Jan Kraszewski** » 12 sty 2013, o 23:04

Wynik masz dobry.

JK

Szarlejj · Post autor: **Szarlejj** » 12 sty 2013, o 23:16

Dziękuję, za odpowiedź.