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
1answer
25 views

Is there a name for embedding of Lebesgue spaces $L^q(a,b) ⊂ L^p(a,b)$

Let $1 ≤ p ≤ q ≤ ∞$ then $L^q(a,b) ⊂ L^p(a,b)$ where $L^q(a,b), L^p(a,b)$ are Lebesgue spaces Is there a name for this relationship? Is this the Sobolev embedding theorem?
1
vote
1answer
21 views

Is the closure of every bounded convex set , with non-empty interior , in $\mathbb R^n (n>1)$ homeomorphic to a closed ball?

Is the closure of every bounded convex set , with non-empty interior , in $\mathbb R^n (n>1)$ homeomorphic to a closed ball (by closed ball I mean $B[a,r]:=\{x \in \mathbb R^n : d(x,a)\le r\}$ , ...
2
votes
1answer
23 views

How is this metric defined when there is no $k$?

Let $\left\{1,2,3\right\}$ be equipped with the discrete topology and $X=\left\{1,2,3\right\}^{\mathbb{Z}}$ with the product-topology. Then one possible metric on $X$ is $$ d(x,y)=\begin{cases}2^{-k} ...
2
votes
1answer
33 views

Is the inverse of a bijective connectedness preserving map , on a complete real inner product space , also connected preserving?

Let $X$ be a complete real inner-product space and $f:X \to X$ be a bijection which maps connected sets to connected sets ; then is it necessarily true that $f^{-1}$ also maps connected sets to ...
0
votes
0answers
15 views
1
vote
4answers
92 views

Are there an infinite number of open balls in an open set in a metric space?

Let's start off by recalling the definition of an open set in a metric space: A set $A$ in a metric space $(X,d)$ is open if for each point $x\in A$ there is a number $r\gt0$ such that $B_r(x)\subset ...
4
votes
0answers
35 views

Spaces whose all their metrizations are complete [duplicate]

Which metrizable topological spaces $(X,\tau)$ posses the following property: Every compatible metric (i.e one which induces the same topology $\tau$) is complete. Compact metrizable spaces satisfy ...
0
votes
3answers
51 views

$\mathbb{N}$- a complete metric space with $d(x,y)=|x-y|$

$\mathbb{N}$- a complete metric space with $d(x,y)=|x-y|.$ This seems quite intuitively correct, but I do not know how to prove this formally, does anyone know how they would go about this?
3
votes
1answer
26 views

Are Homogenous countable complete metric spaces always discrete?

Let $M$ be a countable complete metric space such that the group of isometries of $M$, $Iso(M)$ acts transitively on the points in $M$. Does it follow that the topology induced by the metric is the ...
3
votes
1answer
23 views

Which subsets of a given real linear space $V$ are open unit balls with respect to some norm on the space?

Which subsets of a given real linear space $V$ are open unit balls with respect to some norm on the space? My textbook (Metric Spaces - Michael Searcoid) gives the following hints to answer the above ...
0
votes
0answers
45 views

What are some functions $f \in L^\infty(\Omega)$

In my text book all it said about $L^\infty(\Omega)$ space is that it is the space of all measurable functions that are bounded almost everywhere. No example given. I can't see how any member of this ...
-2
votes
0answers
35 views

How to prove $f:X\to Y$ is continuous

$X,Y$ are metric spaces. Then $f:X\to Y$ is continuous in $X$ if that $C\subset Y$ is closed implies that its inverse image is closed in $X$. I want a proof that's directly based on the ...
4
votes
1answer
156 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 ...
3
votes
3answers
60 views

Continuity of distance function

I wonder if this is obvious because it does not appear to me obvious at all: Reference: [Hormander: An introduction to Complex Analysis in Several Variables], page 37: Here is the quote Now, let ...
2
votes
1answer
31 views

Bounded sets equivalent definition

Let $X$ be a metric space, and $E\subset X$. I have two definitions of a bounded set, I want to prove they are equivalent. Definition 1: $\exists M:\exists q\in X:\forall p\in E:d(p,q)<M$ ...
3
votes
0answers
40 views

Proving that $S^c=\left\{f(x)\in C^2[0,1]\;\Big\vert\; \int_{0}^{1}f(x)dx > 3\right\}$ is open in $C^2[0,1]$ with a specific metric

I am trying to prove that $$S^c=\left\{f(x)\in C^2[0,1]\;\Big\vert\; \int_{0}^{1}f(x)dx > 3\right\}$$ is open in $C^2[0,1]$ with the metric $d$ given by $$ d(f,g)=\sup_{x \in [0,1]}|f(x)-g(x)|+ ...
2
votes
1answer
40 views

Completeness of ${C^2[0,1]}$ with under a specific metric

Prove that ${C^2[0,1]} $ (set of two times differentiable functions)is complete with metric: $$d(f,g)=\sup_{x \in [0,1]}|f(x)-g(x)|+ \sup_{x \in [0,1]}|f'(x)-g'(x)| + \sup_{x \in ...
2
votes
1answer
36 views

A possible complete metric on the set of twice-differentiable functions on $[0,1]$

Let $S \subset C^2[0,1]$ (set of two times differentiable functions $f(x)$ on $[0,1]$) which satisfy the following: $$\int_0^1 f(x)\,dx\leq3$$ Question is $(S,d)$ is a complete metric space, ...
1
vote
1answer
33 views

Definition of standard deviation and $l_2$

If we denote the mean as $\mu$, then the standard deviation is: $$\sigma\equiv\left(\sum_{x\in X}{p(x)(x-\mu)^2}\right)^\frac{1}{2}$$ In other words, $\sigma$ is the average $l_2$ distance from $\mu$. ...
1
vote
2answers
88 views

Prove that Euclidean distance in $\mathbb{R}^n$ is a distance

I'm trying to show that: $$\forall x,y\in\mathbb{R}^n, d(x,y)=\left(\sum_{i=1}^n(x_i-y_i)^2\right)^{1/2}$$ is a distance. However I have not proved Cauchy-Schwarz yet and I'm pretty sure I wouldn't ...
23
votes
2answers
385 views

When is a metric space Euclidean, without referring to $\mathbb R^n$?

Normally, the Euclidean space is introduced as $\mathbb R^n$. However, I've now been thinking about how one might define the $n$-dimensional Euklidean space only from the properties of the metric. ...
2
votes
2answers
79 views

Prove that a finite union of closed sets is also closed (using limit points)

Let $F_i$ be a family of closed sets, then we know that $\bigcup_{i=1}^nF_i$ is closed. Proving that statement is equivalent to proving: If $p$ is a limit point of $\bigcup_{i=1}^nF_i$ then ...
4
votes
0answers
53 views

Defining a metric in the tangent spaces $ T_xM $

I'm working with a metric $D$ over the manifold of grassman $G_n(\mathbb{R}^{d})$ and have difficulties to extend $D$. Let me explain: If $M$ is a submanifold of dimension $n$ in $\mathbb{R}^{d}$ ...
0
votes
1answer
34 views

Problem in showing that a sequence is a Cauchy sequence on a space with the integral metric.

I'm having difficulty following what is going on and understanding parts in the following example. It is quite similar to an example I posted before (Changing of the limits of integration with the ...
1
vote
2answers
44 views

Why is the topology on $\mathbb{R}$ formed by the basis $[a,b)$ normal?

Why is the topology on $\mathbb{R}$ formed by the basis $[a,b)$ normal? I need to prove that two disjoint closed sets are contained wtihin two open disjoint sets. First, I tried to understand how a ...
1
vote
1answer
33 views

The convergence of different metrics on the same space

The following example is from my notes, and I would like clarification on some wider points connected to it, namely about extensions from what we understand metrics and metric spaces to be. It follows ...
1
vote
0answers
28 views

When does equality occur in the triangle inequality in metric space? [closed]

When I think of $\mathbb{R}^n$ , $n\leq 3$ ; it is very easy given the usual metric. But what if the metric is not usual? I cannot think of a metric which is not usual; and still gives an equality ...
2
votes
4answers
55 views

Prove $\left|\sum_{i=1}^n x_i y_i \right| \le \dfrac{1}{a} \sum_{i=1}^n {x_i}^2 + \dfrac{a}{4}\sum_{i=1}^n {y_i}^2$

If $X,Y$ are vectors in $\mathbb{R}^n$ and $a>0$ show that: $$\left|\sum_{i=1}^n x_i y_i \right| \le \dfrac{1}{a} \sum_{i=1}^n {x_i}^2 + \dfrac{a}{4}\sum_{i=1}^n {y_i}^2 (*)$$ I started with ...
3
votes
1answer
33 views

Complement of the union of countably many , mutually disjoint , non-empty open balls in $\mathbb R^n , (n >1) $ is path connected?

Let $n \ge 2$ and $\{B_m\}_{m=1}^\infty$ be countably infinitely many , mutually disjoint , non-empty open balls in $\mathbb R^n$ , then is $\mathbb R^n \setminus \cup_{m=1}^\infty B_m$ ...
1
vote
1answer
27 views

Changing of the limits of integration with the integral metric.

Consider the following sequence of functions, $$f_n(x) = \begin{cases} nx & \text{for $0\le x \le \frac1n$} \\ 1 & \text{for $x\ge \frac1n$} \end{cases}$$ And call to mind the integral ...
1
vote
2answers
35 views

Predicate logic inference in a simple proof of uniform continuity.

For a function $f$ from a metric space $X$ into a metric space $Y$, uniform continuity can defined in this way: $\forall ε>0:\existsδ > 0:\forall p,q\in X:d_{X}(p,q)<δ \rightarrow ...
3
votes
0answers
20 views

On a metric over m-subsets of [n]

Given an integer $n$, denote the set of integers $\{1,2,\dots,n\}$ as $[n]$. For two $m$-subsets $A$ and $B$ of $[n]$, list their elements in the increasing order as $a_1 < a_2 < \dots < a_m$ ...
0
votes
1answer
37 views

Showing $d(x,y)=0$ iff $x_{n}=y_{n}$

Consider the space $\mathbb{R}^{\infty}$ of all sequences $x=\left \{ x_{1},x_{2},... \right \}$ of real numbers. Define the function $d:\mathbb{R}^{\infty}\times \mathbb{R}^{\infty}\rightarrow ...
-3
votes
2answers
26 views

$A$ is a convex subset with non-empty interior and $D$ is dense in $\mathbb R^n$ ; then $\mathbb R^n$ , $U\cap D \cap A \ne \phi$? [closed]

Let $A$ be a convex subset , with non-empty interior , of $\mathbb R^n$ and $D$ be a dense subset of $\mathbb R^n$ ; then is it true that for every open subset $U$ of $\mathbb R^n$ , $U\cap D \cap A$ ...
0
votes
3answers
12 views

$A$ be a convex subset and $D$ be dense in a real NLS ; then for every non-empty open subset $U$ of the NLS , $U\cap D\cap V \ne \phi$?

Let $A$ be a convex subset of a real normed linear space $V$ and $D$ be a dense subset of $V$ ; then is it true that for every non-empty open subset $U$ of $V$ , $U\cap D\cap A $ is non-empty ?
0
votes
2answers
176 views

Isometry of a metric space with proper subset

In Irving Kaplansky's "Set Theory and Metric Spaces", exercise 17 on page 71 asks for an example of a metric space which is isometric to a proper subset of itself. Any infinite discrete space and any ...
1
vote
2answers
394 views

a bijection between the set of all open sets in M and the set of all closed subsets of M, where M is a metric space

Let T be the collection of open subsets of a metric space M, and K the collection of closed subsets. Show that there is bijection from T onto K. Here, I was thinking that if $f: T\rightarrow K $ is ...
1
vote
1answer
48 views

Confused about the open/closed set in metric space

Let $(M,d)$ be a metric space. I understand well that $\emptyset$ and $\mathbb{R}$ are both open and closed sets. I read some notes that say, that $\emptyset$ and $M$ are both open and closed. So, ...
12
votes
0answers
171 views

Global structure of the Gromov-Hausdorff space

EDIT: now crossposted at mathoverflow (http://mathoverflow.net/questions/212364/on-the-global-structure-of-the-gromov-hausdorff-metric-space) This is a purely idle question, which emerged during a ...
4
votes
1answer
63 views

Why is the Gromov-Hausdorff distance a metric?

The Gromov-Hausdorff distance is: $$ d_{GH}(A,B) = \inf_{f,g}d_H(A',B') $$where $f$ and $g$ are isometric embeddings of $A,B$ into some metric space, and their images are $A', B'$. The inf is taken ...
3
votes
1answer
46 views

Distance between a point and an empty set: meaning and value?

On page 253 in General Topology by R Engelking: The distance $\rho(x, A)$ from a point $x$ to a set $A$ in a metric space $(X,\rho)$ is defined by letting $\rho(x, A) = \text {inf}\ {\{\rho(x, a) ...
2
votes
3answers
93 views

Let $A,B$ be compact subsets of $X$. Prove that $A \cap B$ is compact.

Let $A,B$ be compact subsets of $X$. Prove that $A \cap B$ is compact. Attempt: Suppose by contrapositive, that $A \cup B$ is compact. Then let $V$ be an open cover of $A \cup B$. Then let $A$ be ...
4
votes
4answers
2k views

Prove that a subset of a separable set is itself separable

The problem statement, all variables and given/known data: Show that if $X$ is a subset of $M$ and $(M,d)$ is separable, then $(X,d)$ is separable. [This may be a little bit trickier than it looks - ...
0
votes
0answers
27 views

Statement about the discrete (metric) space, and both an open and closed ball.

I have the following statement from my notes: "Let $(X,d)$ be the discrete space i.e. any non-empty set with the discrete metric ($d_d(x,y)=1$ for all $x\neq y$). Then, amazingly, $B_1(x)=\{x\}$, a ...
0
votes
1answer
38 views

Dense $G_{\delta}$ set implies comeagre set

Suppose that $X$ is a metric space. Show that if $D$ is a dense $G_{\delta}$ set, then $D$ is comeagre, that is, countable intersection of dense sets. My attempt: Let $D=\bigcap_{n \in ...
1
vote
0answers
14 views

Find Connected Components

Let $X = \mathbb{R^2}$ and let $F_k$ be the closed line segment joining $(-1,2^{-k})$ and $(1,2^{-k})$ Additionally let $a = (-1,0) \ ,\ b=(1,0)$ Consider $A = \{a,b\} \cup \ ...
1
vote
1answer
322 views

Show for $f:A \to Y$ uniformly continuous exists a unique extension to $\overline{A}$, which is uniformly continuous

Working on the following problem from Munkres: Let $(X, d_{X})$ and $(Y, d_Y)$ be metric spaces; let $Y$ be complete. Let $A \subset X$. Show that if $f:A \to Y$ is uniformly continuous, then ...
1
vote
2answers
558 views

Sequence has a convergent subsequence in R^n

Suppose A is a closed and bounded subset of R^n. Let {ak} be a sequence in A. Thus, the elements of {ak} are: (a11,a12,...,a1n), (a21,a22,...,a2n), ... ... (ak1,ak2,...,akn), ... We are not sure if ...
0
votes
2answers
63 views

If $d_1(x,y)$ and $d_2(x,y)$ are metrics, prove that $d'(x,y)= \sqrt{d_1^2(x,y)+d_2^2(x,y)}$ is a metric.

$$d'(x,y)= \sqrt{d_1^2(x,y)+d_2^2(x,y)}$$ The first three properties are trivially proven. The triangle inequality, not so much. I tried using the triangle inequalities that apply to $d_1$ and $d_2$, ...
0
votes
1answer
30 views

Locally lipschitz mapping implies lipschitz over compacts

Let $f: M_{1} \times M_{2} \to M_{3}$ be locally lipschitz in the first variable. Prove that, given a compact $N \subset M_{1} \times M_{2}$, the mapping $f$ is lipschitz in the first variable over ...