que toma valores en la recta real extendida, la conjugada convexa se define como