Infinite-dimensional Grassmannians and their tautological bundles arise in topological K-theory and bordism. See Thom's *Quelques propriétés globales des variétés differentiables*.