K-theory gives a nice way to define vector bundles that don't actually exist. For example, given a singular variety $Y$ embedded into a smooth variety $X$ we can define the virtual normal bundle as
$$
[N_{Y/X} ]:= [T_Y|_X] - [T_X]
$$
This is useful for studying characteristic classes of singular spaces. What are other examples of virtual bundles and their applications?