Is the DES F-function injective for a given subkey?
Yes, it can; within the DES round function, two different 'right side' inputs can, after the sboxes, come up with the same value to xor into the 'left side'.

This was a deliberate decision by the DES designers, who thought that this was an important property.  I don't know their reasoning about why they thought it was important.