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
2answers
36 views

Uniform convergence and pointwise convergence

Having the standard definitions for pointwise resp. uniform convergence of sequences of functions in a general metric space ($X,d$). What special conditions should X fulfill such that pointwise ...
2
votes
1answer
53 views

Does this claim depend on topology?

An open rectangle is a set $R\subset\mathbb{R}^2$ of the form $R=\{(x,y)\in\mathbb{R}^2;\;a<x<b\text{ and }c<y<d\}$, where $a,b,c,d\in\mathbb{R}$, $a<b$ and $c<d$. Let $\|\cdot\|$ ...
1
vote
1answer
46 views

Metrizable spaces

A topological space X is metrizable if it is homeomorfic to a metric space. I want to know does this mean that all of topological properties of a metric space inherit to that topological spaces? Also ...
3
votes
1answer
83 views

Cone metric spaces and fixed point theory

These days cone metric spaces, as a generalization of metric spaces, started to be very interesting... A special interest for this space is its application to the fixed point theory. On the last ...
1
vote
3answers
103 views

Clarification on trivial topology not being metrizable.

This is my understanding of the proof. Please let me know if I am correct. If I take any two points in a trivial topology. I can find the minimum radius such that they both are in two different open ...
1
vote
1answer
17 views

Metric on half-open interval s.t. subset is open w.r.t. $d$ iff open w.r.t. Euclidean metric

I wish to find a metric $d$ on the space $X = (0,1]$ such that $(X,d)$ is complete and so that a subset of $X$ is open with respect to $d$ if and only if it is open with respect to the Euclidean ...
0
votes
2answers
116 views

Difference between closed, bounded and compact sets. [closed]

Can somebody explain the difference between compact, bounded and closed sets with examples?
0
votes
1answer
28 views

Are a closed and a compact disjoint sets sufficiently wide apart?

Let $X$ be a metric space and $A$ and $B$ two subsets of $X$. If $A$ is closed, $B$ is a compact, and $A\cap B=\emptyset$, is it true that there is $d>0$ such that $\operatorname d (x,y)\ge d$ for ...
0
votes
3answers
87 views

Does Cantors Theorem imply one can never build nested closed sets with empty intersection?

Granted, I know Cantors Theorem says that it has to be nonempty, but what if we have some Cauchy sequence that is not complete? I was thinking it would be possible then.
1
vote
0answers
28 views

Do all subsets of metric spaces have boundry points?

I am learning about metric spaces. I failed to find an aunambiguous answer to my question on Google. So this is the right place to ask: Assume (X,d) is a metric space, and $A \subset X$. If I ...
1
vote
1answer
19 views

Can you give me an example of a function that is either upper OR lower quasi-continuous but not both?

A function $f: X \rightarrow \mathbb{R}$ is said to be upper (lower) quasi-continuous at $x \in X$ if for each $\epsilon >0$ and for each neighbourhood $U$ of $x$ there is a non-empty open set $G ...
0
votes
1answer
46 views

Prove that $\exists\ C$ such that $T: C \to C$ with $C=\overline{\text{conv}}T(C)$

I have a problem: Let $K$ be a nonempty, closed, bounded and convex subset of reflective Banach space $X$. Suppose that $$T:K \to K$$ is nonexpansive. Prove that $\exists\ C$ such that ...
0
votes
0answers
50 views

Isometries of a general metric

For a general (pseudo-)Riemannian manifold, i.e. in which the interval $ds$ can be written $ds^2 = g_{ab}\,dx^a \,dx^b$, is there a general prescription for finding the group of isometries- by ...
1
vote
1answer
69 views

When is $\mathcal C(X)$ complete?

I learned today in class that $\mathcal C([a,b])$ is complete with the supremum norm. That is, any uniformly convergent sequence $(f_n)$ is Cauchy, and the converse is true. I asked my teacher about ...
2
votes
4answers
144 views

Concerning $C^0[0,1]$ and the $L^1$-Norm.

Consider the well known Euler sequence of functions $x^n$ ($n=1,2,3\ldots$) on $[0,1]$. It is clear that it converges against $\chi_{1}$, the characteristic function of the singleton $1$, in the ...
2
votes
2answers
60 views

why the inequality property is important of metric space?

New for topology here. There is a property in the axiomation of metric space: $d(x,z)\le d(x,y)+d(y,z)$. I understand that property applies well when it come to the measure of distances among ...
1
vote
1answer
22 views

Metric space contractions [duplicate]

Consider $(\mathbb{C}^n ,||\cdot||_{1})$ where $||x||_{1} = \sum\limits_{i=1}^{n} |x_{i}|$ and $d_{1}(x,y) = ||x-y||_{1} = \sum\limits_{i=1}^n |x_{i} - y_{i}|$. I want to find a condition such that ...
1
vote
3answers
78 views

Can an open ball have just one point. As per my understanding it cannot. Please clarify.

