To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Metrizable space

From Wikipedia, the free encyclopedia

In topology and related areas of mathematics, a metrizable space is a topological space that is homeomorphic to a metric space. That is, a topological space is said to be metrizable if there is a metric such that the topology induced by is [1][2] Metrization theorems are theorems that give sufficient conditions for a topological space to be metrizable.

Properties

Metrizable spaces inherit all topological properties from metric spaces. For example, they are Hausdorff paracompact spaces (and hence normal and Tychonoff) and first-countable. However, some properties of the metric, such as completeness, cannot be said to be inherited. This is also true of other structures linked to the metric. A metrizable uniform space, for example, may have a different set of contraction maps than a metric space to which it is homeomorphic.

Metrization theorems

One of the first widely recognized metrization theorems was Urysohn's metrization theorem. This states that every Hausdorff second-countable regular space is metrizable. So, for example, every second-countable manifold is metrizable. (Historical note: The form of the theorem shown here was in fact proved by Tikhonov in 1926. What Urysohn had shown, in a paper published posthumously in 1925, was that every second-countable normal Hausdorff space is metrizable). The converse does not hold: there exist metric spaces that are not second countable, for example, an uncountable set endowed with the discrete metric.[3] The Nagata–Smirnov metrization theorem, described below, provides a more specific theorem where the converse does hold.

Several other metrization theorems follow as simple corollaries to Urysohn's theorem. For example, a compact Hausdorff space is metrizable if and only if it is second-countable.

Urysohn's Theorem can be restated as: A topological space is separable and metrizable if and only if it is regular, Hausdorff and second-countable. The Nagata–Smirnov metrization theorem extends this to the non-separable case. It states that a topological space is metrizable if and only if it is regular, Hausdorff and has a σ-locally finite base. A σ-locally finite base is a base which is a union of countably many locally finite collections of open sets. For a closely related theorem see the Bing metrization theorem.

Separable metrizable spaces can also be characterized as those spaces which are homeomorphic to a subspace of the Hilbert cube that is, the countably infinite product of the unit interval (with its natural subspace topology from the reals) with itself, endowed with the product topology.

A space is said to be locally metrizable if every point has a metrizable neighbourhood. Smirnov proved that a locally metrizable space is metrizable if and only if it is Hausdorff and paracompact. In particular, a manifold is metrizable if and only if it is paracompact.

Examples

The group of unitary operators on a separable Hilbert space endowed with the strong operator topology is metrizable (see Proposition II.1 in [4]).

Examples of non-metrizable spaces

Non-normal spaces cannot be metrizable; important examples include

The real line with the lower limit topology is not metrizable. The usual distance function is not a metric on this space because the topology it determines is the usual topology, not the lower limit topology. This space is Hausdorff, paracompact and first countable.

Locally metrizable but not metrizable

The Line with two origins, also called the bug-eyed line is a non-Hausdorff manifold (and thus cannot be metrizable). Like all manifolds, it is locally homeomorphic to Euclidean space and thus locally metrizable (but not metrizable) and locally Hausdorff (but not Hausdorff). It is also a T1 locally regular space but not a semiregular space.

The long line is locally metrizable but not metrizable; in a sense it is "too long".

See also

References

  1. ^ Simon, Jonathan. "Metrization Theorems" (PDF). Retrieved 16 June 2016.
  2. ^ Munkres, James (1999). Topology (second ed.). Pearson. p. 119.
  3. ^ "Archived copy" (PDF). Archived from the original (PDF) on 2011-09-25. Retrieved 2012-08-08.{{cite web}}: CS1 maint: archived copy as title (link)
  4. ^ Neeb, Karl-Hermann, On a theorem of S. Banach. J. Lie Theory 7 (1997), no. 2, 293–300.

This article incorporates material from Metrizable on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

This page was last edited on 12 February 2024, at 01:04
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.