also ich hab mal was probiert aber es sieht komisch aus ^^
an = n/m - [n/m] = (s*m+t)/m - [(s*m+t)/m] für s,t ∈ ℕ0 , t < m<
= s+ t/m - [ (s*m)/m + t/m] = s + (t/m) - s + [t/m] = t/m
damit gilt dann: A :={an : n ∈ ℕ0 } = { (t/m): 0≤ t < m, t ∈ ℕ0 }
a_n=n/q-[ n/q ]=(s*q+t)/q-[ (s*q+t)/q ] fuer s,t \el \IN_0, t < q
=s+t/q-[ (s*q)/q+t/q ]=s+t/q-s+[ t/q ]=t/q
Damit gilt dann: A := menge(a_n : n \el \IN_0)=menge(t/q :0<=t<q,t\el\IN_0)
\forall n >= q: a_n=a_(n-q)
stimmt glaub nicht...
\forall n >= q: a_n=a_(n-q)