Skip to main content

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
0 answers
16 views

Redundancy in the definition of uniform spaces

Let me paraphrase Wikipedia's definition of uniform spaces: Definition A. A set $X$ endowed with a nonempty collection $\Phi$ of subsets of $X \times X$ is a uniform space if the following conditions ...
Dannyu NDos's user avatar
  • 2,049
3 votes
0 answers
45 views

In a connected compact Hausdorff space two disjoint non-empty closed sets are "joined" by a connected set

This is Exercise 16 of §4 of Chapter 2 of Bourbaki's General Topology. The proof sketched in the hints is quite involved and I can't manage to fill in the details. It's also hard to explain where I'm ...
Stefan's user avatar
  • 6,535
1 vote
0 answers
76 views

Conditions so that every compact subset of the image is the image of a compact subset of the domain

Question. Let $X$ be a uniform space, and $Y$ Hausdorff uniform, both complete. Then, for a continuous surjection $f: X\to Y$, under what conditions can we claim: for every compact set $K\subset Y$, ...
user760's user avatar
  • 1,670
0 votes
2 answers
63 views

Total boundness & precompactness on Metric Space

Hi i'm studying an introduction course to Functional Analysis and i'm little confusing about the relation between the Total Boundness and Precompactness of space on world of Metric Spaces For clarity ...
Manuel Bonanno's user avatar
2 votes
1 answer
37 views

Proof that the initial uniformity induced by totally bounded spaces is totally bounded

