Tagged Questions

Metric spaces are sets on which a metric is defined. A metric is a generalisation of the concept of "distance". Metric spaces should not be confused with topological spaces.

4k views

Does there exist a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?

Let $(X,\tau), (Y,\sigma)$ be two topological spaces. We say that a map $f: \mathcal{P}(X)\to \mathcal{P}(Y)$ between their power sets is connected if for every $S\subset X$ connected, $f(S)\subset Y$ ...
1k views

Is there a categorical definition of submetry?

(Updated to include effective epimorphism.) This question is prompted by the recent discussion of why analysts don't use category theory. It demonstrates what happens when an analyst tries to use ...
265 views

111 views

Contracting subsets

Let $X$ be a (locally finite) metric graph (all of whose edges are length 1). A subset $A \subset X$ is contracting if there exists a constant $C \geq 0$ such that the nearest point projection on $A$ ...
169 views

Uniform Spaces: Completeness

Attention This thread has been generalized to uniform spaces as general metric spaces. Context The context was the equivalence: $$K\text{ compact}\iff K\text{ totally bounded, complete}$$ That is a ...
102 views

When is an Open Set Homeomorphic to the Interior of its Closure?

Let $X$ be a topological space and $U \subseteq X$ open. Then $U \subseteq \operatorname{int}(\operatorname{cl}(U))$. I am looking for known assumptions on $X$ and $U$ such that one of the following ...
57 views

Non empty set with zero diameter

Let $A \subset X$ where $X$ is a metric space. by definition diam$(A) = \sup\{ d(x,y), x,y \in A\}$. if $A$ is non empty and has zero diameter, can I conclude that $A$ is a singleton? i reason as ...
168 views

170 views

666 views

2k views

Prove that every compact metric space $K$ has a countable base, and that $K$ is therefore separable.

Prove that every compact metric space $K$ has a countable base, and that $K$ is therefore separable. How does the following look? Proof: For each $n \in \mathbb{N}$, make an open cover of $K$ by ...
466 views

Dual and completion of metric spaces

Say we have a metric space $(M,d)$, and we want to complete it in the following sense: Definition: A completion of $(M,d)$ is a complete metric space $(\widetilde{M},d')$ together with a Lipschitz ...
62 views

Theorem 3.7 in Baby Rudin: The subsequential limits of a sequence in a metric space form a closed set

Here's Theorem 3.7 in the book Principles of Mathematical Analysis by Walter Rudin, 3rd edition. The subsequential limits of a sequence $(p_n)$ in a metric space $X$ form a closed subset of $X$. ...
59 views

Can every compact subset of $\Bbb R^n$ be written as a disjoint union of compact subsets, where each of them are path-connected?

I was wondering if every compact subset of $\Bbb R^n$ could be written as a disjoint union of compact subsets, where each of them are path-connected, i.e. : If $X \subset \Bbb R^n$, $n \ge 1$, $X$ is ...
32 views

A specific embedding of semisphere on $R^2$.

I was playing with piece of paper which has the form of semisphere, to be more precise we may assume that it satisfies $x^2+y^2+z^2=1$ for nonnegative $z$. I tried to make it flat without stretching ...
37 views

a weak notion of flow in a metric space

I am seeing the definition of flow in a metric space : $f:M\times \mathbb{R}\rightarrow M$ is one flow if $M$ is metric space, $f$ is continuous and $f(x,t+s)=f(f(x,t),s)$ Note that the condition is ...