Mathematics Asked by Calmat on October 1, 2020

Let $(X,d)$ be a metric space and $x_0∈X$ be a limit point of $X-{x_0}$. Direct the set $X-{x_0}$ by the relation $x ≤ x’$ if $d(x’,x_ 0)≤ d(x,x_0)$. Show that a net $ϕ:X-{x_0} rightarrow Y$, where $Y$ is a metric space, converges to $y_0∈ Y$ if and only if $lim_{xto x_0} ϕ (x)=y_0$.

When I write the definition of the limit for metric spaces, I realize that the $delta$ controls the directed set and the net controls the $epsilon$, but I am not sure how to write it.

I’ll do one direction to get you started.

Suppose that $varphi$ converges to $y_0$, and let $epsilon>0$. Then there is an $x_epsilonin Xsetminus{x_0}$ such that $d_Y(varphi(x),y_0)<epsilon$ whenever $xin Xsetminus{x_0}$ and $x_epsilonle x$, i.e., whenever $xin Xsetminus{x_0}$ and $d_X(x,x_0)le d_X(x_epsilon,x_0)$. Take $delta=d_X(x_epsilon,x_0)$: if $d_X(x,x_0)<delta$, then $d_Y(varphi(x),y_0)<epsilon$, so $lim_limits{xto x_0}varphi(x)=y_0$.

Answered by Brian M. Scott on October 1, 2020

0 Asked on February 4, 2021

3 Asked on February 4, 2021

0 Asked on February 4, 2021

2 Asked on February 4, 2021

1 Asked on February 4, 2021 by andrew-yuan

1 Asked on February 3, 2021 by se-hyuck-yang

1 Asked on February 3, 2021 by parsa-noori

1 Asked on February 3, 2021 by user3190686

1 Asked on February 3, 2021

0 Asked on February 3, 2021 by jack-polono

abstract algebra commutative algebra homological algebra modules

1 Asked on February 3, 2021

1 Asked on February 3, 2021 by dbruwel

2 Asked on February 3, 2021 by harshit-raj

0 Asked on February 2, 2021 by 1_student

1 Asked on February 2, 2021 by lkpppppppp

1 Asked on February 2, 2021

Get help from others!

Recent Answers

- haakon.io on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?

© 2022 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir