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)

2
votes
0answers
80 views

Pointwise convergence on a complete metric space

Let $ f_n :X \rightarrow R $ be sequence of continuous function on complete metric space $(X,d)$, which convergence pointwisely to $ f: X\rightarrow R $ mean that $ f_n(x)\rightarrow f(x)$ $ ...
2
votes
0answers
76 views

Discontinuous function on Q

let $ f_n :X \rightarrow R $ be sequence of continuous function on complete metric space $(X,d)$, which convergence pointwisely to $ f: X\rightarrow R $ mean that $ f_n(x)\rightarrow f(x)$ $ ...
2
votes
0answers
58 views

When is a function space a Fréchet space?

Let $Q$ be a space of indices, and let $(V, |\cdot|)$ be a Banach space of values. Define the function space $X = C(Q,V)$, and equip it with the topology generated by seminorms $\|x\|_D := \sup_{d \in ...
2
votes
0answers
55 views

Is there a non-complete and non-separate metric space?

Is there a (non-trival) non-complete and non-separate metric space? Some notions are here: math.stackexchange.com/questions/182316.
2
votes
0answers
38 views

On local rings $(R,m)$ having a metrizable $m$-adic topology

If $R$ is a local ring with maximal ideal $m$ and the intersection of powers of $m$ is $0$, then the $m$-adic topology is metrizable. Is there a condition on $R$ assuring that the metric space so ...
2
votes
0answers
43 views

Finding an isometry given the distance between points

If $A,B,C,D \in \mathbb{R}^n$, such that $d(A,B)=d(C,D)$, then exists an isometry $f:\mathbb{R}^n\rightarrow \mathbb{R}^n $, such that $f(A)=C, f(B)=D$. Thanks a lot for the help.
2
votes
0answers
103 views

Completeness of metric space induced by outer measure (similar to Nikodym metric)

Let $S_\mu$ be a semi-ring of subsets of $X$ and $\mu$ be a $\sigma$-additive measure on $S_\mu$. Let $\mu^*$ be the induced outer measure on $P(X)$. Define a relation $\sim$ on $P(X)$ by ...
2
votes
0answers
67 views

Constructing a metric for a metrizable space.

I am an electrical engineering PhD student, not a formally educated mathematician. I could prove that the main space I am using in my dissertation is metrizable (using Urysohn's metrization ...
2
votes
0answers
92 views

Show that the distance between these two sets is not bounded.

I have a homework question that asks: "Consider the curve $\gamma : [1, \infty] \to \mathbb{R}^2$ defined by $\gamma (t) = \langle t \cos (\ln t), t \sin (\ln t) \rangle$. Show that this curve is ...
2
votes
0answers
184 views

Proving the $l_p$ space is complete.

I'm trying to prove $l_p$ spaces are complete. We have an $l_p$ space $W$. Let us take a cauchy sequence. There exists $N_0\in\Bbb{N}$ such that for $m,n>N_0$, $d(x^m,x^n)<\epsilon$. This ...
2
votes
0answers
62 views

Is this case possible (hedgehog metric, colinearity)

My topology class was asked to prove that the hedgehog metric was indeed a metric (the details are irrelevant for my question). This does not concern the proof itself, but rather the structure of the ...
2
votes
0answers
45 views

Does this have a name (metric space related measure of closeness)?

Consider a metric space $(M,d)$, and let $D: M \times M \to \mathbb{R}_+$ be a measure of similarity on it, so that $D(x,y)$ is large when $x$ and $y$ are close (i.e., $d(x,y)$ is small). Consider a ...
2
votes
0answers
136 views

Bounded Lipschitz Metric on Space of Positive Measures

The bounded Lipschitz metric ($d_{BL}$) metrizes the weak convergence of probability measures on $\mathbb{R}$ with respect to bounded continuous test functions $C^0_b(\mathbb{R})$ $$d(\mu, \nu) = ...
2
votes
0answers
290 views

Is this proof that every convergent sequence is bounded correct?

I've tried the following proof that a convergent sequence is bounded but I'm not sure if it is correct or not. Let $(M,d)$ be a metric space and suppose $(x_k)$ is a sequence of points of $M$ that ...
2
votes
0answers
71 views

Let $x=(x_n)$ be a Cauchy sequence in a metric space $X$ having a convergent subsequene

Let $x=(x_n)$ be a Cauchy sequence in a metric space $X$ having a convergent subsequene $x\sigma=(x_{\sigma_n})$ where $\sigma:\mathbb N\to\mathbb N$ is strictly increasing. Then $(x_n)$ is ...
2
votes
0answers
69 views

Metric on the set of CDFs with finite p-th moment

Let $\mathcal{F}_p$, $p \ge 1$, be the set of all cumulative distribution functions of real valued random variables whose $p$-th moment is finite. I'm looking for a metric on $\mathcal{F}_p$ and ...
2
votes
0answers
56 views

Distance between sets in a partial metric space

How can we define distance between two sets say, $A$ and $B$ in a partial metric space $(X, p)$? Will it be non-symmetric as in the case of a metric $d$, i.e.; we have $d(A, B)$ not equal to $d(B, A)$ ...
2
votes
0answers
69 views

Pseudo norm-exercice

Let $f$ be a measurable function with finite values almost everywhere. We put $$N_0(f) = \displaystyle\int \dfrac{|f|}{1 + |f|} d \mu.$$ We denoted by $L^0$ the set of measurable functions $f$ such ...
2
votes
0answers
66 views

convergence in metric space

Let $C[-1, 1]$ be the space of continuous functions equipped with the metric $(f, g) = \displaystyle\max_{x \in [-1, 1]} |f(x)-g(x)|$. Consider the sequence $(f_n)$ of functions $f_n : [-1, 1] \to ...
2
votes
0answers
85 views

Regarding nowhere dense subsets and their measure.

A while ago it was made clear that a nowhere dense subset $P \subset [0;1]$ whose Lebesgue measure $\mu(P) = \mu([0;1]) = 1$ doesn't exist. But is it possible in principle to define a nowhere dense ...
2
votes
0answers
134 views

Space of functions that are everywhere differentiable

Define the space $\beta^1([a,b])$ as the space of functions $f : [a,b] \mapsto \Bbb R$ which are everywhere differentiable and whose derivative $f'$ is a bounded function. One equips this space with ...
2
votes
0answers
124 views

For a family of functions $F\subset C(X)$ in the metric space $(C(X),d)$, if $F$ is compact on compact subsets of $X$, then $F$ is compact on $X$

The problem as stated in the title isn't quite correct. Let $X$ be a topological space. What I have is a family of functions $F\subset C(X)$ in the metric space $(C(X),d)$ which on compact subsets ...
2
votes
0answers
173 views

For any point $ a $ of a compact subset $ S $ of a metric space, prove that there exists a nearest point $ c $ to $ a $.

Let $S$ be a compact subset of $X$. Define a metric space $(X, p).$ Prove that for any point $a\in X$, there exists a nearest point $c$ in $S$ to $a$. Moreover, $c$ in $S$ such that $p(c,a)\leq ...
2
votes
0answers
279 views

Pearson correlation and metric properties

Assuming that the data set was $z$-standardized to zero mean and unit variance (also assuming that it does not contain constant vectors). Then Pearson's r reduces to Covariance: $$\rho(X,Y) := ...
2
votes
0answers
37 views

How to prove this result about this space of sequences?

Let $s$ denote the metric space of all sequences of real or complex numbers with the following metric: $$ d( (\xi_j), (\eta_j) ) := \sum_{j=1}^{\infty} \frac{1}{2^j} \frac{|\xi_j - \eta_j|}{ 1 + ...
2
votes
0answers
125 views

How to prove the metric which defined by supremum of all semi-metric?

Define the function $f:X\times X \to R$ by $d(x,y)=\sup\{d_i(x,y):i\in I\}$, when each $d_i$ is a pseudometric; $d_i(x,y)=0$ need not imply $x=y$; for every $i$ in a directed set $(I,\leq)$ and $X$ is ...
2
votes
0answers
81 views

A question about a metric on $\mathbb{R}^\mathbb{N}$

Consider the metric space $(\mathbb{R}^{\mathbb{N}},d)$ where for $x,y\in\mathbb{R}^\mathbb{N}$ $$ d(x,y) = \sum_{n=1}^{\infty} 2^{- n} \frac{\bigvee_{k\leq n}\left|x_k-y_k\right|}{1 + \bigvee_{k\leq ...
2
votes
0answers
154 views

Showing a differential equation has a unique solution in $C[0, 1]$

Show that $$F(f)(t) = t^2 + \frac{t}{3}f(t) + \frac{1}{5}\int_0^t e^uf(u) du$$ is a contraction on $(C[0, 1), d_u)$. Deduce that the differential equation $$(15 − 5t)\frac{df}{dt} = (5 + 3e^{t})f + ...
2
votes
0answers
114 views

Prove metric space…

Let $l=\{(a_n)_{n \in ℕ}|a_n \in \Bbb R \text{ and } \sup|a_n|<\infty\}$ If $a=(a_n)$ and $b=(b_n)$ are in $l$, define a metric on $l$ by $$d(a,b)=\sup_{n \in \Bbb N}|a_n-b_n|$$ Prove that $d$ is ...
2
votes
0answers
80 views

Reference for the characterization of completeness for metric spaces

I have the following criteria for the completeness of a metric space that I want to use in some research paper. Let $(X,d)$ be a metric space. The following conditions are equivalent: (1) $X$ ...
2
votes
0answers
142 views

Convergence of a function in a metric space to its metric

Given a metric space $(\mathbb{A},d)$ with a metric $d$ being the Euclidean metric, if $\lim_{t \rightarrow \infty}||A_{t+1}-A_t||\rightarrow 0$ is a convergent sequence where $A$ is a matrix with the ...
2
votes
0answers
100 views

What is the correct distance measure for the (anti) de-Sitter space?

Given these two expressions 1) $\sinh{d}=\frac{\sqrt{t^2−x^2}}{\sqrt{1−(t^2−x^2)}}$ 2) $\sin{d}=\frac{\sqrt{t^2−x^2}}{\sqrt{1+(t^2−x^2)}}$ for distance $d$ from the origin $(0,0)$ to point $(x,t)$, ...
2
votes
0answers
95 views

Inner product and inequalities

Suppose $p:[0,1]\to \mathbb C$ is a curve where $p(t)=u(t)+iv(t)$ and $u,v$ are smooth functions of $t$. Why then is $$\left(\int_0^1 \langle \dot{p},\dot{p}\rangle^{1\over 2} dt\right)^2\le \int_0^1 ...
2
votes
0answers
88 views

Consequence of metrizability proof - disregard, the question is an error

In Marian Fabian et al's Functional Analysis and Infinite-Dimensional Geometry, Proposition 3.22 states/proves that if $X$ is a separable Banach space, then the (closed) unit ball, $B_{X^{*}}$ of ...
2
votes
0answers
126 views

What's the relationship between the riemannian metric and Jacobi field?

I encounter to the question in reading the following Excise: Let $(M,g)$ be a $m$-dimensional Riemannian manifold, and $(r,\theta^1,\theta^2,\ldots,\theta^{m-1})$ be the (geodesic) polar ...
2
votes
0answers
234 views

the hyperbolic plane is complete

I'd like to prove that the hyperbolic plane is complete in a short, nice way. Here's my proof, but I'm not convinced of its correctness yet. Let $\mathbb{H}=\left\{(x,y)\in\mathbb{R}^2\big\vert ...
2
votes
0answers
73 views

Embedding tree metric isometrically into $\ell_\infty$

I just started (independent) learning on metric embeddings from the Fall 2003 offering of the course at CMU. I have a limited mathematical background and alas, it made me stumble at the first exercise ...
2
votes
0answers
206 views

Trouble with some equivalent conditions of compactness

I'm afraid this question may turn out to be a stupid one. Though it is related to a previous question of mine, I'll write it down in full. Let $(X, d)$ be a metric space (MS). I have to prove the ...
2
votes
0answers
105 views

Probability metric spaces for which $r \leq R$ implies $\frac{Pr(B(x,r))}{Pr(B(x,R))} \geq \frac{r}{R}$

I'm looking for examples of spaces $X$ such that: $X$ is a probability space. $X$ is a metric space. If $x \in X$ and $0 < r \leq R$ then $\frac{Pr(B(x,r))}{Pr(B(x,R))} \geq \frac{r}{R}$. I ...
1
vote
0answers
68 views

How can I define a measure of similarity between two line segments in $\mathbb{R}^2$?

I have two segments in $\mathbb{R}^2$ and I would like to define a measure of similarity between the two segments. My idea is that I can apply: a scale transformation $s$ in order to equate the ...
1
vote
0answers
17 views

How are delta distributions defined in metric spaces?

How are delta distributions defined in metric spaces with continuous metric?
1
vote
0answers
83 views

Has anyone seen this space before? Does it have a name?

See the space below (the set taken as a subspace of the plane). It sort of looks like a comb, but with the wrap-around portion added, and the lower left corner removed. What would be a good name ...
1
vote
0answers
39 views

Characterization of continuity by subsequences.

I have a difficulty trying to prove the following proposition. Any help would be greatly appreciated. $\textbf{Prop.}$ Let $(X,d_1)$ and $(Y,d_2)$ be two metric spaces. A function $f:X\rightarrow Y$ ...
1
vote
0answers
31 views

For any countable $ A$ , $B \subseteq A \implies B \cap B\space' \ne B $

In which kind of metric spaces is the following true For any non-empty countable set $A$ of the metric space , $B \subseteq A \implies B \cap B\space' \ne B $
1
vote
0answers
30 views

Is this subset of a finite metric space already named?

Given a finite set, $X$, with a metric, $d(x,y)$ defined on it, I am interested in the following subsets: $S_k\subseteq X$ s.t. $\forall x\in X,\exists s\in S_k:d(x,s)\geq k$ Do such constructions ...
1
vote
0answers
63 views

Proving that there is no norm for the space of real-valued sequences making it a complete metric space.

Suppose I have a vector space $K$ which consists of real-valued sequences with only finitely many non-zero terms. I would like to show that there doesn't exist a norm on $K$ that would make it become ...
1
vote
0answers
30 views

Exercise in Section 2.4 of Singer & Thorpe

I'm trying to solve the exercise in Section 2.4 of Singer & Thorpe, which is to prove that if $S$ is a compact Hausdorff topological space and $(U_n)_{n \in \Bbb N}$ be a family of dense open ...
1
vote
0answers
16 views

Creating a metric from a pseudometric

Given the following definition of a pseudo-metric on the set $X$ : A pseudo-metric on the set $X$ is a map $d:X \times X \to \Bbb R^+$ such that for all $x ,y \text{ and } z \in X :$ (PM1) $x=y ...
1
vote
0answers
27 views

Proving $d_E$ is a Metric on $\Bbb R^n$

This question rather then wanting help w.r.t (M3) (The Triangle Inequality ) with can be done by using the Cauchy–Schwarz inequality. I would like advice regarding (M1): $d_E(\mathbf {q,p}) = 0 \iff ...
1
vote
0answers
62 views

Prove that a map is a homeomorphism and the inverse is bounded

I'm trying to unravel an obscure passage in a textbook, which states that if $\phi :\mathbb{R}^m\to\mathbb{R}^m$ is continuous, bounded and Lipschitz with constant $\varepsilon$ (which is still free ...