Topology of functional spaces and calculus of variations in the large