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

41 views

### Closed subsets of empty interior are of 1st category

In a metric space is it true that closed sets with empty interior are of 1st category? I.e., that it can be represented as a at most countable union of meager sets? Thanks
45 views

132 views

### Motivation for separation axioms

I have recently been studying different separation and countability axioms in topology. I am looking for a motivation for why such a refined division of different axioms was made and is studied. I am ...
36 views

### Prove that $\delta$ is a metric in $\mathcal{K}(X)$

Let $(X,d)$ be a complete metric space. We define $\mathcal{K}(X)=\{K \subset X : K \text{ is compact and non empty}\}$ Define $d'(A,B)=sup_{a \in A}\{d(a,B)\}$ Show that $\delta$ ...
54 views

25 views

### Question about disconnected metric spaces

The definition of disconnectedness that I've been taught is that a metric space $(X,d)$ is disconnected if there exists two non-empty disjoint open sets $A$ and $B$ such that $X=A\cup B$. My ...
41 views

### Classification of Proper Maps between domains in $\mathbb{R}^n$

Suppose $f:D_1\to D_2$ is a continuous map between domains in $\mathbb{R}^n$. Show that $f$ is proper iff for every sequence $(x_n)$ in $D_1$ which accumulates only on $\partial D_1\cup\{\infty\}$, ...
66 views

### Show that $F \subseteq X$ is closed iff $F \cap K$ is closed for every compact set $K\subseteq X$

Let $(X,d)$ be a metric space. Show that $F \subseteq X$ is closed iff $F \cap K$ is closed for every compact set $K\subseteq X$. If $F\subseteq X$ is closed then $K\subseteq X$ compact implies $K$ ...
45 views

### p-average compound metric

I'm trying to prove that probability space metric defined as $d(X,Y)=(\mathbb{E}|X-Y|^p)^{1/p}$ is a metric indeed. Literature states that $d(X,Y)=0$ implies $Pr(X=Y)=1$, but no further explanations ...
165 views

### Does every homeomorphism of a compact metric space lift to the Cantor set?

This is a follow-up to this question. It is well-known that any compact metrizable space can be expressed as a quotient of the Cantor set. But can every homeomorphism of such a space be lifted to a ...
40 views

### On a condition when bounded sets in $\mathbb R^n$ is convex ?

Is it true that a bounded set in $\mathbb R^n$ , $n>1$ , is convex iff every straight line through an arbitrary interior point of the set intersects the boundary of the set in exactly two points ? ...
64 views

### Connected-ness of the boundary of convex sets in $\mathbb R^n$ , $n>1$ , under additional assumptions of the convex set being compact or bounded

