Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [uniform-spaces]

In the mathematical field of Topology, a uniform space is a generalization of the concept of metric spaces in which, unlike what happens in general topological spaces, it is possible to compare neighborhoods of distinct points. In uniform spaces, it is possible to define the concepts of uniform continuity, uniform convergence, and of complete space (as in the metric spaces, but unlike what happens in topological spaces in general).

0
votes
0answers
7 views

For entourage $D\in \mathcal{U}$, is there $x_n\in X$ with $\operatorname{Fix}(f)=\bigcup_{n\in\mathbb{N}}D[x_n]\cap\operatorname{Fix}(f)$?

Let $(X, \mathcal{U})$ be a strongly Lindeloff uniform space ( it is complete separable) and $f:X\to X$ be a homeomorphism. A point $x\in X$ is called a fixed point of $f$ if $f(x)=x$. Denote by $Fix(...
0
votes
0answers
19 views

$\Delta_X$ is $\mu$- isolated set

Let $g:X\times X\to X\times X$ be a continuous function and $(X, \mathcal{U})$ be a compact uniform space. Also for entourage $D\in\mathcal{U}$ suppose \begin{equation} \{z\in X\times X: g^n(z)\in D,...
1
vote
0answers
36 views

Proof verification: totally bounded iff every filter has a cauchy superfilter

It would be appreciated if someone could check if these proofs are correct (in Schechter's HAF, the 'only if' direction of the theorem below is essentially left as an exercise with a hint, so I wanted ...
4
votes
1answer
32 views

Question Regarding Proposition 8.1.18 in Engelking

Proposition 8.1.18 in Engelking is stated without proof, and I am having trouble proving the second part of the assertion. It would be greatly appreciated if I received a hint. Note that Engelking ...
1
vote
1answer
73 views

Why coarse maps have to be proper?

A map $f: X \to Y$ between metric spaces is said to be coarse, if the following two conditions hold: $f$ is bornologous, i.e. $$\forall_{R>0} \; \exists_{S>0} \; d(x,y) < R \Rightarrow d(f(...
2
votes
0answers
33 views

Uniquely Promoting a TVS over the Rationals to a TVS over the Reals

I have a Topological Vector Space (TVS) ($I, \oplus , \otimes $) over $ \mathbb Q$ and I want to uniquely extend its scalar multiplication to $ \mathbb R $, so that it is promoted to a TVS over $ \...
1
vote
1answer
31 views

Covering characterization of Metrizability and Paracompactness

I am quite struck by the similarity between covering charachterization of Paracompactness and Metrizability both in the T1 and T3 topologies. In particular in the case of T1 topologies we have the ...
1
vote
1answer
40 views

Every uncountable compact uniform space has a nonatomic measure?

It is known that the class of nonatomic measures on compact metric space without isolated point $X$ is dense in $\mathcal{M}(X)$, where $\mathcal{M}(X)$ is the set of Borel probability measures ...
1
vote
2answers
71 views

Quasi-uniform spaces are not regular in general; where does this argument fail?

It is well known that every topological space is quasi-uniformizable, and every quasi-uniform space $(X, \mathcal U)$ induces a natural topology on $X$. Moreover, if $(X, \mathcal U)$ is a quasi-...
0
votes
2answers
47 views

Question on the Proof to the Pseudometrization Lemma for (Quasi) Uniform Spaces

I am reading the proof to the following theorem from Cobzas "Functional Analysis in Asymmetric Normed Spaces" (this also appears in Kelley's General Topology), and there is a step of the proof I am ...
1
vote
0answers
54 views

Why are uniform spaces important?

Why are uniform spaces important? I've thought of two possible good answers: Topological groups. According to nCat locally compact groups are complete with respect to the left/right uniformity, and ...
1
vote
3answers
38 views

Homeomorphic spaces are uniformly isomorphic

A continuous function $f$ is a homeomorphism if it is bijective, and open. A uniformly continuous function $f$ is a uniform isomorphism if it is bijective and $f^{-1}$ is uniformly continuous. Is ...
0
votes
1answer
30 views

Uniform Isomorphism

I have read somewhere that a function $f:(X,\mathcal{D}(X))\longrightarrow (Y,\mathcal{D}(Y))$ is a uniform isomorphism provided that $f$ and $f^{-1}$ are uniform continuous functions and $f$ is ...
3
votes
1answer
45 views

Question about neighborhood of diagonal of a topological space

Let $X$ be a topological space but it is not uniform space and $U$ be a neighborhood of diagonal $X$, $\Delta_X$. Is there a neighborhood $D(\neq \Delta_X)$ of $\Delta_X$ such that $D\circ D \...
1
vote
1answer
29 views

Let $N$ be neighborhood of diagonal of $X$ $\Delta_X$. Is it true $int(N)\neq \emptyset$? [closed]

Let $X$ be a topological space and $N$ be a neighborhood of the diagonal $X$. Let $\{x_n\}$ and $\{y_n\}$ be in $X$ with $(x_n, y_n)\notin N$. If $x_n\to x$ and $y_n\to y$, is it true that $x\neq y$ ?...
1
vote
0answers
32 views

Hausdorff completion of uniform spaces

I'm working on constructing a completion of uniform spaces. As far as possible I'd like to follow the construction in the case of metric spaces that uses equivalence classes of Cauchy sequences ...
3
votes
1answer
48 views

Are metrics uniformly equivalent if and only if they have the same zero-distance sets?

Let $d_1$ and $d_2$ be two metrics on the same set $X$. Then $d_1$ and $d_2$ are uniformly equivalent if the identity maps $i:(M,d_1)\rightarrow(M,d_2)$ and $i^{-1}:(M,d_2)\rightarrow(M,d_1)$ are ...
4
votes
1answer
65 views

Relation Between Nbhd Base at $e$ and the Uniform Structure on a Topological Group

We have the following theorem (from Husain's Introduction to Topologcal Groups), slightly rephrased: The following are true (apologies for the sloppy formatting): (1) in any topological group $G$, ...
0
votes
0answers
18 views

Is there a proper set in a locally compact, paracompact uniform space?

Let $X$ be a uniform space with uniformity $\mathcal{U}$ and natural topology of it is locally compact and paracompact space. (the natural topology, $\tau_{\mathcal{U}}$, on $X$ is the family of all ...
0
votes
1answer
22 views

Is there an entorage $N\subseteq \{(x, y): d(x, y)<\delta\}$ in an uniformity of locally compact metric space $(X, d)$?

It is known that if $\mathcal{U}$ be a uniformity on $X$, then every entourage $N\in\mathcal{U}$ is an open set of diagonal $\Delta_X$, but the converse of it, is not true. For instance, Consider $...
0
votes
1answer
29 views

Which of the conditions imply that a function is uniformly continuous relative to an uniformity?

Let $(X, \mathcal{U})$ be an uniform space. $f:(X, \mathcal{U})\to (X, \mathcal{U})$ is called uniformly continuous relative to $ \mathcal{U}$, if for every entourage $V\in \mathcal{U}$, $(f\times f)^{...
1
vote
1answer
15 views

Is $\mathcal B_Y=\{B\cap(Y\times Y):B\in\mathcal B\}$ forms a base for $\mathcal U_Y?$

In course of self-studying uniform space I have been stuck in some fundamental question: Let $(X,\mathcal U)$ be a uniform space and $Y\subset X.$ Then $\mathcal U_Y=\{U\cap(Y\times Y):U\in\mathcal U\...
1
vote
1answer
35 views

Induced neighbourhoods in uniform space

I'm largely following Ioan M. James' book for this. Some definitions for a uniform space $X$: For any entourage $U$ of $X$ and any $x \in X$, the neighbourhood induced by $U$ is the set $$ U[x] ...
2
votes
1answer
39 views

Limit point compact uniform space

I'm working on a theorem on compactness for uniform spaces. Here are the definitions I'm using: $X$ is compact if every open cover of $X$ reduces to a finite subcover. $X$ is filter-compact ...
0
votes
2answers
17 views

For every closed neighborhood $\Delta_X\subset D$ , Is there an entourage $U$ with $U\subseteq D$?

Let $(X, \mathcal{U})$ be an uniform space. It is known that every entourage $U\in\mathcal{U}$ is a neighborhood of $\Delta_X$, but the converse is not true, in general. What can say about closed ...
0
votes
1answer
39 views

In discrete topology, every neighborhood of $\Delta_X$ is an entourage?

Let $X=\{x_n\}_{n\in \mathbb{N}}$ where $x_n=\sum_{i=1}^{n}(\frac{1}{i})$ given the metric $d$ inherited from $\mathbb{R}$. Also let $\mathcal{U}(d)$ be uniformity generated by metric $d$. We know ...
1
vote
1answer
35 views

Are uniformly equivalent metrics with the same bounded sets Holder equivalent?

This is a follow-up to my question here.  Let $d_1$ and $d_2$ be two metrics on the same set $X$.  Then $d_1$ and $d_2$ are uniformly equivalent if the identity maps $i:(M,d_1)\rightarrow(M,d_2)$ and $...
7
votes
2answers
180 views

Is a set bounded in every metric for a uniformity bounded in the uniformity?

This is a follow-up to my question here. A subset $A$ of a uniform space is said to be bounded if for each entourage $V$, $A$ is a subset of $V^n[F]$ for some natural number $n$ and some finite set $...
0
votes
1answer
21 views

For closed set $S$ in uniform space $(X, \mathcal{U})$, with $S\subseteq W$, is there $U\in \mathcal{U}$ such that $S\subseteq U[S]\subseteq W$?

Let $(X, \mathcal{U})$ be a compact, Hausdorff uniform space and $S\subseteq X$ be a closed set with $S\subseteq W$, where $W\subseteq X$ is an open set in $X$. Let $U[x]=\{y: (x, y)\in U\}$ ...
0
votes
1answer
54 views

Are uniformly equivalent metrics with the same bounded sets strongly equivalent?

Let $d_1$ and $d_2$ be two metrics on the same set $X$. Then $d_1$ and $d_2$ are uniformly equivalent if the identity maps $i:(M,d_1)\rightarrow(M,d_2)$ and $i^{-1}:(M,d_2)\rightarrow(M,d_1)$ are ...
14
votes
0answers
259 views

What is the structure preserved by strong equivalence of metrics?

Let $d_1$ and $d_2$ be two metrics on the same set $X$. Then $d_1$ and $d_2$ are (topologically) equivalent if the identity maps $i:(M,d_1)\rightarrow(M,d_2)$ and $i^{-1}:(M,d_2)\rightarrow(M,d_1)$ ...
2
votes
2answers
110 views

Do the metrics $d$ and $\frac{d}{1+d}$ induce the same uniformity?

Let $d_1$ and $d_2$ be two metrics on the same set $M$. Then $d_1$ and $d_2$ are called uniformly equivalent if the identity maps $i:(M,d_1)\rightarrow(M,d_2)$ and $i^{-1}:(M,d_2)\rightarrow(M,d_1)$ ...
3
votes
2answers
99 views

Do boundedness in a metric and boundedness in a uniformity not coincide?

A subset $A$ of a uniform space is said to be bounded if for each entourage $V$, $A$ is a subset of $V^n[F]$ for some natural number $n$ and some finite set $F$. A subset of a metric space is said to ...
3
votes
1answer
63 views

Is every uniformizable topology induced by a Heine-Borel uniformity?

This is a follow-up to my question here. A subset $A$ of a uniform space is said to be bounded if for each entourage $V$, $A$ is a subset of $V^n[F]$ for some natural number $n$ and some finite set $...
1
vote
1answer
39 views

Is every uniformity for a metrizable topology metrizable?

Let $X$ be a metrizable topological space, and let $U$ be a uniformity which induces the topology on $X$. My question is, is $U$ necessarily metrizable? That is, is $U$ induced by some metric on $X$?...
1
vote
1answer
108 views

What topological spaces satisfy yet another property involving relatively compact sets?

This is a follow-up to my questions here and here. A subset of a topological space is called relatively compact if its closure is compact. Let's call a sequence $(U_n)$ of open sets a bounding ...
3
votes
1answer
54 views

When is a bornology on a uniformizable space induced by a uniformity?

Let $X$ be a metrizable topological space, and let $B$ be a nontrivial bornology on $X$. Sze-Tsen Hu showed in 1949 that $B$ is the collection of bounded sets with respect to some metric for the ...
5
votes
1answer
84 views

Is the notion of Cauchy sequences definable in a bornological topological space?

Being a Cauchy sequence is not a topological property, i.e. two metrics can induce the same topology and yet a sequence which is Cauchy in one may not be Cauchy in the other. It is a uniform property ...
1
vote
1answer
25 views

Clarifying the definition of Boundedness in Uniform Spaces

This excerpt from a journal paper says if X is a uniform space and $A$ is a subset of $X$, then $A$ is said to be bounded if for each entourage $V$, "there exists a finite set $F$ and a positive ...
0
votes
1answer
36 views

Is it true that every perfect set of a compact Hausdorff space is uncountable?

Let $(X, \mathcal{U})$ be a compact Hausdorff space and it has no isolated point. Let $A\subseteq X$ is a closed and infinite set with no isolated point . Is it true that $A$ is uncountable set? ...
0
votes
0answers
30 views

Is there a $D$- chain between two point of a connected component in an uniform space?

A uniform space $(X, U)$ is said to be uniformly connected if every uniformly continuous map of the space into a discrete space is a constant map also a topological space is connected if and only if ...
1
vote
1answer
13 views

Question on $T_1$-topological spaces with compatible uniformities having countable bases

It is known that A $T_1$-topological space is metrizable $\iff$ it has a compatible uniformity with a countable base. Let $(X,\tau')$ be a $T_1$-topological space and $\mathcal U'$ be a ...
3
votes
1answer
62 views

Are the three notions of compactness equivalent for uniform spaces?

A topological space is compact if every open cover has a finite subcover. A topological space is sequentially compact if every sequence has a convergence subsequence. And a topological space is ...
4
votes
1answer
62 views

When is a topological space uniquely uniformizable?

In general, multiple uniformities can induce a given topology. But if a topological space is a compact Hausdorff space, then there is only one uniformity which induces its topology. The formal way ...
0
votes
2answers
72 views

What is an example of a compact non-uniformizable space?

Every compact Hausdorff space is uniformizable. But I don’t think every compact space is uniformizable. So my question is, what is an example of a compact non-uniformizable space?
0
votes
1answer
38 views

Definition of uniform subspace

I would like some help with the definition of a uniform subspace. The textbook I refer to is Topological and Uniform Spaces by IM James, and he defines the uniform subspace on page 97. Here is his ...
2
votes
2answers
86 views

Examples of Uniform Spaces

Are there any important examples of uniform spaces other than metric spaces and topological groups? Also, what is an example of when the uniform structure of topological groups is used?
3
votes
0answers
68 views

quasi-uniformisation of bitopological spaces

By a well-known result of Pervin every topological space is quasi-uniformisable. Since a quasi-uniformity always induces two topologies, one naturally obtains from a quasi-uniform space a ...
2
votes
2answers
68 views

How to prove the product of totally bounded uniform spaces is totally bounded?

One should note that the family here may not countable. If it is countable, the it is a consequence of the following results; Lemma 1. the product of countable totally bounded metric spaces is ...
-1
votes
1answer
28 views

Let $(X, \mathcal{U})$ be a uniform space and $C\in\mathcal{U}$ be given. Is there a compact set $D\in\mathcal{U}$ such that $D\subseteq C$?

Let $X$ be first countable, locally compact, paracompact, Hausdorff space. We know that $X$ has a uniformity $\mathcal{U}$. Thus $(X, \mathcal{U})$ is a uniform space. Is it true that : For every $E\...