Bourbaki proves this claim in General Topology, chapter II, §4.2, Proposition 3, using the Hausdorff completion. It is however possible to give an "elementary" proof in the case of products (...
Danny's user avatar
  • 636
0 votes
0 answers
73 views

What is the universal/fine uniformity on a topological group?

I'm aware that every topological group is uniformizable: given a neighborhood $U\in\mathcal N(e)$ of the identity, the set $D_U=\{\langle x,y\rangle:x^{-1}y\in U\text{ and }xy^{-1}\in U\}$ is an ...
Steven Clontz's user avatar
2 votes
0 answers
69 views

I.M.James' proof of "uniformizable spaces are completely regular"

In I.M. James' Topological and uniform spaces, the proof for the second half of Proposition 11.5, on p.143, makes me confused. There, he proves a unformizable space is completely regular. The outline ...
user760's user avatar
  • 1,670
2 votes
1 answer
90 views

What properties of metric spaces are not preserved by uniformly continuous isomorphism?

Compactness and connectedness are preserved by homeomorphism, in the sense that if two metric spaces $(X,d_X)$ and $(Y,d_Y)$ are homeomorphic and $(X,d_X)$ is compact then it follows that $(Y,d_Y)$ is ...
Gimmel_007's user avatar
1 vote
1 answer
225 views

How can we define the supremum norm on the space of continuous functions if they're not necessarily bounded?

I frequently see the uniform norm described as a norm on the space of continuous functions $C(Y, X)$ where $Y$ is a topological space and $X$ is a metric space, especially in the context of the ...
ajax2112's user avatar
  • 257
2 votes
1 answer
44 views

Can all the entourages of a uniform structure be transitive?

A uniform structure $\Phi$ on a set $X$ is a collection of relations that satisfy some special properties. In general, all relations must be reflexive. For metric spaces all the relations are ...
Bumblebee's user avatar
  • 18.4k
2 votes
0 answers
135 views

Is a filter generated by a Dedekind cut a minimal Cauchy filter and vice versa?

I'm reading The Reals as Rational Cauchy filter by I. Weiss and I am trying to establish a connection between Dedekind reals and Bourbaki reals. I'm working with this definition of a Dedekind real a.k....
A Dz's user avatar
  • 159
0 votes
2 answers
126 views

Does every net has a convergent subnet in a compact uniform space?

We know that Result 1: In a metric space compactness implies sequential compactness, that is, if $(X,d)$ is a compact metric space then every sequence $\{x_n\}$ in $X$ has a convergent subsequence. In ...
My Math's user avatar
  • 35
1 vote
0 answers
31 views

Contraction principle type theorems for uniform spaces

I was recently wondering whether there are conraction principle like theorems for uniform spaces but which are not metric spaces. The theorem relies heavily on the notion of completeness, which exists ...
Keen-ameteur's user avatar
  • 7,770
0 votes
1 answer
37 views

Certain properties of uniform structure

I am trying to read about unifrom spaces from Introduction to Uniform Spaces, and I was wondering about some basic facts which I wasn't able to find there. Let $(X,\mathcal{E})$ be a uniform space. ...
Keen-ameteur's user avatar
  • 7,770
2 votes
1 answer
29 views

Entourage asymmetry and Cauchy nets: $x_a$ is $V$-close to $x_b$ does not imply $x_b$ is $V$-close to $x_a$

I have a few quibbles about the nature of the ordering $(a,b)$ versus $(b,a)$ when it comes to membership of an entourage in a uniform space. The Wikipedia article on uniform spaces nowhere asserts ...
FShrike's user avatar
  • 42.6k
3 votes
0 answers
123 views

Quibble with proofs of the compact-open topology being equivalent to the uniform convergence topology: what happens if $f(x)$ is an isolated point?

Let $X$ be a topological space and $Y$ a uniform space. I would like to understand the proof that, if one endows $Y^X$ with the compact-open topology, if $f_n\to f\in Y^X$ under this topology then $...
FShrike's user avatar
  • 42.6k
3 votes
0 answers
91 views

What are uniform spaces actually useful for?

I've used to study about uniform spaces from the book of J. R. Isbell named simply "Uniform Spaces". Isbell defines them using something called uniform covers (confusingly calling them ...
Jakobian's user avatar
  • 10.5k
0 votes
0 answers
13 views

Proximity to an arbitrary family and compact space

https://en.wikipedia.org/wiki/Proximity_space If we know that $A$ is not proximity to $A_\lambda$, $\forall\lambda\in\Lambda$. Is it necessarily true that $A$ is not proximity to $\cup_{\lambda\in\...
gbd's user avatar
  • 2,013
0 votes
1 answer
80 views

Neighborhood base generated by uniformity

In Topology for analysis by A. Wilansky the theorem 11.1.2 states: Let $(X,\mathcal{U})$ be a uniform space, let $\mathcal{B}$ be [uniformity] base for $\mathcal{U}$ and let $x \in X$. Then $\{U(x) :...
Nik Bren's user avatar
  • 1,879
1 vote
0 answers
294 views

Intuition for a uniform space?

Uniform spaces are topological spaces with additional structure that is used to define uniform properties such as completeness, uniform continuity and uniform convergence. According to Wikipedia, ...
Tereza Tizkova's user avatar
1 vote
0 answers
64 views

Necessary and suficient condition for a uniform space to be complete

I am trying to learn a bit about linear topological rings and modules. In doing that, I have stumbled upon some questions about uniform spaces and I am struggling to find references. My main is ...
3 A's's user avatar
  • 416
1 vote
2 answers
104 views

How to prove that there is an entourage $V$ such that $V(B) \cap A = \emptyset$ in a uniform space when A is compact and B is closed?

I am studying Michael's article "Topologies on Spaces of Subsets" and I just can't figure out the proof of lemma 2.2.2' below I have already proven that if $[X,U]$ is $T_1$ (which we are ...
Bryant's user avatar
  • 177
0 votes
1 answer
54 views

Where can I find more insight about spaces of subsets of a base space?

I've been studying Michael's article "Topologies on spaces of subsets" and he states some propositions and lemmas without proving, asserting that they follow directly from the definitions ...
Bryant's user avatar
  • 177
0 votes
0 answers
44 views

How to prove in metric space that classical definition of the Cauchy sequence coincides with the entourage definition of the Cauchy sequence?

Let $\{a_n\}$ denote sequence in metric space X. We have well known classical definition of Cauchy sequence: $ \forall_{\epsilon>0}\exists_N\forall_{n,m>N}d(a_n,a_m)<\epsilon $ We have also ...
user121882's user avatar
1 vote
1 answer
302 views

Why are uniform spaces defined the way they are? What is uniformity saying intuitively?

I have recently learned about uniform spaces. My intuition is that uniformity is about notion of closeness (points can be quite close, or very close, or very very close.. to each other). However, I ...
Tereza Tizkova's user avatar
4 votes
1 answer
161 views

Motivation and references for 'the topology of uniform convergence'

I'm a graduate student working on $\textbf{algebraic number theory}$. While reading papers, I have seen authors mentioning that the group of characters is equipped with the topology of uniform ...
gualterio's user avatar
  • 183
0 votes
1 answer
44 views

Different definitions of quotient maps for uniform spaces 2

Here I asked a question about $3$ definitions of quotients for uniform spaces being equivalent (uniform space here, is a Hausdorff space together with uniform covers - those can be found on wikipedia)....
Jakobian's user avatar
  • 10.5k
1 vote
1 answer
53 views

Different definitions of quotient maps for uniform spaces

I have the following $3$ definitions of a quotient map of uniform spaces: A surjective morphism $q:X\to Q$ such that if $q = g\circ f$ where $g, f$ are morphisms and $g$ is a bijection then $g$ is an ...
Jakobian's user avatar
  • 10.5k
0 votes
0 answers
15 views

Proof that a certain space equipped with preuniformity is a uniform space.

I'm using the uniform cover definition of a uniform space. Let $f:(X, \mu)\to (Y, \nu)$ be a surjective map such that $(X, \mu)$ is a uniform space and $\nu$ is a largest preuniformity on $Y$ such ...
Jakobian's user avatar
  • 10.5k
2 votes
0 answers
66 views

Non-trivial metric space $X$ with all of $C(X)$ uniformly continuous.

Is there a metric space $X$ such that any $f\in C(X)$ is uniformly continuous, but there is a metric space $Y$ and $g:X\to Y$ which is continuous but not uniformly continuous? If $X$ is compact or ...
Jakobian's user avatar
  • 10.5k
0 votes
0 answers
34 views

Existence of smallest preuniformity containing a given cover.

Let $X$ be a set and $\mathcal{U}$ a cover of this set. A preuniformity $\mu$ on $X$ is a family of covers with the following conditions satisfied: $\{X\}\in \mu$ Any cover in $\mu$ has a star-...
Jakobian's user avatar
  • 10.5k
4 votes
0 answers
55 views

If the eigenfunctions of $T_{\phi}f:=f\circ\phi$ span $C(X)$, then $\overline{\{\phi^{n}:n\in\mathbb{Z}\}}^{\text{unif}}$ is compact

Let $X$ be a compact Hausdorff space. We endow $C(X,X)$ with the topology of uniform convergence. Let $\phi\colon X\to X$ be a homeomorphism and consider the linear isomorphism $T_{\phi}\colon C(X)\to ...
Calculix's user avatar
  • 3,366
-2 votes
1 answer
173 views

Hausdorff space which is not Urysohn space.

Let $X=\mathbb{R}\cup \{\infty\}$ and for every $p\in \mathbb{R}-\{0\}$, $p$ has the usual neighborhoods in $\mathbb{R}-\{0\}$. Basic neighborhoods of $0$ is the sets of the form $\{[0, \frac{1}{n}):n\...
user479859's user avatar
  • 1,297
1 vote
1 answer
54 views

Topology of uniform convergence of functions $X\to X$?

Suppose that $X$ is a compact Hausdorff space and that $\phi\colon X\to X$ is a homeomorphism. What does it mean to take the closure of $\{\phi^{k}:k\in\mathbb{Z}\}$ with respect to the topology of ...
Calculix's user avatar
  • 3,366
0 votes
1 answer
63 views

Uniform Structure on the Space of Subsets (Hyperspaces)

I'm studying the article "Topology on Spaces of Subsets" by Ernest Michael but I can't understand how he defines the uniform structure on on the space of non-empty closed subsets (a ...
Bryant's user avatar
  • 177
0 votes
0 answers
48 views

What is a good book for uniform spaces using pseudometrics definition?

I want to learn uniform spaces. I like pseudometrics definition. Is there a book on uniform spaces using pseudometrics definition? The famous the better. I know most of the core subjects in ...
zxcv's user avatar
  • 1,499
1 vote
0 answers
21 views

For entourage $U$ and continuous map $t:X\to X$, is there an entourage $V$ with $t^{-1}V[x]\subseteq U[x]$?

Let $(X, \mathcal{U})$ be a uniform space, $T$ be a topological semigroup and $(T, X)$ be a semiflow. This means that $t:X\to X$ is continuous and $(t_0t_1)(x)=t_0(t_1x)$ and if $e\in T$, then $ex=x$. ...
user479859's user avatar
  • 1,297
5 votes
1 answer
141 views

A property of compact metric spaces

I would like to know if the following property could hold. Let $(X,d)$ be a compact metric space. Then for every $\epsilon >0$ there exists some $\delta >0$ and some continuous function $F:X\...
Sqrt's user avatar
  • 207
0 votes
1 answer
32 views

Does normal space guarantees existence of normal cover

Let $X$ be a topological space and $\mathcal{U}$ be an open cover of $X$. Define $st(M)=\{ U\in\mathcal{U}\vert M\cap U \neq \emptyset \}$ where $M$ is an arbitrary subset of $X$. A cover $\mathcal{V}$...
Emo's user avatar
  • 3,476
0 votes
1 answer
124 views

Alternative characterisation of weakly complete Banach spaces

Let $V$ be a topological vector space over some locally compact field $\Bbb K$. Let $V'$ denote all continuous functionals on $V$, the weak topology is defined to be the coarsest topology on $V$ ...
s.harp's user avatar
  • 22k
1 vote
0 answers
224 views

Topology of local uniform convergence

Let X be a topological space and Y a uniform space. Does there exist a topology of local uniform convergence on $Y^X$?
donhansis's user avatar
  • 125
0 votes
1 answer
397 views

Equivalence of metric

Definition 1. Two metrics $d_{1}$, $d_{2}$ on a set $X$ are equivalent, if there exist two positive numbers $c$, $c'\in\mathbb{R}_{> 0}$, such that if $x$, $y\in X$ then$$ c d_{2}(x, y)\leq d_{1}(...
K. Y.'s user avatar
  • 171
0 votes
1 answer
33 views

Relation between entourages and finite open covers of compact Hausdorff spaces

Let $X$ be a compact Hausdorff space and $\mathcal{V}$ be a finite open cover of $X$. Since $X$ is a compact Hausdorff space, hence it has a uniformity $\mathcal{U}$. Is there an entourage $D$ in ...
user479859's user avatar
  • 1,297
0 votes
1 answer
71 views

Definitions of uniform space

Let $X$ be a topological space. The collection $\mathcal{A}=\{U_\lambda(x)\}_{\lambda\in \Lambda, x\in X}$, with $U_\lambda(x)\subseteq X$, is called a uniform structure of $X$ if If $x\in X$ and $\...
user479859's user avatar
  • 1,297
6 votes
1 answer
264 views

What happened to bornological/uniform spaces?

When reading older papers, I often see references to bornological or uniform spaces, which encode the notions of "boundedness" or "uniformness". In this way, they seem to sit ...
Chris Grossack's user avatar
0 votes
1 answer
28 views

A question about normal space and uniform space

Let $X$ be a compact and Hausdorff space. Hence there is a uniformity $\mathcal{U}$ on $X$, also $X$ is normal space i.e. for every point $x\in X$ and every closed set $A\subseteq X$ there exist open ...
user479859's user avatar
  • 1,297
0 votes
1 answer
194 views

Intersection of nested open sets in compact Hausdorff space

Let $U$ be an open subset of compact Hausdorff space $X$. Choose a non-empty subset $U_1$ in $X$ with $\overline{U}_1\subseteq U$. Repeating this construction without end, we can then find a sequence ...
user479859's user avatar
  • 1,297
3 votes
1 answer
367 views

Is every zero-dimensional metrisable space ultrametrisable?

Let us recall a few definitions. A topological space is metrisable if it is homeomorphic to a metric space. ultrametrisable if it is homeomorphic to an ultrametric space. zero-dimensional if every ...
J.-E. Pin's user avatar
  • 40.7k
0 votes
0 answers
49 views

Understanding mapping from space of uniformly spaced points to non-uniformly spaced points

Given two spaces $X$ and $Y$ with uniformly spaced coordinate system, I can produce a mapping where the new coordinates are non-uniformly spaced. As a simple example, let $X$ = sin($\pi$x) = $Y$, and $...
ees's user avatar
  • 103
0 votes
1 answer
54 views

Uniform spaces, Dugundji chapter 9, section 11

I think I'm encountering a lot of errors in the section of Dugundji about uniform spaces. Let me write out my concerns. We now use a uniformity to derive a topology. Any uniformity $\mathscr{F}$ in $...
Jakobian's user avatar
  • 10.5k

1
2 3 4 5 6