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)

34
votes
0answers
537 views

Is there a categorical definition of submetry?

(Updated to include effective epimorphism.) This question is prompted by the recent discussion of why analysts don't use category theory. It demonstrates what happens when an analyst tries to use ...
11
votes
0answers
211 views

$f\colon I\rightarrow G$ and Gromov $\delta$-hyperbolicity

Please recall that $\left|\int_0^1 f(t)\,dt -w\right|\leq \int_0^1|f(t)-w|\,dt$. In general, let $(X,d)$ be a metric space. Given a function $f:I\to X$ let $m_f\in X$ be such that $d(m_f,w)\leq ...
6
votes
0answers
62 views

Knight's metric: ellipse and parabola.

Knight's metric is a metric on $\mathbb{Z}^2$ as the minimum number of moves a chess knight would take to travel from $x$ to $y\in\mathbb{Z}^2$. What does a parabola (or an ellipse) became with this ...
6
votes
0answers
72 views

determinant of the Fubini-Study metric

Is there any easy way to compute the determinant of the Fubini-Study metric, given by: $g_{\alpha\bar{\beta}}=\frac{1}{1+\bar{z}z}\left(\delta_{\alpha\bar{\beta}}-\frac{\bar{z}_\alpha ...
6
votes
0answers
140 views

Selecting a subset from a set such that a given quantity is minimized

Let $A$ be is a set of some $p$-dimensional points $x \in \mathbb{R}^p$. Let $d_x^A$ denote the mean Euclidean distance from the point $x$ to its $k$ nearest points in $A$ (others than $x$). Let $C ...
6
votes
0answers
191 views

compact-open metrizability

Given topological spaces $X$ and $Y$ the set $C(X,Y)$ of all continuous functions $f:X\to Y$ becomes a topological space with the compact-open topology (that is the topology generated by the sets ...
6
votes
0answers
268 views

Topological necessary and sufficient condition for tightness

Recall the definition of tightness for a probability measure $\mathbb P$ on the Borel $\sigma$-algebra of a metric space $(S,d)$: For each $\varepsilon>0$, we can find a compact subset $K$ of ...
6
votes
0answers
147 views

Virtually cyclic groups

Let $G$ be a group with finite generating set $A$, define the distance $$d(g,h)=\mathrm{min}\{n:gh^{-1}=a_1^{\varepsilon_1}\dots a_n^{\varepsilon_n}, a_i\in A,\varepsilon_i=\pm1\}.$$ Define the ball ...
5
votes
0answers
180 views

Combinatorial total space for finitely generated torsion-free groups?

Motivation: I'm an operator algebraist and I'm looking for an answer to the main question in order to build non-trivial spectral triples for a class (as large as possible) of discrete groups. $\to$ ...
5
votes
0answers
153 views

Dual and completion of metric spaces

Say we have a metric space $(M,d)$, and we want to complete it in the following sense: Definition: A completion of $(M,d)$ is a complete metric space $(\widetilde{M},d')$ together with a Lipschitz ...
5
votes
0answers
134 views

Count number of special onto functions

We define an onto function from $[n] \times [n]$ to $[n-2] \cup \{0\}$ as follows, where $[n] = \{1,2,3,\ldots ,n\}$, $$f : [n] \times [n] \rightarrow [n-2] \cup \{0\}.$$ 1) $f(x,x) = 0$. 2) ...
5
votes
0answers
199 views

Are these sets in $\mathbb{R}$ open and/or closed?

In $\mathbb{R}$, are these sets open? Are they closed? $A = \{\frac{1}{n} : n \in \mathbb{N}\}$ $B = A \cup \{0\} $ $[0, 1)$ My thoughts: $A$ is not open as if we have an open ball with $r > ...
4
votes
0answers
68 views

Prove that $\mathbb{R}^k$ is separable

I'd like to show that $\mathbb{R}^k$ is separable. (A metric space is called separable if it contains a countable dense subset.) Here's what I have and I'd like to confirm with everyone to see if ...
4
votes
0answers
46 views

Metric-like families of relations

Let $X$ be an arbitrary set and to start with, let us consider a relation $\leq$ on $X$ (that is $\leq$ is a subset of $X^2$) which is reflexive and transitive. such a relation is called a preorder. ...
4
votes
0answers
78 views

Completeness of a metric space with the Hausdorff metric

Let $(Y,d)$ be a metric space and let $K(Y)$ denote the set of all non-empty compact subsets of $Y$. This collection is a metric space when equipped with the Hausdorff distance $h$. I want to prove ...
4
votes
0answers
75 views

Terminology for metric space with “anti-symmetric” distance

I'm interested in spaces that have a two-place function $d$ with non-negative real values, satisfying the following three conditions (for all $x$, $y$, $z$): $d(x, x) = 0$ $d(x, y) + d(y, z) \geq ...
4
votes
0answers
93 views

What are norms used for?

These two questions are quite similar to this one, so I apologise if this irritates anyone. Also, I suspect that a lot can be said in the answer, so I am really just looking for some main points ...
4
votes
0answers
86 views

lattice of metric structures on a fixed set

Let $X$ be a set. Write $M(X)$ for the set of all functions $d:X\times X\to [0,\infty]$ that endow $X$ with the structure of a generalized metric space (i.e., $d(x,x)=0 $ and the triangle inequality). ...
3
votes
0answers
35 views

How to show the completeness of the space of Fourier transforms $\mathcal{F}L^{1}$?

Consider the space of all Fourier transforms of $L^{1}(\mathbb R),$ that is, $$\mathcal{F}L^{1}=\mathcal{F}L^{1}(\mathbb R):= \{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}(\mathbb R)\},$$ with the ...
3
votes
0answers
52 views

Proof about sequences of functions.

Is this proof correct? If $\{f_{n}\}$ is a sequence of functions in $C(X,Y)$, $X$ compact, $Y$ complete, and the sequence converges, to $f$, then $K=(\bigcup\{f_n\})\cup \{f\}$ is closed. Proof. ...
3
votes
0answers
64 views

Conditions to make a function a metric on $\mathbb{R}$?

Let $f:\mathbb{R}\rightarrow \mathbb{R}$. What conditions ensure that $d(x,y)=|f(x)-f(y)|$ defines a metric on $\mathbb{R}$ Let $g:[0,\infty) \to \mathbb{R}$. What conditions on $g$ ensure that ...
3
votes
0answers
60 views

Topological interpretation of the following equivalence.

We assume $\{X_n\}_{n\in\mathbb{N}}$ and $X$ are random variables from $\{\Omega,\mathcal{F},\mathbb{P}\}$ to $(S,d_s)$, wehre $S$ a separable metric space. One can establish the following ...
3
votes
0answers
44 views

Sufficient conditions for existence of injection from a metric space $M$ to $\mathbb{R}$

Let $M$ be any metric space. What conditions are required of $M$ for there to exist an injective, continuous function $$\varphi \colon M \longrightarrow \mathbb{R}$$ I would like to believe that ...
3
votes
0answers
67 views

Prove that every separable metric space has a countable base.

A collection $\{V_\alpha \}$ of open subsets of $X$ is said to be a base for $X$ if the following is true: For every $x \in X$ and every open set $G \subset X$ such that $x \in G$, we have $x \in ...
3
votes
0answers
58 views

Can we have an isometric embedding of this metric space into an Hilbert space?

A metric space (from this Q&A), is defined below. I'd like to know if its possible to have an isometric embedding of this metric space into an hilbert space? As per Schoenberg theorem $-d^2(x,y)$ ...
3
votes
0answers
123 views

Is there a category such that if $\mathbb{R}$ is viewed as an object, we have that $\mathbb{R}^2$ is equipped with the Euclidean distance function?

Viewing $\mathbb{R}$ as an object of the category of metric spaces and metric maps, we have that $\mathbb{R}^2$ is equipped with the distance function $$d(x,y) = ...
3
votes
0answers
55 views

Metric of space of plane curve

I am looking for a metric $d$ for smooth 2D curves. Hence $d(x,y)$ is the distance between the curves x and y. For the moment, we may assume that $x$ and $y$ are just directed line segments. Do you ...
3
votes
0answers
130 views

Moscow space-Examples

A space $X$ is called $Moscow$, if for each open subset $U$ of $X$, the closure of $U$ in $X$ is the union of a family of $G‎_{δ}$‎‎‎ ‎-subsets of $X$ . For example, Every first countable $T_1$ ...
3
votes
0answers
45 views

Generalizations of derivatives using distance measures

Let $d(x,y)$ be a distance metric for two points $x,y\in \mathbb{R}^p$. Further, suppose that there are two real or complex sequences $X_n(x)$ and $X_n(y)$, $n=1,2,\ldots$ that depend on $x$ and $y$ ...
3
votes
0answers
349 views

Translation invariant metric

Under what conditions can a metric vector space be given an equivalent metric that is translation invariant? I was wondering if the probability measures on real line can be embedded in vector space ...
3
votes
0answers
125 views

Sequences of Metric Spaces of Compact Subsets

Consider a complete metric space $(M, d)$ and let $F(M)$ denote the non-empty compact subsets of $M$. Then $F(M)$ is also a complete metric space under the Hausdorff distance $d_H$. Given some ...
3
votes
0answers
81 views

Lipschitz continuity for an iterated function system

Let $(M,d_M)$ and $(N,d_N)$ be metric and $$ CB(M)=\{\mbox{all closed bounded subsets of }M\}. $$ Let $f: M\to N$ be a Lipschitz map with Lipschitz constant $L$. Define a map $$ F:(CB(M),\rho)\to ...
3
votes
0answers
164 views

Is the Hausdorff semi-distance Lipschitz?

Let $X$ be Banach (with metric $d$) and let $H(X)$ be the set of closed bounded subsets of $X$. Define for $A,B\in H(X)$ $$\delta(A,B)=\sup_{a\in A}\inf_{b\in B}d(a,b)$$ be the Hausdorff semi-distance ...
3
votes
0answers
326 views

Understanding examples - metric spaces, Minkowski functionals and topologies

I'm teaching myself a course on functional analysis but having trouble understanding the notes I've been using. I was hoping I could write out a section of the content and you might be able to help me ...
3
votes
0answers
75 views

The canonical (1,1)-form on a compact Riemann surface gives locally a subharmonic function

Let $X$ be a compact connected Riemann surface of genus $g>0$. We have the so called canonical (1,1)-form $\mu$ on $X$ defined as follows. Choose an orthonormal basis $(\omega_1,\ldots, \omega_g)$ ...
2
votes
0answers
44 views

Zer0-dimensional, countable, 1st countable T1 space is metrizable?

Show that every countable, first countable, zero-dimensional T1 space $X$ is metrizable. I know that T1 space means that all its singletons are closed. Also, zero-dimensional means that $X$ has a ...
2
votes
0answers
69 views

Closure of an open ball equal to the closed ball

If $X$ is a discrete space (metric). Then the closure of a open ball $B_1(x)=\{x\}$ is $B_1(x)=\{x\}$, and the closed ball is $X$, therefore do not coincide. You know another example such that: ...
2
votes
0answers
70 views

Prove that $E$ is disconnected iff there exists two open disjoint sets $A$,$B$ in $X$

Let $(X,d)$ be a metric space. Prove that $E$ is disconnected iff there exists two open disjoint sets $A$,$B$ in $X$ such that $E\cap A\neq\emptyset, E\cap B\neq \emptyset$ and $E\subset A\cup B$. ...
2
votes
0answers
61 views

how is this proof about distance in metric spaces is wrong?

Let $A,B \subseteq \mathbb{R}^d$ be non-empty sets. Define their distance to be $$ d(A,B) = \inf \{ ||x-y|| : x \in A, \; \; y \in B \} $$ For any $A,B$, do we have that $d(A,B) = d( \overline{A}, ...
2
votes
0answers
26 views

Prove that every pseudocompact metric space is compact

This is from Real Mathematical Analysis by Pugh, problem 2.85(a). I've seen proofs but they've used concepts that haven't been covered up to this point, like the Tietze extension theorem, metrizable ...
2
votes
0answers
60 views

An (extended) semimetric on surfaces

Given a smooth surface $S \subseteq \mathbb{R}^3$, like the surface of sphere, we can define the following extended semimetric $d : S^2 \to [0, \infty]$, where $$ d(x,y) = \inf\{\lVert x - p\rVert + ...
2
votes
0answers
75 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
71 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
53 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
52 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
37 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
40 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
98 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
63 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
91 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 ...