The tag has no wiki summary.

learn more… | top users | synonyms

11
votes
1answer
141 views

a subclass of quasi metric spaces with properties almost identical to metric spaces

It is well known that passing from metric spaces to quasi-metric spaces (i.e., dropping the requirement that the metric function $d:X\times X\to \mathbb R$ satisfies $d(x,y)=d(y,x)$) carries with it ...
3
votes
1answer
174 views

Benefits from using the uniform structure of compact Hausdorff spaces

It is well known that every compact Hausdorff space admits a unique (necessarily complete) uniform structure which is compatible with the topology, and every continuous function from such a space to a ...
2
votes
1answer
65 views

Uniformity is generated by pseudometrics

How to prove that every uniform space is generated by a family of pseudometric spaces? You may offer me a book. In Engelking this theorem is presented without a proof. In Willard it is a exercise. ...
1
vote
1answer
82 views

“Principal uniform space” vs “discrete uniform space”?

Which terms are better for a uniform space such that the set of entourages is a principal filter? "Principal uniform space" or "discrete uniform space"? "Principal uniformity" or "discrete ...
0
votes
1answer
23 views

A stronger concept than total boundness

A space, every proper principal filter of which is refined by a Cauchy filter, is called totally bounded. Is there a term (and theory) about a stronger concept: a space every proper filter of which ...
0
votes
1answer
47 views

Two definitions of totally bounded uniform spaces

Wikipedia gives this definition of totally bounded uniform space: a subset $S$ of a uniform space $X$ is totally bounded if and only if, given any entourage $E$ in $X$, there exists a finite cover of ...
3
votes
0answers
48 views

Question about the definition of Dieudonné completion

Dieudonné completion $\mu X$ of a space $X$ is the completion of $X$ with respect to the maximal uniformity $U_X$ on $X$ compatible with the topology of $X$. I failed to find references to ...
3
votes
0answers
63 views

Extension of pseudometrics to Hausdorff completion

Let $(X,\mathcal{U})$ be a uniform space with Hausdorff completion $(X',\mathcal{U}')$ (made by the minimal Cauchy filters). Since $X$ is uniform, $\mathcal{U}$ is generated by pseudometrics ...
2
votes
0answers
26 views

A totally bounded uniformity and certain filters

Conjecture For every totally bounded uniform space $(U;F)$ and filters $\mathcal{X}$, $\mathcal{Y}$ on $U$ such that $$\forall E\in F,X\in\mathcal{X},Y\in\mathcal{Y}:(X\times Y)\cap E\ne\emptyset,$$ ...
2
votes
0answers
121 views

hyperspace of a complete uniform space need not be complete

I want to know the counter example for: Hyperspace of an arbitrary complete uniform space need not be complete. The hyperspace of a uniform space $(X,\mathscr D)$ is obtained by forming the set ...
2
votes
0answers
73 views

Weaker Than The Weak Topology?

The weak topology on a Banach Space $E$ is defined to have sub-base consisting of open balls of the form $B_\alpha(x,r) = \lbrace y \in E \colon \vert \alpha(x-y) \vert < r\rbrace $ for each $x \in ...
2
votes
0answers
40 views

Terminology for some special sets

The following predicates are used in the definition of total boundness of uniform spaces: a space is bounded if the predicate holds for every entourage, specifically for the first predicate (the ...
2
votes
0answers
165 views

On the Compact Uniformization Theorem

I just read through a proof of the Compact Uniformization Theorem, and I follow it up to the very last line. The proof is: Compact Uniformization Threorem. If $X$ is a compact regular space, then the ...
1
vote
0answers
33 views

Completeness and being totally bounded

Are completeness and being totally bounded somehow related with each other for uniform spaces?
1
vote
0answers
60 views

Pointfree generalization of uniform spaces?

Topological spaces generalize as frames and locales. But are there a pointfree generalization of uniform spaces?
1
vote
0answers
65 views

Uniform covers and partitions of unity

A cover $\mathcal C$ of a uniform space $(X,\mathcal U)$ is called a uniform cover if there is $U\in \mathcal U$ such that the cover $\{U(x):x\in X\}$ refines $\mathcal C$. Is it true that to every ...
0
votes
0answers
36 views

A relation between certain families of filters and filters on a cartesian product of sets

(By filters, I will mean all filters on a set, including the improper filter.) The product $\mathcal{A}\times\mathcal{B}$ of two filters is the filter defined by the base $\{ A\times B \,|\, ...
0
votes
0answers
71 views

Totally bounded uniform spaces vs proximity spaces (need proof)

nLab says "The category of totally bounded uniform spaces and uniformly continuous functions is equivalent to the category of proximity spaces and proximally continuous functions". How to prove this? ...
0
votes
0answers
21 views

Cauchy filters defined for proximity spaces?

I define in my draft article Cauchy filters $\mathcal{X}$ on a uniform space $\nu$ by the formula: $$\mathcal{X}\ne\bot \wedge \mathcal{X}\times^{\mathsf{RLD}}\mathcal{X}\sqsubseteq\nu.$$ ...
0
votes
0answers
19 views

Minimal Cauchy filters in Cauchy spaces

It is well known that "every Cauchy filter contains a unique minimal Cauchy filter" (Wikipedia) for both metric spaces and uniform spaces (see also this question and answer). Does this theorem ...
0
votes
0answers
22 views

Topology generated by a uniformity

Let $\mathfrak{X}$ be the complete lattice of all filters (including the improper filter) on $U\times U$ (for some set $U$), with the order being the set inclusion of the filters. Consider the ...
0
votes
0answers
26 views

Closure operation in a uniform topology.

The closure operation in the uniform topology is $$\overline{A} = \bigcap_{E \in \mathcal{U}} E \cdot A$$ where $E \cdot A$ is the set of all $E$-left-relatives of $A$. I cannot seem to prove that ...
0
votes
0answers
31 views

Alternate boundness of uniform space

Total boundness of uniform spaces is well known. See for example http://en.wikipedia.org/wiki/Totally_bounded_space In this question: A criterion of total boundness of a uniform space I have ...