Closed linear operator (source code)

= Closed linear operator
{wiki=Closed_operator}

A linear operator $A:D(A)\subseteq X\to Y$ is closed when its graph is closed in $X\times Y$. Equivalently, if $x_n\to x$ and $Ax_n\to y$, then $x\in D(A)$ and $Ax=y$.