In the mathematical field of topology, a uniform space is a set with a uniform structure. (Def: http://en.m.wikipedia.org/wiki/Uniform_space)

learn more… | top users | synonyms

14
votes
1answer
197 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 ...
13
votes
1answer
272 views

Is $\operatorname{Homeo}([0,1])$ Weil-Complete?

After learning about uniformities on topological groups, we were given several sources to read. I came across the term "Weil-complete." A topological group is Weil-complete if it is complete with ...
12
votes
1answer
320 views

Is there a topological group that is connected but not path-connected?

Is there a $\big($T$_0$$\hspace{-0.02 in}\big)$ topological group that is connected but not path-connected? If yes: $\quad$ Can it be complete? $\:$ (with respect to the two-sided uniform structure) ...
10
votes
2answers
472 views

Topological groups are completely regular

I am studying topological groups, and I have been able to do quite a lot on my own by proving the propositions in this link on my own, but when I read up wikipedia that topological groups are all ...
9
votes
1answer
289 views

Question(s) about uniform spaces.

I was reviewing questions and notes related to uniform spaces and came across this interesting statement: Every metric space is homeomorphic, as a topological space, to a complete uniform space. It ...
7
votes
1answer
285 views

When is a uniform space complete

From Wikipedia: a uniform space is called complete if every Cauchy filter converges. I was wondering if the following three are equivalent in a uniform space: every Cauchy filter converges, ...
7
votes
1answer
201 views

non-symmetric version of compact = totally bounded + complete

It is well-known that a metric space is compact iff it is totally bounded and complete. More generally, it is well-known that a uniform space is compact iff it is totally bounded and complete. Is ...
7
votes
1answer
106 views

Separation axioms in uniform spaces

I have some problems understanding the proof of the following lemma: Lemma: Let $x \in X, \ \ \ U, W \in \mathcal{U}, \ \ \ \mathcal{T(U)}$ is the topology on $X$. If there exists $V \in \mathcal{U}$ ...
6
votes
1answer
285 views

non-hausdorff completion of a uniform space.

Let $(X,\mathcal U)$ be a Hausdorff uniform space. Can $(X,\mathcal U)$ have a non-hausdorff completion?
6
votes
1answer
484 views

Compactly supported continuous function is uniformly continuous.

What is the most general space where compactly supported continuous functions are uniformly continuous? I managed to prove this for metric spaces but I am interested if it also holds in more general ...
5
votes
2answers
103 views

Is this a criterion for continuity?

Given a topological space $(X,\tau)$ and the product space $(X^2,\tau_2)$. Define the diagonal $\Delta X^2=\{(x,x)\,|\,x\in X\}$ and a set $\mathbf S_\tau=\{\mathcal A\in\tau_2|\Delta ...
5
votes
1answer
333 views

$G$ is locally compact semitopological group. There exists a neighborhood $U$ of $1$ such that $\overline{UU}$ is compact.

Let $G$ be a group and $\mathcal T$ be a locally compact topology on $G$ such that for any $a\in G$ the functions $x \mapsto ax$ and $x\mapsto xa$ are continuous on $G$. How to prove elementarily ...
5
votes
1answer
243 views

Relating volume elements and metrics. Does a volume element + uniform structure induce a metric?

AFAIK a metric uniquely determines the volume element up to to sign since the volume element since a metric will determine the length of supplied vectors and angle between them, but I do not see a way ...
5
votes
1answer
460 views

Is $\overline{D}\subseteq D\circ D$ in a uniform space?

Suppose $(X,\mathcal{D})$ is a uniform space and $D\in\mathcal{D}$. Is it true that $$\overline{D}\subseteq D\circ D,$$? here we use the product topology to define $\overline{D}$.
5
votes
1answer
165 views

Generalization of inner product spaces (analogue to uniform spaces/locally convex spaces)

In the following I am going to devise a chart of topological spaces that contains inner product spaces, normed vector spaces, metric spaces and other related spaces. In the end there will be a gap in ...
4
votes
2answers
100 views

“Uniform groups” (similar to topological groups)?

Why have I heard about topological groups, but nothing about "uniform groups" (uniform spaces endowed with a group)?
4
votes
2answers
408 views

Spaces with the property: Uniformly continuous equals continuous

I found a nice book about functional analysis with a nice theorem in it: Continuity at 0 is equal to Lipschitz continuous for linear maps in normed spaces. This fact inspires me to ask: Are there ...
4
votes
1answer
262 views

Is a quotient of a complete group always complete?

Let $\: \langle G,\cdot,\mathcal{T}\hspace{0.01 in} \rangle \:$ be a $\big($$\text{T}_0$$\big)$ topological group. $\;\;$ Let $H$ be a closed normal subgroup of $G$. Set $\;\; \mathbf{G} \: = \: ...
4
votes
1answer
46 views

Analog of an open map for uniform structures

In topology, a function is continuous if the inverse image of an open set is open. A function is open if the image of an open set is open. Uniformity continuity can be defined in a similar way as ...
4
votes
1answer
78 views

Is a minimal Hausdorff uniformity compact?

Let $(X,\mathcal D)$ be a Hausdorff uniform space and for each Hausdorff uniformity $\mathcal U$ on $X$, $$\mathcal U \subseteq\mathcal D\to \mathcal U =\mathcal D$$ Is $(X,\mathcal D)$ compact?
4
votes
1answer
98 views

Showing a uniformity is complete.

I've seen in various textbooks and notes that if $X$ is paracompact, then the collection of all the neighborhoods of the diagonal is a uniformity. I am trying to show that this uniformity is complete ...
4
votes
1answer
68 views

If $\mathcal{B}$ in $X$ converges to $x$, it accumulates at $x$ and if $X$ is Hausdorff, $x$ is a unique point of accumulation.

Essentially I need feedback, mostly on writing style and accuracy and tightness of arguments. Suppose $\mathcal{B}$ converges to $x$. For every open neighbourhood $U(x)$ of $x$ in $X$ there exists ...
4
votes
1answer
165 views

Start with a topological group, take the meet of the two uniformities, and take the topology. Is the result again a topological group?

And what else can be said, if so? In more detail: Say $(G,\mathscr{T})$ is a topological group. It has a left uniformity $\mathscr{L}$ and a right uniformity $\mathscr{R}$. (It also has a two-sided ...
4
votes
1answer
154 views

Why are locally compact groups Weil complete?

Why are locally compact groups Weil complete? Note: A topological group $G$ is Weil complete if every left Cauchy net in $G$ is convergent. Thank you, and sorry if I have bad writing.
4
votes
1answer
225 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 ...
3
votes
2answers
220 views

Definitions and coincidences of the topology of pointwise convergence and the uniformity of uniform convergence

I was wondering how "the topology of pointwise convergence" is defined on $Y^X$ where $X$ is a set and $Y$ is a topological space? Are there more than one topologies that can topologize pointwise ...
3
votes
2answers
264 views

Dieudonné complete and topologically complete are equivalent for every space $X$.

How can we show that: For every topological space $X$ the following conditions are equivalent: A space $X$ is topologically complete if $X$ is homeomorphic to a closed subspace of a product ...
3
votes
2answers
170 views

Is a compact Hausdorff uniform space fine?

Let $\mathcal D_1$ and $\mathcal D_2$ be two uniformities on $X$ which produce the same topologies on $X$ (say $\mathcal T= \mathcal T _{\mathcal D_1}=\mathcal T _{\mathcal D_2}$). If $(X,\mathcal ...
3
votes
1answer
98 views

What are interesting properties of totally bounded uniform spaces?

I work on reloids, a generalization of uniform spaces. As such I am interested about properties of totally bounded uniform spaces. My question: What are interesting properties of totally bounded ...
3
votes
1answer
155 views

Is every $T_4$ topological space divisible?

A topological space $(X,\mathcal T)$ is said to be divisible iff for each neighborhood $U$ of the diagonal $\Delta=\{(x,x)\mid x\in X\}$ in $X\times X$, there is a symmetric neighborhood $V$ of the ...
3
votes
1answer
35 views

Uniform structure induced by a mapping from its codomain to its domain?

Suppose $X$ is a set and $Y$ is a uniform space with uniform structure $M$. Given a mapping $f: X \to Y$, I was wondering if $f$ can induce a uniform structure on $X$ from the uniform structure $M$ ...
3
votes
1answer
1k views

Open sets in uniform and box topology

Let $\mathbb{R}^{\omega}$ denote the product of countably-many copies of $\mathbb{R}$. Let $\bar{d}$ be the following metric on $\mathbb{R}$: $$\bar{d}(x,y)=\inf\{|x-y|,1\}$$ The uniform metric on ...
3
votes
1answer
54 views

lemma about uniform topology

It's my first post on this site, so please forgive me for all mistakes I've made during writing it. I can't understand the proof of this lemma: Let $( X,\mathcal U )$ be an uniform space, $x\in X$ ...
3
votes
1answer
307 views

Equivalent definitions of complete uniform space

A uniform space $(X,\mathcal{U})$ is called complete if every Cauchy filter converges. In this page, Brian M.Scott says that, In a uniform space every Cauchy filter converges iff every Cauchy ...
3
votes
0answers
66 views

When does pointwise convergence on compact space imply uniform convergence?

I just wondered whether there is a more general theorem behind claims like 'if a sequence of equicontinuos functions $f_i:[a,b]\rightarrow{\bf R}$ converges pointwise to a continuous function $f$ then ...
3
votes
0answers
52 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
70 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
1answer
67 views

What makes metric spaces special?

This is not a question about what is special about a metric space in itself; instead, I'm wondering what sets metric spaces apart from uniform spaces? An explanation is in order. As a parallel, when ...
2
votes
1answer
21 views

Different uniform spaces having the same set of Cauchy filters

I want to understand how Cauchy space is different than uniform space. For this I need an example: An example of two different uniform spaces having for both of them the same set of Cauchy filters?
2
votes
1answer
45 views

Total order and its order topology

I noticed that the natural order of the Reals alone, being complete ( satisfying LUB ) , is able to prove that the induced order topology is complete ( every cauchy sequence converges ). We are ...
2
votes
1answer
137 views

Completion of a linear order that is a dense subspace of a compact space.

Suppose $D$ is a linearly ordered space which is densely embedded in a compact Hausdorff space $K$. What can we say about the relation between $K$ and $\overline D$, the completion of $D$. Is one a ...
2
votes
2answers
119 views

continuous images of Cauchy sequences in topological groups

on page 102 of Atiyah and MacDonald's "Introduction to Commutative Algebra", they state that if $G$ and $H$ are abelian topological groups and $f$ is a continuous homomorphism from $G$ to $H$, then ...
2
votes
1answer
58 views

Counterexample for an Alternate Definition for Uniform Spaces.

Let $\mathcal{D}$ be a filter on $X^2$ such that: $(\forall D\in\mathcal{D})(\Delta(X)\subseteq D)$. $(\forall D\in\mathcal{D})(D\circ D\in \mathcal{D})$. $(\forall D\in\mathcal{D})(D^{-1}\in ...
2
votes
1answer
47 views

Comparing the Samuel and Stone-Čech compactifications of a Hausdorff topological group

Let $G$ be an Hausdorff topological group and let $\beta G$ be the Stone-Čech compactification of $G$. Now, $G$ is also a uniform space with respect to the so-called right uniformity. Let $S(G)$ be ...
2
votes
1answer
71 views

The topology defined by the family of pseudo-distances.

A pseudometric (aka. pseudo-distance) is a metric except that maybe $x \neq y$ but $d(x,y) = 0$. Consider a family $(d_a)_{a \in A}$ of pseudometrics on a set $E$. For each $x \in E$ and each finite ...
2
votes
1answer
45 views

$C$-embedding in uniform spaces

Every Hausdorff uniform space $X$ has a Hausdorff completion $C_X$. Is it true that $X$ is $C$-embedded in $C_X$? How about the completion with respect to its finest uniformity $\mu_X$?
2
votes
0answers
158 views

A new proof of Tychonoff's theorem from the subbase theorem for total boundedness

The uniform space analogue of Alexander's subbase lemma on compact subbase is (As we know, Alexander subbase lemma can be used to prove Tychonoff's theorem) : Theorem: Let $(X,\mathcal{U})$ be a ...
2
votes
0answers
141 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
118 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
1answer
81 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. ...