Define a covering map. Prove that any covering map induces an injective homomorphisms of fundamental groups.

Show that there is a non-trivial covering map of the real projective plane. Explain how to use this to find the fundamental group of the real projective plane.