Some formal proofs of isomorphy and discontinuity
Some formal proofs of isomorphy and discontinuity
In computable analysis a representation for a space X is a partial surjective mapping from the Baire space N N to X, i.e., a function δ : ⊆ N N → X. A pair X = (X, δ X) of a space and its representation is called a represented space …