Siegel–Walfisz theorem: Difference between revisions
en>Brad7777 removed Category:Analytic number theory; added Category:Theorems in analytic number theory using HotCat |
en>LokiClock |
||
Line 1: | Line 1: | ||
In [[mathematics]], in the field of [[topology]], a [[topological space]] is said to be '''hemicompact''' if it has a sequence of [[compact space|compact]] subsets such that every compact subset of the space lies inside some compact set in the sequence. Clearly, this forces the union of the sequence to be the whole space, because every point is compact and hence must lie in one of the compact sets. | |||
==Examples== | |||
* Every [[compact space]] is hemicompact. | |||
* The [[real line]] is hemicompact. | |||
* Every locally compact [[Lindelöf space]] is hemicompact. | |||
==Properties== | |||
Every [[first-countable space|first countable]] hemicompact space is [[locally compact space|locally compact]]. | |||
If <math>X</math> is a hemicompact space, then the space <math>C(X, M)</math> of all continuous functions <math>f : X \to M</math> to a [[metric space]] <math>(M, \delta)</math> with the [[compact-open topology]] is [[Metrization theorem|metrizable]]. To see this, take a sequence <math>K_1,K_2,\dots</math> of compact subsets of <math>X</math> such that every compact subset of <math>X</math> lies inside some compact set in this sequence (the existence of such a sequence follows from the hemicompactness of <math>X</math>). Denote | |||
:<math>d_n (f,g) = \sup_{x \in K_n} \delta(f(x), g(x))</math> | |||
for <math>f,g \in C(X,M)</math> and <math>n \in \mathbb{N}</math>. Then | |||
:<math>d(f,g) = \sum_{n=1}^{\infty} \frac{1}{2^n} \cdot \frac{d_n (f,g)}{1+d_n (f,g)}</math> | |||
defines a metric on <math>C(X,M)</math> which induces the compact-open topology. | |||
==See also== | |||
* [[Compact space]] | |||
* [[Locally compact space]] | |||
* [[Lindelöf space]] | |||
==References== | |||
*{{cite book | author=Willard, Stephen | title=General Topology | publisher=Dover Publications | year=2004 | id=ISBN 0-486-43479-6}} | |||
{{topology-stub}} | |||
[[Category:Compactness (mathematics)]] | |||
[[Category:Properties of topological spaces]] |
Revision as of 21:57, 21 November 2013
In mathematics, in the field of topology, a topological space is said to be hemicompact if it has a sequence of compact subsets such that every compact subset of the space lies inside some compact set in the sequence. Clearly, this forces the union of the sequence to be the whole space, because every point is compact and hence must lie in one of the compact sets.
Examples
- Every compact space is hemicompact.
- The real line is hemicompact.
- Every locally compact Lindelöf space is hemicompact.
Properties
Every first countable hemicompact space is locally compact.
If is a hemicompact space, then the space of all continuous functions to a metric space with the compact-open topology is metrizable. To see this, take a sequence of compact subsets of such that every compact subset of lies inside some compact set in this sequence (the existence of such a sequence follows from the hemicompactness of ). Denote
defines a metric on which induces the compact-open topology.
See also
References
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534