1
vote
2answers
17 views

Convergence of functions in a metric space

Let $C([0,1])$ be the space of all continuous functions from $[0,1]$ to $\mathbb{R}$ under the metric $$ \lVert f \rVert_1 = \int_0^1 \lvert f(x) \rvert \, dx. $$ Now consider $f_n(x) = e^{-nx}$. I ...
3
votes
2answers
83 views

Proving a set is compact - Homework

Let $(X,d)$ be a metric space and let {$p_n$} be a sequence of points in $X$ with $\lim_{n\to ∞}p_n = p_0$. Prove that the set $K =$ {$p_0, p_1, p_2,...$} is a compact subset of $X$. I have ...
0
votes
1answer
16 views

Closed Interval in $E^2$

I am currently working through Introduction to Analysis by Rosenlicht In one of the exercises $4.30,$ he asks a question regarding a closed interval in $E^2.$ I am not sure what this means. I was ...
0
votes
0answers
21 views

Problem in proving norm

I have a linear space V that includes the continuous functions from [-$\pi, \pi$] to the complex set C, of the form: $$f(x) = a\cos(t)+b\sin(t) $$ where $a$ and $b$ are complex numbers. I want to ...
4
votes
1answer
43 views

Continuous function with infimum

Let $A$ be a closed subset of a metric space $X$ and $f:A \rightarrow[1,2]$ a continuous function on it. Now I want to find out why the function $$F(t):=\frac{\inf\{f(s)d(s,t);s \in A\}}{\inf ...
1
vote
1answer
16 views

Distance to a set

I have a question concerning to the following problem. Let $(X,d)$ be a metric set. For every subset $T \subset X$ we define a mapping \begin{equation} d_T : X \rightarrow R , d_T(x) := inf\{d(x,y) | ...
0
votes
2answers
39 views

Question about Compact metric space

Please why $$\Delta_p=\lbrace (t_0,...,t_p)\in \mathbb{R}^{p+1},t_i\geq 0, \sum_{i=0}^p t_i=1\rbrace$$ is a compact metric space ? Thank you
3
votes
3answers
104 views

Differentiability of the distance function

Suppose that $d:X \times X \to \mathbb{R}$ is a geodesic distance function on a smooth Riemannian manifold $X$ ($d$ is determined by metric tensor) and $x \in X$ is fixed. What can be said about the ...
0
votes
2answers
32 views

In a metric space with a countable base, how does every open cover has a countable subcover?

Let $X$ be a mertic space, and let $\{V_{\alpha}\}$ be a collection open subsets of $X$ such that, for every $x \in X$ and for every open set $G \subset X$ with $x\in G$, there is some $V_\alpha$ such ...
0
votes
1answer
35 views

Every infinite subset of E in R having a limit point in E implies E is closed and bounded

Every infinite subset of E in R having a limit point in E implies E is closed and bounded. Could you please help with a formal proof of this result ?
1
vote
0answers
30 views

Example of a continuous bijection on $\mathbb R^n$ whose inverse is not continuous [duplicate]

For $n \ge 2$ give example of a bijective continuous map $f: \mathbb R^n \to \mathbb R^n$ whose inverse is not continuous ; example of such a function is also an example of Does there exist a ...
3
votes
1answer
49 views

Is the space $B([a,b])$ separable?

Let $a$, $b$ be two real numbers such that $a < b$, and let $B([a,b])$ denote the metric space consisting of all (real or complex-valued) functions $x=x(t)$, $y=y(t)$ that are bounded on the closed ...
0
votes
2answers
34 views

Fixed point in compact metric space

I guys! I try to solve the following small problem. However, I'm not able to prove the second part. In particular, I have some problems in using the compactness hypothesis on $X$ to find proper ...
0
votes
2answers
28 views

Limits of functions in metric spaces

My teacher said that in the definition of limit, the point in the domain, must be of accumulation, because otherwise the limit is not unique. Why? If the point is isolated, the function is continuous, ...
1
vote
4answers
58 views

How to give a rigorous proof of this fact about closures of open balls in the euclidean spaces?

Let $n$ be a positive integer, $\vec{a} \in \mathbb{R}^n$, and $r > 0$. Then it is intuitively clear that the closuer of the open ball $$B(\vec{a} ; r) \colon= \{ \vec{x} \in \mathbb{R}^n \colon ...
1
vote
2answers
31 views

$C^n[a,b]$ as a normed algebra

I would like to prove that the space of complex valued functions, differentiable $n$ times with continuous derivative, $C^n[a,b]$, with the metric defined by the norm ...
-1
votes
1answer
30 views

On Pseudometric

How a pseudometrics induces topology? Can anyone discuss on this topic or give any good reference?
0
votes
1answer
37 views

Constructing a countable dense subset of a totally bounded set

Given a metric space $(X,d)$, and (non-empty) totally bounded set $E$ in $X$, is it possible to construct $D \subseteq E$ which is countable and dense? I feel that this should definitely be possible. ...
1
vote
1answer
35 views

$\partial(S') \subset \partial S$ iff $S' \cap S^o \subset (S')^o$

Usually I can come up with some ideas but this time I don't. It would be great if you can tell me how I would make use of the first part of the question to prove the equivalent relation. Question: ...
10
votes
1answer
112 views

Is there always an equivalent metric which is not complete?

I have seen that completeness is not a topological property like compactness or connectedness. I have seen some examples also showing that there are two equivalent metrics one of which is complete and ...
2
votes
1answer
35 views

Convergence and metric - Proof?

Let $(x_n)$, $(y_n)$ be two sequences in a metric space $(P,d)$. Suppose $(x_n)$ converges to $x$ and $(y_n)$ converges to $y$. Prove that $\displaystyle\lim_{n \to \infty} d(x_n,y_n) = d(x,y)$ My ...
0
votes
1answer
16 views

Subsets of a metric space in which Hausdorff semi-distance is symmetric

These are the definition of Hausdorff distance and Hausdorff semi-distance for subsets of a metric space $X$. ‎‎Hausdorff semi-distance of two subsets ‎$‎A‎, B‎ \subset X$ is defined as below: ‎$‎d(A ...
2
votes
1answer
46 views

Distance between a point and a closed set in metric space

Here is what I am thinking. Let (X,d) be a metric space and let C be a closed subset of X. Fix any poin p in X. Then, there exists a point q in C such that d(p,q) = distance(p,C). I think this ...
1
vote
0answers
44 views

Point-set topology - derived sets, boundaries, etc.

Consider the metric space $(\mathbb R^2,\sigma)$, where $\sigma$ is the discrete metric. Let $$E=\lbrace(x,y)\in \mathbb R^2 : x^2+y^2<1 \rbrace$$ i.e. the unit disc. Find the following sets ...
1
vote
1answer
30 views

Where was I supposed to use compactness in this proof that a compact subspace can be separated from a point by open sets?

Can anyone check my proof below? P. Let $X$ be a metric space. Prove that if $K\subseteq X$ is compact and $x\notin K$, there exist disjoint open sets $U$ and $V$ such that $K\subseteq U$ and ...
1
vote
1answer
49 views

Point-set topology, characterizing sets

I think the question sort of speaks for itself. Please no solutions in the answers - I'm mostly looking to see if my logic makes sense: Let $E$ be a set in a metric space $(X,d)$. Let $E^{\circ}$ ...
0
votes
1answer
19 views

The measures used to define Hausdorf dimension versus Haar measure

I don't know if there is a name for the measure, so let me construct it: Given a metric space $X$ we define the outer measures $H_\delta^\alpha$ by $\forall A \subset X$ $H_\delta^\alpha ...
3
votes
2answers
47 views

Definition of neighborhood

I am starting to work through Rudin's Principles of Mathematical Analysis. For $(X, d)$ a metric space and $x \in X$, Rudin defines the neighborhood $N_r(x)$ of $x$ to be the set consisting of all ...
2
votes
2answers
64 views

Proof for distances to a set

With a metric space $(X,d)$, prove that $|d_E(x)-d_E(y)|\leq d(x,y)+d(y,z)$. In this context, $x \in X$, $d_E(x)=\inf\left\{d(x,z) : z \in E\right\}$, E is a subset of X. I've already proved the ...
0
votes
1answer
40 views

No direct proofs of “if $ f: (X, d_X) \to (Y, d_Y)$ is continuous and $X$ is compact then $f$ is uniformly continuous.”

I am studying the theorem "if $f:(X,d_X)\to (Y,d_Y)$ is continuous and $X$ is compact, then $f$ is uniformly continuous." I am not looking for a proof, but I have an argument against any attempt at a ...
3
votes
0answers
41 views

Showing equality of sets in $C[a,b]$

The exercise states: Let $a,b\in\mathbb{R}$, $a<b$ and let $(C[a,b],\Vert\cdot\Vert)$ denote the vector space of continuous real functions on $[a,b]$ endowed with the uniform norm. Let ...
0
votes
0answers
48 views

convergence of a sequence of cauchy

I would like to ask something about the convergence of a Cauchy sequence in a space $X$ metric. There will be a metric space $X$ such that If $(x_n)$ cauchy sequence in $X$ then $(x_n)$ is not ...
2
votes
3answers
69 views

The “Circle” is a Vector Space?

Consider the set of angles $C = [0, \ 2\pi)$ and, for all $x,y \in C$, define the $sum$ operation as the sum modulo $[0, \ 2\pi)$. The identity element of the addition is the angle $0$. The inverse ...
2
votes
2answers
59 views

Some special Metric on R

Apart from usual and discrete metric is there a metric on R which satisfy: d(x, y) = d(x+r , y+r) where x and y are any real no. and r is arbitary real no. Similarly is there a ...
3
votes
0answers
72 views

Condition on Equality of closure of open ball and closed ball, suppose I have a counterexample

Let $(X, d)$ be a metric space. Also for $x \in X$ and $r \ge 0$ define: $$ B(x,r) = \{ y \in X : d(x,y) < r \} \quad \mbox{ and } \quad K(x,r) = \{ y \in X : d(x,y) \le r \}. $$ Denote by ...
0
votes
1answer
75 views

Continuity, and continuity in topology.

Metric spaces: Neighborhood of a point $a$ is a Set of point $N$, such that $\exists\delta>0:B_\delta(a)\subset N$ ($B_r(x)$ = open ball at x of radius r) Definition of open set: "A subset $O$ of ...
0
votes
1answer
36 views

Definition of a metric-nonnegativity condition

There is a question in my mind which seems to be silly but I am desperately wanting the answer. Why a metric is defined from $X\times X$ to $\mathbb R$ and not to the set of nonnegative reals? I ...
1
vote
0answers
38 views

amazing boundedness problem from maximal function

Let $n\geq 2$. For any $M>1$, prove that there exists a constant $C_M>1$ such that for any ball $B$ in $\mathbb{R}^n$, if we denote $MB$ as the concentric ball of $B$ with $M$ times radius of ...
1
vote
1answer
54 views

Isomorphism isometries between finite subsets , implies isomorphism isometry between compact metric spaces

Let's $(X_1,d_1), (X_2,d_2)$ be compact metric spaces such that for every finite subset of $X_1$ like $A$ (respectively any finite subset of $X_2$ like $B$ ) there exists a finite subset of $X_2$ ...
4
votes
7answers
151 views

Convergence in a metric space

Is it possible to define a metric on $\mathbb R$ such that $(1,0,1,0,...)$ converges on $(\mathbb R, d)$? I believe it is impossible. But how to show analytically? Any hint would be appreciated.
0
votes
0answers
14 views

semi linear uniform space

In semi-linear uniform space, if $f$ is a function from $(X ,Γ_X)$ to $(Y,Γ_Y)$ that is linear and bounded ,is $f$ then continuous? Is the converse true?
2
votes
0answers
65 views

$ d(x,y)^2 \le d(x,z)^2 - d(y,z)^2\color{}{+\varphi\big(x,y,z,d(x,y),d(y,z) \big)}? $

In a metric space $(M,d)$ the triangle inequality $d (x, z) \le d(x, y) + d (y, z)$ gives us's the inequalitie $$ \quad d(x,y)^2 \ge d(x,z)^2 - d(y,z)^2\;\color{}{{-2\cdot d(x,y)\cdot d(y,z)}} $$ ...
0
votes
1answer
68 views

Prove that A is both open and closed. [closed]

Let $X = \{ z : | z | \leq 1 \} \cup \{ z : | z - 3 | < 1 \} $ be a subset of $\mathbb{C}$. Let the metric be the usual metric $d(x,y) = | x-y |$. Prove that the set A = $\{ z : | z | \leq 1 \}$ ...
0
votes
1answer
23 views

Is an open connected subset of Euclidean space a countable sum of open precompact connected subsets?

Let $U$ be an open subset in $\mathbb R^n$. Then there exists a sequence $(U_n)_{n=1}^\infty$ of open precompact subsets of $\mathbb R^n$ such that $U_n \subset cl U_{n+1} \subset U$ and ...
2
votes
1answer
59 views

The real numbers as a completion of the rationals

The real numbers are the completion (i.e. Cauchy sequences modulo equivalence) of the rational numbers. I want to define the real numbers this way, but without using uniform spaces. The problem is ...
0
votes
2answers
76 views

Question on two metric spaces properties

Question: Let $X$ be a set and let $d_1$ and $d_2$ be two metrics on $X$. Assume that there exists a constant $C > 0$ such that $d_1(x, y) \le C\, d_2(x, y)\ \ \ \forall x, y \in X$. ...
2
votes
1answer
38 views

Existence of fixed point

I will copy the definition I am using just to make things clearer. Def. Let $(X,d)$ be a metric space and let $F:A(\subset X)\rightarrow X$. We say F is a contraction if there exists $\lambda$ where ...
1
vote
1answer
43 views

Metric space and closed sets (book misprint?)

I am not sure if there is a misprint in this corollary or if I am not getting the idea right. Corollary. Let $X$ be a metric space and let $A\subset X$. Then A is closed in $X$ iff: $$ ...
-1
votes
2answers
44 views

A Fundamental Property of Metric Spaces …

Let $(X,d)$ be a metric space and $A\subset X$ and also suppose that $G$ is open in $X$ prove the identity: $$ \overline {G\cap A}=\overline {G\cap \overline A} $$ Proposition: The intersection of ...
-1
votes
1answer
59 views

Some Property of Cantor set?

Draw a Cantor set $C$ on the circle and consider the set $A$ of all chords between points of C. Prove that $A$ is compact. Is $A$ convex? The proof of first part goes as follows: As we know ...