But since we are in a discreate space
only if there exists an N such that for all n > N is constant(why?) and

But then for n>N

Apr 6th 2009, 01:41 PM

mylestone

Here's another approach:

is continuous at if such that .

For any , we need to let be something such that the definition above is satisfied. Let's consider the two cases:

(1) , or
(2) .

In the first case, let's let . Then . Since we're in a discrete metric space, whenever , then has to be 0 (because it's either 0 or 1, and by our choice of we've ruled-out the possibility of it being 1). BUT this means that (that is, the only time the distance between two points is zero is when the two points are, in fact, the same point). By definition of being a function, it must also be true that . This means, of course, that . Since is strictly greater than 0, it is clearly true that . Woohoo! The definition is satisfied!

The second case is easier, and I'll leave the details of that one up to you if you choose to go this route. You're going to let again, and using the defining property of a discrete metric space you'll see that the definition of continuity is satisfied pretty much automatically.

Apr 6th 2009, 04:13 PM

xalk

Quote:

Originally Posted by mylestone

Here's another approach:

is continuous at if such that .

For any , we need to let be something such that the definition above is satisfied. Let's consider the two cases:

(1) , or
(2) .

In the first case, let's let . Then . Since we're in a discrete metric space, whenever , then has to be 0 (because it's either 0 or 1, and by our choice of we've ruled-out the possibility of it being 1). BUT this means that (that is, the only time the distance between two points is zero is when the two points are, in fact, the same point). By definition of being a function, it must also be true that . This means, of course, that . Since is strictly greater than 0, it is clearly true that . Woohoo! The definition is satisfied!

The second case is easier, and I'll leave the details of that one up to you if you choose to go this route. You're going to let again, and using the defining property of a discrete metric space you'll see that the definition of continuity is satisfied pretty much automatically.

THANK YOU .
BUT considering the 2nd case,where ,whether we put ,
if we have d(x,y)<δ ,then the two cases :d(x,y)=0 ,d(x,y)=1 are both satisfied.
And for the case d(x,y)=0 we can have ρ(f(x),f(y))<ε,
but for the case d(x,y) =1,how can we have ρ(f(x),f(y))<ε??

Apr 6th 2009, 05:38 PM

mylestone

Sorry, I didn't quite think that through. I guess you can just consider and separately. If , delta can be anything strictly between 0 and 1 and other than that, the same argument provided for (1) in my first reply should still work. If , then so should be fine.

That should do it, but I'm on way too much coffee and rushing out the door so if you find that I've botched it again, please let me know--thanks!

Apr 7th 2009, 03:34 AM

xalk

Quote:

Originally Posted by mylestone

Sorry, I didn't quite think that through. I guess you can just consider and separately. If , delta can be anything strictly between 0 and 1 and other than that, the same argument provided for (1) in my first reply should still work. If , then so should be fine.

That should do it, but I'm on way too much coffee and rushing out the door so if you find that I've botched it again, please let me know--thanks!

.

The problem is with ε>1.

Ιn this case even if we put δ=ε, we cannot prove that:

d(x,y)<δ implies that ρ(f(x),f(y))<ε.Because in this case d(x,y) can be 0 and 1.

If it is zero o.k then x=y and ρ(f(x).f(y)) =0<ε,but if it is 1,how can we prove that:

ρ(f(x),f(y))< ε ??

Apr 7th 2009, 12:12 PM

mylestone

Quote:

Originally Posted by xalk

.

The problem is with ε>1.

Ιn this case even if we put δ=ε, we cannot prove that:

d(x,y)<δ implies that ρ(f(x),f(y))<ε.Because in this case d(x,y) can be 0 and 1.

If it is zero o.k then x=y and ρ(f(x).f(y)) =0<ε,but if it is 1,how can we prove that:

ρ(f(x),f(y))< ε ??

But in N with the discrete metric, must be less than or equal to 1 (being either 1 or 0). So if , then it is always the case that . Epsilon is strictly greater than 1, and the distance between any two points of Y (in particular, any two points of the range of f) is at most--at most!--1. Does that clarify? Remember that Y has the discrete metric as well as X. can be 57,628,629,395,692,569,723,596,852 in this case if you want--the critical pieces of information here are that the distance between points in Y will never be more than one, and that epsilon is strictly greater than 1.

Hope that helps, but if not maybe someone else can provide a better explanation (sometimes I'm not the clearest-headed feller).

Apr 7th 2009, 03:03 PM

xalk

Quote:

Originally Posted by mylestone

Remember that Y has the discrete metric as well as X.

.

No,no,i am sorry you misread my post.

(Y,ρ) is any metric space.

Apr 7th 2009, 08:52 PM

skamoni

In a discrete metric space, any subset is clopen. Thus the inverse image of any set A (subset of Y) is clopen in X. So, f is continuous.

Apr 7th 2009, 08:52 PM

mylestone

Quote:

Originally Posted by xalk

.

No,no,i am sorry you misread my post.

(Y,ρ) is any metric space.

HAHAAAAA--wow, that's hilarious! Funny thing is I looked back on the original post...so I misread it twice!! Man, I do this way too often. I swear I'm literate.

Let's try this again.

So we're good when and we want to ensure that when we can still find a that will satisfy continuity of f. Let . Then the same comment about is relevant and continuity is satisfied. You don't have to ever worry about what happens when because it'll never happen as long as you pick delta appropriately.

Alternatively, we can junk epsilons and deltas entirely if you've shown that f is continuous if and only if the preimage of an open set in Y is an open set in X. By this method, you can take an arbitrary open set in Y and no matter what it's preimage under any function is, the preimage must be open in X because every subset of a discrete metric space is open. So any function f from a discrete metric space into any other metric space is continuous.

Of course, having carried a misreading this far I wish I would have advised that route to begin with. Apologies for my misunderstanding--thanks for playing!