Войти
вещественная линия В математике, вещественная строка или вещественная строка - это строка, которой - действительные числа. То есть реальная линия - это набор Rвсех действительных чисел, рассматриваемый как геометрическое пространство, а именно евклидово пространство размер один. Его можно представить как векторное пространство (или аффинное пространство ), метрическое пространство, топологическое пространство, пространство измерения, или линейный континуум.
Так же, как и набор действительных чисел, вещественная линия обычно обозначается символом R (или, альтернативно, 
В этой статье рассматриваются аспекты R как геометрического пространства в топологии, геометрии и реальном анализе. Действительные числа также играют важную роль в алгебре как поле , но в этом контексте R редко упоминается как линия. Для получения дополнительной информации о R во всех его проявлениях см. вещественное число.
Порядок числа строка 
Каждый набор на прямой числовой прямой имеет верхнюю грань. Действительная прямая представляет собой линейный континуум в соответствии со стандартом < ordering. Specifically, the real line is линейно упорядоченный по <, and this ordering is плотный и имеет свойство наименьшей верхней границы.
В дополнение к вышеупомянутым свойствам реальная линия не имеет максимального или минимального элемента. Он также имеет счетное плотное подмножество, а именно набор рациональных чисел. Это теорема, что любой линейный континуум со счетным плотным подмножеством и без максимального или минимального элемента изоморфен по порядку вещественной прямой.
Реальная линия также удовлетворяет условию счетной цепочки : каждая совокупность взаимно непересекающихся, непустых открытых интервалов в R является счетным. В теории порядка знаменитая задача Суслина спрашивает, обязательно ли каждый линейный континуум, удовлетворяющий условию счетной цепи, не имеющий максимального или минимального элемента, изоморфен по порядку R . Было показано, что это утверждение не зависит от стандартной аксиоматической системы теории множеств, известной как ZFC.
метрика на реальной линии - это абсолютная разница.
ε- шар вокруг числа a Реальная линия образует метрическое пространство с функция расстояния, определяемая абсолютной разностью:
Метрический тензор явно является одномерной евклидовой метрикой. Поскольку n-мерная евклидова метрика может быть представлена в матричной форме как единичная матрица размером n на n, метрика на вещественной прямой представляет собой просто единичную матрицу 1 на 1, то есть 1.
Если p ∈ R и ε>0, то ε- шар в R с центром в p - это просто открытый интервал (p - ε, p + ε).
Эта вещественная линия имеет несколько важных свойств как метрическое пространство:
Реальная линия может быть компактифицирована путем добавления точки на бесконечности.Реальная линия несет стандартное топология, которая может быть представлена двумя разными эквивалентными способами. Во-первых, поскольку действительные числа полностью упорядочены, они несут топологию порядка . Во-вторых, действительные числа наследуют топологию метрики из метрики, определенной выше. Топология порядка и метрическая топология на R одинаковы. Как топологическое пространство, реальная прямая гомеоморфна открытому интервалу (0, 1).
Реальная прямая тривиально является топологическим многообразием размерности 1. С точностью до гомеоморфизма это одно из двух различных связных 1-многообразий без границы, другое - окружность. На нем также есть стандартная дифференцируемая структура, что делает его дифференцируемым многообразием. (До диффеоморфизма существует только одна дифференцируемая структура, которую поддерживает топологическое пространство.)
Вещественная прямая - это локально компактное пространство и паракомпакт пробел, а также с подсчетом секунд и нормальный. Он также соединен по пути и, следовательно, также соединен, хотя его можно отключить, удалив любую одну точку. Вещественная линия также стягиваема, и поэтому все ее гомотопические группы и редуцированные гомологические группы равны нулю.
Как локально компактное пространство, реальная линия может быть компактифицирована несколькими способами. одноточечная компактификация элемента R представляет собой круг (а именно, действительная проективная линия ), а дополнительную точку можно представить как бесконечность без знака. В качестве альтернативы вещественная линия имеет два конца , и результирующая компактификация конца - это расширенная вещественная линия [−∞, + ∞]. Существует также компактификация Стоуна – Чеха реальной прямой, которая включает добавление бесконечного числа дополнительных точек.
В некоторых контекстах полезно разместить другие топологии на множестве действительных чисел, например, топологию нижнего предела или топологию Зарисского. Для действительных чисел последнее совпадает с топологией с конечным дополнением.
Взаимное соответствие между точками на вещественной прямой и векторами Реальная прямая - это вектор пробел над полем Rвещественных чисел (то есть над самим собой) размерности 1. Он имеет обычное умножение как внутренний продукт, что делает его евклидовым векторным пространством. норма, определенная этим внутренним продуктом, представляет собой просто абсолютное значение.
Реальная линия несет каноническую меру, а именно мера Лебега. Эта мера может быть определена как завершение меры Бореля, определенной на R, где мерой любого интервала является длина интервала.
Мера Лебега на вещественной прямой является одним из простейших примеров меры Хаара на локально компактной группе.
Действительная линия является одномерным подпространством вещественной алгебры A, где R ⊂ A. Например, в комплексной плоскости z = x + iy подпространство {z: y = 0} - вещественная прямая. Аналогично, алгебра кватернионов
имеет вещественную прямую в подпространстве {q: x = y = z = 0}.
Когда действительная алгебра представляет собой прямую сумму 
