Definition:Densely-Defined Linear Operator

From ProofWiki
Jump to navigation Jump to search


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.

Also see

  • Results about densely-defined linear operators can be found here.