A Random Sequence of Reals

Since this paper was rejected by a Journal, I will divide the results, extend them and publish by some papers.

News
Jan 11, 2011, Rejected
Aug 2, 2010, Submitted to a Journal

Title
A Random Sequence of Reals

Type
Fullpaper

Journal
Unpublished

Download
preprint
Japanese summary

Abstract
We define a random sequence of reals as a random point on a computable topological space. This randomness has three equivalent simple characterizations, namely, by tests, by martingales and by complexity. We prove that members of a random sequence are relatively random. Conversely a relatively random sequence of reals has a random sequence such that each corresponding member is Turing equivalent. Furthermore strong law of large numbers and the law of the iterated logarithm hold for each random sequence.