# Tagged Questions

Metric spaces are sets on which a metric is defined. A metric is a generalisation of the concept of "distance". Metric spaces should not be confused with topological spaces.

61 views

### Linear bound on angles in an euclidean triangle.

I am trying to understand a proof in the book of Burago "A Course in metric geometry" (Lemma 10.8.13 page 383). I have difficulties with a certain inequality for the angle of euclidean triangles: ...
354 views

### Topology; Definition of the open ball and open sets confuses me

I just picked up T.W Gamelin’s book on topology. I started reading and got confused when I came to the definition of an open ball on the second page. It says $B(x;r) =$ All $y$ in the set $X$ such ...
67 views

### Continuous piecewise smooth curve

I cannot understand the definition of $\tilde d(p_1,p_2)$ here? Can anyone please explain it clearly?
49 views

### Subbases and half-planes

If $(X,d)$ is a metric space, it's easy to show that $H(x,y)=\{w\in X\mid d(x,w)>d(y,w)\}$ is open in the topology $\tau$ induced by $d$. Is, in general, $\{H(x,y)\mid (x,y)\in X\times X, x\neq y\}$...
87 views

### At what conditions a compact metric space of covering dimension $n$ (on $\mathbb R^n$) is an n-manifold?

In the discussion to the MSE post an answer of @MatthewPancia with correction in a comment of @JasonDeVito would state: Every compact metric space of covering dimension $n$ can be embedded ...
43 views

### Why is boundedness necessary in this proof that addition and scalar multiplication are continuous maps in the metric space induced by a norm?

Why is boundedness necessary in this proof that addition and scalar multiplication are continuous maps in the metric space induced by a norm? Suppose that $\lambda _n \to \lambda$, $\mu _n \to \mu$,...
91 views

### How show the map $f:\mathbb R^2\rightarrow\mathbb R$, defined as $f(x,y)=x+y$ is continuous for all $(x,y)\in\mathbb R^2$?

Question: I want to show the map $f:\mathbb R^2\rightarrow\mathbb R$, defined as $f(x,y)=x+y$ is continuous for all $(x,y)\in\mathbb R^2$. Issue: I know how to prove this via the epsilon-delta way. I ...
45 views

### A question about a perfect space and a linear order on it

Suppose I have a nonempty perfect Polish space $X$, and there's some linear order $<$ on it (it is not related to the topology on $X$ in any way). How can I prove that there is a point $y$ in $X$ ...
98 views

### Proving the existence of a sequence of polynomials convergent to a continuous function $f$.

I need to show that if $f$ is continuous function ($f:\mathbb{R}\rightarrow \mathbb{R}$), then there exists a sequence of polynomials which converges to $f$ on any compact subset of $\mathbb{R}$. I ...
102 views

### A geodesic metric space is a manifold on its own right. What are conditions for a Finsler space to be a manifold?

A geodesic metric space can locally be approximated by a vector space. This approximation provides it with a natural manifold structure. It means that geodesic metric space is more fundamental concept ...
61 views

### Is this a metric on matrices?

In the set of $n$-by-$n$ reversible real matrices, decide whether $$d(A,B)=\ln (\lVert A^{-1}B\rVert\cdot\lVert B^{-1}A\rVert)$$ defines a metric and/or semi-metric. Can you please help me to solve ...
511 views

### Example of equivalent but not strongly equivalent metrics

Please could someone show me an example of metrics $d$ and $d'$ that are not strongly equivalent but are equivalent? I read the Wikipedia article here but couldn't find an example. For completeness ...
80 views

73 views

### Every metric space is a D-space.

I think it is correct, but I would like another pair of eyes to verify. Definition. An open neighborhood assignment is a function $f:X\to \tau$ such that $x\in f(x)$. Definition. A space is said to ...
139 views

### Continuity set of a difference of two upper semi-continuous real functions over a metric space

The difference of two upper semi-continuous functions is in general neither upper- nor lower semi-continuous. But what can be said about the continuity set of such a functions, specifically its ...
51 views

### non-separable metric space and measurablility of its elements

I'm studying Skorokhod space, which consists of cadlag functions, and I encountered the following sentence: If a metric space $(\mathbb{S}, \mathcal{S}, d)$ is not separable, then functions that ...
190 views

### If $(X,d')$ is totally bounded and $d'$ and $d$ are topologically equivalent then $(X, d)$ is separable

I am trying to write something similar to the proof of If $(X,d)$ totally bounded then $(X,d)$ separable but I dont know how to use topological equivalence here. Any help?
139 views

### A metric space is complete if for some $\epsilon \gt 0$, every $\epsilon$-ball in $X$ has compact closure.

This is a problem from Munkres' Topology. Let $X$ be a metric space. (a) Suppose that for some $\epsilon \gt 0$, every $\epsilon$-ball in $X$ has compact closure. Show that $X$ is complete. (b) ...
2k views

