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)

0
votes
1answer
60 views

Symmetric Operator with Different dot products

If I have a symmetric operator $A$ in a metric space $\mathscr{M}$. Then $\langle Au,v\rangle =\langle v,Au\rangle $ with the dot product defined in $\mathscr{M}$. My question is, if I keep the same ...
3
votes
3answers
174 views

Continuous map between metric spaces

Suppose $X,Y$ are metric spaces, let $A \subset X$ be a bounded subset of $X$ and $f: A \to Y$ to be a continuous bjection. Prove or disprove that $f^{-1}$ is continuous. Remark: If each closed ...
1
vote
1answer
73 views

Metric problems

I am taking the GRE in less than 10 days, and I have never taken analysis. And I would like to tackle metric problems and I was wondering if anyone could show me a certain strategy to solve problems ...
0
votes
1answer
60 views

Let $ f:(X, d) \mapsto (Y,d) $ be an mapping such that $ Graph (f) $ is connected. [duplicate]

Where $ X $ is connected. Does it imply $ f $ to be continuous?
2
votes
0answers
96 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
2answers
878 views

Is the set of integers Cauchy complete?

http://en.wikipedia.org/wiki/Complete_metric_space says that a metric space M is called complete (or a Cauchy space) if every Cauchy sequence of points in M has a limit that is also in M or, ...
1
vote
2answers
144 views

Let $ f:(X, d)\mapsto (X, d ) $ be a mapping on compact metric space with $ d (f (x), f (y))<d (x,y) $for $ x\ne y $

I prove that $ f $ has a fixed point. My question is whether the point is unique and the mapping $ f $ is continuous.
4
votes
1answer
83 views

How to show that a continuous map on a compact metric space must fix some non-empty set.

Suppose $(X,d)$ is a compact metric space and $f:X\to X$ a continuous map. Show that $f (A)=A$ for some nonempty $A\subseteq X.$ I start this by supposing that $A_0:=X$ and $A_{n+1}:=f(A_n)$ for ...
2
votes
2answers
76 views

Prove an inequality in $\mathbb{R}$

Let $ p,q \in \mathbb{R}, \; \lambda > 0, p \neq q$ (two points). For the two points $x_+, x_{-}$ with \begin{align*} x_+&=p+\lambda\cdot (q-p)\\ x_{-}&=p-\lambda \cdot (q-p) ...
4
votes
1answer
80 views

Is $(A \times B)^\epsilon \subseteq A^\epsilon \times B^\epsilon$?

While working on a problem related to my research, I had the following query. It pertains to product spaces: The Question: Let $(X,d_X)$ and $(Y,d_Y)$ be two Polish (Complete separable metric) ...
3
votes
2answers
93 views

Isometry from Manhattan plane to Euclidean plane?

Does there exist an isometry from a Manhattan plane $A$ to a Euclidean plane $B$? I.e. a function $\varphi:A \to B$ that suffices $\|\varphi(a)\|_B = \|a\|_A$ for all $a \in A$, where $\| \cdot \|_A$ ...
1
vote
1answer
143 views

Proving $\ell_\infty$ is complete

