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 \in \mathbf{N}$ and all $k \in \mathcal{T}_{j+1}$, there exists a unique integer $k' \in \mathcal{T}_{j}$ such that $$[k 2^{-j-1}, (k+1) 2^{-j-1}] \subset [k' 2^{-j}, (k'+1) 2^{-j}]$$ Specify the relationship between $k$ and $k'$.
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 \in \mathbf{N}$ and all $k \in \mathcal{T}_{j+1}$, there exists a unique integer $k' \in \mathcal{T}_{j}$ such that
$$[k 2^{-j-1}, (k+1) 2^{-j-1}] \subset [k' 2^{-j}, (k'+1) 2^{-j}]$$
Specify the relationship between $k$ and $k'$.