Functional analysis
泛函分析中的開映射定理指，巴拿赫空間之間的連續線性算子若是滿射，則為開映射。