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)

2
votes
0answers
53 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 ...
-1
votes
0answers
24 views

Show existence of a sub-sequence $(f_{n_k})$ which is uniformly convergent to a function in $C[0,1]$

Let $f_n:[0,1]\rightarrow R$ be a sequence of continuously differentiable function, Let $M>0$ be such that for any $0\le x \le 1$ and natural $n$, $|f_n(x)|$, $|f'_n(x)|<M$ Show existence of a ...
1
vote
1answer
26 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$ ...
1
vote
1answer
41 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 ...
1
vote
1answer
30 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 ...
0
votes
0answers
31 views

Product spaces $X = Y = \mathbb R$

Let $(X, d_X)$ and $(Y, d_Y)$ be metric spaces. It is defined for $d_{X \times Y} : X \times Y \rightarrow \mathbb R_+$ with $$d_{X \times Y}((x_1,y_1),(x_2,y_2)) := d_X(x_1, x_2) + d_Y(y_1, y_2)$$ ...
1
vote
1answer
43 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 ...
0
votes
1answer
23 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 ...
1
vote
1answer
16 views

Continuity of evaluation maps in the topology of compact convergence on $C([0,\infty),\mathbb{R}^{n})$

I'm trying to prove that the evaluation maps $e_{x}:C([0,\infty),\mathbb{R}^{n})\rightarrow\mathbb{R}^{n}$ given by $e_{x}(f):=f(x)$ are Lipschitz-continuous with respect to the metric ...
6
votes
5answers
340 views

concepts which is present in metric space but not in topological space

I want to know some concepts which is present in metric space but not in topological space. The one that first comes to mind is uniform continuity, equicontinuity i.e. concepts defined with some kind ...
0
votes
2answers
22 views

A problem similar to Banach fixed point theorem

a) Let $(X,d)$ be a complete metric space and let $T: X \to X$. Prove that if there exists a natural $n$ such that $T^n(x)$ (composition of $T$ $n$ times) is a contraction then $T(x)$ has a unique ...
1
vote
2answers
43 views

Prove ${x:d(x,p) < d(x,q)}$ is open in metric space $X$

$X$ is a metric space and $p \neq q$ $\in X$. I want to prove that $E=$ $\{x:d(x,p) < d(x,q) \}$ is open in metric space $X$. I think I can directly prove this by showing every point $x \in E$ ...
1
vote
1answer
23 views

Metric Spaces: closure of a set is the set of all limits of sequences in that set

I am studying metric spaces and got confused about many different ways of defining the closure. Let $S$ be a subset of $M.$ Then, the closure of $S$ is $ \{x \in M : \forall \epsilon>0, \ \ ...
5
votes
1answer
49 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 ...
1
vote
2answers
36 views

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

I wanted to know if we can get some properties of the continuity set of a difference of two upper semi-continuous real functions over a metric space? Or maybe for a restriction?.
1
vote
0answers
9 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 ...
1
vote
2answers
55 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?
1
vote
2answers
31 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) ...
21
votes
3answers
1k 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 ...
2
votes
0answers
29 views

Does nonexpansive mapping imply isometry in this case?

I have the following problem. I want to prove that there exists an isometric isomorphism: $$Lip_0(X) \equiv AE(X)^*$$ Here $(X, d)$ is a metric space, $Lip_0(X)$ is the space (a Banach space with the ...
1
vote
1answer
27 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)?
1
vote
4answers
42 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?
-3
votes
0answers
31 views

Show that two metric space are equaly [closed]

Let $X$ be metric space with metric $d$ and $A \subseteq X$, $A$ is compact and not empty. Then for every non empty and closed set $B$, there exists a point $P\in A$, such that $d:(p,B)=d(A,B)$.
2
votes
1answer
21 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 ...
21
votes
10answers
310 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 ...
0
votes
0answers
49 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) ...
1
vote
0answers
17 views

Questions regarding Banach spaces [closed]