I start by taking a Cauchy sequence $(a_i)$ in $\ell_\infty$. I denote the terms of $(a_i)$ as $f_1, f_2, f_3, \dots$ and so on. For each $x \in \mathbb{N}$, the sequence $(f_1(x), f_2(x), f_3(x), ...
8
votes
2answers
136 views

Defining a metric space

I'm studying for actuarial exams, but I always pick up mathematics books because I like to challenge myself and try to learn new branches. Recently I've bought Topology by D. Kahn and am finding it ...
2
votes
1answer
384 views

Showing that the open ball is homeomorphic to $\mathbb{R}^n$ [duplicate]

I'm trying to prove that an open ball is homeomorphic to $\mathbb{R}^n$ but since this is the first proof of this kind that I try to give I'm having a little doubt on how to begin. I've had some ...
2
votes
0answers
138 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 ...
5
votes
4answers
431 views

Is a continuous function like a homomorphism/isomorphism for metric spaces?

If I had to define a notion of a homomorphism/isomorphism on metric spaces, I'd say something like this. Let $A$ and $B$ be metric spaces with norms $\| \cdot \|_A$ and $\| \cdot \|_B$ respectively. ...
8
votes
4answers
5k views

Cauchy sequence is convergent iff it has a convergent subsequence

Prove that if $\left ( x_{n} \right )$ is a Cauchy sequence in a metric space X then $\left ( x_{n} \right )$ is convergent if and only if $\left ( x_{n} \right )$ has a convergent subsequence. Note: ...
2
votes
2answers
145 views

Irrational P-adics

$\mathbb{Q}_p$ is completion of $\mathbb{Q}$ by defining a new metric. So, with respect to this new metric they are complete. I just want to be sure, are there p-adic rationals? If there are P-adic ...
1
vote
1answer
58 views

Prove that $ A\subset \ell_1 $ is compact iff $A$ satisfies the following property

$A$ is compact iff $ A $ is bounded and, given $\epsilon > 0$, there exists $ n_0$ such that $ \sum_ {k=n}^\infty |x_k|\le\epsilon $ for all $n \geq n_0 $ and for all $ x\in A $. To prove ...
1
vote
2answers
94 views

If $x\in X$ and sequence $(x_n) \in X^{\Bbb N}$ converges in $(X,d)$ , then so does every subsequence of $(x_n)$.

A subequence of a sequence $(x_n)_{n\ge 1}$ is a sequence $ (x_{n_1}, x_{n_2},x_{n_3},...$) where $n_1,n_2,n_3,... \in \Bbb N$ with $n_1\lt n_2\lt n_3\lt ...$ Let $(X,d)$ be a metric space and let ...
1
vote
1answer
36 views

Is a 'normally' convergent sequence still convergent in a metric space which barely excludes its 'normal' limit?

For example, suppose $$ x_n = \frac 1n \\ X = (0, 1)$$ Is $x_n$ convergent in $X$? My guess would be no, since there exists no $x \in X$ which $x_n$ approaches; $x_n$ will eventually surpass any ...
1
vote
1answer
154 views

It is possible to generalize the “real” line to be able to embed $\omega_1$ or any uncountable ordinal into a finite segment of it?

This question is motivated from a previous question, but is in itself independent of it. So, I understand that it is not possible to embed $\omega_1$ or any uncountable ordinal into the real line, ...
0
votes
1answer
69 views

Metric Spaces needed for Differential Geometry

I've asked here about some texts about differential geometry which doesn't assumes that the reader knows general topology. I've got good references as Do Carmo's Differential Geometry of Curves and ...
2
votes
1answer
68 views

Equivalents metrics and closed sets

I have proven that if $ d $ and $ \rho $ are two equivalent metrics on a set $ E $ then these metrics define the same open sets in both metric spaces $ (E, d) $ as $ (E, \rho ) $. What I tried was ...
2
votes
2answers
150 views

A bijective mapping between metric spaces is open iff it is closed

Let $X$ and $D$ be metric spaces and suppose that $f: X \to D$ is one-one and onto. Show that $f$ is an open map iff $f$ is a closed map. how can I able to solve this problem
0
votes
1answer
200 views

Is the unit ball of a separable Banach space itself separable?

If $X$ is a separable Banach space, then do we know that its unit ball has a countably dense subset contained in the unit ball? This isn't obvious to me.
4
votes
1answer
825 views

Unit ball of a Separable Banach Spaces is metrizable

Please help me to understand why the unit ball of a separable banach space is metrizable, when it is given the induced topology from the weak topology. Specifically, my problem is I think I'd be able ...
1
vote
2answers
50 views

Let $(X,d)$ be a metric space and assume that $B_r^d(x)=B_s^d(y)$. is $r=s$ and $x=y$ [duplicate]

Let $(X,d)$ be a metric space and assume that $B_r^d(x)=B_s^d(y)$ where: $$B_r^d=\{ a \in X | d(a,x) < r\}$$ Now, is it always true that (a) $r=s$ (b) $x=y$ I made an elaborate argument on this ...
1
vote
1answer
93 views

Let $F$ be a subset of a metric space $(X, d)$ such that $\overline{F}$ is compact. Show that $F$ is totally bounded.

Let $F$ be a subset of a metric space $(X, d)$ such that $\overline{F}$ is compact. Show that $F$ is totally bounded. how can I able to solve this.I have no idea.thanks for your help
3
votes
2answers
949 views

How to prove boundary of a subset is closed in $X$?

Suppose $A\subseteq X$. Prove that the boundary $\partial A$ of $A$ is closed in $X$. My knowledge: $A^{\circ}$ is the interior $A^{\circ}\subseteq A \subseteq \overline{A}\subseteq X$ My proof ...
4
votes
3answers
175 views

$f$ continuous and surjective, $d_1(a,b)\le d_2(f(a),f(b))$, $X$ complete implies $Y$ complete

Let $(X,d_1)$ and $(Y,d_2)$ be metric spaces. Let $f : X \to Y$ be continuous and surjective. Suppose $d_1(a,b)\le d_2(f(a),f(b))$ for all $a,b\in X$. How can we show that if $X$ is complete then $Y$ ...
2
votes
1answer
70 views

Is the mapping $ d : X\times X \mapsto \mathbb {R} $ continuous?

Where $ (X, d) $ is a metric space. I want to prove it using sequential criteria. How do I tackle it?
2
votes
2answers
52 views

If 2 open balls define the same space, is it true that x=y and r=s?

Let $(X,d)$ be a non-empty metric sapce, $r$ and $s$ are postive radii, and $b_r^{d}(x)=b^d_s(y)$ for some $x,y \in X$. Is it true that $r=s$ ? Is it true that $x=y$? My answer would be ...
5
votes
2answers
425 views

A point is in the boundary of $E$ if and only if it belongs to the closure of both $E$ and its complement.

Let $E$ be a subset of a metric space $(S,d)$. Prove that: A point is in the boundary of $E$ if and only if it belongs to the closure of both $E$ and its complement. Here is what I thought: I'm ...
0
votes
2answers
93 views

Does the union of open neighborhoods of all points in a metric space cover the metric space?

Let $M$ be a metric space that is locally compact. Let $O_i \subset M$. Let $C$ be an open cover of $O_i$, and let $C'\subset C$. Define $U \subset O_i$ to be an open neighborhood of some $x\in O_i$ ...
2
votes
2answers
405 views

Is this function Lipschitz continuous?

Let $\mu \in \mathbb R^d$ be given. Is the function $f:\mathbb R^d \to \mathbb R^d$ defined as $f(x) := \exp(-\|x- \mu\|) (\mu - x)$ Lipschitz continuous? More specifically, for any $x, y \in ...
4
votes
1answer
67 views

Is the mapping that takes a metric to the induced intrinsic metric a closure operator?

To abbreviate the expression, "it holds that," I will write "iht." First a definition. Given a partially ordered set $(P,\geq)$, a closure operator on $P$ is a mapping $\mathrm{cl} : P \rightarrow P$ ...
4
votes
3answers
120 views

Can we extend any metric space to any larger set?

Let $(X,d)$ be metric space and $X\subset Y$. Can $d$ be extended to $Y^2$ so that $(Y,d)$ is a metric space? Edit: how about extending any $(\Bbb Z,d)$ to $(\Bbb R,d)$
0
votes
1answer
159 views

equivalence of compactness and countably compactness

Is there a way to prove that in metric spaces, compactness and countably compactness are equivalent, without using the Bolzano Weierstrass Property?
0
votes
2answers
68 views

find open balls $B_1,B_2,B_3,\ldots$ so: $U=\bigcup _{n\in \Bbb N} B_n$ , where $U=\{(x,y)\in \Bbb R^2 : y\gt x\}$

In the metric space $(\Bbb R^2,d_{\Bbb R^2})$: How can I find open balls $B_1,B_2,B_3,\ldots$ so: $U=\bigcup _{n\in \Bbb N} B_n$, where: $U=\{(x,y)\in \Bbb R^2 : y\gt x\}$. and why ...
0
votes
2answers
175 views

Show the $\operatorname{int}(A)$ is open.

So we want to show that the interior of any set $A$ is open. We will denote $\operatorname{int}(A)$ as the interior of $A$ which is the set of all interior points of $A$. I know in order to prove ...
2
votes
2answers
371 views

Intersection and union of complete subsets of a metric space

Does anyone know the two following proofs? (i) the intersection of any collection of complete subsets of metric space $(X, d)$ is complete. and (ii) the union of a finite number of complete ...
4
votes
1answer
325 views

Proving a set is closed in a metric space

Given the subset $$ F=\left\{f \in C[0,1]: \int_0^1 f(t)dt=1\right\} $$ show that $F$ is closed in $C[0,1]$ with the supremum metric. Definitions we use: Limit point: $x$ is a limit point ...
1
vote
2answers
64 views

$U \in \tau(\Bbb R,d_\Bbb R)$ $\iff$ there are open intervals $B_1,B_2,B_3,…$ with $U= \bigcup_{n\in\Bbb N} B_n$

The rational numbers are countable: you can write $\Bbb Q =${$q_1,q_2,q_3,...$}. Moreover,$\Bbb Q$ is dense in $(\Bbb R,d_\Bbb R)$. Use these facts to prove for a non-empty set ...
3
votes
2answers
730 views

Show that the set of all orthogonal matrix of order $n$, $O(n)$ is a compact subset of $GL(n,\mathbb R)$

I have only concept in topology, metric space, and functional analysis. How do I tackle this. Also I want to know that is the set connected?
1
vote
0answers
73 views

Define metric on set and products

Let $X$ be set. My question is: if adding point $\ast$ to $X$ to get set $X \cup \{\ast\}$ then on countable product $\prod_{n \in \mathbb N_+} X \cup \{\ast\}$ I found it possible to define metric. ...
5
votes
3answers
177 views

Grasping the definition of open and closed sets

In a metric subspace $S = [0,1]$ of $\mathbb{R}^1$, why is it that every interval of the form $[0,x)$ or $(x,1], x\in (0,1)$, is an open set in $S$? I understand that if you were to remove either, ...
2
votes
1answer
871 views

Show that closed unit ball in $ l^2 $ is not compact. [duplicate]

I have a prove using the defination of compact set.But I want to prove it using sequential criteria of compactness.How is it possibe?
7
votes
4answers
4k views

A example of closed and bounded does not imply compactnesss in metric Space

Let $X$ be the integers with metric $ρ(m,n)=1$, except that $ρ(n,n)=0$. Check that $ρ$ is a metric. Show that $X$ is closed and bounded, but not compact. This is a "made-up" example demonstrating ...
4
votes
1answer
876 views

How to show that Hausdorff distance is a metric on the set of all compact non-empty subsets of a Polish space?

For each perfect Polish space $X$, let $H[X]$ be the set of all compact non-empty subsets of $X$. If $x ∈ X$ and $A ∈ H[X]$, put $$d(x,A) = \inf \{d(x, y) : y ∈ A\}$$ where on the right $d$ ...