The fixed-point property for represented spaces (Q2120973)

This paper considers represented spaces (as defined in computable analysis) and investigates the question of understanding which represented spaces enjoy the fixed-point property. Several aspects of this question are also studied, such as (computable) uniformity. A represented space \(X\) has the fixed-point property if every total continuous multifunction \(h\) from \(X\) to \(X\) has a fixed point \(x\) in the sense that \(x\in h(x)\). The author shows that in many cases the spaces which enjoy the fixed-point property also enjoy a stronger (computable) uniform version of this property. This is shown, for example, in the case where one assumes the axiom of determinacy or in the case of countably-based \(T_0\)-spaces. The paper also characterizes the countably-based \(T_0\)-spaces which have the fixed-point property and shows that they are exactly the pointed \(\omega\)-continuous dcpos. A characterization of the fixed-point property is also provided for the case of open sets, where in addition the equivalence of this property with its uniform version is shown. The above results are contained in the first part of the paper, which spans up to Section 6. In Sections 7 and 8, the author analyzes connections between the diagonal argument and the fixed-point property. In Section 7, it is shown how to apply the diagonal argument using fixed-point free multifunctions to determine the base-complexity of Kleene-Kreisel spaces. Section 8 investigates an effective version of the results of Section 7 with an application to indexing complexity.