bidual infinite dimensional case canonical map injective surjective thus complete symmetry finite dimensional vector space dual motivates frequent use context bra ket notation math langle f mathbf x rangle math denoting math f mathbf x math dual map let math f v w math linear map every linear form composite function linear form defines linear map math f w v math dual spaces called '' 'dual''' '''transpose'''
Formal science Mathematics Pure mathematics Algebra Linear algebra