Problem 1: Let $X$ be a Banach space and $I ∈ L(X)$ be the identity operator. Determine the action of the operator $e^I$ on $X$. Problem 2: Let $X$ be a Banach space and $A ∈ L(X)$ be a bounded ...
14
votes
2answers
65 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 ...
1
vote
1answer
39 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?
0
votes
1answer
17 views

Show that the sequence $(A_n)_{n≥1}$ in $L(l_1)$ does not converge to zero

For any $n ≥ 1$, define a linear operator $A_n : l_1 → l_1$ by $$A_nx = (0, . . . , 0, x_{n+1}, x_{n+2}, . . .), ∀x = (x_1, x_2, . . .) ∈ l_1.$$ Show that For any $x ∈ l_1$, we have $\lim_{n→∞} A_nx ...
2
votes
1answer
19 views

Open or closed status of addition of two subsets of a metric space

Question Let A and B be subsets of $R^n$. Define A + B = {a + b | a ∈ A, b ∈ B}. Consider the following sets W = {(x, y) ∈ $R^2$| x > 0, y > 0}, X = {(x, y) ∈ $R^2$ | x ∈ R, y = 0}, Y = {(x, y) ...
1
vote
1answer
69 views

Separability, total boundness and topological equivalence of metrics

The problem is: 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 if ...
1
vote
0answers
25 views

A bounded sequence of a complete Metric Space [closed]

Let $M$ be space of all bounded sequence, prove that $M$ is complete
0
votes
2answers
25 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), ...
1
vote
0answers
19 views

Physical Meaning of Minkowski Distance when p > 2

Suppose we have two vectors in $u, v \in \mathbb{R}^d$. For $p \geq 1$, the Minkowski distance between these vectors is defined as $ \lVert u - v \rVert_p = \Bigl( \sum_{i=1}^d \lvert u_i - v_i ...
0
votes
2answers
22 views

Prove that $d (A \cup B) \leq d(A)+ d(B)$

Before I begin, please note that my knowledge is limited to metric spaces only, with no knowledge of topology at all. Now, my attempt: I'm trying to use the relation that $A \subset B \Rightarrow ...
0
votes
1answer
36 views

Question about notation of sequences and equivalence classes.

In these notes (see pg3 second-to-last paragraph), what does $d(x_k,x^\ast_{N_k})$ mean? The term $x_k$ lies in $X$, but $x^\ast_{N_k}$ is a class of Cauchy sequences in $X$. Should I take ...
1
vote
1answer
10 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 ...
0
votes
0answers
19 views

Why are closed discs preserved by linear fractional transformations in non-archimedean geometry?

If $K$ is a local field equipped with a non-archimedean metric, then I have read in several places that the action of $PGL_2(K)$ by linear fractional transformations takes closed discs to closed ...
2
votes
2answers
26 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 ...
0
votes
1answer
26 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 ...
1
vote
1answer
35 views

A metric and discrete topology

Let $\Sigma=\{1,2,...,n\}$ and $\Omega=\Sigma^\mathbb{N}$ be the set of infinite sequence of n digits. Define a metric $d$ on $\Omega$ by $d(\omega,\tau)=2^{-|\omega\wedge\tau|}$ where ...
3
votes
1answer
79 views

Is there a metric in which $1+2+3+4+\cdot$ converges to $-\frac1{12}$?

It is well known that the sum $1+2+3+4+\ldots$, which tends to infinity in the regular sense, can be assigned the value $-\frac{1}{12}$ by different means, e.g., zeta regularization or different ...
3
votes
3answers
48 views

Problem 2.5.10 in Kreyszig's Functional Analysis Book

Here's Problem 10 in Section 2.5 in Introductory Functional Analysis With Applications by Erwin Kreyszig: Let $X$ and $Y$ be metric spaces, let $X$ be (sequentially) compact, and let the mapping ...
0
votes
0answers
31 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 ...
3
votes
1answer
29 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 ...
-2
votes
2answers
60 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 ?
0
votes
2answers
38 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 ...
1
vote
1answer
35 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 ...
2
votes
1answer
71 views

Reiterate Volterra integral operator is a contraction

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 ...