Continuity in Metric Spaces

by TimNguyen
Tags: continuity, metric, spaces
TimNguyen is offline
Oct5-05, 12:15 PM
P: 81
Suppose f is a function from a metric space (X,D) into another metric space (Y,D') such that D(x,x') >= kD'(f(x),f(x'), where k is a constant positive real number. Prove that f is continuous.

Okay, I know that there is a theorem that says "pre-images of open sets are open" so I suppose I can use that.

Let U be an open set in (Y,D'). Since U is open, then there exists a neighborhood, N(f(x),p) (a p-neighborhood around f(x).) such that it exists in U. By theorem, neighborhoods are always open. (so basically, I need to find a "q" radius around x such that N(x,q) is open in (X,D).) Although I know what the conclusion should be, I can't find a way to approach that solution.

Could anyone give any assistance?
Phys.Org News Partner Science news on
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
StatusX is offline
Oct5-05, 03:23 PM
HW Helper
P: 2,566
If there is some point x' in X that maps to p, then let you know p=f(x'), and you can use the assumption in the problem. The preimage of U is the set of all x that map to some p in U, and if you can show these are in an open neighborhood of x, the function is continuous. (Well technically, you should show that the preimage of any open set is open, which would use the fact that any open set is the union of open balls)

Register to reply

Related Discussions
Metric spaces Calculus & Beyond Homework 2
metric spaces Calculus & Beyond Homework 1
Continuity on L^1 spaces Calculus & Beyond Homework 4
Metric spaces Calculus & Beyond Homework 2
Metric Spaces Calculus 7