2. Векторные поля и формы в R^3.
Напомним, что в евклидовом векторном пространстве со скалярным произведением между линейными функциями и векторами имеется соответствие, состоящее в том, что каждая такая функция имеет вид , где А — вполне определенный вектор из
Если пространство еще и ориентировано, то каждая билинейная функция В: однозначно записывается в виде где В — некоторый, вполне определенный вектор из как всегда, — смешанное произведение векторов или, что то же самое, значение формы объема на этих векторах.
Таким образом, в ориентированном евклидовом векторном пространстве с каждым его вектором можно указанным способом
связать линейную или билинейную форму, а задание линейной или билинейной формы равносильно заданию соответствующего ректора в
Если в имеется скалярное произведение, то оно естественным образом возникает и в любом касательном пространстве состоящем из векторов, приложенных к точке а ориентация ориентирует каждое пространство
Значит, если в задать -форму или -форму то при перечисленных условиях это равносильно заданию в некоторого вектора соответствующего форме или вектора отвечающего форме
Следовательно, задание в некоторой области ориентированного евклидова пространства -формы или -формы равносильно заданию в соответствующего форме векторного поля А или В.
В явном виде это соответствие состоит в том, что
где
Мы видим уже знакомые нам форму работы векторного поля А и форму потока векторного поля В.,
Скалярному полю можно следующим образом сопоставить -форму и -форму в
где — элемент объема (форма объема) в ориентированном евклидовом пространстве
Ввиду соответствий операциям над формами отвечают определенные операции над векторными и скалярными полями. Это наблюдение, как мы вскоре убедимся, технически очень полезно.
Утверждение 1. Линейной комбинации форм одинаковой степени отвечает линшная комбинация соответствующих им векторных или скалярных полей.
4 Утверждение 1 очевидно. Приведем, однако, например, для -форм цолную запись доказательства:
Из доказательства видно, что можно считать функциями (не обязательно постоянными) в области задания форм и полей.
Для сокращения записи условимся, наряду с уже используемыми символами скалярное и векторное произведения векторов А и В в когда это будет удобно, обозначать соответственно через А В к
Утверждение 2. Если — векторные поля в евклидовом ориентированном пространстве то
Иными словами, внешнему произведению -форм, порожденных полями отвечает векторное произведение. этих полей, поскольку именно оно порождает получаемую в результате -форму.
В этом же смысле внешнему произведению -формы а а и -формы порожденных векторными полями А и В соответственно отвечает скалярное произведение этих полей.
Для доказательства фиксируем в ортонормированный базис и отвечающую ему декартову систему координат . В декартовых координатах
т. е.
и
т. е.
Поэтому в декартовых координатах, с учетом выражений (7) и (8), получаем
где
Координаты были использованы при доказательстве лишь для того, чтобы проще было найти вектор В соответствующей -формы. Само же равенство (5) от координат, разумеется, не зависит. Аналогично, перемножив равенства (7) и (8), получим