# Uniform covers

## Idea

A uniform cover is an open cover in which enough of the subsets have a uniform minimal size. This doesn't make sense in (say) an arbitrary topological space, but it does make sense in a uniform space (or a uniform locale). In fact, it's possible to define a uniform space by specifying which covers are uniform.

## Definitions

The most general definition (that we have here so far) is in a uniform space or locale, but we can write down the definition in other familiar situations as well.

### In a metric space

Let $X$ be a (pseudo)metric space. A collection $\mathcal{C}$ of subsets of $X$ is a uniform cover if:

• For some positive number $\epsilon$, every open ball of radius $\epsilon$ is contained in some element of $\mathcal{C}$.

### In a topological group or vector space

Let $X$ be a topological vector space or even a topological abelian group. A collection $\mathcal{C}$ of subsets of $X$ is a uniform cover if:

• For some neighbourhood $N$ of $0$ (the identity element of the group), every set of the form $a + N$ is contained in some element of $\mathcal{C}$.

If $X$ is a topological group, then we have both left-uniform and right-uniform covers, depending on whether we use $a N$ or $N a$ in the definition above. (I'm not sure what the convention is, if any, on which is left and which is right.)

### In a uniform space

Sometimes the notion of uniform cover is taken as axiomatic in the definition of uniform space. But if we define a uniform space in terms of entourages, then we have:

Let $X$ be a uniform space. A collection $\mathcal{C}$ of subsets of $X$ is a uniform cover if:

• For some entourage $U$, every set of the form $U[a] \coloneqq \{ b\colon X \;|\; a \approx_U b \}$ is contained in some element of $\mathcal{C}$.

This definition subsumes both (pseudo)metric spaces and topological groups (although a nonabelian topological group has two uniform structures, corresponding to the two notions of uniform cover).

Last revised on January 25, 2011 at 08:36:38. See the history of this page for a list of all contributions to it.
{"ft_lang_label":"__label__en","ft_lang_prob":0.93743014,"math_prob":0.99798256,"size":1451,"snap":"2020-34-2020-40","text_gpt3_token_len":326,"char_repetition_ratio":0.18728404,"word_repetition_ratio":0.07936508,"special_character_ratio":0.21709166,"punctuation_ratio":0.09965636,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99968326,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-08-05T13:59:20Z\",\"WARC-Record-ID\":\"<urn:uuid:213f855b-0109-4ff6-b107-0433c41b19e8>\",\"Content-Length\":\"22567\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:7b9f1d34-009b-4aff-aa69-64e65bc03f4d>\",\"WARC-Concurrent-To\":\"<urn:uuid:4443212d-42ba-427f-bc27-c16e7d458c16>\",\"WARC-IP-Address\":\"172.67.137.123\",\"WARC-Target-URI\":\"https://ncatlab.org/nlab/show/uniform%20cover\",\"WARC-Payload-Digest\":\"sha1:7PTXDXKE3FKDODGL2NHMLKQ6J4AKFLXF\",\"WARC-Block-Digest\":\"sha1:EXCJ5K2CGWHKDP75DSXDO4GN357WPHOZ\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-34/CC-MAIN-2020-34_segments_1596439735958.84_warc_CC-MAIN-20200805124104-20200805154104-00594.warc.gz\"}"}