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).

1
vote
0answers
26 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
25 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
38 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 ...
0
votes
0answers
42 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
46 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
45 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
36 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
27 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 ...
1
vote
0answers
32 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
30 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
43 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
61 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
20 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
28 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
34 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
35 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
16 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
38 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
34 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
178 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
20 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
49 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
253 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
99 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
97 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
107 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 ...
2
votes
1answer
48 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
81 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
24 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
32 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
12 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
60 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
56 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
67 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
35 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
79 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
62 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\...
0
votes
1answer
47 views

Cauchy nets in products of uniform spaces and their projections

I am stuck trying to prove why a net in a product of uniform spaces is Cauchy if and only if every projection of it is a Cauchy net. I assume, analogously to the fact that continuous uniformity ...
0
votes
1answer
40 views

Normal families of uniform covers

I am taking an undergraduate course in topology and am stuck with trying to prove the following Theorem from Willard: 36.11 Theorem. Every normal family of covers of X is a subbase for some ...
0
votes
1answer
63 views

Passing from a diagonal to a covering uniformity and vice versa

I'm currently doing an undergraduate course on topology and am currently studying uniformities. I suppose this question is very simple but I just am completely stuck. I understand how to, having the ...
0
votes
0answers
12 views

What is the version of generalized homogeneous in case of uniform space?

We say that the space $X$ is generalized homogeneous, if for every $\epsilon>0$ there exists $\delta > 0$ such that if $\{(x_1, y_1),\ldots , (x_n, y_n)\}$ is a finite set of points in $X\times ...
0
votes
0answers
17 views

Let $\mathcal{U}_\pi$ be quotient uniform with respect $\pi:(X,\mathcal{U})\to Y$

It is known that given a uniform space $(X, \mathcal{U})$ and a function $\pi$ from $X$ onto an arbitrary set $Y$, it is possible to define a uniformity on $Y$, in the following way: \begin{equation*} ...