Is the boundary of every compact convex set in $\mathbb R^n$ , ($n>1$ ) connected ? is it path connected ? What if we assume only that the convex set is bounded , is the boundary connected ( and ...
31 views

### If the boundary of a convex set in $\mathbb R^n$ ($n>1$) is connected , is it necessarily also path-connected ?

If the boundary of a convex set in $\mathbb R^n$ ( where $n>1$) is connected , is it necessarily also path-connected ?
163 views

### $\epsilon$-dense subsets on $\mathbb R/\mathbb Z$.

Let $\langle M, d\rangle$ be a metric space. We say that $A \subset M$ is $\epsilon$-dense if every open ball of radius $\epsilon$ contains a point of $A$. Now let $T=\mathbb R/\mathbb Z$, the ...
34 views

### Sufficient conditions for embedding a set of $n$ points with a given metric in $\mathbb{R}^n$.

This is a followup to a question I asked in this thread. I'm posting separately so points can be awarded. Hopefully someone can help me with a reference for this problem, or the construction. I ...
197 views

72 views

### Prove that the convergent sum of a real sequence is a metric

I want to show that $$\varrho(\{a_n\},\{b_n\})=\left(\sum_{n=0}^\infty{(a_n-b_n)^2}\right)^{1/2}$$ is a metric, where $\{a_n\}_{n\in\Bbb N}\in \ell_2$, and $\ell_2$ is the set of all real sequences ...
22 views

### Let $A$ be a convex set in $\mathbb R^n$ , where $n>1$ ; then is it true that $\bar A \setminus A^{\circ}$ i.e. the boundary of $A$ is connected ?

Let $A$ be a convex set in $\mathbb R^n$ , where $n>1$ ; then is it true that $\bar A \setminus A^{\circ}$ i.e. the boundary of $A$ is connected ? if yes , then is it also path connected ?
83 views

54 views

### Prove that $G(f)$ is homeomorphic to $X$. [duplicate]

Let $X,d$ be a metric space .Let $f:X\to \mathbb R$ be a continuous function.Define $G(f)=\{(x,f(x)):x\in X\}$. Prove that $G(f)$ is homeomorphic to $X$. My try: Since $f$ is continuous then $G(f)$ ...
73 views

### Is this condition on continuity extraneous or troublesome?

I was trying to motivate the use of open sets for defining continuity (as in topology or metric spaces). I came to formulate the following definition of continuity for a function $f: X \rightarrow Y$....
299 views

Consider $X=\{(x,\sin(1/x)):0<x<1\}$. Then clearly $X$ is connected , as it is a continuous image of the connected set $(0,1)$. So, $\overline X$ is also connected , as closure of connected set ...
161 views

### Find the limit points and exterior points of the following

Let $X=\mathbb R$, with the usual metric on $\mathbb R$ and $A=((0,1)\cap \mathbb Q)\cup$ {$2,3$}. Find the limit points of $A$, exterior points of $A$, $A^o$, $\overline A$ and $\partial A$. Can ...
38 views

### Proving that the ball is converx

I need to prove that the ball $B(x,r)=\{y\in \mathbb{R^n}:||y-x||<r\}$ is convex. How to do this?
50 views

### What exactly is the distance of two elements in $C[0,1]$?

If $C[0,1]$ — the set of all continuous functions from $[0,1] \rightarrow \mathbb R$ — is equipped with the metric $||\cdot||_1$ (1-Norm), then what is the distance between ...
374 views

### Bounded complete metric space is compact?

This question may seem trivial, but in topology we were taught that in a complete metric space, a subset of that space was compact if and only if it is closed and bounded. Moreover, we are told that ...
45 views

### Is $\text{Int} \overline{B(a;r)} = B(a;r)$ for a metric space $(X,d)$?

I think this is true in general. To give a brief outline of a proof: Let $\text{Int} \overline{B(a;r)} = U$, I claim that if $a \in U \implies a \notin Fr(B(a;r))$ so $a \in \text{Int}B(a;r)$ ...
53 views

### Making a metric out of distance measure

I'm working with a pseudo-distance measure that is not a metric since it does not hold the triangle inequality. It is called Dynamic Time Warping. The problem is - I need to perform some projections, ...
444 views

### If every real valued continuous function on $X$ is uniformly continuous , then is every continuous function to any metric space uniformly continuous?

Let $X$ be a metric space such that every continuous function $f:X \to \mathbb R$ is uniformly continuous ( here $\mathbb R$ is equipped with the standard euclidean metric ) , then is it true that for ...
85 views

### If $\overline A\cap B = A\cap \overline B = \varnothing$, $A\cup B$ is disconnected.

I'm trying to show that if $\overline A\cap B = A\cap \overline B = \varnothing$, $A\cup B$ is disconnected. First of all, I think I have to assume that $A$ and $B$ are nonempty, or else the statement ...
90 views

### A subspace of a metric space is normal

Is it true that every subset $Y$ of a metric space $X$ is a normal topological space? I think the answer is yes, because $Y$ is a metric subspace of $X$ equipped with the induced metric by the one of ...
32 views

### Is this a metric on $\mathbf P\mathcal H$?

Let $\mathcal H$ be a real or complex Hilbert space with inner product $\langle\cdot,\cdot\rangle$. On the projective space $\mathbf P\mathcal H = \left(\mathcal H\setminus\{0\}\right)\big/{\sim}$ ...
### Normed space of bounded functions $f:\mathbb{N}\to\mathbb{N}$
Let $X = \{f:\mathbb{N}\to\mathbb{N}: \exists M\in\mathbb{N} \forall n\in\mathbb{N} f(n) \leq M\}$. Define a norm on $X$ by defining for $f\in X$: $$||f|| = \sum_{n=1}^\infty \frac{f(n)}{2^n}.$$ Is ...