@lul
\(\text{falls } t\in[\frac{1}{3^k},\frac{2}{3^k}[\text{ für ein k $\in$ $\mathbb N$}\)
Gemeint ist "falls ein \(k\in \mathbb{N}\) existiert, so dass \(t\in\left[\frac{1}{3^k},\frac{2}{3^k}\right[\) ist".
Damit ist zum Beispiel \(h\left(\frac{1}{80}\right) = 1\), weil ein \(k\in \mathbb{N}\) existiert, so dass \(\frac{1}{80}\in\left[\frac{1}{3^k},\frac{2}{3^k}\right[\) ist (nämlich \(k = 4\)).
Anders sähe das aus, wenn wir für ein \(k\in\mathbb N\) die Funktion
\(h:[0,1]\to\mathbb{R}, t\mapsto \begin{cases} 1 & \text{falls } t\in[\frac{1}{3^k},\frac{2}{3^k}[ \\ 0 & \text{falls } t\in[\frac{2}{3^k},\frac{3}{3^k}[ \\ 0 ,& \text{falls } t=0 \end{cases}\)
"definieren". Die wäre nicht wohldefiniert, weil für \(k = 1\) kein Bild von \(\frac{1}{6}\) existiert und für \(k>1\) kein Bild von \(\frac{1}{2}\) existiert.