Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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.

0
votes
0answers
2 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]\}$$ ...
1
vote
2answers
30 views

Let $f:K \rightarrow N$ be a continuous function from a compact $K$. Show that $f$ is uniformly continuous

I'm having trouble finishing this. One approach that I made is this: Let $\epsilon > 0$. Then, since $f$ is continuous, for every $x \in K$ exists $\delta_x > 0$ such that $d(x, x')<\delta_x ...
0
votes
1answer
32 views

Connectedness of Metric Spaces

Let $(X, \rho)$ be a metric space which is compact suppose that for all $x \in X$ and $r>0$ $\overline{B_\rho(x,r)} =\{y \in X : \rho(x,y) \leq r\}$. Show that $B_{\rho}(x_0,r_0)$ is connected for ...
0
votes
1answer
22 views

Union of connected sets with possible empty intersection

There is a result which states that if a collection $A$ of connected sets has a point $P$ belonging to every of those sets, then its union is connected I was wondering if this remains true if the ...
1
vote
0answers
34 views

Is there a name for this notion of “radius of compactness” in a metric space?

I was proving some result about Riemannian manifolds that led me to introduce the following definition: Let $M$ be a metric space and $x \in M$. Define the "radius of compactness" $RC(x)$ to be the ...
0
votes
1answer
40 views

Example of noncompact space in which every real valued continuous function on it is uniformly continuous

I wanted to find Example of non-compact metric space $(X,d)$ such that every real-valued continuous function is uniformly continuous My attempt: $X$ is an infinite set $d$ is a discrete metric. ...
0
votes
2answers
33 views

Open and closed sets and continuous functions

Suppose that $(X,ρ)$ is a metric space, $f:(X,ρ)\rightarrow R$ a continuous function and $D$ a dense subset of $X$ so as $f(D)$ finite. Prove that: (i) The range $f(X)$ is finite (ii) For every $t\...
1
vote
1answer
25 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 ...
1
vote
1answer
41 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.
0
votes
2answers
31 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$ ? ...
0
votes
0answers
21 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 ...
-1
votes
1answer
26 views

Connected set in metric spaces [on hold]

Prove or disprove that a connected set in a metric space need not have connected interior ?
0
votes
1answer
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 ...
1
vote
0answers
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 ...
0
votes
2answers
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 ...
1
vote
2answers
36 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:...
2
votes
2answers
243 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 ...
0
votes
1answer
22 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 ...
1
vote
2answers
50 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$-...
0
votes
1answer
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 ...
3
votes
1answer
56 views

Boundary of Set defined with $\sin(\frac{1}{x})$

Let $S=\{(x,y) \in (0,\infty) \times (-1,\infty) \mid y \geq \sin(\frac{1}{x})\}$ in $(\mathbb{R}^2,\lVert \cdot \rVert_\infty)$. I think that the boundary $\partial S= \{ (0,y) \mid y \in (-1, \infty)...
0
votes
3answers
37 views

Prove that $d(a,b) \le \inf ~\{ ~d(a,s)~|~s \in S \} + \inf ~\{ ~d(b,s)~|~s \in S \} + \sup ~\{~d(b,s)~|~s \in S\}$. Error in proof?

Suppose $(X,d)$ is a metric space and $a,b \in X, S \subseteq X, S \ne \{\phi\}$. Then, prove that $d(a,b) \le \inf ~\{ ~d(a,s)~|~s \in S \} + \inf ~\{ ~d(b,s)~|~s \in S \} + \sup ~\{~d(s_1,s_2)~|~...
1
vote
2answers
42 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 ...
1
vote
1answer
47 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]$ ...
3
votes
2answers
133 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 ...
0
votes
2answers
22 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).
0
votes
1answer
36 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? ...
0
votes
1answer
42 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 ...
0
votes
1answer
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 ...
0
votes
1answer
17 views

Continuity of Identity Functions Between Metric Spaces

I'm studying through Mendelson's Introduction to Topology and have a question on proving continuity. First, let's define two distance functions. Let $x= (x_{1}, ..., x_{y})$ and $y=(y_{1}, ... , y_{n}...
2
votes
0answers
48 views

Distance in a Riemannian submanifold (compact)

Let $M,S$ be compact connected Riemannian manifolds such that $S\subset M$ (injectively immersed). Denote $d_M$ and $d_S$ their respective Riemannian distances. Is $d_M$ restricted to $S\times S$ ...
0
votes
1answer
14 views

Maximal Domain of Continuity

