Metric spaces are sets on which you can measure the "distance" between any two points. The distance measurement is generally required to be symmetric (so distance from $A$ to $B$ is the same as distance from $B$ to $A$), positive for two distinct points, and obeying the triangle inequality.

learn more… | top users | synonyms (1)

1
vote
0answers
8 views

Exponents for Hölder functions on metric spaces

Sometimes people talk about Hölder functions on metric spaces without mentioning the allowed range for the exponent. On manifolds, it's traditional to assume an exponent in $[0, 1]$, since all ...
0
votes
1answer
14 views

Metric spaces - Limit points and Isolated points

I apologise for this, but I have numerous potential misunderstandings. $\Bbb R^2$ is a metric space, since it is a subspace of the Euclidean space, $\Bbb R^n$ I can look at a set $E$ with elements ...
0
votes
1answer
33 views

If $F$ is a closed subset of $\Bbb R^n$ and $x \in \Bbb R^n$ then $x+F$ is closed.

If $F$ is a closed subset of $\Bbb R^n$ and $x \in \Bbb R^n$, is $x+F$ still closed? Can you generalize this question? I showed that $x+F$ is closed but what will be the generalization of the ...
0
votes
3answers
25 views

E is closed if every limit point of E is a point of E?

E is closed if every limit point of E is a point of E? Should that be "E is closed if every point of E, is a limit point"? I don't understand. Limit points are essentially points that hug other ...
-3
votes
1answer
55 views

Understand the definition of convex metric spaces

I am trying to understand the following definition: We call a set $E\subset \Bbb R^k$ convex if>$$\lambda x+(1-\lambda)y\in E$$ Whenever $x\in E, y\in E$ and $0\lt \lambda \lt 1$ Clearly ...
0
votes
2answers
28 views

Understanding part of a theorem of Calculus of Variations

I have trouble understanding the following statement (From Gelfland's Calculus of Variations book): If $\phi[h]$ is a linear functional and if ...
0
votes
1answer
66 views

Relationship between $d(A,B)\gt 0$ and $A \cap B = \varnothing$

a) Show there exists closed non-compact subsets in $\mathbb{R}^2$ such that $d(A,B) = 0$ and $A \cap B = \varnothing$ b) Given $K$ being compact and $B$ closed, show there is a sequence $x_n \in K$ ...
1
vote
0answers
21 views

Density character of a metric subspaces

Is it true that if $M$ is a metric space and $N$ is a metric subspace of $M$ (I mean, $N\subseteq M$ and the metric defined on $N$ is the same metric on $M$ restricted to $N$) then the density ...
1
vote
2answers
32 views

Every $p$-norm ($p \in [0,\infty]$) generates the same class of open sets on $\mathbb{R}^n$

The following claim has been made in my multivariable analysis class, and I think I have the idea of the proof but I can't quite seem to get down to the rigorous proof the instructor wants: Every ...
0
votes
1answer
20 views

Why isn't the completion of $C^0$ wrt. the $L^2$ norm a space of sequences instead of a space of functions?

We know that $L^2(\Omega)$ can be defined as the completion of $C^0(\Omega)$ with respect to the norm $$\left(\int_\Omega |u|^2\right)^{\frac 12}.$$ But strictly speaking, $L^2(\Omega)$ is a space of ...
2
votes
3answers
41 views

To show that $X = (0,1]$ is complete .

Show that $X = (0,1]$ is complete with respect to the metric $e $ where $e(x,y) = |\frac{1}{x} - \frac{1}{y}|$. My proof: let $(x_n)$ be Cauchy in $(X,e)$. Let $(t_n) := \frac{1}{(x_n)}$. Then ...
0
votes
1answer
9 views

Does topological equivalence of metrics imply strong equivalence?

I know that if $(X,d_1)$ and $(X,d_2)$ are metric spaces and for some positive constants $a,b$ , $ad_1(x,y) \le d_2(x,y) \le b d_2(x,y) $ for every $x,y$ in $X$ , then a subset $A$ of $X$ is $d_1$ ...
0
votes
1answer
36 views

How to prove this statement?

