Questions tagged [metric-spaces]

Metric spaces are sets on which a metric is defined. A metric is a generalization of the concept of "distance" in the Euclidean sense. Metric spaces arise as a special case of the more general notion of a topological space.

10,254 questions
25 views

Positivity and Symmetry from defination of Metric

I can across definition of metric as X is set $d:X\times X\to \mathbb R$ satisfying 1) $d(x,y)=0$ iff $x=y$ 2) $d(x,y)\leq d(x,z)+d(y,z) , \forall x,y,z\in X$ I wanted to prove positivity and ...
29 views

How do I prove that a closed subset of a compact set is compact directly from the definition? [duplicate]

I'm trying to prove that a closed subset of a compact set is compact directly from the definition but I'm not sure how to proceed. This is what I have so far: Let $K$ be a compact set and let $A$ ...
32 views

29 views

Rigorous construction of partition induced by minimal covering transformation

This is closely related to a previous question I recently asked. This was about the definition of a locally lifted measure described by Keane in his seminal paper on $g$-measures . I received a ...
39 views

Prove that $f: X \rightarrow R$ is continuous with respect to the metric $d_1$ on $X$ iff it is continuous with respect to the metric $d_2$ on $X$.

Let $X$ be a set and $d_1, d_2$ be metrics on $X$ so that for constants $m,M > 0$ and any $x,y \in X$ we have $md_1(x,y) \leq d_2(x,y) \leq Md_1(x,y)$ Prove that $f: X \rightarrow \mathbb{R}$ is ...
29 views

Every surjective isometry on a Hilbert space is indeed a unitary operator

I have a little bit confused on unitary operators and surjective isometries on a Hilbert space. I think it is quite clear that A operator is unitary if and only if it is a surjective isometry. ...
13 views

Closedness of Bi-Lipschitz embedding's image

Suppose that $(X,d)$ and $(Y,\rho)$ are complete and separable metric spaces. If $\phi:X\rightarrow Y$ is a bi-Lipschitz embedding, is it the case that $\phi(X)$ is closed in $(Y,\rho)$?
48 views

Is the metric space of Lipschitz Function with $d_{\infty}$ complete?

This is my real analysis homework. Define $$\mathcal{L} = \{f : [a,b] \to \mathbb{R} : f \text{ is a Lipschitz function }\}$$ and the metric $$d_{\infty}(f,g) = \sup\{|f(x)-g(x)| : x \in [a,b]\}$$ ...
44 views

26 views

Cantor's Intersection Theorem iff complete metric spaces?

If a metric space is complete, we know that the Cantor's Intersection Theorem holds. Does the converse also hold? And if not, what is a suitable counterexample for the same? Also, if the converse ...
48 views

Contractable Metric Spaces Homeomorphic to Euclidean Space

Is there a characterization of all metric spaces which are homeomorphic to a contractable subset of Euclidean space? This question is cross-referenced here.
32 views

Is $\inf A$ and $\sup A$ belong $\bar A$?

Let $A$ be a anonempty and bounded subset of $\mathbb{R}$. Now take $A= (0,1)$ in the discrete topology of $\mathbb{R}$. My question is that : Is $\inf A$ and $\sup A$ belong $\bar A$ ? ...
25 views

Arc connectedness implies connected

I've seen that are one or two questions like this, but I'm not fully convinced that are right. Both pretty much say the same thing, so I leave the easier to understand: path connectedness implies ...
30 views

Is every metric space compact? [duplicate]

I am referring to Rudin's definition 2.32 of compactness here: A subset K of a metric space X is said to be compact if every open cover of K contains a finite subcover. Obviously X is a subset of X ...
23 views

“Generalized” proof of the limit of a sum

Goal: to try to unify the sum of limits for $\mathbb{R}$, $\mathbb{C}$, and $\mathbb{R}^n$ with $n\ge 2$. Let be $(X,d_X)$ and $(Y,d_Y)$ two metric spaces and $f,g:D\to Y$, with $D\subseteq X$ two ...
47 views

