Definition:Densely-Defined Linear Operator

Definition
Let $\Bbb F \in \set {\R, \C}$.

Let $\struct {X, \tau}$ be a topological vector space over $\Bbb F$.

Let $\map D T$ be a everywhere dense linear subspace of $X$.

Let $T : \map D T \to X$ be a mapping such that:


 * $\map T {\lambda x + \mu y} = \lambda \map T x + \mu \map T y$ for all $\lambda, \mu \in \Bbb F$ and $x, y \in \map D T$.

Then we say that $\struct {\map D T, T}$ is a densely-defined linear operator.