Citat:
Ursprungligen postat av muminporr
Okej, tack för svaret. Ska se om jag kan få ut något av detta. Men när det gäller den första satsen, menar du inte f(u_n) = w_n?
Och när jag tänker efter lite mer inser jag att den första satsen jag skrev inte alls är trivial att bevisa, utan nog kräver att man använder satsen om den öppna avbildningen (som definitivt inte är trivial.)
Men det jag föreslår istället är att du
(i) bevisar det du försöker bevisa med hjälp av de två satserna jag skrev
men sen
(ii) Inser att du inte behöver den första satsen i dess fulla styrka, utan reder ut vad exakt du behöver ur den och bevisar det.