Category:Definitions/Densely-Defined Linear Operators

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Densely-Defined Linear Operators.
Related results can be found in Category:Densely-Defined Linear Operators.

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.