设x是Banach空间，T是X上线性算子，如果D（T）是X中的闭集且在X中稠密，则T有界。