# Análise complexa/Introdução

Os números complexos são uma extensão dos números reais, em outros termos, o plano complexo é uma extensão da reta real. Os números complexos têm importância fundamental ao descrever as leis do universo subatômico, incluindo a propagação da luz e a mecânica quântica. Eles também têm uso prático em muitos campos, como é o caso do processamento de sinais e da engenharia elétrica.
Devido ao enfoque adotado, texto é indicado para alunos de graduação. Se preferir uma abordagem mais elementar dos números complexos, pode consultar o livro Matemática elementar.

## Um pouco de história

Na época em que foram inventados, os números complexos receberam este nome por parecerem um tanto "misteriosos", e existirem apenas na imaginação de alguns pesquisadores. Tanto é assim, que o número complexo $i$ é até hoje conhecido como "unidade imaginária". Se a escolha do nome para estes números fosse feita nos dias atuais, levando em consideração suas inúmeras aplicações práticas, possivelmente eles seriam chamados de "números planares" ou "números bidimensionais", pois além de não haver qualquer "mistério" sobre estes números, sua interpretação como pontos de um plano torna a sua compreensão extremamente simples.
Conhecendo os números reais e suas propriedades, é possível resolver diversas equações em uma variável $x$. Por exemplo, verifica-se facilmente que $2x-4=-10$ tem -3 como solução, que 4/3 é o único número $x$ tal que $3x=4$, e que tanto -4 quanto 4 são raízes (soluções) de $x^{2}-16=0$.
Por outro lado, não existe um número real que satisfaça a equação $x^{2}+1=x$: podemos ver que esta equação é equivalente a $(x-1/2)^{2}=-3/4\,$, que não possui solução real, uma vez que o quadrado de qualquer número real é não-negativo.
Por muito tempo este tipo de equação não foi problema: eram equações que não tinham solução. Foi um caso particular da equação do terceiro grau que criou a necessidade de usarem-se números complexos.
A equação do terceiro grau (ver equação cúbica, na Wikipédia) permaneceu vários séculos sem ser resolvida, até que, durante o Renascimento, matemáticos italianos atacam (com sucesso) esta equação.
Devemos observar que, naquela época, não havia notação simbólica, zero não era reconhecido como um número (zero era usado apenas no sistema de numeração) e números negativos eram vistos com extrema suspeita.
Então, o que hoje escrevemos como uma equação do terceiro grau $ax^{3}+bx^{2}+cx+d=0\,$, para eles era uma dezena de casos particulares diferentes, como $x^{3}+px=q\,$ ou $x^{3}=px+q\,$, etc.
Uma das primeiras equações foi possivelmente resolvida por Scipione del Ferro, com um raciocínio que, em linguagem moderna, é representado assim:
    Seja a equação
       $x^{3}=3x+10\,$
    Então supomos que x seja a soma de duas raízes cúbicas
       $x={\sqrt[{3}]{u}}+{\sqrt[{3}]{v}}\,$
    Substituindo e simplificando, obtemos
       $u+v+3{\sqrt[{3}]{uv}}({\sqrt[{3}]{u}}+{\sqrt[{3}]{v}})=3({\sqrt[{3}]{u}}+{\sqrt[{3}]{v}})+10\,$.
    Portanto, se for possível encontrar números u e v tais que $u+v=10\,$ e $uv=1\,$, então a equação cúbica tem uma solução real. Mas estes números existem, e são
       $u=5+{\sqrt {24}}\,$ e $v=5-{\sqrt {24}}\,$
    (como pode ser facilmente verificado). Portanto, a solução desta equação cúbica é:
       $x={\sqrt[{3}]{5+{\sqrt {24}}}}+{\sqrt[{3}]{5-{\sqrt {24}}}}\,$
Através de simplificações algébricas (e empregando-se números negativos), todos os demais casos de equações cúbicas podem ser reduzidos a este tipo.
Então, como exemplo, vamos resolver:
    $x^{3}=15x+4\,$
que sabemos que tem a raiz x = 4.
Temos portanto, usando o método acima, que
    $x={\sqrt[{3}]{u}}+{\sqrt[{3}]{v}}\,$
Substituindo e simplificando, obtemos
    $u+v+3{\sqrt[{3}]{uv}}({\sqrt[{3}]{u}}+{\sqrt[{3}]{v}})=15({\sqrt[{3}]{u}}+{\sqrt[{3}]{v}})+4\,$.
Agora, devemos encontrar números u e v tais que $u+v=4\,$ e $uv=5^{3}\,$, para que a equação cúbica tenha uma solução real. Mas estes números não existem, porque seriam:
    $u=2+{\sqrt {-121}}\,$ e $v=2-{\sqrt {-121}}\,$
