The Lefschetz principle, fixed point theory, and index theory