В геометрии трехмерное пространство ( 3D -пространство , 3-пространство или, реже, трехмерное пространство ) — математическое пространство , в котором для определения положения точки необходимы три значения ( координаты ) . Чаще всего это трехмерное евклидово пространство , то есть евклидово пространство третьего измерения , которое моделирует физическое пространство . Более общие трехмерные пространства называются 3-многообразиями . Этот термин также может в просторечии относиться к подмножеству пространства, трехмерной области (или трехмерной области ), [1] твердой фигуре .
Технически кортеж из n чисел можно понимать как декартовы координаты местоположения в n -мерном евклидовом пространстве. Набор этих n -кортежей обычно обозначается и может быть отождествлен с парой, образованной n -мерным евклидовым пространством и декартовой системой координат . Когда n = 3 , это пространство называетсятрехмерное евклидово пространство (или просто «евклидово пространство», если контекст ясен). [2] В классической физике он служит моделью физической вселенной , в которой существует вся известная материя . Когда рассматривается теория относительности , ее можно рассматривать как локальное подпространство пространства-времени . [3] Хотя это пространство остается наиболее убедительным и полезным способом моделирования мира в том виде, в котором он воспринимается, [4] это лишь один пример большого разнообразия трехмерных пространств, называемых 3-многообразиями . В этом классическом примере, когда три значения относятся к измерениям в разных направлениях ( координатах ), можно выбрать любые три направления при условии, что эти направления не лежат в одной плоскости . Более того, если эти направления попарно перпендикулярны , три значения часто обозначаются терминами ширина /ширина , высота /глубина и длина .
Книги с XI по XIII « Начал» Евклида посвящены трехмерной геометрии. Книга XI развивает понятия ортогональности и параллельности линий и плоскостей, а также дает определения твердых тел, включая параллелепипеды, пирамиды, призмы, сферы, октаэдры, икосаэдры и додекаэдры. Книга XII развивает представления о подобии твердых тел. Книга XIII описывает построение пяти правильных платоновых тел в сфере.
В 17 веке трехмерное пространство было описано с помощью декартовых координат , с появлением аналитической геометрии, развитой Рене Декартом в его работе «Геометрия» и Пьером де Ферма в рукописи Ad locos planos et Solidos isagoge (Введение в Plane and Solid Loci). ), который не был опубликован при жизни Ферма. Однако только работы Ферма касались трехмерного пространства.
В 19 веке развитие геометрии трехмерного пространства началось с разработки кватернионов Уильямом Роуэном Гамильтоном . Фактически, именно Гамильтон придумал термины скаляр и вектор , и они были впервые определены в его геометрической структуре для кватернионов . Тогда трехмерное пространство можно было бы описать кватернионами , имеющими исчезающую скалярную составляющую, то есть . Хотя это и не изучалось Гамильтоном явно, это косвенно ввело понятия базиса, здесь заданные элементами кватерниона , а также скалярным произведением и векторным произведением , которые соответствуют (отрицательному значению) скалярной части и векторной части произведения два векторных кватерниона.
Лишь после того , как Джозайя Уиллард Гиббс эти два произведения были идентифицированы сами по себе, а современные обозначения точечного и векторного произведения были введены в его методических заметках, которые можно найти также в учебнике 1901 года « Векторный анализ» , написанном Эдвином Бидвеллом Уилсоном на основе на лекциях Гиббса.
Также в 19 веке произошло развитие абстрактного формализма векторных пространств благодаря работам Германа Грассмана и Джузеппе Пеано , последний из которых первым дал современное определение векторных пространств как алгебраической структуры.
В математике аналитическая геометрия (также называемая декартовой геометрией) описывает каждую точку трехмерного пространства с помощью трех координат. Даны три оси координат , каждая из которых перпендикулярна двум другим в начале координат , точке их пересечения. Обычно они обозначаются x , y и z . Относительно этих осей положение любой точки в трехмерном пространстве задается упорядоченной тройкой действительных чисел , каждое число дает расстояние этой точки от начала координат , измеренное вдоль данной оси, которое равно расстоянию этой точки от начала координат, измеренному вдоль данной оси. точку из плоскости, определяемой двумя другими осями. [5]
Другие популярные методы описания положения точки в трехмерном пространстве включают цилиндрические координаты и сферические координаты , хотя существует бесконечное количество возможных методов. Подробнее см. Евклидово пространство .
Ниже приведены изображения вышеупомянутых систем.
Две различные точки всегда определяют (прямую) линию . Три различные точки либо лежат на одной прямой , либо определяют единственную плоскость . С другой стороны, четыре различные точки могут быть коллинеарны, компланарны или определять все пространство.
Две различные прямые могут пересекаться, быть параллельными или скошенными . Две параллельные прямые или две пересекающиеся прямые лежат в одной плоскости, поэтому наклонные — это линии, которые не пересекаются и не лежат в общей плоскости.
Две различные плоскости могут либо пересекаться на одной прямой, либо быть параллельными (т. е. не пересекаться). Три различные плоскости, ни одна пара из которых не является параллельной, могут либо пересекаться на одной прямой, либо пересекаться в единственной общей точке, либо не иметь общей точки. В последнем случае три линии пересечения каждой пары плоскостей взаимно параллельны.
Линия может лежать в заданной плоскости, пересекать эту плоскость в единственной точке или быть параллельной плоскости. В последнем случае в плоскости найдутся линии, параллельные данной прямой.
Гиперплоскость — это подпространство , размерность которого на одно меньше размера всего пространства. Гиперплоскости трехмерного пространства — это двумерные подпространства, то есть плоскости. В терминах декартовых координат точки гиперплоскости удовлетворяют одному линейному уравнению , поэтому плоскости в этом трехмерном пространстве описываются линейными уравнениями. Линию можно описать парой независимых линейных уравнений, каждое из которых представляет плоскость, имеющую эту линию как общее пересечение.
Теорема Вариньона утверждает, что середины любого четырехугольника в ℝ 3 образуют параллелограмм и, следовательно, компланарны.
Сфера в 3-мерном пространстве (также называемая 2-сферой, поскольку это 2-мерный объект) состоит из набора всех точек в 3-мерном пространстве, находящихся на фиксированном расстоянии r от центральной точки P. Твердое тело, заключенное в сферу, называется шаром ( или, точнее, 3-шаром ).
Объем шара определяется выражением
Эта 3-сфера является примером 3-многообразия: пространство, которое «локально выглядит» как трехмерное пространство. Говоря точными топологическими терминами, каждая точка трехмерной сферы имеет окрестность, гомеоморфную открытому подмножеству трехмерного пространства.
В трёх измерениях существует девять правильных многогранников: пять выпуклых платоновых тел и четыре невыпуклых многогранника Кеплера-Пуансо .
Поверхность , образованная вращением плоской кривой вокруг фиксированной линии в ее плоскости как оси, называется поверхностью вращения . Плоская кривая называется образующей поверхности. Участок поверхности, полученный пересечением поверхности плоскостью, перпендикулярной (ортогональной) оси, представляет собой круг.
Простые примеры возникают, когда образующая представляет собой линию. Если образующая линия пересекает линию оси, поверхность вращения представляет собой прямой круговой конус с вершиной (вершиной) в точке пересечения. Однако если образующая и ось параллельны, то поверхность вращения представляет собой круговой цилиндр .
По аналогии с коническими сечениями множество точек, декартовы координаты которых удовлетворяют общему уравнению второй степени, а именно:
Существует шесть типов невырожденных квадратичных поверхностей:
Вырожденные квадратичные поверхности — это пустое множество, отдельная точка, одна прямая, одна плоскость, пара плоскостей или квадратичный цилиндр (поверхность, состоящая из невырожденного конического сечения в плоскости π и всех прямых из R 3 через ту конику, которая нормальна к π ). [6] Эллиптические конусы иногда также считаются вырожденными квадратичными поверхностями.
И однолистный гиперболоид, и гиперболический параболоид являются линейчатыми поверхностями , то есть их можно составить из семейства прямых линий. В действительности в каждом есть два семейства образующих, члены каждого семейства не пересекаются и каждый член одного семейства пересекается, за одним лишь исключением, с каждым членом другого семейства. [7] Каждое семейство называется регуляром .
Другой способ рассмотрения трехмерного пространства можно найти в линейной алгебре , где идея независимости имеет решающее значение. Пространство имеет три измерения, поскольку длина коробки не зависит от ее ширины или ширины. На техническом языке линейной алгебры пространство трехмерно, поскольку каждую точку пространства можно описать линейной комбинацией трех независимых векторов .
Вектор можно представить в виде стрелки. Величина вектора — это его длина, а его направление — это направление, куда указывает стрелка. Вектор из ℝ 3 может быть представлен упорядоченной тройкой действительных чисел. Эти числа называются компонентами вектора.
Скалярное произведение двух векторов A = [ A 1 , A 2 , A 3 ] и B = [ B 1 , B 2 , B 3 ] определяется как: [8]
Величина вектора A обозначается || А || . Скалярное произведение вектора A = [ A 1 , A 2 , A 3 ] с самим собой равно
который дает
формула евклидовой длины вектора.
Без ссылки на компоненты векторов скалярное произведение двух ненулевых евклидовых векторов A и B определяется выражением [9]
где θ — угол между A и B. _
Перекрестное произведение или векторное произведение представляет собой бинарную операцию над двумя векторами в трехмерном пространстве и обозначается символом ×. Векторное произведение A × B векторов A и B представляет собой вектор, который перпендикулярен обоим и, следовательно, нормален к плоскости, содержащей их. Он имеет множество приложений в математике, физике и технике .
На языке функций перекрестное произведение — это функция .
Компонентами векторного произведения являются , а также их можно записать в компонентах, используя соглашение Эйнштейна о суммировании, например, где - символ Леви-Чивита . Он обладает тем свойством , что .
Его величина связана с углом между и тождеством
Пространство и произведение образуют алгебру над полем , которая не является ни коммутативной , ни ассоциативной , но является алгеброй Ли , векторное произведение которой является скобкой Ли. В частности, пространство вместе с произведением изоморфно алгебре Ли трехмерных вращений, обозначаемой . Чтобы удовлетворить аксиомам алгебры Ли, вместо ассоциативности векторное произведение удовлетворяет тождеству Якоби . Для любых трех векторов и
Можно в n измерениях взять произведение n - 1 векторов, чтобы получить вектор, перпендикулярный всем из них. Но если продукт ограничивается нетривиальными двоичными произведениями с векторными результатами, он существует только в трёх и семи измерениях . [10]
Может быть полезно описать трехмерное пространство как трехмерное векторное пространство над действительными числами. Это отличается от тонкого способа. Основания для этого существуют по определению . Это соответствует изоморфизму между и : конструкция изоморфизма находится здесь . Однако не существует «предпочтительной» или «канонической основы» для .
С другой стороны, существует предпочтительное основание для , что обусловлено его описанием как декартова произведения копий , то есть . Это позволяет определить канонические проекции, , где . Например, . Затем это позволяет определить стандартный базис , определенный формулой
Поэтому его можно рассматривать как абстрактное векторное пространство вместе с дополнительной структурой выбора базиса. И наоборот, его можно получить, начав и «забыв» о декартовой структуре произведения или, что то же самое, о стандартном выборе базиса.
В отличие от общего векторного пространства , это пространство иногда называют координатным пространством. [11]
Физически концептуально желательно использовать абстрактный формализм, чтобы принять как можно меньше структуры, если она не задана параметрами конкретной задачи. Например, в задаче с вращательной симметрией работа с более конкретным описанием трёхмерного пространства предполагает выбор базиса, соответствующего набору осей. Но во вращательной симметрии нет причин, по которым предпочтение отдается одному набору осей, скажем, одному и тому же набору осей, который был повернут произвольно. Другими словами, предпочтительный выбор осей нарушает вращательную симметрию физического пространства.
В вычислительном отношении необходимо работать с более конкретным описанием, чтобы выполнить конкретные вычисления.
Более абстрактное описание по-прежнему заключается в моделировании физического пространства как трехмерного аффинного пространства над действительными числами. Это единственное с точностью до аффинного изоморфизма. Его иногда называют трехмерным евклидовым пространством. Точно так же, как описание векторного пространства возникло из-за «забывания предпочтительного базиса» , описание аффинного пространства происходит из-за «забывания происхождения» векторного пространства. Евклидовы пространства иногда называют евклидовыми аффинными пространствами , чтобы отличить их от евклидовых векторных пространств. [12]
Это физически привлекательно, поскольку демонстрирует трансляционную инвариантность физического пространства. Предпочтительное начало координат нарушает трансляционную инвариантность.
Вышеприведенное обсуждение не связано со скалярным произведением . Скалярное произведение является примером внутреннего продукта . Физическое пространство можно смоделировать как векторное пространство, которое дополнительно имеет структуру внутреннего продукта. Внутренний продукт определяет понятия длины и угла (и, следовательно, в частности, понятие ортогональности). Для любого внутреннего продукта существуют основания, при которых внутренний продукт согласуется со скалярным произведением, но опять же, существует множество различных возможных оснований, ни одно из которых не является предпочтительным. Они отличаются друг от друга вращением, элементом группы вращений SO(3) .
В прямоугольной системе координат градиент (дифференцируемой) функции определяется выражением
и в индексных обозначениях пишется
Дивергенция (дифференцируемого) векторного поля F = U i + V j + W k , то есть функции , равна скалярной -значной функции:
В индексной записи с соблюдением соглашения Эйнштейна о суммировании это:
Развернутый в декартовых координатах (см. Del в цилиндрических и сферических координатах для сферических и цилиндрических координатных представлений), ротор ∇ × F для F состоит из [ F x , F y , F z ]:
где i , j и k — единичные векторы для осей x , y и z соответственно. Это расширяется следующим образом: [13]
В индексной записи с соблюдением соглашения Эйнштейна о суммировании это:
Для некоторого скалярного поля f : U ⊆ Rn → R линейный интеграл по кусочно - гладкой кривой C ⊂ U определяется как
где r : [a, b] → C — произвольная биективная параметризация кривой C такая, что r ( a ) и r ( b ) дают концы C и .
Для векторного поля F : U ⊆ Rn → Rn линейный интеграл по кусочно-гладкой кривой C ⊂ U в направлении r определяется как
где · — скалярное произведение , а r : [a, b] → C — биективная параметризация кривой C такая, что r ( a ) и r ( b ) дают конечные точки C.
Поверхностный интеграл — это обобщение кратных интегралов для интегрирования по поверхностям . Его можно рассматривать как двойной интеграл, аналог линейного интеграла. Чтобы найти явную формулу для поверхностного интеграла, нам нужно параметризовать интересующую поверхность S , рассматривая систему криволинейных координат на S , например широту и долготу на сфере . Пусть такой параметризацией будет x ( s , t ), где ( s , t ) меняется в некоторой области T на плоскости . Тогда поверхностный интеграл определяется выражением
где выражение между столбцами в правой части представляет собой величину векторного произведения частных производных x ( s , t ) и известно как элемент поверхности . Учитывая векторное поле v на S , которое является функцией, которая присваивает каждому x в S вектор v ( x ), поверхностный интеграл может быть определен покомпонентно в соответствии с определением поверхностного интеграла скалярного поля; результатом является вектор.
Объемный интеграл — это интеграл по трехмерной области или области. Когда подынтегральная функция тривиальна (единица), интеграл объема — это просто объем области . [14] [ 1] Это также может означать тройной интеграл внутри области D в R 3 функции и обычно записывается как:
Фундаментальная теорема о линейных интегралах гласит, что линейный интеграл через поле градиента может быть вычислен путем оценки исходного скалярного поля в конечных точках кривой.
Позволять . Затем
Теорема Стокса связывает поверхностный интеграл ротора векторного поля F над поверхностью Σ в евклидовом трехмерном пространстве с линейным интегралом векторного поля по его границе ∂Σ :
Предположим, что V — это подмножество (в случае n = 3 V представляет собой объем в трехмерном пространстве), которое компактно и имеет кусочно- гладкую границу S (также обозначается как ∂ V = S ). Если F — непрерывно дифференцируемое векторное поле, определенное в окрестности V , то теорема о дивергенции гласит: [15]
Левая часть представляет собой объемный интеграл по объему V , правая часть — поверхностный интеграл по границе объема V. Замкнутое многообразие ∂ V в общем случае представляет собой границу V , ориентированную нормалями , направленными наружу , а n — это направленное наружу единичное нормальное поле границы ∂ V . ( d S может использоваться как сокращение для n dS .)
Трехмерное пространство обладает рядом топологических свойств, отличающих его от пространств других размерностей. Например, чтобы завязать узел на веревке, необходимо иметь как минимум три измерения. [16]
В дифференциальной геометрии типичными трехмерными пространствами являются 3-многообразия , которые локально напоминают .
Многие идеи размерности можно проверить с помощью конечной геометрии . Простейшим примером является PG(3,2) , двумерным подпространством которого являются плоскости Фано . Это пример геометрии Галуа , исследования проективной геометрии с использованием конечных полей . Таким образом, для любого поля Галуа GF( q ) существует трехмерное проективное пространство PG(3, q ). Например, любые три косые линии в PG(3, q ) содержатся ровно в одном regulus . [17]
Если требуются только три основных свойства векторного произведения... оказывается, что векторное произведение векторов существует только в 3-мерном и 7-мерном евклидовом пространстве.