Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Представление трехмерной декартовой системы координат с осью x, направленной в сторону наблюдателя.

Трехмерное пространство (также: 3-пространство , или, реже, три-мерное пространство ) представляет собой геометрический параметр , в котором три значения ( так называемые параметры ) необходимы для определения положения элемента (т.е. точки ). Это неформальное значение термина « измерение» .

В физике и математике , А последовательность из п чисел можно понимать как место в п - мерном пространстве. Когда n = 3 , набор всех таких местоположений называетсятрехмерное евклидово пространство (или просто евклидово пространство, если контекст ясен). Обычно обозначается символом 3 . [1] [2] Это трехпараметрическая модель физической вселенной (то есть пространственной части без учета времени), в которой существует вся известная материя . Хотя это пространство остается наиболее убедительным и полезным способом моделирования мира в том виде, в каком он ощущается, [3] это только один пример большого разнообразия пространств в трех измерениях, называемых 3-многообразиями . В этом классическом примере, когда три значения относятся к измерениям в разных направлениях ( координаты), можно выбрать любые три направления при условии, что не все векторы в этих направлениях лежат в одном и том же 2-пространстве ( плоскости ). Кроме того, в этом случае эти три значения могут быть помечены любой комбинацией трех значений, выбранных из терминов ширина , высота , глубина и длина .

В евклидовой геометрии [ править ]

Системы координат [ править ]

В математике аналитическая геометрия (также называемая декартовой геометрией) описывает каждую точку в трехмерном пространстве с помощью трех координат. Даны три координатные оси , каждая перпендикулярная двум другим в начале координат , точке, в которой они пересекаются. Обычно они обозначаются буквами x , y и z . Относительно этих осей положение любой точки в трехмерном пространстве задается упорядоченной тройкой действительных чисел , каждое число дает расстояние этой точки от начала координат, измеренное вдоль данной оси, которое равно расстоянию до этой оси. точка из плоскости, определяемой двумя другими осями. [4]

Другие популярные методы описания местоположения точки в трехмерном пространстве включают цилиндрические координаты и сферические координаты , хотя существует бесконечное количество возможных методов. Для получения дополнительной информации см. Евклидово пространство .

Ниже представлены изображения вышеупомянутых систем.

  • Декартова система координат

  • Цилиндрическая система координат

  • Сферическая система координат

Линии и плоскости [ править ]

Две различные точки всегда определяют (прямую) линию . Три различные точки либо коллинеарны, либо определяют уникальную плоскость. С другой стороны, четыре различных точки могут быть либо коллинеарными, либо компланарными , либо определять все пространство.

Две различные прямые могут пересекаться, быть параллельны или наклонены . Две параллельные линии или две пересекающиеся линии лежат в одной плоскости, поэтому наклонные линии - это линии, которые не пересекаются и не лежат в общей плоскости.

Две разные плоскости могут либо пересекаться на общей линии, либо быть параллельными (т. Е. Не пересекаться). Три различных плоскости, ни одна пара которых не параллельна, могут либо пересекаться на общей линии, встречаться в единственной общей точке, либо не иметь общей точки. В последнем случае три линии пересечения каждой пары плоскостей взаимно параллельны.

Линия может лежать в данной плоскости, пересекать эту плоскость в уникальной точке или быть параллельной плоскости. В последнем случае на плоскости будут линии, параллельные данной.

Гиперплоскость является подпространством одно измерение меньше , чем размерность полного пространства. Гиперплоскости трехмерного пространства - это двумерные подпространства, то есть плоскости. С точки зрения декартовых координат, точки гиперплоскости удовлетворяют одному линейному уравнению , поэтому плоскости в этом 3-пространстве описываются линейными уравнениями. Линия может быть описана парой независимых линейных уравнений, каждое из которых представляет собой плоскость, имеющую эту линию в качестве общего пересечения.

Теорема Вариньона утверждает, что середины любого четырехугольника в 3 образуют параллелограмм и, следовательно, компланарны.

