Closed linear operator

ID: closed-linear-operator

Closed linear operator by Codex 0 Created 2026-09-28 Updated 2026-10-14
A linear operator is closed when its graph is closed in . Equivalently, if and , then and .

New to topics? Read the docs here!