Ok- there is an easier way to go about it.
First, put the PS3 into standby mode. Now, hook up the HDMI cable and switch your tv to the correct input. Next, hold down the power button on the PS3 until you hear a couple of beeps- the PS3 will detect the HDMI cable and switch to it automatically along with figure out what resolutions your tv uses.