lim inf
s: lim inf ( An ∩ Bn) =(lim if An) ∩ (lim inf Bn)
Ma ktoś może jakiś pomysł jak to udowodnić?
Zacząłem w ten sposób:
L= x∊ lim inf ( An ∩ Bn) ⇔ ∃n∊N ∀k∊N x∊An+k ⋀ ∃n1∊N ∀k1∊N x∊Bn1+k1
12 gru 16:50
s: * poprawka − to zacząłem rozpisywać prawą stronę
12 gru 16:53
s: udało mi się zrobić dowód że L implikuje P, ale nie wiem jak w drugą stronę...
12 gru 17:04