開写像定理(関数解析)