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?