Finding a homotopy map

50 Views Asked by At

Let $K=\mathbb R^2\times (-\infty,0)\subset \mathbb R^3$, and let $Q$ be an open connected subset of $\mathbb R^2$. Is the fundamental group $\pi_1(Q\times [0,1)\cup K)$ trivial? And is it possible to find the retraction explicitly?