PIMS/AMI Seminar: The classical Sobolev inequalities: refinement and generalization