Mostre que as funções holomorfas são funções contínuas.
Passo 1
O que o enunciado pede: provar que uma função holomorfa é contínua. Informações dadas: seja U\subset\mathbb{C} um aberto e seja f:U\to\mathbb{C} uma função holomorfa em U. Queremos mostrar que, para todo ponto z_{0}\in U, vale
\lim_{z\to z_{0}} f(z) = f(z_{0}),
ou seja, f é contínua em cada z_{0}\in U.
Observação importante que usaremos: por definição, dizer que f é holomorfa em z_{0} significa que existe o derivada complexa f'(z_{0}) dada por
Aqui eu explico as variáveis: \varepsilon é qualquer tolerância pequena que você escolha para a diferença entre o quociente e o valor f'(z_{0}); \delta é o raio do disco (retirando z_{0}) em torno de z_{0} onde essa diferença fica abaixo de \varepsilon.
Passo 3
Transformamos a desigualdade acima para trabalhar com f(z)-f(z_{0}). Multiplicando a desigualdade por |z-z_{0}| obtemos, para 0<|z-z_{0}|<\delta,
Essa desigualdade mostra que a diferença entre f(z) e sua aproximação linear f(z_{0})+f'(z_{0})(z-z_{0}) é pequena — na ordem de |z-z_{0}| — quando z está perto de z_{0}.
Passo 4
Agora usamos a desigualdade do passo anterior para controlar |f(z)-f(z_{0})|. Pela desigualdade triangular temos, para 0<|z-z_{0}|<\delta,
Isto é muito útil: para fixar uma meta \eta>0 (queremos |f(z)-f(z_{0})|<\eta), escolhemos primeiro \varepsilon=1 (ou qualquer constante positiva), obtemos um \delta associado à definição da derivada, e então tomamos
Isso mostra diretamente, no formato \varepsilon-\delta, que \lim_{z\to z_{0}} f(z)=f(z_{0}).
Passo 5
Concluímos que para cada z_{0}\in U a função f é contínua em z_{0}, porque a existência de f'(z_{0}) (hipótese de holomorfia) permite controlar |f(z)-f(z_{0})| por uma constante vezes |z-z_{0}|, que vai a zero quando z\to z_{0}. Como z_{0} foi arbitrário, f é contínua em todo U.
Resposta
Para todo z_{0}\in U vale \displaystyle \lim_{z\to z_{0}} f(z)=f(z_{0}), logo f é contínua em U.