We denote $\mathcal{I} = \{(j, k) \in \mathbf{N}^{2} \mid j \in \mathbf{N} \text{ and } 0 \leq k < 2^{j}\}$; for $j \in \mathbf{N}$, $\mathcal{T}_{j} = \{k \in \mathbf{N} \mid 0 \leq k < 2^{j}\}$. For all $(j, k) \in \mathcal{I}$, $\theta_{j,k} : [0,1] \rightarrow [0,1]$ is defined by $$\theta_{j,k}(x) = \left\{ \begin{array}{l}
1 - |2^{j+1} x - 2k - 1| \quad \text{if } x \in [k 2^{-j}, (k+1) 2^{-j}] \\
0 \text{ otherwise}
\end{array} \right.$$ Show that for all $(j, k) \in \mathcal{I}$, the function $\theta_{j,k}$ is continuous, affine on each interval of the form $[\ell 2^{-n}, (\ell+1) 2^{-n}]$ where $n > j$ and $\ell \in \mathcal{T}_{n}$.
We denote $\mathcal{I} = \{(j, k) \in \mathbf{N}^{2} \mid j \in \mathbf{N} \text{ and } 0 \leq k < 2^{j}\}$; for $j \in \mathbf{N}$, $\mathcal{T}_{j} = \{k \in \mathbf{N} \mid 0 \leq k < 2^{j}\}$. For all $(j, k) \in \mathcal{I}$, $\theta_{j,k} : [0,1] \rightarrow [0,1]$ is defined by
$$\theta_{j,k}(x) = \left\{ \begin{array}{l}
1 - |2^{j+1} x - 2k - 1| \quad \text{if } x \in [k 2^{-j}, (k+1) 2^{-j}] \\
0 \text{ otherwise}
\end{array} \right.$$
Show that for all $(j, k) \in \mathcal{I}$, the function $\theta_{j,k}$ is continuous, affine on each interval of the form $[\ell 2^{-n}, (\ell+1) 2^{-n}]$ where $n > j$ and $\ell \in \mathcal{T}_{n}$.