Computable Cyclic Functions

Abstract

This dissertation concerns computable analysis where the idea of a representation of a set is of central importance. The key ideas introduced are those commenting on the computable relationship between two newly constructed representations, a representation of integrable cyclic functions, and the continuous cyclic function representation. Also, the computable relationship of an absolutely convergent Fourier series representation is considered. It is observed that the representation of integrable cyclic functions gives rise to a much larger set of computable functions than obtained by the continuous cyclic function representation and that integration remains a computable operation, but that basic evaluation of the function is not computable. Many other representations are acknowledged enhancing the picture of the partial order structure on the space of representations of cyclic functions. The paper can also be seen as a foundation for the study of Fourier analysis in a computable universe and concludes with an investigation into the computability of the Fourier transform