Features of the set of Bayes Correlated Equilibrium in a single-agent decision problem with uncertainty
Yes,  $Q$ is convex and closed precisely because $P$ is and Q is its image under a continuous function. Therefore, $Q$ is compact.

The function you are maximizing is continuous as well, so the maximum must exist.