- Định lý 1:Topo tích là topo nhỏ nhất để các phép chiếu liên tục.
- Định lý 2: Nếu $f$ là ánh xạ từ không gian topo $Z$ vào không gian topo tích $X\times Y$, vậy thì:
$f$ liên tục khi và chỉ khi các ánh xạ hợp $\begin{cases} & (p_1)\circ f: Z \rightarrow X\times Y \rightarrow X \\ & (p_2)\circ f: Z \rightarrow X\times Y \rightarrow Y \end{cases}$ liên tục.
"Mình đang học Topo đại cương, có hai định lý cần mọi người chứng minh hộ, mình tìm tài liệu không thấy có chứng minh phần này! Mọi giúp mình nhé"