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

Can anyone prove the second property of a the following metric? $d: C([a,b])\times C([a,b]) \to R ; \ \ \ d(f,g)=\int_{a}^{b}|f(t)-g(t)|dt$

$$d: C([a,b])\times C([a,b]) \to R ; \ \ \ d(f,g)=\int_{a}^{b}|f(t)-g(t)|dt$$ $2.) d(f,g)=0 \iff f \equiv g$ Now in my notebook some lemma is called upon, concerning integrals, but it is unclearly ...
4
votes
2answers
19 views

If I have let's say a finite number of points in a metric space, and lets say that space has a couple of different metrics.

If I have let's say a finite number of points in a metric space, and lets say that space has a couple of different metrics defined. Is the diameter of a subset unique with respect to the two most ...
1
vote
1answer
15 views

Can varying $p$ in the $p$-norm induced distanced change which pair of points are closer?

i.e. For some $x, y, z \in \mathbb{R}^{n}$, do there exist $p_{1}, p_{2}$ s.t. $ 0 < \sum_{i=1}^{n} (|x_{i} - y_{i}|^{p_{1}} - |x_{i} - z_{i}|^{p_{1}})$ and $ 0 \ge \sum_{i=1}^{n} (|x_{i} - ...
0
votes
1answer
23 views

Finite closed covering of a bounded set in $\mathbb{R}^n$

My Attempt: I think here I can define the diameter of $A$ as follows since it is bounded. diam $A=\sup \{|x-y|: x, y \in \mathbb{R}^n\}$ So, I can take each $r_k$ as diam $A$. Am I on the ...
-1
votes
1answer
30 views

A new metric formed from the old

Let $(X,\rho)$ be a metric space. Is it true that $d:=\dfrac{\rho}{1+\rho}$ is also metric. If it's true can anybody give a hint how to prove the triangle inequality for $d$?
0
votes
1answer
33 views

compact image of a continuous function from compact set to C

Suppose that we have a continuous function $h:[0,1] \times [a,b] \to G$, where $G$ is an open subset of $\mathbb C$. Prove that we can partition $[0,1]$ and $[a,b]$ to $\{x_0, x_1, \ldots, x_n\}$ ...
0
votes
1answer
36 views

A metric on the set of closed bounded subsets of a metric space

Define the distance from a point $p$ in a metric space $(X,d)$ to a subset $Y \subset X$ by $$d(p,Y) := \inf \{ d(p,y) : y \in Y \}.$$ For any $\varepsilon > 0$, define $$Y_\varepsilon := \{ x ...
0
votes
1answer
37 views

Why does this inequality hold, formally looking at it? Can someone prove this?

$$d_2, d_1-\text{metrics in } R^k$$ $$d_2(x,y)=(\sum_{i=1}^{k}|x^i-y^i|^2)^{1 \over 2} \\ d_1(x,y)=\sum_{i=1}^{k}|x^i-y^i| \\ d_2(x,y) \leq d_1(x,y) \leq \sqrt{k}\ d_2(x,y)$$
1
vote
2answers
22 views

Question on metric spaces.. 2 properties which I don't know whether they apply

Do these two properties hold in all metric spaces. In my textbook, it says they hold in spaces, that have defined scalar products, but I am interested if they hold in generally metric spaces: $$1.) ...
2
votes
2answers
30 views

Prob. 2 (e), Sec. 27 in Munkres' TOPOLOGY, 2nd ed: Open supersets and $\epsilon$-neighborhoods of closed noncompact sets

This question concerns exercise 2(e) from section 27 (p.177) in Munkres' Topology: Let $(X,d)$ be a metric space, and let $A$ be a non-empty subset of $X$. For any point $x \in X$, we ...
2
votes
1answer
40 views

Compact set in a open set

Why the distance of compact set from the boundary of open set it is contained in has to be greater than 0. i.e. G open set and S is compact set contained in G, prove dist(S, G) >0
0
votes
2answers
35 views

Is it true that a mapping between metric spaces is continuous iff the image of every open set is open?

Just want to change Rudin theorem 4.8 a bit and see if this works. The original theorem is ... $f$ is continuous iff $f^{-1}(V) $ is open in $X$ for every open set $V$ in $Y$. If I change the ...
1
vote
4answers
38 views

Closed set in $l_{2}$

I need to show that the set $A=\left\{ x \in l_{2} : |x_{n}| \leq \frac{1}{n}, n=1, 2, ...\right\}$ is a closed subset of $l_{2}$ I'm assuming the best way to show this is to have a sequence in A ...
1
vote
1answer
41 views

Equivalence of “sequence that admits a cauchy subsequence”

Let $S$ be a subset of a metric space $(X,d)$. I have read (here) the "Sequential characterization of totally bounded subsets" that says the following are equivalent: 1.) $S$ is totally bounded. ...
5
votes
2answers
50 views

