The Stack Overflow podcast is back! Listen to an interview with our new CEO.

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

Filter by
Sorted by
Tagged with
0
votes
1answer
86 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.$$ $\mathcal{...
0
votes
1answer
121 views

Three definition of total boundness (for uniform spaces)

The following are three definitions of a totally bounded uniform spaces on a set $U$: For every entourage $E$ there exists a finite cover $S$ of $U$ such that $\forall A\in S:A\times A\subseteq E$. ...
0
votes
1answer
89 views

The neighbourhood filter of each point is a minimal Cauchy filter

Wikipedia says (for every fixed uniform space) "The neighbourhood filter of each point (the filter consisting of all neighbourhoods of the point) is a minimal Cauchy filter." Please help me to prove ...
0
votes
1answer
98 views

Maximal Cauchy filter

Product of two filters $\mathcal{A}$ and $\mathcal{B}$ is defined as the filter $\mathcal{A}\times\mathcal{B}$ generated by the base $$\{A\times B \,|\, A\in\mathcal{A}, A\in\mathcal{B} \}.$$ I call ...
1
vote
0answers
50 views

Completeness and being totally bounded

Are completeness and being totally bounded somehow related with each other for uniform spaces?
1
vote
1answer
257 views

Bourbaki on the fact that continuous function on a compact is uniformly continuous

I am now looking theorem 2 in paragraph 4.1 of: Bourbaki. "Elements of Mathematics General Topology. Part 1". THEOREM 2. Every continuous mapping $f$ of a compact space $X$ into a uniform space $X'$ ...
2
votes
0answers
205 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 $\...
0
votes
0answers
87 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 $$\...
2
votes
1answer
163 views

Uniformizable space implies T3 space

A topological space $(X, \mathscr{T})$ is uniformizable if there exists a uniform structure on $X$ that induces $\mathscr{T}$. I am trying to prove that every uniformizable space on $X$ is T3. To do ...
1
vote
1answer
86 views

Weight of a uniformity and topological cardinal invariants

A family $\mathcal B\subset\mathcal U$ is called a base for the uniformity $\mathcal U$ if for every $V\in\mathcal U$ there exists a $W\in\mathcal B$ such that $W\subset V$. The smallest cardinal ...
3
votes
1answer
73 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
340 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 : \vert \alpha(x-y) \vert < r\rbrace $ for each $x \in E$ ...
1
vote
2answers
557 views

Can I Have Some More Examples Of Uniform Spaces Please?

I have been reading about uniform spaces and topological groups. There does not look to be a lot of literature on the topic, much less accesible literature, and the books that I have been reading do ...
4
votes
2answers
216 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)?
3
votes
1answer
249 views

Neighborhood of diagonal

Consider a uniform space $X$ (with induced topology). What of the following can be a subset of the other? Which of the following is always a subset of the other? Neighborhood of the diagonal in the ...
14
votes
1answer
848 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) ...
2
votes
1answer
218 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. ...
7
votes
1answer
140 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}$ ...
5
votes
1answer
468 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 ...
6
votes
2answers
1k 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
241 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
200 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

$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$?
1
vote
1answer
104 views

Question on Cauchy filters

Let $(X,\mathcal{V})$ is a uniform space and $\xi$ is a Cauchy filter on $(X,\mathcal{V})$. $o(\xi)$ is the family of all open subsets of $X$ containing at least one element of $\xi$. what does "...
3
votes
1answer
414 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 net ...
19
votes
1answer
272 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
2answers
950 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 ...
2
votes
1answer
745 views

A uniformly continuous function between totally bounded uniform spaces

Let $X$ and $Y$ is a uniform spaces. Let $f$ is a uniformly continuous surjective function $X\rightarrow Y$. Conjecture: If $X$ is totally bounded then $Y$ is also totally bounded.
2
votes
0answers
52 views

Terminology for some special sets

The following predicates are used in the definition of total boundedness of uniform spaces: a space is bounded if the predicate holds for every entourage, specifically for the first predicate (the ...
1
vote
1answer
115 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
153 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 ...
1
vote
1answer
78 views

A property of uniform spaces

Is it true that $E\circ E\subseteq E$ for every entourage $E$ of every uniform space?
1
vote
1answer
101 views

A criterion of total boundness of a uniform space

Is the following true: Conjecture A uniform space $(U;F)$ is totally bounded iff for every entourage $E$ of this space there exists a finite set $B\subseteq U$ and a natural $n$ such that $E^n[B] = U$...
3
votes
1answer
146 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 ...
1
vote
1answer
844 views

Generating points in rectangle

I am trying to generate $N$ points randomly and uniformly distributed in an $m \times n$ rectangle. How can this be done? I have tried to split the initial rectangle into as many rectangles i could, ...
3
votes
0answers
83 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 explain ...
3
votes
2answers
412 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 of ...
6
votes
1answer
466 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 ...
4
votes
1answer
142 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?
3
votes
1answer
236 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
2answers
292 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 T)$...
6
votes
1answer
542 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 ...
7
votes
1answer
368 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?
1
vote
1answer
33 views

Anti-symmetric property of embedding in topological spaces.

$(X,\mathcal T)$ and $(Y,\mathcal S)$ are topological spaces. $X$ can be embedded homeomorphically in $Y$ and $Y$ can be imbedded homeomorphically in $X$. Are $X$ and $Y$ homeomorphic? How about ...
1
vote
2answers
87 views

Open sets in a topology produced by metrics.

For each $i\in I$, $$d_i:X^2\to \Bbb R$$ is a metric and $\mathcal T$ is the coarsest topology on $X$ containing all topologies produced by the $d_i$ . For $U\subseteq X$ we have: $$\forall x \in U,~\...
5
votes
1answer
2k 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 $\...
4
votes
2answers
478 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
1answer
60 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$ ...
4
votes
1answer
86 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 $...
5
votes
1answer
467 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}$.