Может ли функция иметь несколько значений для одного аргумента? Почему?

Нет, функция по определению имеет только одно значение для каждого аргумента, так как она устанавливает однозначное соответствие между элементами двух множеств.