Здравствуйте!
Помогите разобраться с доказательством того, что градиент единственен. Занимаюсь сейчас по книжке "Элементы векторного исчисления" Лаптева.
Дано такое определение: Вектор, зависящий только от координат текущей точки, называется градиентом поля, если скаларное произведение его на дифференциал радиуса-вектора текущей точки есть полный дифференциал скаляра поля.
Так вот. Если имеется два таких вектора, то
![$ \[dF = {\bar g_1} \cdot d\bar r\]$ $ \[dF = {\bar g_1} \cdot d\bar r\]$](https://dxdy-02.korotkov.co.uk/f/9/2/0/92022a4aacd1a50448a0c8e06791f08982.png)
и
![$ \[dF = {\bar g_2} \cdot d\bar r\]$ $ \[dF = {\bar g_2} \cdot d\bar r\]$](https://dxdy-01.korotkov.co.uk/f/0/a/4/0a474c8a4f20d1509564e6eb20cf499682.png)
.
Вычитая одно из другого получаем
![$\[\left( {{{\bar g}_1} - {{\bar g}_2}} \right) \cdot d\bar r = 0\]$ $\[\left( {{{\bar g}_1} - {{\bar g}_2}} \right) \cdot d\bar r = 0\]$](https://dxdy-04.korotkov.co.uk/f/7/f/c/7fcbbfe688bf77c7e513199fcdff993882.png)
. Ясно, что перемещение не равно нулю, но здесь указано, что если бы вектор
![$\[\left( {{{\bar g}_1} - {{\bar g}_2}} \right)\]$ $\[\left( {{{\bar g}_1} - {{\bar g}_2}} \right)\]$](https://dxdy-04.korotkov.co.uk/f/b/e/f/bef031962e9829a3d33b0d7411749bf882.png)
не равнялся нулю, то он был бы перпендикулярен произвольному вектору dr, а этого быть не может.
Почему последнего (перпендикулярности) быть не может? Пока набирал, вроде понял -- здесь ключевое слово "произвольному"? То есть, получается, что градиент был перпендикулярен всякому произвольному вектору dr?
Заранее благодарю и прошу простить за сумбур и, может быть, глупый вопрос.