Linear dimensionality reduction

This is dimension reduction where we limit the types of maps we do to be linear maps.