Сферы и шары [ править ]

Перспективная проекция сферы на два измерений

Сфера в 3-пространстве (также называемый 2-сферой , потому что это 2-мерный объект) состоит из множества всех точек в 3-пространстве на фиксированном расстоянии г от центральной точки P . Твердое тело, окруженное сферой, называется шаром (точнее, 3-шаром ). Объем шара определяется выражением

.

Другой тип сферы возникает из 4-шара, чья трехмерная поверхность является 3-сфера : точек , равноудаленных от происхождения евклидова пространства 4 . Если точка имеет координаты P ( x , y , z , w ) , то x 2 + y 2 + z 2 + w 2 = 1 характеризует эти точки на единичной 3-сфере с центром в начале координат.

Многогранники [ править ]

В трех измерениях существует девять правильных многогранников: пять выпуклых платоновых тел и четыре невыпуклых многогранника Кеплера-Пуансо .

Поверхности революции [ править ]

Поверхность генерируется путем вращения плоскости кривой вокруг неподвижной линии в ее плоскости, оси , называется поверхность вращения . Плоская кривая называется образующей поверхности. Участок поверхности, образованный пересечением поверхности с плоскостью, перпендикулярной (ортогональной) оси, представляет собой круг.

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

Квадрические поверхности [ править ]

По аналогии с коническими сечениями , множество точек, декартовы координаты которых удовлетворяют общему уравнению второй степени, а именно

где A , B , C , F , G , H , J , K , L и M - действительные числа, а не все A , B , C , F , G и H равны нулю, называется квадратичной поверхностью . [5]

Существует шесть типов невырожденных квадратичных поверхностей:

  1. Эллипсоид
  2. Гиперболоид одного листа
  3. Гиперболоид двух листов
  4. Эллиптический конус
  5. Эллиптический параболоид
  6. Гиперболический параболоид

Вырожденные двумерные квадрики являются пустым множеством, одна точка, одна линия, одна плоскость, пара плоскостей или квадратичное цилиндра (поверхность , состоящая из невырожденной конического сечения в плоскости П , и все линии 3 через эту конику, нормальную к π ). [5] Эллиптические конусы иногда также считаются вырожденными квадратичными поверхностями.

И гиперболоид одного листа, и гиперболический параболоид являются линейчатыми поверхностями , что означает, что они могут быть составлены из семейства прямых линий. Фактически, у каждого есть два семейства образующих, члены каждого семейства не пересекаются, и каждый член одного семейства пересекает, за одним исключением, каждого члена другого семейства. [6] Каждая семья называется регулятором .

В линейной алгебре [ править ]

Другой способ рассмотрения трехмерного пространства - это линейная алгебра , где идея независимости имеет решающее значение. Пространство имеет три измерения, потому что длина коробки не зависит от ее ширины или ширины. На техническом языке линейной алгебры пространство трехмерно, потому что каждая точка в пространстве может быть описана линейной комбинацией трех независимых векторов .

Точечное произведение, угол и длина [ править ]

Вектор можно представить в виде стрелки. Величина вектора - это его длина, а его направление - это направление стрелки. Вектор в 3 может быть представлен упорядоченной тройкой действительных чисел. Эти числа называются компонентами вектора.

Скалярное произведение двух векторов A = [ A 1 , A 2 , A 3 ] и B = [ B 1 , B 2 , B 3 ] определяется как: [7]

Величина вектора A обозначается || А || . Скалярное произведение вектора A = [ A 1 , A 2 , A 3 ] с самим собой равно

который дает

формула евклидовой длины вектора.

Без ссылки на компоненты векторов скалярное произведение двух ненулевых евклидовых векторов A и B дается формулой [8]

где θ представляет собой угол между A и B .

Перекрестный продукт [ править ]

Векторное произведение или векторное произведение представляет собой бинарную операцию на двух векторов в трехмерном пространстве и обозначается символом ×. Векторное произведение a × b векторов a и b - это вектор, перпендикулярный обоим и, следовательно, нормальный к плоскости, содержащей их. Он имеет множество приложений в математике, физике и технике .

