Submetrizable space: Difference between revisions

From Topospaces
m (2 revisions)
Line 5: Line 5:
==Definition==
==Definition==


===Symbol-free definition===
A [[topological space]] is said to be '''submetrizable''' if it is either a [[metrizable space]] to begin with or we can choose a [[coarser topology]] on the space and thus make it a [[metrizable space]].
 
A [[topological space]] is said to be '''submetrizable''' if we can choose a [[coarser topology]] on the space and thus make it a [[metrizable space]].


==Relation with other properties==
==Relation with other properties==

Revision as of 02:38, 25 January 2012

This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces

This is a variation of metrizability. View other variations of metrizability

Definition

A topological space is said to be submetrizable if it is either a metrizable space to begin with or we can choose a coarser topology on the space and thus make it a metrizable space.

Relation with other properties

Stronger properties

Metaproperties

Products

This property of topological spaces is closed under taking arbitrary products
View all properties of topological spaces closed under products

This follows from the fact that a direct product of metrizable spaces is metrizable.

Hereditariness

This property of topological spaces is hereditary, or subspace-closed. In other words, any subspace (subset with the subspace topology) of a topological space with this property also has this property.
View other subspace-hereditary properties of topological spaces

This follows from the fact that any subspace of a metrizable space is metrizable.

Refining

This property of topological spaces is preserved under refining, viz, if a set with a given topology has the property, the same set with a finer topology also has the property
View all refining-preserved properties of topological spaces OR View all coarsening-preserved properties of topological spaces

This follows immediately from the definition.