У меня есть вопрос в следующем упражнении:
Позволять быть бинарной операцией, определенной на к:
.Покажи то имеет нейтраль и определить его явно.
я это уже доказал коммутативно, поэтому достаточно доказать, что имеет нейтраль с одной стороны. Итак, мы ищем такой, что для всех .
При разработке имеем:
Тогда нейтральный элемент будет равен 1 в случае, если и в другом случае.
Это верно?
Другой подход
Если является нейтральным элементом, то обязательно
или
Так
Нам просто нужно это проверить удовлетворяет
Как вы написали, мы ищем такой, что для всех .
Вам не нужно находить с точки зрения . Вам нужно одно реальное число который работает для всех значений .
Поскольку значение, которое вы ищете, должно работать с каждым , вы должны искать значение что упрощает нахождение таких .
Посмотрите, что произойдет, если мы выберем . Затем должен удовлетворить . То есть что сводится к . Как только вы обнаружите, что работает на , просто убедитесь, что работает для всех :
Может быть только один нейтральный элемент. А из ваших расчетов следует, что будет работать.
кофеварка