I am new to functional analysis and am just learning. To my understanding an open ball must have at least 2 points else its definition will not be satisfied. Now if I have just an empty set and this ...
0
votes
1answer
40 views

How to prove that this set is open.

This is probably very easy. I know that it is very obvoius, but I want to prove it using the definition of what beeing open means. I have $A = \{y \in R: y <a \}$. And I want to show that it is ...
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 ...
0
votes
3answers
30 views

On proving that a compact metric space is bounded

I am trying to prove the above claim. My question is on the bolded part and if I am correct in making that statement. A metric space is bounded if there exists an $M \in \mathbf{N}$ such that ...
1
vote
1answer
34 views

Showing that for equivalent metrics, the separability of one metric space implies the separability of the other

Since $\rho$ and $\sigma$ are equivalent, there are positive numbers $c_1$ and $c_2$ such that for all $x_1, x_2 \in X$, $$c_1\cdot\sigma(x_1, x_2) \leq \rho(x_1, x_2) \leq c_2\cdot\sigma(x_1, ...
-1
votes
1answer
25 views

Finding a condition to make a map a contracting map

Consider $(\mathbb{C}^n ,||\cdot||_{1})$ where $||x||_{1} = \sum\limits_{i=1}^{n} |x_{i}|$ and $d_{1}(x,y) = ||x-y||_{1} = \sum\limits_{i=1}^n |x_{i} - y_{i}|$.
0
votes
1answer
40 views

Topology induced by $d(x,y) = \sum 2^{-i} \max \lbrace d_i(x_i,y_i) , 1 \rbrace$ on $\prod X_i$

Let $(X_i, d_i) $ be a sequence of metric spaces. $$d(x,y) = \sum_{i=1}^{\infty} 2^{-i} \max \lbrace d_i(x_i,y_i) , 1 \rbrace$$ is a distance on $\prod_{i \in \mathbb N} X_i.$ Is the topology induced ...
1
vote
0answers
28 views

Metric space, I would like to rewrite this proof, completeness and compactness

I am looking at metric spaces. For the metric space C(X,Y) the metric is: $\rho (f,g)=sup\{|f(x)-g(x)| :x \in X\}$ This is the proof I am reading about. I would like to do the proof without just ...
2
votes
1answer
56 views

Closure in [0,1]

If $\{p_1,..,p_n,...\}$ are the prime numbers. Let $\displaystyle A_n:= \left\{\frac{k}{p_n}\ : k\in\{1,...,p_n-1\}\right\}$ Which is the closure of $A\,=\displaystyle ...
1
vote
1answer
47 views

Connectedness and Continuity

Suppose $S^n\subset \mathbb{R}^n$ be the set of all points in $\mathbb{R}^n$ with unit Euclidean norm. That is $$S^n=\{x\in\mathbb{R}^n~:~\|x\|=1\}$$ If $f:S^{n-1}\rightarrow\mathbb{R},~n>2$, is ...
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 ...
10
votes
2answers
174 views

If every real-valued continuous function is bounded on $X$ (metric space), then $X$ is compact.

Let $X$ be a metric space. Prove that if every continuous function $f: X \rightarrow \mathbb{R}$ is bounded, then $X$ is compact. This has been asked before, but all the answers I have seen prove the ...
2
votes
2answers
27 views

Openness w.r.t. these two metrics are equivalent.

Suppose $(X,d)$ is a metric space. Define $\delta:X\times X\rightarrow[0,\infty)$, as $$\delta(x,y)=\frac{d(x,y)}{1+d(x,y)}.$$ It is easy to show that $\delta$ is a metric as well, but I am having ...
1
vote
1answer
39 views

Questions about sum of sets

Suppose $A$ and $B$ are two subsets of $\mathbb{R}^n$. Then define $A+B=\{a+b~|~a\in A,b\in B\}$. I have proved that if $A$ and $B$ are open, then so is $A+B$. However, I need to prove that if $A$ ...
1
vote
2answers
50 views

Continuity from complete metric space

Let $f:X\rightarrow Y$ be a continuous function, such as: $f(X)=Y$. If $X$ is complete, does it imply $Y$ is complete?
1
vote
0answers
31 views

When does the quotient metric reduce to the infimum of the distances of only two points?

Given a metric space $X$ and an equivalence relation $\sim$, the quotient (pseudo-)metric on $X/\sim$ is defined as follows: $d'([x],[y]) = \inf \left \{ d(p_1,q_1) + d(p_2,q_2) + ... + ...
1
vote
1answer
41 views

Set connected in the metric space.

If $X:=\{0\}\cup\{1/n\}_{n\in{\mathbb{N}}}$ (with the metric standard of $\mathbb{R}$) then my question is, a open ball with center in $0$ is connected? Thank you all. I'm confused
2
votes
2answers
117 views

How to complete this proof to show that the metric $d'(x,y) = d(x,y) / (1 + d(x,y))$ gives the same topology as $d(x,y)$ gives?

This is an exercise problem from Munkres's Topology (Exercise 11 of Section 20 "The Metric Topology", 2nd edition). Exercise 11: Show that if $d$ is a metric for $X$, then $$d'(x,y) = d(x,y) / (1 ...
1
vote
2answers
40 views

Does addition have to be defined in metric spaces?

I have some questions, my first question is: 1. Does addition have to be dfined in a matric space? I have some more quick questions, I will describe why I have them. Look at this excercise. I ...
0
votes
0answers
28 views

triangle inequality for metrics

I am trying to prove the triangle inequality for the space [0,1) and the metric $\rho$(x,y)= min{|x-y|,|x+1-y|, |y+1-x|}. Now, I know that I will need to separate it into several cases. The proof ...
1
vote
0answers
34 views

A basic question on converges in distribution

The distance $d(F,G)$ between two distribution functions is the infimum of those $\epsilon > 0$ such that $G(x-\epsilon) - \epsilon \leq F(x) \leq G(x+\epsilon) + \epsilon \quad\forall x $. Now I ...
0
votes
2answers
27 views

Convergence of $f_{n}(x)=\frac{1}{x^2+n^2}$ and $g_{n}(x)=\frac{2nx}{x^2+n^2}$ in sup norm

I need to show that (i) $f_{n}(x)=\frac{1}{x^2+n^2}$ converges to the zero function in sup norm, and (ii) $g_{n}(x)=\frac{2nx}{x^2+n^2}$ does not. Not sure if this is right but would appreciate ...
2
votes
2answers
49 views

Open sets are $\mu*$-measurable in a metric space with a given condition

I have a homework problem that I'm very stuck on. The problem statement is as follows: "Suppose that $X$ is a metric space, and that for any sets $E,F \subseteq X$, if dist$(E,F) > 0$ then ...
0
votes
2answers
59 views

Let $(X, d)$ be a metric space. Does a result proved for the metric $d$ apply to every metric $d^{'}$ on $X$?

Let $(X, d)$ be a metric space. Does a result proved for the metric $d$ apply to every metric $d^{'}$ on $X$ ? Very often a statement involving $\mathbb R^n$ is proved by applying the metric ...
0
votes
2answers
32 views

In a normed vector space, if $O $ is an open set then $ O+a $ is open?

In a normed vector space, if $O $ is an open set then $ O+a $ is open? Here $ a$ is an element of some other set $ A $ . This feels intuitively obvious, as we just have "moved" the entire set, but I ...
1
vote
2answers
79 views

Textbook has wrong answer? - Metric spaces “topological properties” (probably trivial for the confident)

In the book there's a table and above it it reads "we have crossed out the wrong answer" meaning the remaining one is right. I dispute this, there are 4, I thought I got the first one right, but I ...
1
vote
0answers
38 views

Preimage of a sequence of cauchy

Let $X,Y$ metric spaces. If $f:X\to{Y}$ is continuous, and $\{y_n\}$ is a Cauchy sequence in $Y$. Then, my question is $\{f^{-1}(y_n)\}$ is a Cauchy sequence in $X$? I´m sorry, in a second ...
3
votes
1answer
34 views

Is every metric on a topological two-sphere bi-Lipschitz equivalent to the standard metric?

Is every metric on a topological two-sphere bi-Lipschitz equivalent to the standard metric? I was thinking of the easier case of an arc, thinking that the graph of $\sqrt{x}$ from 0 to 1 is not ...
2
votes
1answer
66 views

Open set with respect to french railway metric

Can't seem to tackle this question, Consider $A = (0,1)\times \mathbb{R}$. Is A open w.r.t the topology induced by the French railway metric in $\mathbb{R}^2$? Also consider $B =(-1,1)\times ...
0
votes
1answer
46 views

Find an open set whose pre-image is not open for this function

I have a function $f: \mathbb{R} \rightarrow \mathbb{R} $ defined as $f(x) = cos(\frac{1}{x})$ for $x \not = 0$ and $f(0) = 0$. I would like to find an open set in the codomain who's preimage isn't ...
4
votes
1answer
79 views

Help sketching 'Jungle River Metric' in $\mathbb{R}^2$

I just need to clarify that i've sketched these open balls correctly, the metric is given by: $$d(x,y) = \begin{cases} |x_2-y_2|, & \text{if $x_1 = y_1$;} \\ |x_2| + |y_2| + |x_1-y_1|, & ...
0
votes
1answer
57 views

ℝ is closed and bounded in the metric [closed]

Let $(X,d)$ be a metric space and for $x,y \in X$ define $d_b(x,y) =$ $ \dfrac{d(x,y)}{1 + d(x,y)}$ a) Show that, in the metric $d_b$, $\mathbb{R}$ is closed and bounded b) that both $d_b$ and d ...
1
vote
0answers
39 views

Balls and their cardinality

Let metric space $X$ and fixed point $a\in X$ be given. I search for not restrictive assumption under what all balls in metric space $X$ with center in $a$ have the cardinality equal the carinality ...