Metrics on $\mathbb{N}$ such that $(\mathbb{N}, d)$ and $(\mathbb{N}, d')$ are not homeomorphic

I want to find two metrics $d$ and $d'$ on $\mathbb{N}$ such that $(\mathbb{N}, d)$ and $(\mathbb{N}, d')$ are not homeomorphic, but I'm having trouble doing so. I've tried using the discrete metric ...
40 views

Cauchy sequence with $\{ x_n : n \in \mathbb{N} \}$ not closed converges

Suppose $(x_n)_{n \in \mathbb{N}}$ is a Cauchy sequence and $A = \{ x_n : n \in \mathbb{N} \}$ not closed. Show that there exists $x \in X$ such that $x_n \longrightarrow x$. Since $A$ is not closed:...
246 views

Metrizable in infinite number of ways

The question states that if a topological space is metrizable it is metrizable in infinite number of ways. Of course scaling the distances by any positive number will do the trick. But i want to ...
23 views

Distance from a point to a convex set

Consider a sphere, which is obviously a convex set. Consider any point outside the sphere, and say I want to find the minimum distance to this set. In this case I can intuitively see that the closest ...
52 views

$f \in \mathcal{C}(X, X)$ on metric space with $\sum_{n=1}^\infty d(f^n(x), f^n(y)) < \infty$ has a fixpoint

Let $X$ be a complete metric space and $f : X \to X$ continuous such that $$\sum_{n=1}^\infty d(f^n(x), f^n(y)) < \infty$$ for all $x, y \in X$, where $f^n$ means $f \circ \ldots \circ f$ $n$-...
39 views

Are singletons closed or open?

"Exercise 1. Show that if $X$ is equipped with the discrete metric $d$ then every subset of $X$ is both open and closed. Deduce that any function $f : (X, d) → (Y, dY )$ is continuous." My lecturer ...
57 views

46 views

Two disjoint closed sets $A,B$ with $B$ compact, show $d(A,B) > 0$ Verify my proof

Two disjoint closed sets $E,F$ with $E$ compact, show $d(E,F) > 0$. So, with compactness we get a few things, that every sequence has a convergent subsequence and we can use the extreme value ...
52 views

Complete quotient metric space

Let $(X,d)$ a metric space and $\sim$ a equivalence relation such that : $\forall x\in X$ : $[x]=\{y\in X \vert y \sim x \}$ is closed. If $[x] \neq [y]$ : $d([x],[y])=d(a,[y]), \forall a\in[x]$ ...
151 views

Proof that the inverse image of a single element is a discrete space

Let $f: X \rightarrow Y$ be a local homeomorphism. I want to prove that, for each $y \in Y$, the fiber $f^{-1}(y)$ is a discrete set, or discrete space (Is there any difference between these two last ...
23 views

Why is $x_0+\frac{r_0}{2}x \in B(x_0,r_0)$, $\|x\| \leq 1$?

Why is $x_0+\frac{r_0}{2}x \in B(x_0,r_0)$? Where $B(x_0,r_0) \subset E$ and $x \in E$, $\|x\| \leq 1$. $E$ is Banach (except that this probably doesn't matter here).
39 views

Prove that this space is compact/not compact by using Arzelà–Ascoli theorem

I need to tell if this space/set is compact in $C[0,1]$ $x_n(t) = t^n, n ∈ N$ Following Arzelà–Ascoli theorem, the set is compact when it has Uniform boundedness and Equicontinuity, is it correct? ...
45 views

Prove that metric space is complete/incomplete

I have a function $\rho(x,y) = |x^{1/3} - y^{1/3}|$ and I need to prove if the function is metric, and if it is, the next step is to prove if this metric space is complete. So metric is a function ...
18 views

Product topology. Clarification needed

Please consider the statement and it's proof below: The author further says that : Members of the product topology can all be expressed as union of products, but most members of the product topology ...
18 views

36 views

Metric Space defined by an Infinite Sequence of Metric Spaces in this case not a Metric Space

I just started my first book on Topology, Introduction to Topology by Bert Mendelson (Second Edition), and the second chapter is about Metric Spaces. The last problem of Section 2, Problem 2.9, is as ...