Zbiory. Teoria mnogości wykazać

[michalm08]

zadanie do wykazania, nie wiem od czego zaczac. wie ktos jak?

Dla \(\displaystyle{ s \ge 0}\) oznaczamy \(\displaystyle{ K_{s}:= \left\{ \left( x,y \right) \in \RR ^{2}: x ^{2}+ \left( y-s \right) ^{2} \le s \right\}}\) Wykazać, że maja miejsce następujące zawierania: \(\displaystyle{ left{ left( x,y
ight) :y ge x^{2}
ight} subset igcup_{s in mathbb{N} }K _{s} subset igcup_{s in ] 0, infty [ } K _{s}= left{left( x,y
ight) :y ge x^{2}- frac{1}{4}
ight}}\)

[Jan Kraszewski]

Po pierwsze, co to jest \(\displaystyle{ s\in n}\) (tzn. co oznaczasz przez \(\displaystyle{ n}\))?

Po drugie, zacznij od zrozumienia czym jest zbiór \(\displaystyle{ K_s}\).

JK

[michalm08]

Jan Kraszewski, poprawione, chodzilo mi tu o liczby naturalne