O metamático italiano Rafael Bombelli introduziu os números complexos para resolver esta charada. Bombelli concluiu que $(2+{\sqrt {-1}})^{3}=2+{\sqrt {-121}}\,$ e $(2-{\sqrt {-1}})^{3}=2-{\sqrt {-121}}\,$, portanto a expressão ${\sqrt[{3}]{2+{\sqrt {-121}}}}+{\sqrt[{3}]{2-{\sqrt {-121}}}}\,$ fornece a solução x = 4.
Na verdade, o conjunto dos números reais pode ser "estendido" (ampliado) para o conjunto dos números complexos, que acomoda uma infinidade de números além dos números reais, incluindo os números imaginários.
Ao fazer essa extensão, poderia ser suposto que os números imaginários satisfazem as regras algébricas usuais (associatividade, comutatividade, etc), válidas para os números reais. Assim, ao admitir que um certo número imaginário $i$, satisfaz a equação $x^{2}=-1$, seria razoável esperar que $-i$ também verifique esta equação, pois segundo as regras usuais valeria:
$(-i\,)\times (-i\,)=(i\,\times i\,)=-1$
Algumas propriedades dos números reais, porém, devem sacrificadas: não é possível ordenar os números complexos. Ou melhor, não é possível definir sobre o conjunto dos números complexos qualquer relação de ordem que seja compatível com as operações de adição e multiplicação. Para ver isto, basta tentar descobrir se i > 0 ou i < 0. Se i > 0, então seu quadrado i$^2$ > 0, o que é absurdo, pois i$^2$ = -1. Por outro lado, se i < 0, então -i > 0, logo (-i)$^2$ > 0. Mas (-i)$^2$ = -1, outro absurdo.
Como será visto, neste novo conjunto numérico tratam-se igualmente $i$ e $-i$ como s raízes quadradas de -1, e posteriormente, poderá ser garantido que todo "número" não-nulo tem exatamente duas raízes quadradas.
Uma forma bastante geral de estender os números reais usando a noção de número imaginário é considerar o conjunto de todas as "somas" $a+bi$, onde $i$ é uma das raízes de -1, enquanto $a$ e $b$ são números reais. O conjunto $\mathbb {C} =\left\{a+bi|a,b\in \mathbb {R} \right\}$ será chamado de conjunto dos números complexos. Nesses termos, $\mathbb {R}$ poderá ser considerado como o subconjunto de $\mathbb {C}$ formado quando tomamos $b=0$. Os números complexos poderão ser somados e multiplicados seguindo regras análogas àquelas dos números reais. Estas regras serão tratadas mais adiante.
Para caracterizar rigorosamente o conjunto dos números complexos, será utilizada uma das seguintes definições:

## Definição 1: Um número complexo é um ponto do plano

O conjunto dos números complexos é o conjunto $\mathbb {C} =\mathbb {R} ^{2}$.
onde está definida uma operação de adição:
$+:\mathbb {C} \times \mathbb {C} \to \mathbb {C}$, para a qual
    $(a,b)+(c,d)=(a+c,b+d)$
e uma operação de multiplicação:
$\times :\mathbb {C} \times \mathbb {C} \to \mathbb {C}$, tal que
    $(a,b)\times (c,d)=(ac-bd,ad+bc)$
É comum representar $\alpha \times \beta$ simplesmente como $\alpha \beta$, para não "poluir" o texto com muita notação.

## Definição 2: Um número complexo é uma matriz

Sendo $M_{2\times 2}(\mathbb {R} )$ o espaço vetorial das matrizes $2\times 2$, com entradas reais, definimos o conjunto dos números complexos como o subespaço vetorial $\mathbb {C}$ formado pelas matrizes $M$ que são da forma:
    $M={\begin{bmatrix}a&-b\\b&a\end{bmatrix}}$
Verifica-se facilmente (exercício 1) que este subespaço vetorial é também um corpo com as operações usuais de adição e multiplicação de matrizes.

## Definição 3: Um número complexo é uma expressão da forma a + bi

O conjunto dos números complexos é o conjunto $\mathbb {C}$ de todas as expressões da forma $a+bi$, com $a$ e $b$ sendo números reais e $i$ a unidade imaginária que satisfaz à relação $i^{2}=-1$.

### Observações

Para formalizar um pouco mais esta definição, podemos simplesmente tratá-la como uma notação para as demais. Assim, usaremos $a+bi$ para denotar:
* O ponto $(a,b)$ (definição 1);
* A matriz $M={\begin{bmatrix}a&-b\\b&a\end{bmatrix}}$ (definição 2);
Outra razão para o uso da notação $a+bi$ segue das considerações a seguir. Primeiramente temos:
    $M={\begin{bmatrix}a&-b\\b&a\end{bmatrix}}={\begin{bmatrix}a&0\\0&a\end{bmatrix}}+{\begin{bmatrix}0&-b\\b&0\end{bmatrix}}=a{\begin{bmatrix}1&0\\0&1\end{bmatrix}}+b{\begin{bmatrix}0&-1\\1&0\end{bmatrix}}=aI_{2}+b{\begin{bmatrix}0&-1\\1&0\end{bmatrix}}$
