Если говорить конкретно о скалярном произведении - то да, здесь крайне важно, чтобы результат принадлежал линейно упорядоченному множеству. Подходящим примером которого является поле действительных чисел. Хороший вопрос: почему это не обеспечить другим способом? Потому что скалярному произведению хорошо быть согласованным с нормой вектора, норме вектора - с нормой элемента поля, а норма элемента поля, являющегося расширением другого поля, вводится очень приятным способом в соответствующей теории (теория полей).
|