Smooth dual
= Smooth dual
{title2=$V^\vee=(V^*)_{\rm sm}$}
= Smooth contragredient representation
{synonym}
The smooth dual consists of the <smooth vectors> of the <algebraic contragredient representation>. Their union is a vector subspace because finite intersections of open stabilizers remain open; it is invariant because translation conjugates stabilizers.