This HTML5 document contains 6 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

n2:

rdfs:label

Сепарабельное пространство

rdfs:comment

В топологии и смежных областях математики сепара́бельным пространством (от лат. separabilis — отделимый) называется топологическое пространство, в котором содержится не более чем счётное всюду плотное множество. Многие теоремы могут быть доказаны конструктивно только для сепарабельных пространств. Типичным примером такой теоремы является теорема Хана — Банаха, которая в случае сепарабельных пространств может быть доказана конструктивно, но в противном случае использует для доказательства аксиому выбора.

dcterms:subject

n4: n8:

n6:wikiPageUsesTemplate

n7:

n9:abstract

В топологии и смежных областях математики сепара́бельным пространством (от лат. separabilis — отделимый) называется топологическое пространство, в котором содержится не более чем счётное всюду плотное множество. Очень многие классические пространства, встречающиеся в математическом анализе и геометрии, являются сепарабельными. Сепарабельные пространства обладают некоторыми привлекательными для математиков свойствами. Многие из этих свойств проистекают из возможности представить каждый элемент пространства как предел последовательности элементов из счётного плотного множества, подобно тому как всякое действительное число можно представить как предел последовательности из рациональных чисел. Многие теоремы могут быть доказаны конструктивно только для сепарабельных пространств. Типичным примером такой теоремы является теорема Хана — Банаха, которая в случае сепарабельных пространств может быть доказана конструктивно, но в противном случае использует для доказательства аксиому выбора.