Пространство и произведение образуют алгебру над полем , которая не является ни коммутативной, ни ассоциативной , но является алгеброй Ли с перекрестным произведением, являющимся скобкой Ли.

В n измерениях можно взять произведение n - 1 векторов, чтобы получить вектор, перпендикулярный им всем. Но если продукт ограничен нетривиальными бинарными произведениями с векторными результатами, он существует только в трех и семи измерениях . [9]

Кросс-произведение относительно правой системы координат

В исчислении [ править ]

Градиент, расхождение и завиток [ править ]

В прямоугольной системе координат градиент задается формулой

Дивергенция непрерывно дифференцируемого векторного поля F = U i + V j + W k равна скалярно- значной функции:

В развернутом виде в декартовых координатах (см. Del в цилиндрических и сферических координатах для сферических и цилиндрических координатных представлений) curl ∇ ​​× F для F состоит из [ F x , F y , F z ]:

где i , j и k - единичные векторы для осей x -, y - и z соответственно. Это расширяется следующим образом: [10]

Линейные интегралы, поверхностные интегралы и объемные интегралы [ править ]

Для некоторого скалярного поля f  : UR nR линейный интеграл вдоль кусочно гладкой кривой CU определяется как

где r : [a, b] → C - произвольная биективная параметризация кривой C такая, что r ( a ) и r ( b ) задают концы кривой C и .

Для векторного поля F  : UR nR n линейный интеграл вдоль кусочно гладкой кривой CU в направлении r определяется как

где · представляет собой скалярное произведение и т : [а, Ь] → C является биективен параметризация кривой C таким образом, что г ( ) и г ( б ) дают конечные точки С .

Интегральная поверхность является обобщением кратных интегралов к интегрированию по поверхности . Его можно рассматривать как двойной интегральный аналог линейного интеграла . Чтобы найти явную формулу для поверхностного интеграла, нам нужно параметризовать интересующую поверхность S , рассматривая систему криволинейных координат на S , таких как широта и долгота на сфере . Пусть такой параметризацией будет x ( s , t ), где ( s , t) изменяется в некоторой области T на плоскости . Тогда поверхностный интеграл определяется выражением

где выражение между решетками на правой стороне представляет собой величина от перекрестного продукта из частных производных от й ( з , т ), и известно как поверхностный элемент . Учитывая векторное поле v на S , то есть функцию, которая назначает каждому x в S вектор v ( x ), поверхностный интеграл может быть определен покомпонентно в соответствии с определением поверхностного интеграла скалярного поля; результат - вектор.

Интеграл объема относится к интегралу над 3- мерной области.

Он также может означать тройной интеграл в пределах области D в R 3 о наличии функции и обычно записывается в виде:

Основная теорема линейных интегралов [ править ]

Основная теорема линейных интегралов , говорит о том , что криволинейный интеграл через градиент поля может быть оценена путем оценки исходной скалярного поля на концах кривой.

Пусть . потом

Теорема Стокса [ править ]

Стокса теорема связывает поверхностный интеграл от ротора в виде векторного поля F над поверхностью Е в евклидове трехмерного пространства в криволинейном интеграл от векторного поля по его границе ∂Σ:

Теорема о расходимости [ править ]

Предположим, что V - это подмножество (в случае n = 3, V представляет собой объем в трехмерном пространстве), которое компактно и имеет кусочно гладкую границу S (также обозначенную V = S ). Если F - непрерывно дифференцируемое векторное поле, определенное в окрестности V , то теорема о расходимости гласит: [11]

\ oiint

Левая сторона представляет собой объемный интеграл по объему V , правая сторона представляет собой поверхностный интеграл по границе объема V . Замкнутое многообразие V вполне обычно граница V ориентированного на внешнем мире, указывающие нормали , а п является внешним указывая блок нормального поля граничного V . ( d S может использоваться как сокращение от n dS .)

