File:R2 top group preimage of 1 to -1 epsilon 0.25 steps 0.125.gif
This is an example image for showing that [ilmath](\mathbb{R}-\{0\},\times)[/ilmath] is a topological group. Consider [ilmath]m:(\mathbb{R}-\{0\})\times(\mathbb{R}-\{0\})\rightarrow\mathbb{R}-\{0\} [/ilmath] given by [ilmath]m:(x,y)\mapsto xy[/ilmath], as the example shows [ilmath]m[/ilmath] is continuous (when [ilmath](\mathbb{R}-\{0\})^2 [/ilmath] is considered with the product topology), an important step in doing that is showing that:
- Given an open ball, [ilmath]B_\epsilon(c)[/ilmath] which is, in this case, the open interval [ilmath](c-\epsilon,c+\epsilon)[/ilmath] we must show that the preimage is open (among other things of course).
This image shows the preimage of [ilmath](c-\epsilon,c+\epsilon)[/ilmath] as [ilmath]c[/ilmath] goes from [ilmath]-1[/ilmath] to [ilmath]1[/ilmath] in steps of [ilmath]0.125[/ilmath]. For [ilmath]\epsilon:=0.25[/ilmath].
You can see for [ilmath]c=0[/ilmath] the image is symmetric about the [ilmath]x[/ilmath]-axis, [ilmath]y[/ilmath]-axis, [ilmath]y=x[/ilmath] line and [ilmath]y=-x[/ilmath] line and forms like a 4-point star shape. This technically isn't in the space we're dealing with, however we do see the preimage of [ilmath](-0.25,0.25)[/ilmath] in the space.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 03:11, 8 August 2016 | 256 × 128 (48 KB) | Alec (Talk | contribs) |
- You cannot overwrite this file.
File usage
There are no pages that link to this file.