### Why are every structures I study based on Real number?

I've been studying basic concepts of inner product vector space, normed vector space and metric space. And all the inner products, norms and metrics are defined to be real-valued functions in my ...
52 views

### Are pseudocompact metric spaces complete?

Is there a way to show that pseudocompactness on a metric space implies completeness directly (without using sequential compactness)?
69 views

### Cauchy sequence in metric space

Give an example of a metric space such that a Cauchy sequence in $M$ that is not convergent. How can we give a example of that?
51 views

### Isometries of Metric Spaces

For a metric space $(X,d)$, let $\def\Iso{\operatorname{Iso}}\Iso(X,d)$ denote the group of bijective isometries of $(X,d)$. Clearly, $\Iso(X,d)$ is a group under composition. Question: Let $X$ be a ...
1k views

### Nonobvious examples of metric spaces that do not work like $\mathbb{R}^n$

This week, I come to the end of the first year analysis, and suffer from a "crisis of motivation." With this question, I want to chase away my thought, "Why is it important to study the general ...
185 views

### If (X,d) is a separable metric space then there exists a metric d′ that is topologically equivalent to d and such that (X,d′) is totally bounded.

I know that this question Separability, total boundness and topological equivalence of metrics has been asked, but the only solution given is not valid. There is something I already knew: (Y, d2) ...
106 views

### A typical example of Homeomorphism

The set $\mathbb{R}^2-\{(0,0)\}$ with the usual topology is: (A) Homeomorphic to the open unit disc in $\mathbb{R}^2$ (B) the cylinder $\{(x,y,z)\in \mathbb{R}^3/ x^2+y^2=1 \}$ (C) the ...
72 views

### A book with heuristics or general techniques used in real analysis?

I have been looking for a book with some good heuristics for real analysis and point set topology. Any ideas?
22 views

49 views

### Are points in different connected components separated by open subsets?

Decide if the following statement is true or false: If $a,b \in M$ belong to different connected components, then there exists a disconnection $M = A \cup B$ (with $A$, $B$ open and disjoint), ...
80 views

57 views

### Definition of onto for linear transformation

I had a question ask the following: "A linear transformation is onto if and only if the columns of its standard matrix form a generating set for its range." To me that seems true but the answer was ...
78 views

### Consider $X=C[0,1]$ with its usual sup-norm topology.Let $S=\{f\in X :\int _0^1f\neq 0\}$.Is the set connected?

Consider $X=C[0,1]$ with its usual sup-norm topology.Let $S=\{f\in X :\int _0^1f\neq 0\}$.Is the set connected? I tried to conclude from the path connectedness of $S$ .But $S$ is not path connected
105 views

### A continuous integer-valued function on a compact metric space has finite range

Let $X$ be a compact metric space and let $f:X\to\mathbb Z$ be a continuous function. (Here $\mathbb Z$ has the Euclidean topology induced from $\mathbb R$.) Prove that $f$ can assume only finitely ...
66 views

46 views

### Induced topology by a complete uniform space.

I know that Uniform space is generalization idea of metric space,Uniform space like metric space induce a topological space. Now my question is ( or are ):- In case our Uniform space was complete ,...
117 views

### Convergence of a series of vectors in a Banach space

Let $\sum_{k=1}^\infty\lambda^{k-1}\boldsymbol{v}_k$ be a series of vectors where $\lambda^{k-1}\in\mathbb{C}$, or $\lambda^{k-1}\in\mathbb{R}$, and the $\boldsymbol{v}_k$ belong to a Banach space. I ...
86 views

### Can a non-discrete metric $d$ be always defined on any non-empty set $X$ such that $(X,d)$ becomes a complete metric space? [closed]

Can a non-discrete metric $d$ be always defined on any non-empty set $X$ such that $(X,d)$ becomes a complete metric space ?
109 views

### Characterization of compact subsets in the metric space of all complex-valued sequences

Here's the statement of the Problem 4 after Section 2.5 in Introductory Functional Analysis With Applications by Erwine Kryszeg: Show that for an infinite subset $M$ in the space $s$ to be ...
61 views

### Metrizable compact spaces and Hausdorff spaces with a countable network

I have two questions related to metrizable spaces and countable network ; Can we find a continuous mapping from a separable metric space onto a non metrizable compact Hausdorff space. If a Hausdorff ...
I read in Kolmogorov and Fomin's Элементы теории функций и функционального анализа (p. 472 here) the statement that Volterra operator $A:L_2[a,b]\to L_2[a,b]$ defined by(A\varphi)(s):=\int_{[a,s]}K(...
### Is the cardinality of the set of all isolated points in a second countable metric space at-most $\aleph_0$?
Is the cardinality of the set of all isolated points in a second countable metric space at-most $\aleph_0$ ?