View source for Exercises:Mond - Topology - 2/Section B/Question 5

<noinclude>
==Section B==
===Question 5===
</noinclude>Is the {{link|quotient map|topology}} from {{M|[0,1]\times[0,1]\subset\mathbb{R}^2}} to the [[real projective plane]], {{M|\mathbb{RP}^2}}, an [[open map]]?
====Solution====
We will consider the square as {{M|I^2\subset\mathbb{R}^2}} where {{M|1=I:=[0,1]:=\{x\in\mathbb{R}\ \vert\ 0\le x\le 1\}\subset\mathbb{R} }} with {{M|1=v_0=(0,0)}}, {{M|1=v_1=(1,0)}}, {{M|1=v_2=(0,1)}} and {{M|1=v_3=(1,1)}}.
=====Definitions=====
[[File:SquareToRP2quotientMapIsNotOpenSituation.JPG|thumb|We notice that for some [[open ball]] in {{M|I^2}} (in green) that the image of it in {{M|\mathbb{RP}^2}} under {{M|\pi}} has boundary points. To show this we must show for any [[open neighbourhood]] {{M|U}} (shown in red) to a suspected boundary point (which is{{M|1=\pi(v_3)=\pi(v_0)}}) contains a point inside and a point outside the image of {{M|X}} (green). To find this we use open balls in {{M|I^2}} contained inside the pre-image of {{M|U}} (purple) - which are open by continuity. <br/>'''Notice that the diagonal which shows the image of the edges under {{M|\pi}} is not straight or even smooth (shown at the extremes from {{M|\pi(v_3)}}), we draw it this way for convenience!''']]<!--
-->We take the following:
* Let {{M|\pi:I^2\rightarrow\mathbb{RP}^2}} be the {{link|quotient map|topology}} the question talks about.
* Let {{M|\epsilon\in (0,\frac{\sqrt{2} }{2})\subset\mathbb{R} }} be given, the [[upper bound]] is chosen so the [[open ball]] considered at a vertex does not cross any diagonals of the square.
* Let {{M|1=X:=B_\epsilon(v_3)\cap I^2}}, where the [[open ball]] {{M|1=B_\epsilon(v_3)}} of radius {{M|\epsilon}} centred at {{M|1=v_3}} is considered in {{M|\mathbb{R}^2}}, thus {{M|B_\epsilon(v_3)\cap I_2}} is open in the [[subspace topology]] {{M|I^2}} inherits from {{M|\mathbb{R}^2}}
=====Outline of solution=====
We will show that {{M|\pi}} is ''not'' an [[open map]], by showing that {{M|\pi(X)}} has a {{link|boundary point|topology}}, namely {{M|\pi(v_3)}} itself and combine this with:
* [[A set is an open set if and only if it contains none of its boundary points]]
As {{M|\pi(X)}} has a boundary point contained in {{M|\pi(X)}} it cannot be open!
We have exhibited an [[open set]] of {{M|I^2}} (namely {{M|X}}) which is mapped to a non-open set (namely {{M|\pi(X)}}), thus {{M|\pi}} cannot be an [[open map]]
=====Solution body=====
[[File:ZoomedSquareOfSquareToRP2NotBeingOpenProof.JPG|thumb|Final setup in {{M|I^2}}. The colours mean: {{nowrap|Green - {{M|X}}}}, Red - {{M|\pi^{-1}(U)}} and Purple - {{M|\pi(B_{\delta_1}(V_0)}} and {{M|\pi_{\delta_2}(v_3)}}.<br/>Notice that for any of the purple open balls, there is always a point ({{M|p_1}} and {{M|p_2}}) that is not a vertex point nor an edge point. This is key.]]
* Let {{M|\epsilon>0}} be given such that {{M|\epsilon\in\mathbb{R} }} and {{M|\epsilon<\frac{\sqrt{2} }{2} }}
** Define {{M|1=X:=B_\epsilon(v_3;\mathbb{R}^2)\cap I^2}} - the [[intersection]] of the [[open ball]] of radius {{M|\epsilon}}, in {{M|\mathbb{R}^2}} and {{M|I^2}}, by definition of the [[subspace topology]] {{M|X}} is [[open set|open]] in {{M|I^2}}
*** We claim that {{M|\pi(v_3)\in\partial\pi(X)}} - that is that {{M|\pi(v_3)}} is a {{link|boundary point|topology}} of {{M|\pi(X)}}.
*** To show this we will use [[a point is in the boundary of a set if and only if every open neighbourhood to that point contains both a point in the set and a point not in the set]]
**** Let {{M|U}} be an arbitrary [[open neighbourhood]] in {{M|\mathbb{RP}^2}} to {{M|\pi(v_3)}} be given.
***** As {{M|\pi}} is [[continuous]] we have {{M|1=\pi^{-1}(U)}} is open in {{M|I^2}}
***** As {{M|\pi(v_3)\in U}} (by definition) and {{M|1=\pi(v_3)=\pi(v_0)}} we see from {{M|\pi(v_0)\in U}} that {{M|v_0\in\pi^{-1}(U)}}
****** As {{M|\pi^{-1}(U)}} is an [[open set]] and {{M|v_0,v_3\in\pi^{-1}(U)}} we see there exist {{M|\delta_1',\delta_2'>0}} such that {{M|B_{\delta_1'}(v_0)\subset\pi^{-1}(U)}} and {{M|B_{\delta_2'}(v_3)\subset\pi^{-1}(U)}}
****** Define {{M|1=\delta_1:=\text{Max}(\{\delta_1',\frac{\sqrt{2} }{2}\})}} and {{M|1=\delta_1:=\text{Max}(\{\delta_1',\frac{\sqrt{2} }{2}\})}} - this will prevent the following balls from crossing the diagonal of the square and keeps them [[disjoint]].
****** Notice the following: {{M|1=B_{\delta_1}(v_0)\subseteq B_{\delta_1'}(v_0)\subset \pi^{-1}(U)}} and {{M|1=B_{\delta_2}(v_3)\subseteq B_{\delta_2'}(v_3)\subset \pi^{-1}(U)}}
******* Define {{M|p_1\in B_{\delta_1}(v_0)}} to be any point in {{M|B_{\delta_1}(v_0)}} such that {{M|p_1\ne v_0}} and both the {{M|x}} and {{M|y}} coordinates are not {{M|0}} (for example: {{M|1=p_1:=(\frac{\delta_1}{2},\frac{\delta_1}{2})}} would do nicely)
******* Define {{M|p_2\in B_{\delta_2}(v_3)}} to be any point in {{M|B_{\delta_2}(v_3)}} such that {{M|p_2\ne v_3}} and both the {{M|x}} and {{M|y}} coordinates are not {{M|1}} (for example: {{M|1=p_2:=(1-\frac{\delta_2}{2},1-\frac{\delta_2}{2})}} would do nicely)<!--
-->[[File:ZoomedRp2ForNotOpenMapProof.JPG|thumb|Notice that {{M|\pi(p_2)}} is inside the image of {{M|X}} (green) and inside {{M|U}}, then contrast that with {{M|\pi(p_1)}} which is not inside the image of {{M|X}}. Purple shows the image of the open balls at each vertex, which we used to obtain {{M|p_1}} and {{M|p_2}} ]]
******** Notice: {{Note|The situation is shown in the 3<sup>rd</sup> diagram on the right}}
********# {{M|\pi(p_1)\in U}} and {{M|\pi(p_2)\in U}}
********# {{M|\pi(p_2)\in\pi(X)}}
********# {{M|\pi(p_1)\notin\pi(X)}} 
********# {{M|\pi(p_1)\neq \pi(v_3)}} and
********# {{M|\pi(p_2)\neq \pi(v_1)}} {{Note|It my be unnecessary to find a point distinct from the (suspected) boundary point inside and outside of {{M|X}}, however as it was only a minor detour, we have done it}}
********#* Note that {{M|\pi}} restricted to {{M|(0,1)\times(0,1)}} (the {{link|interior|topology}} of the {{M|I^2}} ''considered in the [[topological space|space]] {{M|\mathbb{R}^2}}''<ref group="Note">As the interior of {{M|I^2}} considered in the [[topological space]] {{M|I^2}} is {{M|I^2}} of course!</ref>) is [[injective]] so we see {{M|1=\pi(p_1)\ne\pi(p_2)}}
********#* Next, observe that (by design, this is the whole point of identification spaces like this) the edges by each point are mapped over each other (in direction depending on the arrows in the identification), as {{M|p_1}} and {{M|p_2}} are not on the edge, nor are they vertices, they are not mapped to it. 
******** So now we have: {{M|1=\pi(p_1)\in U}}, {{M|\pi(p_2)\in U}} and importantly, for the boundary point theorem mentioned above:
********* {{M|\pi(p_1)\notin\pi(X)}} and {{M|\pi(p_2)\in\pi(X)}}
**** Since our choice of {{M|U}} (an open neighbourhood to {{M|\pi(v_3)}}) was arbitrary, we have shown for all such {{M|U}} there exists points inside of {{M|U}} such that 1 is inside {{M|\pi(X)}} and one is outside {{M|\pi(X)}}; namely {{M|\pi(p_1)}} and {{M|\pi(p_2)}}.
***** We actually went a bit to far and found a point in the interior of {{M|\pi(X)}}
*** We apply the theorem: "''[[a point is in the boundary of a set if and only if every open neighbourhood to that point contains both a point in the set and a point not in the set]]''" to show:
**** {{M|\pi(v_3)\in\partial(\pi(X))}} (where {{M|\partial A}} denotes the {{link|boundary|topology}} of a set {{M|A}} in some topological space)
*** Next, we recall the theorem: "''[[a set is an open set if and only if it contains none of its boundary points]]''"
*** Well, {{M|\pi(v_3)\in\partial(\pi(X))}} so {{M|\pi(X)}} contains (at least) 1 of its boundary points, therefore it cannot be open. 
*** As {{M|X\subset I^2}} is open, but its image, {{M|\pi(X)\subset\mathbb{RP}^2}} is not open, {{M|\pi}} cannot be an [[open map]], as:
**** To be an open map, the image of every open set in the domain ({{M|I^2}}) must be open in {{M|\mathbb{RP}^2}}, we have demonstrated this is not the case
Thus {{M|\pi}} is ''not'' an open map.
<div style="clear:both;"></div>
<noinclude>
==Notes==
<references group="Note"/>
==References==
<references/>