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

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

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


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


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

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

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

Математика

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

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

Физика