Matematické Fórum

Dobrý večer,

nejsem si jistý zdůvodněním jednoho tvrzení, asi to bude jednoduché, ale teď mě to nenapadá. Jedná se o tvrzení
,
uzavřenost operátoru máme definovánu přes uzavřenost grafu a ekvivalentně přes Cauchyovské posloupnosti se členy v definičním oboru daného operátoru.

Druhá část tvrzení je, že pokud existuje inverzní op. k uzavřenému op., tak je také uzavřený, to by mělo být jednoduché, jen změním složky grafu, což nebude mít na uzavřenost vliv.

Děkuji za odpovědi.