Solusi P.33.1.

Untuk \(t\gt0\text{,}\) relasi menyatukan semua titik pada \(I\times\{t\}\text{;}\) sebut kelas itu \(u_t\text{.}\) Klausul kesamaan dalam definisi relasi menjamin bahwa pada tinggi nol setiap kelas adalah singleton \(b_s=[(s,0)]\text{.}\) Jadi deskripsi himpunan \(Q\) dalam jawaban benar dan tidak membuat identifikasi tambahan.
Misalkan \(\pi:X\to Q\) proyeksi kanonik. Setiap \(W\subseteq Q\) dapat ditulis secara unik sebagai
\begin{equation*} W=W(A,V)=\{b_s:s\in A\}\cup\{u_t:t\in V\}, \end{equation*}
dengan \(A\subseteq I\) dan \(V\subseteq(0,1]\text{.}\) Prapetanya adalah
\begin{equation*} \pi^{-1}(W)=(A\times\{0\})\cup(I\times V). \end{equation*}
Jika prapeta ini terbuka dalam \(I\times I\text{,}\) pemeriksaan di titik-titik dengan tinggi positif menunjukkan bahwa \(V\) terbuka dalam \((0,1]\text{.}\) Pemeriksaan di setiap \((s,0)\) dengan \(s\in A\) menunjukkan bahwa \(A\) terbuka dalam \(I\text{.}\) Jika \(A\) tidak kosong, pilih satu \(s\in A\text{.}\) Sebuah lingkungan persegi panjang relatif dari \((s,0)\) yang termuat dalam prapeta memaksa adanya \(\varepsilon\gt0\) dengan \((0,\varepsilon)\subseteq V\text{.}\)
Sebaliknya, andaikan ketiga kondisi tersebut dipenuhi. Titik dengan tinggi dalam \(V\) mempunyai lingkungan produk di \(I\times V\text{.}\) Jika \(s\in A\text{,}\) pilih lingkungan relatif \(J\subseteq A\) bagi \(s\text{;}\) bila \(A\neq\emptyset\text{,}\) syarat pada \(V\) membuat \(J\times[0,\varepsilon)\) termuat dalam prapeta. Maka prapeta terbuka. Definisi topologi kuosien sekarang memberikan tepat pencirian dalam jawaban. Secara intuitif, terdapat satu interval titik pangkal \(b_s\text{,}\) dan semua titik pangkal itu berbagi batang tinggi positif yang sama.
in-context