You may be overthinking this. To specify any linear transformations between two vector spaces one needs only specify the action of the map on a basis. So, let be a basis for now since is independent of this set you know that can be extended to some basis for and define your linear functional however you want, perhaps given by (the Kronecker delta function) and extend by linearity.