В топологии [ править ]

Логотип глобуса Википедии в 3-D

Трехмерное пространство обладает рядом топологических свойств, которые отличают его от пространств других размерных чисел. Например, чтобы завязать узел на веревке, требуется как минимум три измерения . [12]

В дифференциальной геометрии трехмерные пространства общего положения являются 3-многообразиями , которые локально похожи на .

В конечной геометрии [ править ]

Многие идеи размерности можно проверить с помощью конечной геометрии . Простейшим примером является PG (3,2) , двумерные подпространства которого являются плоскостями Фано . Это пример геометрии Галуа , исследования проективной геометрии с использованием конечных полей . Таким образом, для любого поля Галуа GF ( q ) существует проективное пространство PG (3, q ) трех измерений. Например, любые три косые линии в PG (3, q ) содержатся ровно в одном регуляре . [13]

См. Также [ править ]

  • Размерный анализ
  • Расстояние от точки до плоскости
  • Четырехмерное пространство
  • Наклонные линии § Расстояние
  • Трехмерный график
  • Двумерное пространство

Примечания [ править ]

  1. ^ "Сборник математических символов" . Математическое хранилище . 2020-03-01 . Проверено 12 августа 2020 .
  2. ^ «Евклидово пространство - математическая энциклопедия» . encyclopediaofmath.org . Проверено 12 августа 2020 .
  3. ^ «Евклидово пространство | геометрия» . Британская энциклопедия . Проверено 12 августа 2020 .
  4. ^ Хьюз-Халлетт, Дебора; Маккаллум, Уильям Дж .; Глисон, Эндрю М. (2013). Исчисление: одно и многомерное (6 изд.). Джон Вили. ISBN 978-0470-88861-2.
  5. ^ a b Браннан, Эсплен и Грей 1999 , стр. 34–5
  6. ^ Бреннан, Esplen & Gray 1999 , стр. 41-2
  7. Антон 1994 , стр. 133
  8. Антон 1994 , стр. 131
  9. ^ WS Massey (1983). «Перекрестные произведения векторов в многомерных евклидовых пространствах». Американский математический ежемесячник . 90 (10): 697–701. DOI : 10.2307 / 2323537 . JSTOR 2323537 . Если требуется только три основных свойства перекрестного произведения ... оказывается, что перекрестное произведение векторов существует только в 3-мерном и 7-мерном евклидовом пространстве. 
  10. ^ Arfken, стр. 43.
  11. ^ MR Spiegel; С. Липшуц; Д. Спеллман (2009). Векторный анализ . Очерки Шаума (2-е изд.). США: Макгроу Хилл. ISBN 978-0-07-161545-7.
  12. ^ Рольфсен, Дейл (1976). Узлы и ссылки . Беркли, Калифорния: опубликовать или погибнуть. ISBN 0-914098-16-0.
  13. ^ Альбрехт Беутелспачер & Ute Розенбаум (1998) Проективная геометрия , страница 72, Cambridge University Press ISBN 0-521-48277-1 

Ссылки [ править ]

  • Антон, Ховард (1994), Элементарная линейная алгебра (7-е изд.), John Wiley & Sons, ISBN 978-0-471-58742-2
  • Арфкен, Джордж Б. и Ханс Дж. Вебер. Математические методы для физиков , Academic Press; Выпуск 6 (21 июня 2005 г.). ISBN 978-0-12-059876-2 . 
  • Браннан, Дэвид А .; Эсплен, Мэтью Ф .; Грей, Джереми Дж. (1999), геометрия , Cambridge University Press, ISBN 978-0-521-59787-6

Внешние ссылки [ править ]

  • Словарное определение трехмерного в Викисловаре
  • Вайсштейн, Эрик В. "Четырехмерная геометрия" . MathWorld .
  • Элементарная линейная алгебра - Глава 8: Трехмерная геометрия Кейт Мэтьюз из Университета Квинсленда , 1991 г.