0
$\begingroup$

Suppose X is a normal topological space. Suppose some metric space for example. If {$A_n$}$_{n=1}^{\infty}$ is a collection of pairwise disjoint closed subsets of X, can we find a continuous function on X such that it takes the constant value $n$ on $A_n$..?

$\endgroup$
4
  • $\begingroup$ You will need more than just the sets being pairwise disjoint. For instance, if $X$ is the one-point compactification on $\mathbb{N}$, $A_{0}=\\{\infty\\}$ and $A_{n}=\{n\}$ for all $n$, then there is no continuous real-valued function $f$ on $X$ with $f=n$ on $A_{n}$ for all $n$. $\endgroup$ Mar 17, 2013 at 19:28
  • 1
    $\begingroup$ No, take $A_n=\{1/n\}\subset \mathbb{R}$. $\endgroup$
    – user23860
    Mar 17, 2013 at 19:29
  • $\begingroup$ Hmm, seems you guys beat me to the punch. But why not just make your comments actual answers? $\endgroup$ Mar 17, 2013 at 19:39
  • 1
    $\begingroup$ I wanted to see if Janson A.J. would have edited the question to make it look more like a research question. For instance, he could have replaced "pairwise disjoint" with something like "locally discrete". $\endgroup$ Mar 17, 2013 at 19:48

2 Answers 2

0
$\begingroup$

As evidenced in the comments and David´s answer, the problem is that even if each $A_n$ is closed, there can be too much "interaction" between the $A_n$'s. A more extreme example would be to take $A_n=\{ q_n \}$ where $\{q_n\}_{n=1}^\infty$ is some enumeration of the rational numbers.

However if $\{A_n \}_{n=1}^\infty$ is a discrete family of closed subsets of the normal space $X$ and $\{c_n \}_{n=1}^\infty$ is any sequence of real numbers, then there is a continuous $f:X \to \mathbb{R}$ such that $f$ takes the constant value $c_n$ in each $A_n$. For this just note that the union of the $A_n$´s is closed in $X$ and each $A_n$ is clopen in this union.

Note: a family $\{A_n \}_{n=1}^\infty$ of subsets of the space $X$ is a discrete family if any $x \in X$ has a neighborhood that intersects at most one of the $A_n$'s.

$\endgroup$
1
  • $\begingroup$ Right. Taking singletons of rationals is the best counterexample. Thanks.. $\endgroup$
    – Janson A.J
    Mar 19, 2013 at 12:13
2
$\begingroup$

No. Continuous functions commute with limits of points in a metric space, so just take any convergent sequence of points, i.e. $A_n$ is the $n$-th point in the sequence. Then if your $f$ existed it would have to take value $\infty$ on the limit of the sequence, but that can't happen because $f$ is real valued.

$\endgroup$
3
  • $\begingroup$ Actually that was a mistake that I said it takes constant value n on the nth set. Let's choose some bounded values, like 1/n.. $\endgroup$
    – Janson A.J
    Mar 17, 2013 at 20:12
  • $\begingroup$ It still won't work even if you have constant value 1/n on $A_{n}$. $\endgroup$ Mar 17, 2013 at 20:34
  • $\begingroup$ Another example is if you assign a sequence of values to the $A_n$ which doesn't converge (rather than converging to $\infty$), e.g. $1,-1,1,-1,...$. I don't think there's any hope for the kind of generalization you're asking for. $\endgroup$ Mar 17, 2013 at 21:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.