Posts

Lac du Cabri

Image
.mw-parser-output table.ambox{margin:0 10%;border-collapse:collapse;background:#fbfbfb;border:1px solid #aaa;border-left:10px solid #608ec2}.mw-parser-output table.ambox th.ambox-text,.mw-parser-output table.ambox td.ambox-text{padding:.25em .5em;width:100%}.mw-parser-output table.ambox td.ambox-image{padding:2px 0 2px .5em;text-align:center;vertical-align:middle}.mw-parser-output table.ambox td.ambox-imageright{padding:2px 4px 2px 0;text-align:center;vertical-align:middle}.mw-parser-output table.ambox-notice{border-left:10px solid #608ec2}.mw-parser-output table.ambox-delete,.mw-parser-output table.ambox-serious{border-left:10px solid #b22222}.mw-parser-output table.ambox-content{border-left:10px solid #f28500}.mw-parser-output table.ambox-style{border-left:10px solid #f4c430}.mw-parser-output table.ambox-merge{border-left:10px solid #9932cc}.mw-parser-output table.ambox-protection{border-left:10px solid #bba}.mw-parser-output .ambox+.ambox,.mw-parser-output .topbox+.ambox,.mw-pars...

Showing that $f^{-1}$ is not continuous.

Image
0 Let $X$ be the half open interval $[0,2pi)$ . Let $Y$ denote the unit circle in the plane. Let $f$ be the map defined by $f(t)=(cos(t),sin(t))$ . I checked that $f$ is continuous and bijective. Since it is bijective, inverse exist. I want to show that $f^{-1}$ is not continuous at $(1,0)$ using multiple ways(just to check whether I know concepts well or not) Using compactness. If $f^{-1}$ was continuous then it contradicts the fact that continuous image of a compact set is compact. $epsilon-delta$ proof. (Idea: If we approach $(1,0)$ from below and above there is a jump from $0$ and $2pi$ .) How to use the most general definition of continuity(that inverse image of open set is open) to show that $f^{-1}$ is not continuous. Thanks in advance. real-a...