Здравствуйте!
Помогите разобраться с доказательством того, что градиент единственен. Занимаюсь сейчас по книжке "Элементы векторного исчисления" Лаптева.
Дано такое определение: Вектор, зависящий только от координат текущей точки, называется градиентом поля, если скаларное произведение его на дифференциал радиуса-вектора текущей точки есть полный дифференциал скаляра поля.
Так вот. Если имеется два таких вектора, то
и
.
Вычитая одно из другого получаем
. Ясно, что перемещение не равно нулю, но здесь указано, что если бы вектор
не равнялся нулю, то он был бы перпендикулярен произвольному вектору dr, а этого быть не может.
Почему последнего (перпендикулярности) быть не может? Пока набирал, вроде понял -- здесь ключевое слово "произвольному"? То есть, получается, что градиент был перпендикулярен всякому произвольному вектору dr?
Заранее благодарю и прошу простить за сумбур и, может быть, глупый вопрос.