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)

1
vote
2answers
14 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
77 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
2answers
22 views

Is $\frac{\vert x+y\vert}{1+\vert x+y\vert}\leq\frac{\vert x\vert}{1+\vert x\vert}+\frac{\vert y\vert}{1+\vert y\vert}$ true?

Is $\frac{\vert x+y\vert}{1+\vert x+y\vert}\leq\frac{\vert x\vert}{1+\vert x\vert}+\frac{\vert y\vert}{1+\vert y\vert}$ true for all $x,y\in\mathbb{R}$? If not, how can I prove that $\int\frac{\vert ...
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
1answer
26 views

Any open set shares boundary with a discrete set

Claim: Let $X$ be a metric space and let $U\subset X$ be open. Then there exists a discrete set $A\subset X$ such that $\partial A = \partial U$. Approach thus far: Since this statement is about ...
0
votes
0answers
18 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 ...
1
vote
1answer
26 views

Find sets of points, where function from one topological space to another is continuous.

We have got two functions : $f(x,y) = (2x,y)$ $g(x,y) = (x+1,y) $ They are transormations from one topological space to another ( from $ (\mathbb{R^2}, \tau')$ to $ (\mathbb{R^2}, \tau'')$ ), ...
0
votes
1answer
18 views

Necessity in Arzela-Ascoli theorem

I am trying to prove necessity of boundedness and equicontinuity in Arzela-Ascoli and I don't know how to go about it. More precisely,I have: Let $K$ be a compact metric space, and $A\subset C^0(K)$ ...
1
vote
0answers
20 views

Having difficulties showing the triangle inequality of metric in the plane

Let $P \in \mathbb{R}^2$ and define $$ d(x,y) = \left\{ \begin{array}{lr} ||x-y|| & if \; \; x,y,P \; \; \text{Are Collinear}\\ || x - P|| + ||y-P||& \;\;\;\; otherwise ...
0
votes
0answers
6 views

topology induced by euclidean metric is equivalent to manhattan metric in R?

How can we prove that the topology induced by euclidean metric is equivalent to manhattan metric in R?
1
vote
3answers
45 views

Distance function is in fact a metric

I know I should be able to show this, but for some reason I am having trouble. I need to show that $$d(x,y) = \frac{|x-y|}{1+|x-y|}$$ is a metric on $\Bbb R$ where $|*|$ is the absolute value metric. ...
2
votes
0answers
12 views

How to compute uniformly distributed points on an ellipse

The ellipse can be parametrized in polar coordinates by $$r(\theta)=\frac{1}{a+\cos\theta}$$ up to a scaling factor, and $a>1$. Suppose we measure $S$, the distance along the ellipse from the ...
2
votes
1answer
26 views

Disjoint open sets in $\mathbb{R}^N$

I have a set exercise which says: Prove that in $\mathbb{R}^N$ with the Euclidean metric any collection of disjoint open sets is at most countable. Is this true for any arbitrary metric space? Now I ...
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 ...
2
votes
1answer
47 views

Closed sets in a subspace are formed by intersecting the subspace with closed sets

Let $X$ be a metric space and let $Y$ be a subset of $X$ be a subspace with the induced metric. (induced means the metric restricted to elements of $Y$) Let $A$ be a subset of $Y$. Prove the following ...
1
vote
1answer
14 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) | ...
2
votes
1answer
17 views

Existence of maximizer implies compact? [duplicate]

I know that compact sets imply the existence of a maximizer, but is the converse true: Let $(X,d)$ be a metric space. Suppose that whenever $f$ is a continuous (and real) function on $X$, there ...
2
votes
1answer
42 views

MAth proof questions Open closed sets

Let $X$ be a metric space and let $Y$ be a subset of $X$ be a subspace with the induced metric. (induced means the metric restricted to elements of $Y$) Let $A$ be a subset of $Y$. Prove the following ...
0
votes
1answer
10 views

properties of connected set

If $C $ is a connected set in a metric space $X$ & $C$ intersects both $A$ and $X\cap A^c (A\subseteq X)$ then can it be concluded that $C\cap \delta A\neq\phi$ ?
0
votes
1answer
13 views

graph of connected set [on hold]

Let $X,Y$ be connected metric spaces.Assume that $X$ is connected & that $f:X\rightarrow Y$ is continuous.Is $\{(x,y)\in X\times Y:y=f(x),x\in X\}$ connected in $X\times Y$(w.r.t. product metric)? ...
2
votes
1answer
38 views

Is $SO(2,\mathbb R)$ connected

Is $SO(2,\mathbb R)=\{ A\in O(2,\mathbb R): det A=1\}$ connected?Why?
1
vote
3answers
30 views

Topology-Open Sets of a Metric Space

Let $(X_i,d_i), i=1,2,\dots,n$ be metric spaces. Let $X=\prod_{i=1}^{n}X_i$ and let $(X,d)$ be the metric space defined in the standard manner. For $i=1,2,\dots,n$, let $O_i$ be an open subset of ...
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
1
vote
1answer
17 views

showing completeness of a metric space

$X=\mathbb{R}_{>0}$, $d(a_1,a_2)=|\ln(a_1)-\ln(a_2)|$. I have already proven that $(X,d)$ is a metric space, but I have some problems showing the completeness. Let $(a_n)_{n\in\mathbb{N}}$ a ...
4
votes
1answer
29 views

What is the maximal size of an equal-distance set in $\mathbb{R}^n$?

Let $A\subseteq \mathbb{R}^n$ with the casual metric and $c\in\mathbb{R}^+$ be a real positive number, such that for every $a_1, a_2\in A$ if $a_1\neq a_2$ then $d(a_1,a_2)=c$. What is the maximal ...
2
votes
1answer
21 views

Why open unit ball in any infinite dimensional Banach space is finitely chainable?

In paper "Pointwise products of uniformly continuous functions" by Sam B. Nadler, Jr., He defined the finitely chainable as followings : Let $(X,d)$ be a metric space. An $\varepsilon$-chain in ...
1
vote
1answer
18 views

Approximation of acontinuous function

How to approximate a continuous function on $[-\pi,+\pi]$ which is $2\pi$ periodic by a set of trigonometric polynomials in the sup-norm topology?
0
votes
2answers
32 views

is the set of matrices with trace equal equal to zero compact

Is it true that the set of all matrices with trace equal to zero a connected and compact subset of the 2*2 matrices over R?
1
vote
1answer
45 views

Metric Space and Open Sets

I'm having trouble figuring out where to go with this problem. Any hints or strategies would be appreciated. I have just the basic definitions for open sets, distance metrics, etc. Consider $\Bbb ...
1
vote
1answer
14 views

Continuity of function and its value.

Here's a problem I'm struggling with. Not really sure how to do this. My tools are epsilon delta proofs for continuity and that's about it. Let $f:[0,\infty)\to\Bbb R$ be a function which is ...
2
votes
3answers
35 views

New metric spaces from given one

Let (X,d) be a metric space, $f : [0,\infty) \rightarrow [0,\infty)$ continuous differentiable, strict monotone increasingly with $f(0)=0$ and a monotone decreasingly derivative. Prove that $f \circ ...
1
vote
1answer
7 views

Hausdorff Distance between Subdifferential sets

Suppose I have two convex functions $f$ and $g$ mapping $\mathbb{R}^{n}\to\mathbb{R}$ (so they are 'more' than proper). Suppose $\|f-g\|_{\infty}<\epsilon$, the sup-norm. In particular, the ...
1
vote
1answer
24 views

Metric Space Proof - Analysis

Let $\mathcal{C}([0, 1])$ be the set of all continuous functions $f : [0, 1] \to \mathbb{R}$. For $f, g \in \mathcal{C}([0, 1])$, define $d(f, g) = \max|f(x) − g(x)|$. Show that $d$ is a metric on ...
0
votes
1answer
50 views

Proof of that there is no metric on $\mathbb{R}$ which is equivalent to the natural metric and which induces a metric on $(0,1)$

I want to prove the following statements: For $X:=(0,1),$ prove the following: (a) $d(x,y):=\big|(1/x)-(1/y)\big|$ is a metric on $X.$ (b) The natural metric and $d$ are equivalent. (c) There is ...
3
votes
2answers
163 views

Homeomorphic metric spaces

I want to examine if $(0,1] $ and $\mathbb R $ are homeomorphic. We work on metric space $(\mathbb R, e)$, where $e$ stands for the euclidean metric. My answer: Let's assume there is a ...
2
votes
1answer
24 views

Norm on $\mathbb R^n$ with given unit ball

Consider a finite subset $S$ of $\mathbb Z^n$ such that $-s\in S$ whenever $s\in S$ and $S$ generates $\mathbb Z^n$. What is a norm on $\mathbb R^n$ whose unit ball is precisely the convex hull of ...
0
votes
1answer
34 views

Show that it is at most countable

In a space of finite measure, show that a family of disjoint measurable sets with positive measure is at most countable. Could you give me some hints what I am supposed to do??
1
vote
1answer
55 views

Continuity of a function?

Let $f: (\mathbb N, e_\mathbb N) \to(\mathbb R,e)$, where $e$ stands for the euclidean metric and $$f(n)=\begin{cases} n,\, n\ge 2\\\\0,\, n=1\end{cases}$$ Is $f$ continuous? Firstly, I can ...
4
votes
1answer
39 views

Some Strange Minimum and proof

I read following on Norm chapter in one book. $$\begin{align}\left|\left\|x-y\right\|-\left\|w-z\right\|\right| \leq & \min \{\|x-w\| + \|y-z\| , \|x-z\| + \|y-w\|\}\\\text{ or, }&\min ...
1
vote
3answers
38 views

Show that a metric on C[a,b] is given by $d(x,y)=\int_{a}^{b}|x(t)-y(t)|dt$

I am somewhat new to functional analysis (and this site, so please constructively chastise me if I commit any faux pas on here). I am one chapter into Kreyszig (Intro.to Func.Anal.) and I am already ...
2
votes
1answer
31 views

Topological Vector Space not induced by Metric

Can anyone give me an example of a Topological Vector Space that is not metrizable? I know that the neighborhood base of $0$ needs to be incountable, and all I can construct then is no topological ...
0
votes
1answer
38 views

continuous function from one metric space to another metric space

Is differentiation $f(x) \rightarrow f'(x)$ a continuous function from $C^1[a,b] \rightarrow C[a,b]$ ? Is integration $f(x) \rightarrow \int_a^x \! f(t) \, \mathrm{d}t $ a continuous function from ...
2
votes
2answers
52 views

Topologies generated by a metric

Hi I am new to mathematical proofs/notation and am working through John Lee's Introduction to Topilogical Manifolds. This is the question and my attempt. This is not homework. 2.4 Suppose $M$ is a ...
2
votes
2answers
41 views

topological properties of a given set

Let us consider the set $X=C[0,1]$ with its sup-norm topology. Let $S $ be the set of all elements $f$ of $X$ such that $\int_0^1 f(t) dt=0$. Is $S $ compact and connected? To show $S$ compact I have ...
2
votes
3answers
44 views

Density of sets

I have got a problem on whether a set is dense or not but not quite sure on how to approach it. Consider the space $M_2(R)$ with its usual topology.Consider the set $ S$ of all matrices with both ...
1
vote
1answer
34 views

Show that there is a series in R^infinity has some term greater than or equal to 1/n but that also is arbitrary close to the zero sequence.

Consider $\mathbb{R}^\infty = \{(a_n): \sum_{n = 1}^{\infty} a_n^2 < \infty\}$ with the metric $d((a_n$), ($b_n$)) = $[\sum_{n=1}^{\infty} (a_n - b_n)^2]^{1/2}$. Let $A = \{(a_n) : |a_n| < 1/n ...
4
votes
0answers
40 views

Closed or open subsets of $C[a,b]$?

$C[a,b]$ denotes the space of continuous real-valued functions on $[a,b]$. The metric associated with $C[a,b]$ here is $d(f,g)=sup[|f(x)-g(x)|]$ where the supremum is taken over $[a,b]$. $C^1[a,b]$ ...
1
vote
1answer
115 views

Why isn't $C[0,1]$ a Banach space in this unusual norm?

I need to answer the following question: Let $X$ be the normed space $X=C([0,1])$, with norm defined as $$ \|\,f\|= \max_{x\in[0,1]} x^2 \lvert\,f(x)\rvert. $$ Why isn't this a Banach space?
2
votes
1answer
20 views

limit in a metric space

Let $(X, d)$ and $(X, d_1)$ be two metric spaces over the same set $X$. Suppose that a sequence $(a_n)$ in $X$ converges in $(X, d)$ to $l$ and converges in $(X, d_1)$ to $l_1$. Then must $l$ equal ...
-1
votes
3answers
32 views

Example of metric space that has same interior and closure as its complement? [closed]

Please provide an example for this : Consider a metric space X. Let S be a subset of X. Then S and S complement both have the same interior and the same closure.