Sendo que $I_{2}$ representa a matriz identidade de ordem 2.
Em segundo lugar, o conjunto das matrizes da forma $aI_{2}$ forma um corpo isomorfo a $\mathbb {R}$. As propriedades que definem um "corpo" são apresentadas na próxima seção.
Uma vez estabelecido tal isomorfismo, podemos abusar no uso das notações e escrever apenas $a$ em vez de $aI_{2}$ no cálculo acima, obtendo:
    $M=a+b{\begin{bmatrix}0&-1\\1&0\end{bmatrix}}$
Agora, nada é mais natural do que chamar de $i$ a matriz que multiplica $b$, ou seja, podemos convencionar que a unidade imaginária é a matriz:
    $i={\begin{bmatrix}0&-1\\1&0\end{bmatrix}}$
Algumas consequências imediatas dessas convenções são:
* O número $a+0i$ representa-se simplesmente por $a$
* A unidade imaginária $i$ é uma raiz quadrada de $-1$, ou seja, $i^{2}=-1$
* Pode-se somar e multiplicar dois números complexos da forma $a+bi$ e $c+di$ como se fossem binômios (a "variável" seria $i$), e ao final troca-se cada ocorrência de $i^{2}$ (se houver) pelo número $-1$.
A primeira afirmação é obvia, as demais decorrem das propriedades das matrizes e de:
    $i^{2}={\begin{bmatrix}0&-1\\1&0\end{bmatrix}}\times {\begin{bmatrix}0&-1\\1&0\end{bmatrix}}={\begin{bmatrix}-1&0\\0&-1\end{bmatrix}}=-1I_{2}=-1$
Veja o exercício 3.

## Propriedades dos números complexos

As propriedades que mais ajudam a "desmistificar" o conjunto dos números complexos são aquelas parecidas com as propriedades dos números reais. No que diz respeito a adição e a multiplicação, o conjunto dos números reais possui todas as propriedades necessárias para ser considerado um corpo. É, então, desejável saber se os números complexos têm ou não as propriedades que definem um corpo.
Como o leitor pode verificar facilmente no exercício 1, $(\mathbb {C} ,+,\times )$ realmente é um corpo. Isso permite que os cálculos envolvendo apenas essas duas operações sejam feitos da mesma forma quando se utilizam números complexos em lugar de números reais.
Os próximos exemplos ajudam a ilustrar a validade dessas propriedades.

## Parte real e parte imaginária

Vimos que o números complexo $a+0i$ corresponde ao número real $a$, e que $i$ é chamado de unidade imaginária.
Com base nessas observações, dado um número complexo $z=a+bi$, dizemos que a parte real de $z$ é o número real $a$, e que a parte imaginária de $z$ é o número real $b$.

## Conjugação complexa

A conjugação complexa tem as seguintes propriedades:
* ${\overline {z+w}}={\overline {z}}+{\overline {w}}$
* ${\overline {zw}}={\overline {z}}{\overline {w}}$
* ${\overline {z^{-1}}}=({\overline {z}})^{-1}$
* ${\overline {\overline {z}}}=z$
* $z+{\bar {z}}=2Re(z)$
* $z-{\bar {z}}=2iIm(z)$

## Módulo de um número complexo

O módulo ou valor absoluto de um número complexo satisfaz as seguintes propriedades:
* $|z|=0\Leftrightarrow z=0$
* $|zw|=|z||w|$
* $|{\overline {z}}|=|z|$
* $|z^{-1}|=|z|^{-1}$
* $|z+w|\leq |z|+|w|$ (desigualdade triangular)

## Notas

* ↑ Tal terminologia é sugerida por Alder (1997).
* ↑ Tartagilia's Description of His Solution - por este texto, a equação cuja solução foi descrita por Tartaglia era ligeiramente diferente, x$^3$ + 3 x = 10; o método é semelhante, só que, em vez de uma soma, deve-se usar uma diferença entre raízes cúbicas
* ↑ Esta definição é adotada, por exemplo, em Conway (1978).
* ↑ Alder (1997) utiliza esta definição, comparando com as demais.
* ↑ No livro de Lins Neto (1996) utiliza-se esta definição.

## Exercícios

* Verifique que $(\mathbb {C} ,+,\times )$ é um corpo, usando cada uma das definições.
* Verifique que há um isomorfismo entre o corpo das matrizes $\left\{{\begin{bmatrix}a&-b\\b&a\end{bmatrix}};a,b\in \mathbb {R} \right\}$, com as operações de soma e produto usuais, e o plano cartesiano $\mathbb {R} ^{2}$, com as operações dadas na Definição 1.
* Determine:
** A soma e o produto de $a+bi$ com $c+di$, tratando essas expressões como binômios na "variável" $i$, trocando cada ocorrência de $i^{2}$ (se houver) pelo número $-1$, e fazendo as eventuais simplificações.
** Realize as mesmas operações pensando em $a+bi$ e $c+di$ como matrizes (definição 2).
       Observe que a matrizes obtidas no segundo item são representadas pelas expressões do primeiro item.