I cannot prove this proposition directly . Let $(X,d)$ and $(Y,d')$ be metrice spaces. Let $f$ be a function from $X$ to $Y$. If $\overline{f^{-1} ( B)} \subseteq f^{-1}( \overline B)$ for all ...
5
votes
3answers
19 views

To show that $d $ and $ e$ are equivalent.

On the set $X = (0,1]$, consider the usual metric $d(x,y) = |x-y|, (x,y \in X) $ and another function $e: X\times X \to R$ given by $e(x,y) = |\frac{1}{x} - \frac{1}{y}|$. Show that $d $ and $ e$ ...
2
votes
3answers
36 views

Prove the intersection of a compact set and a set with no accumulation points is finite

Let $S\subset\mathbb{C}$. We say that $z_0$ is an accumulation point of $S$ if for every $r>0$, the intersection $D(z_0,r)\cap S$ is an infinite set. Let $U\subset\mathbb{C}$ be an open set such ...
0
votes
0answers
14 views

When is the completion of a topological vector space a Frechet space?

Suppose $X$ is a topological vector space with the metric topology. If we take the completion of $X$ with respect to the metric, will we get a Frechet space? Are there any extra conditions needed to ...
4
votes
1answer
18 views

Open set in Hilbert Cube.

Any open set in the Hilbert Cube is the union of open subsets of the form $$U_1 \times ... \times U_n \times X_{n+1} \times .... \times X_{n+k} \times...$$ where $X_k := [0, \frac{1}{k}]$ for $k \in ...
6
votes
1answer
29 views

Let $A$ be any subset of $\mathbb R^{+}$ , then there exist a metric space $(X,d)$ such that $d:X \times X \to A \cup \{0\}$ is a surjection?

Let $A$ be any subset of the set of positive real numbers $\mathbb{R}_+$ ; then does there exist a metric space $(X,d)$ such that $d\colon X \times X \to A\cup\{0\}$ is a surjection ?
0
votes
0answers
18 views

Equivalence of Definitions of completion of metric space

I've come across two different definitions for a completion of a metric space and am trying to figure out why they are equivalent. The definitions are: 1) Let $(X,d)$ be a metric space. Then ...
1
vote
0answers
21 views

Rationals in an interval $[a,b] \in \Bbb R$

(i) For which real values $a$ and $b$, ($a < b$), is the set $[a,b] \cap \Bbb Q$ open in $(\Bbb Q, d)$, (where $d(x,y)= \lvert x-y \rvert$)? (ii)For which real values $a,b$ is the set $[a,b] \cap ...
1
vote
2answers
45 views

for which values of $x,y$ is $[x,y]\cap \mathbb{Q}$ closed?

for which values of $x,y$ is $[x,y]\cap \mathbb{Q}$ closed in the metric space $(\mathbb{Q},d)$ where $d(x,y) = |x-y|$ my attempt: I suspected it's closed for all real numbers: let $x,y \in ...
0
votes
0answers
38 views

The triangle inequality for shortest paths of graphs

In why-the-triangle-inequality I found the statement: for example if $d(a,b)$ measures the "length" of the "shortest path" between points $a$ and $b$ (and this can be interpreted quite ...
1
vote
1answer
37 views

Question in analysis: subset of open interval in $\Bbb R$

Consider metric space $(X,d)$, $X=(a,b)\subset \Bbb R$, $d(x,y)= \lvert x-y \rvert$. Let a subset $S \subset (a,b)$ be open and closed. Show that either $S=(a,b)$ or $S= \emptyset$. There's a ...
-1
votes
1answer
29 views

Prove that $(0,1)\times (0,1)$ is open in $\mathbb R^2$. [on hold]

Consider a plane $\mathbb R^2$ with the metric $$d(x, y) = \sqrt{|x_1 - x_2|^2 + |y_1 - y_2|^2}.$$ Show that $U = (0,1) \times (0,1)$ is an open set in $\mathbb R^2$ under this metric. How to ...
1
vote
1answer
41 views

Determine if a function is a metric

I have been asked the following question in one of my tests. I'm not sure of how to do it. Consider the plane $X = \Bbb R^2$. For each of the following two proposed distance functions, determine ...
0
votes
1answer
16 views

Non-Lipschitz homeomorphism from compact metric space to itself

Is it possible to find a compact metric space $(X,d)$ with more than one point and a homeomorphism $\varphi:(X,\tau) \to (X,\tau)$ where $\tau$ is the topology induced by $d$ such that $$(\forall N\in ...
0
votes
2answers
33 views

The infimum $\inf_{(a,b) \in A\times B} \; \rho(a,b)$ is attained for any two compact sets $A,B$

Let $A,B$ be compact sets in $(S,\rho)$. Define $\rho(A,B)$ by $$\rho(A,B) = \inf_{(a,b) \in A\times B} \; \rho(a,b)$$ Show that there exists $a_0 \in A, b_0 \in B$ s.t. $$\rho(A,B) = \rho(a_0,b_0)$$ ...
2
votes
2answers
35 views

Direct sum of metrizable spaces.

I managed to prove that an arbitrary direct sum of metrizable spaces is again metrizable. However, I used the theorem that says that a hausdorff regular space is metrizable if and only if there existd ...
-1
votes
2answers
29 views

prove of topology and metric spaces [on hold]

Prove or disprove $f: A \to B$ a function from $A$ to $B$. $A_i$ subset of $A$ and $B_i$ subset of $B$. If $A_0 \subset A_1$ then $f(A_0) \subset f(A_1)$ $f(A_0 \cup A_1) = f(A_0) \cup f(A_1)$ ...
-3
votes
1answer
39 views

Question about a topology proof [on hold]

Hi. I need help with this simple question. I am not able to get this one.
0
votes
0answers
21 views

Let $Q \subset (m,n)$ be a subset which open and closed, show that $ Q = (m,n)$ or $ Q = \emptyset$

Consider the metric space $((m,n),d)$ where $(m,n) \subset \mathbb{R}$ and $d(x,y) = |x-y|$ Let $Q \subset (m,n)$ be a subset which open and closed, show that$ Q = (m,n)$ or $ Q = \emptyset$ there ...
0
votes
1answer
12 views

showing restricted metric still forms a complete metric space

Let $(A,d)$ be complete. Let $B$ be a closed subset of $A$. Then show the metric space $(B,d|_{B\times B})$ is complete. I have shown from a theorem that $(B,d)$ is complete, but I am not sure how to ...
1
vote
2answers
42 views

Let $a$ and $b$ be arbitrary real numbers with $a < b$. Show that $[a,b]$ is closed by proving its complement is open.

Let $a$ and $b$ be arbitrary real numbers with $a < b$. Show that $[a,b]$ is closed by proving its complement is open. I don't have any idea on this, can anyone help me on this?
-1
votes
0answers
48 views

Help with general topology questions [closed]

Given $P_0=(x_0,y_0)$ and $P_1=(x_1,y_1)$ points in $\mathbb{R}^2$, define the distance between $P_0$ and $P_1$ as $$d(P_0,P_1)=\sqrt{(x_0-x_1)^2+(y_0-y_1)^2}.$$ In $\mathbb{R}^2$, the equivalent of ...
-3
votes
3answers
54 views

Proof of questions with general topology. [closed]

Let $A$ be any subset of $\Bbb R$ with $|A| < \infty$. Prove that $A$ is closed. Can anyone please help me with this proof?
-2
votes
3answers
41 views

doubt with proof in genral topology [on hold]

let Z and Q represent the integers and the rationals, respectively. prove that Z is a closed subset of R. Frankly I don't have an idea how to start. Can anyone please help me with this proof.
1
vote
1answer
48 views

Prove that, for $x \in \mathbb R$ and $\delta_x > 0$, the open interval $(x-\delta_x, x+\delta_x)$ is itself an open set [duplicate]

Prove that, for $x \in \mathbb R$ and $\delta_x > 0$, the open interval $(x-\delta_x, x+\delta_x)$ is itself an open set. I am preparing for my exam and we will be asked to prove various ...
1
vote
0answers
19 views

Entropy of isometric extension

A similar question to mine was asked before at the address below but it was not answered there so I am asking it again. Also there is a more specific case I am interested in. Topological entropy of ...
1
vote
2answers
46 views

Show that $d_V$ is a metric

Problem: For points $p = (p_1, p_2)$ and $q = (q_1, q_2)$ in $\mathbb{R}^2$ define: $d_V(p,q) = \begin{cases}1 & p_1\neq q_1 \ or\ |p_2 - q_2|\geq 1 \\ |p_2 - q_2| & p_1= q_1 \ and\ |p_2 ...
1
vote
1answer
36 views

How to show that this set is closed in $\mathbb{R}^n$?

For an open set $\Omega\subseteq\mathbb{R}^n$, let $K_j$ be the set of points $x$ of $\Omega$ such that $\text{dist}(x,\partial\Omega)\geq1/j$ and $|x|\leq j$. Question : Why is $K_j$ closed ? ...
3
votes
2answers
95 views

Construct a set of real numbers whose limit points comprise the set of integers $\mathbb{Z}$

My thought process is the following: Let $S=\{ m + \frac{1}{n}| m \in \mathbb{Z},n \in N \}$. Then I need to show that the limit points of $S$ are indeed the integers and that these are the only ...
0
votes
1answer
35 views

Statiscal Distance Properties

Please anyone could give me any idea of how prove the following property of statistical distance: $d(AB,CD)\leq d(A,C)+d(B,D)$ Remenber that: $(X,d)$---> Metric Space $d:X\times X\rightarrow ...
2
votes
4answers
47 views

Proving $d_1$ is a metric.

If $d$ is a metric on a set X, then $d_1 = \frac{d(x,y)}{1+d(x,y)}$ is also a metric. I have proved the other conditions of being a metric except the triangle inequality. Please help!!
0
votes
1answer
23 views

Sequential continuity on metric spaces

Please give me a hint for proving this statement: Let $(X,d)$ and $(Y,d')$ be metric spaces, $f$ a function from $X$ to $Y$. If $f^{-1}(B) $ is closed in $X$ for all closed subset $B$ of $Y$, then ...
2
votes
0answers
23 views

Problems in metric space including matrices. [closed]

Let $M(n, \Bbb R)$ denote the set of a real $n \times n$ matrices. We can always define a linear isomorphism between $M(n, \Bbb R)$ and $\Bbb R^{n^2}$....where the isomorphism is defined as for any ...
1
vote
1answer
35 views

Computing $\sup_{\left \| u \right \|=1} d(u,F)$ in a closed subspace of a normed space.

I have come across with the following problem: Let $E$ be a normed space and $F$ a closed subspace of $E$. It's asking to compute $\sup\limits_{\left \| u \right \|=1} d(u,F)$. What I know it's ...
-1
votes
3answers
70 views

Exercise on Metric space

I hve this exercise it is very simple but i don't know how to write the answer Let $A$ be a nonempty set in $(E,d)$, for $\varepsilon>0$ we note $$V_{\varepsilon}(A)=\{x\in E, ...
0
votes
1answer
38 views

Separability of the Set of Bounded Functions over [0,1]

I'm working through Neal Carothers' Real Analysis and I'm stuck on trying to show that the set $B$ of bounded, real-valued functions over $[0,1]$ is not separable. The metric of this set is ...
7
votes
2answers
53 views

In a metric space we have $B(x,r) = B(y, s)$, is it necessary that $x = y$ and $r = s$??

If in a metric space we have $B(x,r) = B(y, s)$, is it necessary that $x = y$ and $r = s$? I think that the center of the balls i.e. $x$ and $y$ must be same but the radius $r$ and $s$ may not be ...
0
votes
0answers
12 views

How to prove a constructed set is a (n,ϵ)-spanning set for a [0,1] -> [0,1] homeomorphism

More specifically, I'm trying to figure out how to show that the following set is an $(n,ϵ)$-spanning set: $S = \{f^{-i}\big(\frac{j}{N}\big) \big| i = 0,1...n-1, j=0,1,...N\}$ where $N$ is selected ...