Exercise 4.4.11

[Topological Characterization of Continuity] Let g be defined on all of R . If B is a subset of R , define the set g 1 ( B ) by

g 1 ( B ) = { x R : g ( x ) B } .

Show that g is continuous if and only if g 1 ( O ) is open whenever O R is an open set.

Answers

A fact we’ll use is that g ( A ) B if and only if A g 1 ( B ) . Which is true since

g ( A ) B A g 1 ( g ( A ) ) g 1 ( B ) and A g 1 ( B ) g ( A ) B .

Fix x R , we are given that g 1 ( V 𝜖 ( x ) ) is open, meaning there exists a neighborhood V δ ( x ) with V δ ( x ) g 1 ( V 𝜖 ( x ) ) implying g ( V δ ( x ) ) V 𝜖 ( x ) and thus g is continuous.

Now suppose g is continuous and let O R be an open set. If x g 1 ( O ) then g ( x ) O and (since O is open) there exists a neighborhood V 𝜖 ( g ( x ) ) O , now there exists V δ ( x ) where g ( V δ ( x ) ) V 𝜖 ( g ( x ) ) O so we have V δ ( x ) g 1 ( O ) and are done.

User profile picture
2022-01-27 00:00
Comments