vector stuff, still need: dual space and inner product