Genericity and UD–random reals #
by
WESLEY CALVERT, JOHANNA N.Y. FRANKLIN. #
This concerns the second sentence in the Introduction in the paper.
We define uniform distribution and prove that the constant 0 sequence is not uniformly distributed.
The triple (a,b,ε) satisfies the conditions for uniform distribution of x.
Equations
Instances For
The sequence x
is uniformly distributed in the half-open unit interval.
Equations
- uniformly_distributed x = ∀ (a b ε : ℝ), 0 ≤ a → a < b → b ≤ 1 → ε > 0 → uniformly_distributed_at x a b ε
Instances For
The constant zero sequence is not uniformly distributed.