Most people can't tell the difference between 1080p and 720p resolution at any normal home viewing size or viewing distance.

The issue of compression is a bit more hard to answer, since all these formats all use the same codec. I have no idea what parameters you can tweak to make the same resolution video smaller.