3
$\begingroup$

This is a very short question, I hope it is not too broad, if so I shall try and make it more specific. I would like to start as it stands below, though, because it really points down the essence of the question:

What do people mean when they write that a map is extended by continuity ?

Thanks !

$\endgroup$
  • $\begingroup$ Generally I see this when you have a continuous function $f$ defined on a subset $Y$ of a metric space $X$ (or sufficiently nice topological space) and want a continuous function $g$ on $X$ such that $f(x)=g(x)$ for all $x\in Y$. One then says $g$ extends $f$. It is a theorem that $g$ exists if $Y$ is closed. $\endgroup$ – Alex Becker Apr 19 '12 at 22:56
  • 6
    $\begingroup$ @AlexBecker: that's extending continuously, but not extending by continuity. I'd say $f$ extends by continuity if $Y$ is a dense subset of $X$ and for each $x \in X$, $\displaystyle \lim_{y \to x, y \in Y} f(y)$ exists. $\endgroup$ – Robert Israel Apr 19 '12 at 23:07
  • $\begingroup$ @Alex: Hm .. ok, though sometimes a map is "extended by continuity" to the dual space - and this is not a subspace. I realize this concept might depend on the context, and your comment makes sense of some of the instances I hace struggled with, so thanks ! $\endgroup$ – harlekin Apr 19 '12 at 23:10
  • $\begingroup$ @RobertIsrael: many thanks for the helpful comment! May I ask, what is meant if people define a map on the dual space by "extension by continuity" ? $\endgroup$ – harlekin Apr 19 '12 at 23:12
  • $\begingroup$ @harlekin: it would be helpful if you could provide more context (such as a relevant quote from a book). What kind of map is being extended? From where? $\endgroup$ – Martin Wanvik Apr 19 '12 at 23:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.