В математике евклидова плоскость — это евклидово пространство размерности два , обозначаемое или . Это геометрическое пространство , в котором для определения положения каждой точки требуются два действительных числа . Это аффинное пространство , которое включает в себя, в частности, концепцию параллельных прямых . Оно также обладает метрическими свойствами, индуцированными расстоянием , что позволяет определять окружности и измерение углов .
Евклидова плоскость с выбранной декартовой системой координат называется декартовой плоскостью . Множество упорядоченных пар действительных чисел ( действительная координатная плоскость ), снабженное скалярным произведением , часто называют евклидовой плоскостью или стандартной евклидовой плоскостью , поскольку каждая евклидова плоскость ей изоморфна .
Книги I–IV и VI « Начал» Евклида посвящены двумерной геометрии, в них развиваются такие понятия, как подобие фигур, теорема Пифагора (предложение 47), равенство углов и площадей , параллельность, сумма углов треугольника и три случая, когда треугольники «равны» (имеют одинаковую площадь), а также многие другие темы.
Позже плоскость была описана в так называемой декартовой системе координат , системе координат , которая определяет каждую точку на плоскости уникальным образом с помощью пары числовых координат , которые являются знаковыми расстояниями от точки до двух фиксированных перпендикулярных направленных линий, измеренными в одной и той же единице длины . Каждая опорная линия называется осью координат или просто осью системы, а точка, где они встречаются, является ее началом , обычно в упорядоченной паре (0, 0). Координаты также могут быть определены как положения перпендикулярных проекций точки на две оси, выраженные в виде знаковых расстояний от начала координат.
Идея этой системы была развита в 1637 году в трудах Декарта и независимо от него Пьера де Ферма , хотя Ферма также работал в трех измерениях и не опубликовал свое открытие. [1] Оба автора использовали одну ось ( абсциссу ) в своих работах, при этом длины ординат измерялись вдоль линий, не обязательно перпендикулярных этой оси. [2] Концепция использования пары фиксированных осей была введена позже, после того как «Геометрия » Декарта была переведена на латынь в 1649 году Франсом ван Схоотеном и его учениками. Эти комментаторы ввели несколько концепций, пытаясь прояснить идеи, содержащиеся в работе Декарта. [3]
Позже плоскость стали рассматривать как поле , где любые две точки можно было умножать и, за исключением 0, делить. Это было известно как комплексная плоскость . Комплексную плоскость иногда называют плоскостью Аргана, потому что она используется в диаграммах Аргана. Они названы в честь Жана-Робера Аргана (1768–1822), хотя впервые были описаны датско-норвежским землемером и математиком Каспаром Весселем (1745–1818). [ 4] Диаграммы Аргана часто используются для построения графиков положений полюсов и нулей функции на комплексной плоскости.
В математике аналитическая геометрия (также называемая декартовой геометрией) описывает каждую точку в двумерном пространстве с помощью двух координат. Даны две перпендикулярные оси координат , которые пересекаются в начале координат . Обычно они обозначаются как x и y . Относительно этих осей положение любой точки в двумерном пространстве задается упорядоченной парой действительных чисел, каждое число задает расстояние этой точки от начала координат , измеренное вдоль данной оси, которое равно расстоянию этой точки от другой оси.
Другой широко используемой системой координат является полярная система координат , которая определяет точку с точки зрения ее расстояния от начала координат и ее угла относительно правого опорного луча.
В евклидовой геометрии плоскость — это плоская двумерная поверхность , которая простирается бесконечно. Евклидовы плоскости часто возникают как подпространства трехмерного пространства . Типичным примером является одна из стен комнаты, бесконечно протяженная и предполагаемая бесконечно тонкой .
В то время как для описания точек на плоскости достаточно пары действительных чисел , связь с точками вне плоскости требует особого рассмотрения для их встраивания в окружающее пространство .В двух измерениях существует бесконечно много многогранников: многоугольников. Первые несколько правильных показаны ниже:
Символ Шлефли представляет собой правильный n -угольник .
Правильный одноугольник (или шестиугольник) {1} и правильный двуугольник {2} можно считать вырожденными правильными многоугольниками, которые существуют невырожденно в неевклидовых пространствах, таких как 2-сфера , 2-тор или прямой круговой цилиндр .
Существует бесконечно много невыпуклых правильных многогранников в двух измерениях, символы Шлефли которых состоят из рациональных чисел {n/m}. Они называются звездчатыми многоугольниками и имеют те же самые расположения вершин, что и выпуклые правильные многоугольники.
В общем случае для любого натурального числа n существуют n-конечные невыпуклые правильные многоугольные звезды с символами Шлефли { n / m } для всех m, таких что m < n /2 (строго говоря { n / m } = { n /( n − m )}), а m и n взаимно просты .
Гиперсфера в 2 измерениях представляет собой окружность , иногда называемую 1-сферой ( S 1 ), поскольку она является одномерным многообразием . В евклидовой плоскости она имеет длину 2π r , а площадь ее внутренней части равна
где радиус.
Существует бесконечное множество других криволинейных фигур в двух измерениях, включая, в частности, конические сечения : эллипс , параболу и гиперболу .
Другой математический способ рассмотрения двумерного пространства можно найти в линейной алгебре , где идея независимости имеет решающее значение. Плоскость имеет два измерения, поскольку длина прямоугольника не зависит от его ширины. На техническом языке линейной алгебры плоскость является двумерной, поскольку каждая точка на плоскости может быть описана линейной комбинацией двух независимых векторов .
Скалярное произведение двух векторов A = [ A 1 , A 2 ] и B = [ B 1 , B 2 ] определяется как: [5]
Вектор можно изобразить в виде стрелки. Его величина — это его длина, а его направление — это направление, на которое указывает стрелка. Величина вектора A обозначается как . С этой точки зрения скалярное произведение двух евклидовых векторов A и B определяется как [6]
где θ — угол между A и B.
Скалярное произведение вектора А на самого себя равно
что дает
формула для евклидовой длины вектора.
В прямоугольной системе координат градиент задается выражением
Для некоторого скалярного поля f : U ⊆ R 2 → R криволинейный интеграл вдоль кусочно-гладкой кривой C ⊂ U определяется как
где r : [a, b] → C — произвольная биективная параметризация кривой C, такая, что r ( a ) и r ( b ) задают конечные точки C и .
Для векторного поля F : U ⊆ R 2 → R 2 криволинейный интеграл вдоль кусочно-гладкой кривой C ⊂ U в направлении r определяется как
где · — скалярное произведение , а r : [a, b] → C — биективная параметризация кривой C, такая, что r ( a ) и r ( b ) задают конечные точки C .
Двойной интеграл относится к интегралу в области D в R 2 функции и обычно записывается как :
Основная теорема о линейных интегралах гласит, что линейный интеграл через градиентное поле можно вычислить, вычислив исходное скалярное поле в конечных точках кривой.
Пусть . Тогда
где p , q — конечные точки кривой γ.
Пусть C — положительно ориентированная , кусочно-гладкая , простая замкнутая кривая на плоскости , а D — область, ограниченная C. Если L и M — функции ( x , y ), определенные на открытой области, содержащей D , и имеющие там непрерывные частные производные , то [7] [8]
где путь интегрирования вдоль C — против часовой стрелки .
В топологии плоскость характеризуется как единственное стягиваемое 2-многообразие .
Его размерность характеризуется тем, что удаление точки из плоскости оставляет пространство, которое связно, но не просто связно .
В теории графов планарный граф — это граф , который может быть вложен в плоскость, т. е. его можно нарисовать на плоскости таким образом, что его ребра пересекаются только в своих конечных точках. Другими словами, его можно нарисовать таким образом, что никакие ребра не пересекаются друг с другом. [9] Такой рисунок называется планарным графом или планарным вложением графа . Плоский граф можно определить как планарный граф с отображением из каждого узла в точку на плоскости и из каждого ребра в плоскую кривую на этой плоскости, таким образом, что крайние точки каждой кривой являются точками, отображенными из ее конечных узлов, и все кривые не пересекаются, за исключением своих крайних точек.
образом, планарный граф, нарисованный на плоской поверхности, либо не имеет пересечений ребер, либо может быть перерисован без них.