Let $f:(X,T)\rightarrow (Y,S)$ be a function between Polish spaces. Does there necessarily exists a (non-trivial: ie not a point or the emptyset) open subset $\tilde{X}\subseteq X$, on which $f|_{\...
2
votes
2answers
33 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 ...
2
votes
1answer
20 views

Connected metric space of first category

Question: Does there exist a connected metric space of first category (i.e. it can be written as a countable union of nowhere dense subsets)? No such example is given in the book Counterexamples ...
1
vote
1answer
38 views

On the complete metric space

Let $\mathbb N$ be the set of all natural numbers. Set $$d(m, n) = \left\{\begin{array}{ll} 0, &\text{if } m = n, \\ 1+ \dfrac{1}{m+n}, &\text{if }m\neq n. \end{array}\right.$$ Prove that $(\...
2
votes
2answers
28 views

Sequence of points in a nested sequence of sets converges to the point in the limit of the sequence of sets.

Let $B_n$ be a decreasing sequence of compact subsets of a metric space convergent to compact set $B$. That is $B_{n+1}\subseteq B_n$ for all $n$ and $\bigcap\limits_{n\geq 1}B_n = B$. Let $b_n\in B_n$...
0
votes
1answer
31 views

How can I prove that my function d(x, y) is a proper metric?

I have points that are characterized by a timestamp and a location, so 3 dimensional points, one temporal x, and two for the location coordinates. My function $d(x, y)$ is defined as follows: $$d(x, ...
0
votes
0answers
11 views

Least possible distance distortion for a map

The background to the question is that I would like to figure out how much a map of Europe must distort distances. Let us try to formulate this mathematically. Say I have a closed subset, $D$, of ...
3
votes
1answer
27 views

Gradient and Directional Derivative in Riemannian Manifold

Probably this question is too dumb to be asked, but I am an engineer trying to learn differential geometry, please go easy on me. I am trying to understand that, in Riemannian space, gradient ...
-1
votes
3answers
28 views

distance between a two sets in metric space proof [closed]

Let (X,d) be a metric space, A and B be subsets of X so that d(A,B)>0 where d(A,B)=inf{d(a,b):a∈A,b∈B}. Show that, if A and B are compact, then dist(A,B)=d(a,b) where a and b are elements of A and ...
1
vote
1answer
35 views

Prove that if a metric space (X,d) is separable, then its completion ($\hat{X}, \hat{d}$) is separable.

Prove that if a metric space $(X,d)$ is separable, then its completion $(\hat{X}, \hat{d})$ is separable. So we want to show there exists a countable dense subset in $\hat{X}$. My attempt: Suppose a ...
0
votes
1answer
24 views

A group is a bounded subset of another group

What does it mean when people say that a group is a bounded subset of another group? I need decide whether $SO_2(\mathbb C)$ is a bounded subset of $\mathbb C^{2\times 2}$. What definition should I ...
1
vote
0answers
52 views

Altering the axioms of a metric space

The 3 conditions for a metric space $(X,d)$ are that for all $x,y,z\in X, $ $$d(x,y)=d(y,x)$$ $$d(x,y)\geq0,d(x,y)=0 \iff x=y$$ $$d(x,y)+d(y,z)\geq d(x,z)$$ Are there any interesting results in ...
3
votes
1answer
19 views

Munkres Exercise 39.6. Showing that a collection is countably locally finite but not locally finite.

This is Munkres Exercise 39.6. Consider $\mathbb{R}^\omega$ in the uniform topology. Given $n$, let $\mathscr{B}_n$ be the collection of all subsets of $\mathbb{R}^\omega$ of the form $\Pi A_i$, ...
1
vote
1answer
18 views

Intersection in the Hausdorff metric space

Let $(X,d)$ and $(Y,d)$ be complete metric space, and denote by $H(Y,d)$ the Hausdorff metric space on the compact subsets of $(Y,d)$. Let $$ f,g:(X,d)\rightarrow H(y,d), $$ be continuous maps (may ...
0
votes
1answer
29 views

Is $\overline{\langle2\rangle\cdot(4\Bbb Z+1)}=\langle2\rangle\cdot(4\Bbb Z_2+1)$ in $\Bbb Z_2$?

Is $\overline{\langle2\rangle\cdot(4\Bbb Z+1)}=\langle2\rangle\cdot(4\Bbb Z_2+1)$ in $\Bbb Z_2$? $\langle2\rangle$ is the set of powers of $2$ and $\cdot$ is the straightforward dot product. I ...
1
vote
1answer
17 views

Existence of Continuous Function respecting points

Suppose that $(X,d)$ and $(Y,d)$ are metric spaces between which there exists a continuous function. Fix $x \in X$ and $y\in Y$. When does there exist a continuous function sending $x$ to $y$?
1
vote
2answers
33 views

Convex Combination of Contraction Maps is a Contraction Map

I'm working on the following problem: Let $K$ be a closed bounded subset of a Hilbert Space $H$ and let $F: K \rightarrow K$ be a nonexpansive mapping $\bigg(d(F(x),F(y)) \leq \alpha d(x,y), \alpha ...
1
vote
1answer
44 views

Can one argue homeomorphism via equivalence of metrics? [closed]

Let $S^n$ be the n-sphere with respect to $d_2$ metric (standart metric). Let $C^n$ be the n-sphere with respect to $d_1$ metric. Clearly we have, $S^n$ $\cong$ $C^n$ (homeomorphism). Yet, can one ...
0
votes
2answers
46 views

The metric space (0,1) is closed and bounded, but not compact?

In my lecture notes for one of my modules it states this, but I don't understand how it is closed and bounded, since it's an open interval. The metric space is the open interval (0,1) with the metric ...