Total set

In functional analysis, a total set (also called a complete set) in a vector space is a set of linear functionals ${\displaystyle T}$ with the property that if a vector ${\displaystyle x\in X}$ satisfies ${\displaystyle f(x)=0}$ for all ${\displaystyle f\in T,}$ then ${\displaystyle x=0}$ is the zero vector.¹

In a more general setting, a subset ${\displaystyle T}$ of a topological vector space ${\displaystyle X}$ is a total set or fundamental set if the linear span of ${\displaystyle T}$ is dense in ${\displaystyle X.}$²