A question involving connectedness and constant functions

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
4 replies · 2K views
raw
Messages
35
Reaction score
0
Sorry, this is my 3rd time for asking for help in a week and a half. I just have completely lost any intuition I had for math with all the time constraits I have.

Homework Statement


a.)Prove that a continuous function, f:M->R, all of whose values are integers, is constant provided that M is connected.
b.)What if all the values are irrational?

Homework Equations



M is connected if it has no separation. A separation is defined as 2 nonempty open sets A and B such that A U B=M and A [tex]\cap[/tex]B= the empty set.

Ny interpretation for f is constant is that it has only one element in it's image. f(x)=c for all x.

The Attempt at a Solution


I proved a.) using contradiction. I assumed M was connected and f was not constant. I let A=the set of all x in M such that f(x)=c and B=the set of all x in M such that f(x) didn't equal c. I proved that both A and be were open and came to the conclusion that there was a separation. I can't use the same logic for part b.) as proving A was open required that the distance between each integer be a discrete value.

I'm assuming the answer for b.) is no but I don't know how to prove it.
 
Physics news on Phys.org
a seems fine, even though it's not the standard way of proving it.

I'll give you a hint for b. Assume that a and b are in the image of f. Take a rational number q between a and b. You'll need to show that [tex]f^{-1}(]-\infty,q[)[/tex] and [tex]f^{-1}([q,+\infty[)[/tex] is a separation.

The standard way to prove both a and b, is to actually show that if X is connected, then f(X) is connected. Thus connectedness is preserved under continuous images. This makes it easier to show a and b...
 
micromass said:
a seems fine, even though it's not the standard way of proving it.

I'll give you a hint for b. Assume that a and b are in the image of f. Take a rational number q between a and b. You'll need to show that [tex]f^{-1}(]-\infty,q[)[/tex] and [tex]f^{-1}([q,+\infty[)[/tex] is a separation.

The standard way to prove both a and b, is to actually show that if X is connected, then f(X) is connected. Thus connectedness is preserved under continuous images. This makes it easier to show a and b...

So I proved that f(X) is connected if X is connected. The first bit of advice confused me a little when I went to do it. Do you mean [tex]f^{-1}[/tex] of the interval from q to infinity as only a and b are in the image.
 
Oh ok, that's what I thought and I just finished it. Thank you so much.