The canonical decomposition of bivariate distributions

The ordinary notion of a bivariate distribution has a natural generalisation. For this generalisation it is shown that a bivariate distribution can be characterised by a Hilbert space and a family p, 0 <= p <= 1, of subspaces of . specifies the marginal distributions whilst p is a summary of the dependence structure. This characterisation extends existing ideas on canonical correlation.