Irreducibility of unitary group representations and reproducing kernels Hilbert spaces