"Sia E contenuto in X, ∀X x appartiene alla chiusura di e se e solo se è limite di una successione a valori in E"
Quindi cosa posso dedurre, beh che E è chiuso se e solo se ogni suo punto è limite di una successione a valori in E. Mi sembra giusto vero?
tradotto: E chiuso <=> $forall x(x in E => ∃x_n : x_n->x$)Quindi cosa posso dedurre, beh che E è chiuso se e solo se ogni suo punto è limite di una successione a valori in E. Mi sembra giusto vero?
krakken ha scritto:Tutto era nato da voler dimostrare il se e solo se in rosso:
${[forall x (x in E' <=>∃x_n : x_n->x)] \and$ $[$E chiuso <=>$forallx,(x in E <=> x in E')]}$
se e solo se
${$ E chiuso $<=>[forall x (x in E <=>∃x_n : x_n->x])}$
Torna a Analisi matematica di base
Visitano il forum: Nessuno e 1 ospite