 Alternatively, one may consider Lebesgue measure on finite-dimensional subspaces of the larger space and consider so-called prevalent and shy sets.Compact sets in Banach spaces may also carry natural measures