Open set in a general metric space.

Let d define a metric on an infinite set $M$. Show that there exists an open set $U$ such that $U$ and its complement are infinite. (Infinite referring to cardinality in both instances) I know this ...
0
votes
1answer
14 views

For every $n \ge 2 $ , existence of uncountably many mutually disjoint closed balls , complement of whose union is path connected

For every $n \ge 2 $ , does there exist an uncountable family $\{D_\lambda: \lambda \in \Gamma\}$ of mutually disjoint closed balls in $\mathbb R^n$ , such that $\mathbb R^n \setminus \cup_{\lambda ...
3
votes
2answers
37 views

For which infinite dimensional real normed linear spaces $X$ , can we say that every infinite dimensional subspace of it is closed in $X$ ?

For which infinite dimensional real normed linear spaces $X$ , can we say that every infinite dimensional subspace of it is closed in $X$ ? Or , does every infinite dimensional normed linear space has ...
0
votes
4answers
36 views

For a finite set in $\mathbb{R}$, the interior is empty and the closure and boundary are the set itself

How do I show explicitly that for a finite set in $\mathbb{R}$ the interior is empty and the closure and boundary are the set itself? For closure is simple: it is union of boundary and interior.But ...
1
vote
1answer
24 views

Complement of the union of finitely many , mutually disjoint , closed balls in $\mathbb R^n$ , for $n>1$ , path connected? [on hold]

Let $D_1,D_2,...,D_k$ be finitely many , mutually disjoint , closed balls in $\mathbb R^n$ , where $ n \ge 2$ . Then is $\mathbb R^n \setminus \cup_{i=1}^k D_i$ path connected ?
0
votes
2answers
59 views

Open ball metric space vs open set topological space

I'm having trouble understanding the notion of an open set when applied to a space without a metric defined on it - I have read that all metric spaces are naturally a topological space, but the ...
7
votes
1answer
50 views

Topological space $\nRightarrow$ Metric space $\nRightarrow$ Normed space $\nRightarrow$ Inner product space (Examples)

If I have an inner product space, the hierarchy goes: Inner product space $\Rightarrow$ normed space $\Rightarrow$ metric space $\Rightarrow$ topological space. The reverse, however, is not always ...
3
votes
1answer
50 views

How to show that the space of polynomials is not complete

Denote by $P[0,1]$ the set of all polynomials $p\colon [0,1]\to\mathbb{R}$; this is a vector space. Endow $P[0,1]$ with the norm $$\| p\|=\sup_{t\in [0,1]}{| p(t)|}.$$ I want to show that this ...
0
votes
1answer
12 views

Upper semi-continuity results

I have recently been introduced to the notion of upper semi-continuity on a metric space $X$. Please advise on the following queries: If $f:X \rightarrow \mathbb{R}$ is upper semi-continuous and ...
1
vote
3answers
43 views

Proof that boundedness of continuous Real Valued functions implies Compactness

I'm looking to prove the following : Let $(X,d)$ be a Metric Space If every continuous real-valued function on $X$ is bounded then $X$ is Compact I saw a proof earlier today If instead $X$ is ...
17
votes
2answers
305 views

Completion of the real numbers

On the real line $\mathbb{R}$ endowed with euclidean topology i may put different metrics, inducing the same topology, but inducing different completions. For example if one considers the standard ...
1
vote
0answers
17 views

True/False? If $a ∈ iso(S)$ , then, $a_i ∈ iso(π_i(S))$ for all $i ∈ \mathbb N_n,$ where $π_i$ denotes the natural projection of $P$ onto $X_i$

Suppose $n ∈ \mathbb N$ and, for each $i ∈ \mathbb N_n, (X_i, τ_i)$ is a metric space. Suppose $d$ is a conserving metric on $P = \prod_{i=1} ^n X_i .$ Suppose $S ⊆ P$ and $a ∈ S.$ Is it true that If ...
1
vote
0answers
79 views

Distance between sets

Let $K \subset K_1 \subset U \subset \Bbb R^2$, such that $K$ and $K_1$ are compact sets, with $K \subset \mathring {K_1}$, and $U = \mathring U \subsetneq \Bbb R ^2$. If $w \in \partial K_1$ such ...
1
vote
0answers
15 views

Proposed proof for quasi-metric result

A quasi-metric on a set $X$ is mapping $\rho: X \times X \rightarrow [0, \infty)$ satisfying the following conditions: $\rho(x,y) \geq 0~~\text{and}~~\rho(x,x) = 0;$ $\rho(x,z) \leq \rho(x,y) + ...
1
vote
0answers
28 views

Series Convergence in Banach Space

Let $(e_j)_1^\infty$ be an orthonormal set in $l^2$ Consider $$s_n =\sum_{j=1}^n t_je_j$$ Show that $s_n$ converges in $l^2 \iff t = (t_j)_{j=1}^\infty \in l^2$ Thoughts so far : If we consider ...
0
votes
1answer
29 views

Outer Regularity of the Lebesgue measure on the Hilbert brick

Is the product measure on the Hilbert brick $I=[0,1]^\mathbb{N}$ outer regular (that is measure of every set is the inf of measures of open sets, containing it)?
-1
votes
1answer
43 views

Calculating distance between two squares of a board

Given an $n\times n$ board, for example a chess board 8x8, with the squares ordered in a Little-Endian Rank-File Mapping. Is there a direct way to calculate the distance between two squares using ...
1
vote
1answer
30 views

Metric for connected path space.

I'm trying to prove the next function is a metric for the space of connected paths $T_{x,y}(X)$ where $x,y\in X\subset\mathbb{R}^{n}:$ $$d(x,y)=\inf\{L(\sigma):\sigma\in T_{x,y}(X)\},$$ where ...
0
votes
2answers
19 views

limit points of subset of real numbers

Let $$A=\{ \frac{\sqrt{m} -\sqrt{n}}{\sqrt{m}+\sqrt{n}} | m,n\in \Bbb{N} \}$$ I think that we must find sequence of $A$ and find limit of sequence,let $a_m =\frac{\sqrt{ k ^2 m^2} -\sqrt{ ...
2
votes
0answers
50 views

Ball with euclidean metric - mistake in book?

In $\mathbb{R}^2$, the ball with euclidean metric $d_{l_2}$ is defined, in terence tao's analysis vol II, as: $$B_{(\mathbb{R}^2,d_{l_2})}((0,0),1) = \{(x,y) \in \mathbb{R}^2 : x^2 + y^2 <1\}$$ ...
1
vote
0answers
32 views

Show that $ℓ_2(X)$ is Hilbert space for every set $X$

Show that $ℓ_2(X)$ is Hilbert space for every set $X$ I tryed to find a proof for this problem but i couldn't (searched on internet and mathematical books.Can we find a completed proof for this?
2
votes
1answer
48 views

Countable vector space of continuous functions over a compact metric space

In a proof of a specific theorem, the following is stated: ($\Omega$ is assumed to be a compact metric space) "Let $H \subset C(\Omega)$ be a countable vector space over $\mathbb{Q}$ which is closed ...
7
votes
1answer
75 views

Limit of measurable functions is measurable?

Suppose $(\Omega, \cal F)$ is a measurable space and $(X, \mathcal B_X)$ is a topological space with its Borel sigma algebra. If $f_n: \Omega \to X$ is a sequence of $(\cal F , B$$_X)$-measurable ...
1
vote
1answer
54 views

Why is $f(x,y)$ said to be discontinuous at $(0,0)$?

Why is $f(x,y)=\begin{cases} \frac{x^2y}{x^4+y^2}, & \text{if $(x,y)\neq (0,0)$}\\[2ex] 0, & \text{if $(x,y)=(0,0)$} \end{cases}$ said to be discontinuous at $(0,0)$? I am supposed to show ...
2
votes
3answers
35 views

If $K\in \Bbb{R}^n$ is compact, $\sup_{x,y\in K}|x-y|=\max_{x,y\in K}|x-y|$.

Suppose $K\in \Bbb{R}^n$ is compact. Let us denote $D=\sup_{x,y\in K}|x-y|$ as $K's$ diameter. Prove there exist $a,b\in K$ such that $D=|a-b|$ i.e, that the suprimum is the maximum. I know there ...
0
votes
1answer
43 views

Show that the space $ℓ^0=\{\{a_j\}_{j=1}^{\infty}\subset \mathbb C\mid a_j=0\text{ for } j>>1\}$ is not complete

Show that the space $$\ell^0=\{\{a_j\}_{j=1}^{\infty}\subset \mathbb C\mid a_j=0 \text{ for } j\gg1\}$$ with inner product $$(a,b) \in ℓ^0\timesℓ^0 \mapsto \langle a,b\rangle =\sum_{j=1}^\infty ...
1
vote
1answer
30 views

Uniform convergence on an interval.

Let $f_n(x)=\frac{x^n}{1+x^n},~x\geq 0, ~n\in \mathbb{N}$ Show that there is no uniform convergence on $[1,+\infty[$. I found this particular part of an exercise in my textbook and ...
0
votes
2answers
53 views

Differentiating $f(x)=\sum_{i=1}^{N}|x-y_i|^2$ where $y_1,…,y_N\in \Bbb{R}^n$.

Let $y_1,...,y_N\in \Bbb{R}^n$ and let $f(x)=\sum_{i=1}^{N}|x-y_i|^2$. I need to show that $f$ has a minimum. I try to differentiate but I am having troubles doing so. First of all, does $|x-y_i|$ ...
0
votes
1answer
27 views

Distance of a point to a subset.

Let $(M,d)$ be a metric space. For a subset $A\subseteq M$ we define the distance of a point $x$ to $A$ as $$\alpha_A(x):=\operatorname{dist}(x,A):=\inf_{y\in A}d(x,y)$$ Prove that: ...
3
votes
0answers
57 views

Show that $\varphi : L \to \Bbb{R}$ is continuous.

Let $L,K$ be to compact metric spaces, let $f:K\times L \to \Bbb{R}$ be a continuous function. Define $\varphi : L \to \Bbb{R}$ as $\varphi(y)=\sup_{x\in K} f(x,y)$. Show that $\varphi$ is ...
3
votes
0answers
36 views

Does the zeros of an analytic function $f$ form a discrete set? [duplicate]

A function $f$ is called analytic if locally it is given by a convergent power series. Let $ U \subset \mathbb R^n $ be an open set and $f : U \to \mathbb R$ be non zero analytic function. Does the ...
1
vote
1answer
37 views

If a set $E\subset \Bbb{R}^n$ is closed and open, then it is either $\Bbb{R}^n$ or $\emptyset$.

If a set $E\subset \Bbb{R}^n$ is closed and open, then it is either $\Bbb{R}^n$ or $\emptyset$. I have an attempt. I know, or at least think, that it is correct ideally, but I don't know how to make ...
0
votes
2answers
18 views

Is homeomorphic image of closed bounded subsets of metric spaces , also closed bounded in the homeomorphic image metric space?

Let $X$ , $Y$ be homeomorphic metric spaces with homeomorphism $f$ , then is it true that for any closed bounded subset $A$ of $X$ , $f(A)$ is also closed and bounded in $Y$ ?
1
vote
2answers
17 views

Suppose $S$ is a subset of $\mathbb R$ and $x \in \mathbb R$. Show that there are at most two nearest points of $S$ to $x$

Suppose $S$ is a subset of $\mathbb R$ and $x \in \mathbb R$. Show that there are at most two nearest points of $S$ to $x$ Attempt: Suppose there are three nearest points $a,b,c$ of $S$ to $x$. Let ...
0
votes
2answers
41 views

How can I show uniform convergence?

Let $f_n(x)=\frac{x^n}{1+x^n},~x\geq 0, ~n\in\mathbb{N}$. 1.1.: Determine the pointwise limi of $(f_n)$, $x\geq 0$. 1.2.: Show that the sequence $(f_n)$ is uniformly convergent on ...
0
votes
1answer
36 views

Uniform continuity.

Check if the mappings $\mathbb{R}\to\mathbb{R},x\mapsto x^2$ and $[0,\infty[:\mathbb{R},x\mapsto \sqrt{x}$ are uniformly continuous. I was going through some old exams our teacher ...