On equivalent definitions of the correlation dimension for a probability measure