Content deleted Content added
→Proof: changed radius to diameter to make the proof flow more naturally. The e/2 in previous version could strike a student as an arbitrary or clever choice. |
Undid revision 732541314 by 89.176.114.31 (talk) |
||
Line 17:
The boundary of ''B'' is a circle and hence a [[compact set]], on which |''g''(''z'')| is a positive [[continuous function]], so the [[extreme value theorem]] guarantees the existence of a positive minimum ''e'', that is, ''e'' is the minimum of |''g''(''z'')| for ''z'' on the boundary of ''B'' and ''e'' > 0.
Denote by ''D'' the open disk around ''w''<sub>0</sub> with [[
''h''(''z'') = ''g''(''z'') + (''w''<sub>0</sub> - ''w''<sub>1</sub>), and for ''z'' on the boundary of ''B'', |''g''(''z'')| ≥ ''e'' > |''w''<sub>0</sub> - ''w''<sub>1</sub>|. Thus, for every ''w''<sub>1</sub> in ''D'', there exists at least one ''z''<sub>1</sub> in ''B'' such that ''f''(''z''<sub>1</sub>) = ''w<sub>1</sub>''. This means that the disk ''D'' is contained in ''f''(''B'').
| |||