Finite-dimensionality in discrete-time nonlinear filtering from a bayesian statistics viewpoint