(adsbygoogle = window.adsbygoogle || []).push({}); Cardinality of the Preimage f^{-1}(y) of f:X-->Y continuous?

Hi, All:

Let X,Y be topological spaces and f:X-->Y non-constant continuous function.

I'm curious as to whether it is possible for the fiber {f^{-1}(y)} of some y in Y

to be uncountable, given that the fiber is discrete (this condition is intended to

discount cases like f:ℝ-->ℝ, that are 0 in some interval, using, e.g., combinations

of e^{-1/x2}) . There are examples of fibers being countably-

infinite, like in f:ℝ→ ℝ, f(x)=sinx, cosx, etc. , or the topologists sine curve on [0,1].

I suspect it may be possible, if X is metric to use f:X-->X with f(x)=d(x,S) , i.e.,

S is a subset of X , and d(x,S):=inf{d(x,s): s in S}. I thought S=Cantor set may work, but

the points of C are not isolated in ℝ (in [0,1], actually). Maybe if one can define an uncountable subset of

a metric space , all of whose points are isolated, we would be done.

Any IDeas?

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Cardinality of the Preimage f^{-1}(y) of f:X->Y continuous?

Loading...

Similar Threads - Cardinality Preimage continuous | Date |
---|---|

I Differentialbility & Continuity of Multivariable Functions | Feb 20, 2018 |

I Existence of Partial Derivatives and Continuity ... | Feb 17, 2018 |

I Cardinality of fibers same for covering maps | Nov 9, 2017 |

A The fundamental group of preimage of covering map | Feb 29, 2016 |

Show that the preimage of dense set is dense? | Apr 29, 2012 |

**Physics Forums - The Fusion of Science and Community**