Theorem
The diagonal cartesian productof a set with itself is homeomorphic to the set.
Proof
The setis the diagonal of
We can define projectionsand
so that
and
Sincefor every element of
for every element of
agrees with
on
and
are one to one and onto
so and D are homeomorphic.