User:TakuyaMurata/Continuous functions on a compact space