Full Text Available

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

Algorithmic randomness on computable metric spaces and hyperspaces

In this text we shall be focusing on generalizing Martin-Löf randomness to computable metric spaces with arbitrary measure (for examples of this type of generalization see Gács [14], Rojas and Hoyrup [15]. The aim of this generalization is to define algorithmic randomness on the hyperspace of non-em...

Full description

Saved in:
Bibliographic Details
Main Author: Birch, Thomas
Other Authors: Brattka, Vasco
Format: Thesis
Language:English
Published: Department of Mathematics and Applied Mathematics 2016
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this text we shall be focusing on generalizing Martin-Löf randomness to computable metric spaces with arbitrary measure (for examples of this type of generalization see Gács [14], Rojas and Hoyrup [15]. The aim of this generalization is to define algorithmic randomness on the hyperspace of non-empty compact subsets of a computable metric space, the study of which was first proposed by Barmpalias et al. [16] at the University of Florida in their work on the random closed subsets of the Cantor space. Much work has been done in the study of random sets with authors such as Diamondstone and Kjos-Hanssen [17] continuing the Florida approach, whilst others such as Axon [18] and Cenzer and Broadhead [19] have been studying the use of capacities to define hyperspace measures for use in randomness tests. Lastly in section 6.4 we shall be looking at the work done by Hertling and Weihrauch [13] on universal randomness tests in effective topological measure spaces and relate their results to randomness on computable metric measure spaces and in particular to the randomness of compact sets in the hyperspace of non-empty compact subsets of computable metric spaces.