We'll show that \( \emptyset \) and \( Y \) are elements of \( T_{\cap Y} \), this can be seen as since \( \emptyset \in T \), then \( Y \cap \emptyset = \emptyset \in T_{\cap Y} \) and also since \( Y \subseteq X \), then \( Y \cap X = Y \) so \( Y \in T_{\cap Y} \)
Now we want to prove that \( T_{\cap Y} \) is closed under arbitrary unions, which we know because \( \bigcup_{\alpha \in I} \left ( U_{\alpha} \cap Y \right ) = \left ( \bigcup_{\alpha \in I} U_{\alpha} \right ) \cap Y \). Similarly we can see that it's closed under finite intersections as \( \left ( U_{1} \cap Y \right ) \cap \ldots \cap \left ( U_{n} \cap Y \right ) = \left ( U_{1} \cap \ldots \cap U_{n} \right ) \cap Y \).
Therefore we know that \( T_{\cap Y} \) is a topology.
To prove this statement true, we'll use the handy basis criterion
First note that given any element \( Y \cap B \in M \), we know that it is open with respect to \( \mathcal{T}_{\cap Y} \), because \( B \) is open with respect to \( X \)
Now let \( Y \cap U \) be an open set of \( Y \) which means that \( U \) is open in \( X \). Let \( p \in Y \cap U \) , since \( p \in U \) , \( U \) is open in \( X \) and \( \mathcal{B} \) is a basis for \( X \) then we know there is some \( B \in \mathcal{B} \) such that \( p \in B \subseteq U \) if that's the case then we know that \( p \in Y \cap B \subseteq Y \cap U \), noting that \( Y \cap B \in M \), therefore we know that \( M \) is a basis and it is for \( Y \)
We will show that the two topologies are equal by showing that the basis that generate them are equal.
Given the subspace \( A \) of \( X \) and \( B \) of \( Y \), then the product topology of \( A \times B \) has a basis of elements of the form \( \left ( A \cap U \right ) \times \left ( B \cap V \right ) \) where \( U , V \) are open in \( X , Y \) respectively.
On the other hand ,an open set in \( X \times Y \) is of the form \( U \times V \) where \( U , V \) are open in \( X , Y \) respectively, thus a basis element for \( A \times B \) (as a subspace of \( X \times Y \))is a set of the form \( \left ( A \times B \right ) \cap \left ( U \times V \right ) \).
Now to connect the two recall thqt \( \left ( A \cap U \right ) \times \left ( B \cap V \right ) = \left ( A \times B \right ) \cap \left ( U \times V \right ) \). So given a set, it is in the first basis if and only if it is in the second basis, meaning that the two bases are equal, and thus they generate the same topology.