Перейти к справке о страницах разрешения неоднозначности

Подпространство: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 6: Строка 6:
Подпространство — [[подмножество]] некоторого пространства ([[Аффинное пространство|аффинного]], [[Векторное пространство|векторного]], [[Проективное пространство|проективного]], [[Топологическое пространство|топологического]], [[Метрическое пространство|метрического]] и др.), которое само является пространством соответствующего типа со свойствами, индуцированными объемлющим пространством.
Подпространство — [[подмножество]] некоторого пространства ([[Аффинное пространство|аффинного]], [[Векторное пространство|векторного]], [[Проективное пространство|проективного]], [[Топологическое пространство|топологического]], [[Метрическое пространство|метрического]] и др.), которое само является пространством соответствующего типа со свойствами, индуцированными объемлющим пространством.


Например, подмножество <math>X \subset A</math> является подпространством метрического (топологического) пространства <math>A</math> с метрикой <math>\rho</math> (топологией <math>\tau</math>), если <math>X</math> является метрическим (топологическим) пространством
Например, подмножество <math>B \subset A</math> является подпространством метрического (топологического) пространства <math>A</math> с метрикой <math>\rho</math> (соответственно, топологией <math>\tau</math>), если <math>B</math> является метрическим (топологическим) пространством с метрикой <math>\rho'</math> (топологией <math>\tau'</math>), индуцированной метрикой <math>\rho</math> (соответственно, топологией <math>\tau</math>). Метрика <math>\rho'</math> индуцируется метрикой <math>\rho</math> в следующем смысле: <math>\rho'(x,y)=\rho(x,y)</math> для любых <math>x,y \in B</math>. Топология <math>\tau'</math> индуцируется топологией <math>\tau</math> в следующем смысле: открытыми множествами в топологии <math>\tau'</math> являются множества вида <math>G_B = G_A \cap B</math>, где <math>G_A</math> — открытые множества в топологии <math>\tau</math>.
с метрикой <math>\rho'</math> (топологией <math>\tau'</math>), порожденной метрикой <math>\rho</math> (соответственно, топологией <math>\tau</math>).


; Физика
; Физика

Версия от 18:31, 8 января 2017

Подпростра́нствопонятие, используемое (непосредственно или в словосочетаниях) в различных разделах знаний.

Математика

Подпространство — подмножество некоторого пространства (аффинного, векторного, проективного, топологического, метрического и др.), которое само является пространством соответствующего типа со свойствами, индуцированными объемлющим пространством.

Например, подмножество является подпространством метрического (топологического) пространства с метрикой (соответственно, топологией ), если является метрическим (топологическим) пространством с метрикой (топологией ), индуцированной метрикой (соответственно, топологией ). Метрика индуцируется метрикой в следующем смысле: для любых . Топология индуцируется топологией в следующем смысле: открытыми множествами в топологии являются множества вида , где — открытые множества в топологии .

Физика