Rigorous results for a population model with selection I: evolution of the fitness distribution