Kechris’ theorem

It’s not as wonderful as Marden’s, but this cute little result of Kechris can be really useful when you need to tweak a topology to get some extra functions to be continuous without disturbing the measurable structure.

Theorem. Let (XT) be a Polish space and Y a second-countable topological space. Let F be a countable collection of Borel-measurable functions fX → Y. Then there exists a topology T1 on X such that T1 ⊇ T, T1 is Polish, T and T1 generate the same Borel σ-algebra, and every f ∈ F is continuous with respect to T1.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s