Mostrar código-fonte de Unidade imaginária

{{mais-notas|data=Janeiro de 2011}}
[[Imagem:Unidade imaginária.JPG|thumb|direita|Unidade imaginária representada como vetor bidimensional no [[Plano de Argand-Gauss]]. Seu [[inverso aditivo]] (que também é seu [[inverso multiplicativo]]) também tem [[módulo]] [[Unidade|unitário]] e aponta para baixo]]
Em [[matemática]], a '''unidade imaginária''', representada por <math>i</math> ou <math>j,</math> é uma solução para situações que exigem raízes quadradas de números negativos. Aparece em equações derivadas de <math>z = x + iy,</math> em que <math>z</math> é um [[número complexo]], <math>x</math> e <math>y</math> são [[número real|números reais]] e <math>i</math> é a unidade imaginária. Sua propriedade fundamental é que <math>i^2 = -1.</math> Este [[número]], de [[módulo]] [[Unidade|unitário]], permite ao [[Corpo (matemática)|corpo]] <math>\mathbb{R}</math> dos [[número real|números reais]] ser estendido ao corpo <math>\mathbb{C}</math> dos [[número complexo|números complexos]].

== Contexto histórico ==
A motivação histórico-prática inicial para essa extensão pode ligar-se ao fato de que nem toda [[equação polinomial]] ''f''(''x'') = 0 definida no [[Corpo (matemática)|corpo]] <math>\mathbb{R}</math> dos [[número real|números reais]] (logo, com todos os coeficientes reais) tem ''necessariamente'' [[solução]] interna, real, dentro do corpo dos números reais. Isso decorre de não ser a propriedade do [[fechamento]] necessariamente válida para a [[Operação binária|lei de composição]] ([[Operação (matemática)|operação]]) [[radiciação]] se o radicando é um número real negativo. Inicialmente pensou-se que o "surgimento" de quantidades imaginárias era suscitado apenas pela incidência dum índice par de radical sobre um radicando real negativo. Mais tarde, porém, com o desenvolvimento vigoroso dum estudo minucioso sobre os números complexos, a construção de uma teoria vasta de variáveis complexas, a expansão dos conjuntos superdimensionais, ficou claro que os números complexos (e os números imaginários, portanto) são presentes em todas as operações de radiciação real <math>\sqrt[n]{x}</math> em que ''n > 2''.

Em particular, a equação ''x''² + 1 = 0 não tem solução real. No entanto, se se permitirem números "especiais, não-reais" como solução, então esta equação, e logo ''toda'' equação polinomial ''f''(''x'') = 0 definida no [[Corpo (matemática)|corpo]] <math>\mathbb{R}</math> dos [[número real|números reais]] mostra ter pelo menos uma solução "especial". Ao se referir "especial, não-real" aqui, pretende-se apenas seguir a presumível linha de pensamento dos matemáticos que lidaram com tais aparentes dilemas pela primeira vez. Em linguagem matemática adequada dir-se-ía que ''toda equação polinomial definida no [[Corpo (matemática)|corpo]] <math>\mathbb{R}</math> dos [[número real|números reais]] tem pelo menos uma raiz (ou solução) complexa''. (Ver [[Teorema fundamental da álgebra]].)

É bastante curioso o fato de que a primeira vez, historicamente, que ''i'' foi considerado um número propriamente (e não uma consequência indesejada, talvez errada, dos cálculos) não foi na resolução de uma [[equação do segundo grau]], mas, sim, na resolução de [[equação do terceiro grau|equações ''incompletas'' do terceiro grau]] do tipo ''x³ = 15 x + 4'' pelo matemático italiano [[Rafael Bombelli]].<ref>[http://a2.lib.uchicago.edu/pip.php?/pres/2005/pres2005-188.pdf L'Algebra de Bombelli {{it}}]{{Ligação inativa|1={{subst:DATA}} }}</ref>

== Definição formal ==
Por definição, '''a unidade imaginária i''' é uma solução da equação polinomial (quadrática) seguinte:

<math display="block">x^2 + 1 = 0 </math>

Da qual decorre:

<math display="block">x^2 =  -1 </math>

Ou, já a exibir a feição do problema-solução:

<math display="block">x =  \sqrt{-1} </math>

:que, <u>por definição</u>, é a unidade imaginária '''i'''.

Então, formal e recursivamente, unidade imaginária é o número expresso por:

<math display="block">i =  \sqrt{-1} </math>

A denominação "imaginário" pode ser entendida como '''a ser um recurso imaginativo da mente humana''': ''já que não há número real cujo quadrado seja negativo — e isso é consistente — <u>imagina-se</u> (donde o nome...) que haja um <u>número especial</u>, dotado de propriedade tal que satisfaça tal exigência''. Isso, em linguagem simples (porém de forma alguma desprovida de verdade perfeita matemática) é no que consiste a transcendência. Isso significa, portanto, a gênese duma nova classe de números: os [[números imaginários]].

As operações com números reais podem ser estendidas aos números imaginários e complexos ao se tratar '''i''' como uma quantidade incógnita na manipulação duma expressão que a contenha, e, então, ''usar a definição <u>para substituir</u> as ocorrências de i² por −1''. De fato, verifica-se (no desenvolvimento da Teoria do Corpo <math>\mathbb{C}</math> dos [[número complexo|Números Complexos]]), que <u>essa manipulação</u> — legítima ''dentro'' do corpo <math>\mathbb{R}</math> dos [[número real|Números Reais]] — permanece válida no conjunto superior, conquanto outras propriedades apenas suas (dos números complexos) venham a surgir.

=== Existência ''real'' ===
[[Nomenclatura]]s podem causar embaraços [[Semiologia|semiológicos]]. Com efeito, o nome "imaginário" ao ser confrontado com o nome "real" ''pode levar, numa apreciação ligeira, superficial, à conclusão de que "tais números (os imaginários) não são dotados de "existência real", como o são os números reais'' — na lida comum, utilizados para as operações rotineiras de [[contagem]] e de [[medição]] de "coisas também reais".

Isso, contudo, é um engano do [[senso comum]], uma compreensão não-[[Ciência|científica]] da questão. Pois, efetivamente, os [[números imaginários]] — ''na compreensão mais ampla do que seja "real"'' — apresentam existência tão real quanto à daqueles (os números reais). Qual será, pois, a causa primária da confusão? Reside ela na escolha que historicamente foi feita para o conjunto dos "números reais": sob o aspecto amplo, científico, embora seja um nome como qualquer outro, ''não foi, de fato, uma escolha adequada, <u>pelo fato simples de, por regra de exclusão semiológica</u>, ''induzir'' o pensamento do analista à enganosa univocidade de serem eles, os números reais, os únicos efetivamente reais, ''com exclusão da realidade'' doutras classes de entidades matemáticas não tão intuitivas, sejam quais forem.

Assim, seja esclarecido que a unidade imaginária '''i e, por extensão, os números imaginários''' ''são entes matemáticos perfeitamente definidos e "reais"'', a despeito da nomenclatura não imediatamente adequada nem intuitiva.

=== Dimensionalidade ===
Em complemento à exposição acima, surge a questão da dimensionalidade. Posto que os [[números reais]] são associáveis a uma [[reta]], por [[correspondência biunívoca]] exaustiva e perfeita, na conformidade do rigor exibido pelos [[cortes de Dedekind]] e pelas [[Sucessão de Cauchy|sucessões de Cauchy]], configuram-se eles, sob o prisma da dimensionalidade, como conjunto unidimensional. Com efeito, eles são identificáveis ao [[espaço vetorial]] <math>\mathbb{R}^1.</math> Semelhantemente, os números imaginários podem ser concebidos como um [[espaço vetorial]] [[ortogonal]] àquele constituído pelos números reais. Disso decorre a construção dum espaço vetorial identificável com <math>\mathbb{R}^2,</math> bidimensional. Pode-se mostrar que o corpo <math>\mathbb{C}</math> dos [[número complexo|números complexos]] atende às suas propriedades, de modo que ele próprio constitui-se como a transcendência para a bidimensionalidade. De modo sucessivo, criam-se os demais espaços vetoriais <math>\mathbb{R}^n</math> ("n" sendo [[número natural]]).

== O par imaginário "i" e "−i" ==
A identidade de definição para a unidade imaginária '''i''', acima apresentada, implica uma equação que tem, na verdade, ''duas soluções'' — duas soluções distintas que são [[inverso aditivo|inversos aditivos]] entre si: '''i''' e '''−i'''. Com efeito, uma vez que uma solução '''i''' da equação tenha sido encontrada, '''−i ≠ i''' também é, necessariamente, uma solução igualmente válida. Num exame superficial, isso parece sugerir ambiguidade na definição.

Realmente, posto que:

<math display="block">i^2 = -1 </math>

Pelo fato de serem verdadeiras ambas as sentenças matemáticas a seguir:

<math display="block">(-i)^2 = (-i).(-i) = -1  (Sent. I)</math>
<math display="block">(+i)^2 = (+i).(+i) = -1  (Sent.II)</math>

Ter-se-á, como [[conjunto-verdade]] da equação polinomial ''x''² + 1 = 0, um conjunto binário assim constituído:

<math display="block">V = \{-i, +i \} </math>

É um caso sutil. A ambiguidade, todavia, é apenas aparente e resulta duma compreensão incompleta das estruturas algébricas subjacentes. Duma forma mais simples — sem se recorrer a conceitos mais avançados, pode-se fazer desaparecer a aparente ambiguidade pela simples consideração impositiva de definição, ''a priori'', de "ser a unidade imaginária, '''i''', igual à raiz quadrada ''positiva'' da unidade real negativa, '''−1'''.

Entretanto, ''ao se recorrer às estruturas algébricas subjacentes'', pode-se reconhecer que a explicação mais rigorosa é dizer que, apesar de o [[campo (álgebra)|campo]] complexo definido por '''R'''[''X'']/(''X''² + 1) (ver [[número complexo]]) ''ser [[Unicidade|único]] até o [[isomorfismo]]'', ele '''''não''' é único até um isomorfismo '''único'''''. De fato, existem exatamente dois [[automorfismo|automorfismos de campo]] de '''R'''[''X'']/(''X''² + 1), a identidade e o automorfismo, ambos, enviando ''X'' a −''X''. (Note-se que estes não são, exaustivamente, os únicos automorfismos de campo de '''C'''; são os únicos automorfismos de campo de '''C''' ''que mantêm cada número real fixo''.) (Ver [[Número complexo]], [[Conjugação complexa]], [[automorfismo|Automorfismo de campo]], [[Estrutura algébrica]] e [[Grupo de Galois]]).

Problema similar ocorre se os números complexos são interpretados como [[Matriz (matemática)|matrizes]] reais de ordem 2, porque então ambas
<math display="block">
\begin{pmatrix}
  0 &     -1  \\
  1 & \;\; 0
\end{pmatrix} \mbox{ e }
\begin{pmatrix}
   0 &      1  \\
  -1 & \;\; 0
\end{pmatrix}
</math>
são soluções da equação ''x''² = −1. Neste caso, a ambiguidade resulta da escolha geométrica de qual "direção" em torno do círculo unitário é "positiva". Uma explicação mais rigorosa é reconhecer que o [[automorfismo de grupo]] do [[grupo ortogonal|grupo ortogonal especial]] SO(2, '''R''') tem exatamente dois elementos — a identidade e o automorfismo que trocam rotações no sentido horário (''"CW"'') e no sentido anti-horário (''"CCW"'').

Uma interpretação muito elegante desses resultados — inteiramente consistente e convincente no rigor matemático — pode ser provida com o recurso geométrico da representação de ambos os números imaginários, '''i''' e o seu inverso aditivo '''−i''' no [[Plano de Argand-Gauss]]. Isso é exibido no tópico "'''[[Operador imaginário]]'''" logo abaixo. Pode-se, então constatar que a unidade imaginária '''i''', ao ser aplicada multiplicativamente sobre si mesma (elevação ao quadrado), ''produz um giro <u>anti-horário</u> de um ângulo reto'', e, portanto, conduz ao resultado '''−1'''. Por seu turno, a '''[[inverso aditivo|unidade imaginária inversa aditiva]] −i''', ao ser aplicada multiplicativamente sobre si mesma (elevação ao quadrado), ''produz um giro <u>horário</u> de um ângulo reto'', e, logo, conduz ao resultado exatamente igual, '''−1'''. Donde se conclui que ambos os números imaginários unitários, '''i''' e '''−i''', são legitimamente soluções da equação polinomial ''x''² + 1 = 0.

== Cálculos algébricos com "i" ==
A unidade imaginária é, às vezes, escrita <math>\sqrt{-1}</math> em contextos de Matemática avançada, mas deve-se tomar cuidado ao manipular fórmulas envolvendo radicais. A notação é reservada tanto para a função [[raiz quadrada]] principal, que é definida '''somente''' para o real ''x'' ≥ 0, como para ramo principal da função raiz quadrada complexa. Tentar aplicar as regras de cálculo da função raiz quadrada (real) principal para manipular o ramo principal da função raiz quadrada complexa resultará em resultados falsos:

<math display="block">-1 = \imath \cdot \imath = \sqrt{-1} \cdot \sqrt{-1} = \sqrt{-1 \cdot -1} = \sqrt{1} = 1</math>

A regra de cálculo
<math display="block">\sqrt{a \cdot b} = \sqrt{a} \cdot \sqrt{b}</math>
é valida somente para números reais não-negativos ''a'' e ''b''.

=== [[Elemento inverso|Elementos inversos]] ===
O conceito de [[elemento inverso]], relativamente a uma dada [[operação binária|lei de composição]] aplica-se sem restrição à unidade imaginária '''i'''. Basta observar a ideia que lhe é subjacente: o elemento inverso de um operando, num sistema, ao lhe ser aplicado, resulta o [[elemento neutro]] naquele mesmo sistema. É importante verificar, em cada sistema, se há bilateralidade ou unilateralidade de inversos.

==== Identidade de inversos ====
A unidade imaginária '''i''' apresenta, entre outras propriedades notáveis, a seguinte:
* ''São idênticos entre si os elementos [[inverso aditivo]] e [[inverso multiplicativo]]'':
*# O inverso aditivo de '''i''' é '''−i''', pois <span style="font-size: larger;">''i + (−i) = (−i) + i = 0''</span>, a comprovar que há apenas um elemento inverso aditivo bilateral. Assim, pois, <span style="font-size: larger;">''i''</span> e <span style="font-size: larger;">''−i''</span> são inversos aditivos entre si, um do outro.
*# O [[inverso multiplicativo]] de '''i''' é, também, '''−i''', pois <span style="font-size: larger;">''i . (−i) = (−i) . i = 1''</span>, a comprovar que há apenas um elemento inverso multiplicativo bilateral. Assim, pois, <span style="font-size: larger;">''i''</span> e <span style="font-size: larger;">''−i''</span> são inversos multiplicativos entre si, um do outro.

Logo, para a unidade imaginária '''i''', além da bilateralidade de inversos para ambos os sistemas '''''{Im, +}''''' e '''''{Im, x}''''', há ainda a coincidência de inversos, o aditivo e o multiplicativo: eles são idênticos entre si! Fique claro e que essa identidade de inversos, no domínio do Corpo <math>\mathbb{C}</math> dos [[número complexo|Números Complexos]]), ''vale apenas para a unidade imaginária e não para outros números imaginários ou complexos quaisquer''.

==== Inverso aditivo de "i" ====
O [[inverso aditivo]] de '''i''' é o número '''z''' tal que se verifique a identidade:

<math display="block">z + i = i + z = 0</math>

A solução é imediatamente encontrada:

<math display="block">z = -i</math>

:que é o [[elemento inverso aditivo]] procurado para a unidade imaginária '''i'''.

==== Inverso multiplicativo de "i" ====
O [[inverso multiplicativo]] de '''i''' é o número '''z''' tal que se verifique a identidade:

<math display="block">z . i = i . z = 1.</math> 

O [[inverso multiplicativo]] de '''i''' (às vezes dito "recíproco") determina-se facilmente como segue:

<math display="block">\frac{1}{i} \;=\; \frac{1}{i} \cdot \frac{i}{i} \;=\; \frac{i}{i^2} \;=\; \frac{i}{-1} \;=\; -i.</math> 

Como o corpo <math>\mathbb{C}</math> dos [[número complexo|números complexos]] admite tanto o [[elemento neutro aditivo]] como o [[elemento neutro multiplicativo]] — ''complexos'' — devem eles ser escritos na forma '''a + b.i'''. O '''elemento neutro aditivo complexo''' escreve-se '''0 + 0.i''' e é chamado de '''zero complexo''', ''a despeito de ser identicamente igual ao zero real''. Semelhantemente, o '''elemento neutro multiplicativo complexo''' escreve-se '''1 + 0.i''' e é chamado de '''unidade complexa''', ''a despeito de ser identicamente igual à unidade real''.

Isso posto, tem-se que efetivamente o inverso multiplicativo de '''i''', calculado como '''−i''' satisfaz plenamente o corpo <math>\mathbb{C},</math> pois de fato se tem:

<math display="block">\imath . (-i) = -(i)^2 = -(-1) = 1 = 1 + 0.i = 1</math>
<math display="block">(-\imath) . i = -(i)^2 = -(-1) = 1 = 1 + 0.i = 1</math>

Efetivamente '''1 + 0.i''' ou '''1''' é o [[elemento neutro multiplicativo]] no corpo <math>\mathbb{C}</math> dos [[números complexos]].

Esses resultados mostram que o inverso multiplicativo de '''i''' é bilateral e único.

=== [[Elemento neutro|Elementos neutros]] ===
O conceito de [[Elemento neutro|elemento neutro imaginário]] aplica-se igualmente, também sem restrições conceituais, ao domínio dos sistemas em que intervenha a unidade imaginária '''i'''. Ele resulta da operação dum operando imaginário com o seu inverso, para uma dada operação, num dado sistema '''''{Im, *}'''''. Contudo, nesse caso, os elementos neutros aditivo e multiplicativo são distintos entre si:

1) '''<u>[[Elemento neutro aditivo imaginário]]</u>''': é o [[zero imaginário]], identicamente equivalente ao [[zero complexo]] e ambos idênticos ao [[Zero|zero real]]:
<math display="block">\imath + (-i) = -(i) + i = 0 +0.i = 0.</math> Neste caso, '''[[zero]]''' é [[elemento neutro aditivo]] para todo e qualquer [[número imaginário]] e, por extensão, para todo e qualquer [[número complexo]];

É interessante, nesse ponto, apresentar uma ideia de aproximação infinitesimal, para caracterizar o [[zero imaginário]]:
<math display="block"> \lim_{y \to 0}y.i = 0 + \varepsilon.i = 0 + 0.i = 0</math>
:onde :<math>\varepsilon > 0</math> é um elemento de infinitésimo positivo real, ''tão pequeno quanto se queira''.
Isso é mais cômodo de apreciar na forma geométrica, sobre o [[Plano de Argand-Gauss]]. Ali é imediato observar que tal limite existe, é único e ortogonal ao correspondente limite que conduz ao [[zero|zero real]].

2) '''<u>[[Elemento neutro multiplicativo imaginário]]</u>''': ''não é o [[um imaginário]], que é precisamente a unidade imaginária''. É o [[um|um real]], identicamente equivalente ao [[unidade complexa|um complexo]]:
<math display="block">\imath . \frac{1}{i}\ = \frac{1}{i} . i = 1 +0.i = 1.</math> Neste caso, '''[[um]]''' é [[elemento neutro multiplicativo]] para todo e qualquer [[número imaginário]] e, por extensão, para todo e qualquer [[número complexo]].
* '''Atenção!''': aqui é preciso cuidado. Não se deve confundir [[elemento neutro multiplicativo imaginário]] (o número [[um]]) com a unidade imaginária '''i''' (objeto deste artigo).

=== Potências inteiras de "i" ===
As potências de inteiras '''i''' repetem-se em ciclo, de quatro em quatro:

<math display="block">\imath^1 = \imath</math>
<math display="block">\imath^2 = -1</math>
<math display="block">\imath^3 = -\imath</math>
<math display="block">\imath^4 = 1</math>
<math display="block">\imath^5 = \imath</math>
<math display="block">\imath^6 = -1</math>

Isso pode ser expresso com o seguinte padrão, onde "n" é um [[número inteiro]]:

<math display="block">\imath^{4n} = 1</math>
<math display="block">\imath^{4n+1} = \imath</math>
<math display="block">\imath^{4n+2} = -1</math>
<math display="block">\imath^{4n+3} = -\imath</math>

Uma generalização elegante faz uso do conceito da [[operação módulo]]:

<math display="block">i^n = i^{n \bmod 4}</math>

onde ''mod 4'' representa [[Operação módulo|módulo aritmético 4]].

=== Raiz quadrada de "i" ===
A operação radiciação de índice dois (a "raiz quadrada") aplicada à unidade imaginária resulta um par de números complexos:<ref name="qcorner">[http://www.math.utoronto.ca/mathnet/questionCorner/rootofi.html University of Toronto Mathematics Network: What is the square root of i?] URL retrieved March 26, 2007.</ref>

<math display="block"> \pm \sqrt{i} = \pm \frac{\sqrt{2}}2 \pm i.\frac{\sqrt{2}}2</math>

<math display="block"> \sqrt{i} = \frac{\sqrt{2}}2 + i.\frac{\sqrt{2}}2</math>
<math display="block"> -\sqrt{i} = -\frac{\sqrt{2}}2 - i.\frac{\sqrt{2}}2</math>

A operação inversa (elevar qualquer das raízes ao quadrado) permite retornar à unidade imaginária, o que confirma os resultados. O recurso às formas exponencial neperiana, polar e trigonométrica para números complexos permite resolver essas questões mais comodamente.

== ''i'' e a Fórmula de Euler ==
Tomando-se a [[Fórmula de Euler]] <math>e^{\imath x} = \cos\mbox{ }x + \imath\mbox{ }\mathrm{sen}\,\mbox{ }x,</math> e substituindo-se <math>\pi/2</math> por <math>x,</math> chega-se a

<math display="block">e^{\imath\pi /2} = \imath</math>

Se os dois lados forem elevados à potência <math>\imath,</math> lembrando que <math>\imath^2 = -1,</math> obtém-se a identidade:

<math display="block">\imath^\imath = e^{-\pi /2} = 0,2078795763\dots</math>

De fato, é fácil determinar que <math>i^i</math> tem um número infinito de soluções na forma de

<math display="block">\imath^{\imath} = e^{-\pi / 2 + 2 \pi N}</math>

onde ''N'' é qualquer inteiro. Esse valor real, contudo, ''não é univocamente determinado''. Essa é a razão pela qual um logaritmo complexo é multivalorado ou plurívoco.

Da identidade acima:

<math display="block">e^{\imath\pi /2} = \imath</math>

chega-se de maneira elegante ao resultado:

<math display="block">e^{\imath\pi} + 1 = 0</math>

Esta é a conhecida [[Identidade de Euler]]. A elegância da identidade reside no fato de relacionar entre si, numa simples e única expressão, cinco dos números mais notáveis da [[Matemática]]: [[Número de Euler|e]], i, [[pi|π]], [[Um|1]] e [[Zero|0]].

== Operador imaginário ==
[[Imagem:Complex number illustration.svg|thumb|direita|Um [[número complexo]] representado como um [[par ordenado]] de números reais compondo um vetor bidimensional no [[Plano de Argand-Gauss]]]]
A unidade imaginária '''i''' (ou, algumas vezes, como explicado, '''j''') pode ser interpretada como sendo um [[operador]] matemático de giro (ou rotação). Para fixar ideias, considere-se o produto complexo seguinte:

<math display="block">\imath . (a + b.i) = (a + b.i) . i = -b + a.i</math>

:já que a multiplicação é [[Abeliano|abeliana]] (ou [[Comutatividade|comutativa]]) no corpo <math>\mathbb{C}</math> dos [[número complexo|números complexos]].

Realizada a operação, pode-se comprovar, quer por meios algébricos, quer por meios geométricos, que '''o produto (ou resultado) ''girou'' o equivalente a um [[ângulo reto]] (π/2 [[Radiano|rad]], 90 [[grau (geometria)|graus]], 100 [[grado (ângulo)|grados]])''', <u>no sentido ''anti-horário''</u>. Isso permite considerar a unidade imaginária '''i''' um "operador de giro ''anti-horário''". Simples desenvolvimento mostra que, semelhantemente, '''−i''' é um "operador geométrico de giro ''horário''".

Essa interpretação é de amplo interesse nas análises fasorial e vetorial em geral. No que toca à análise fasorial, é de imensa utilidade nas engenharias Elétrica e Eletrônica.

Adicionalmente, essa interpretação geométrica permite comprovar — como já foi anunciado acima — que tanto a unidade imaginária ('''i''')  como o seu '''inverso aditivo/multiplicativo''' ('''−i''') são soluções legítimas, ambas, da equação polinomial '''''x''² + 1 = 0''', utilizada na definição primária de unidade imaginária.

== Notações alternativas ==
* Em [[Análise de circuitos|análise de circuitos elétricos]], nas engenharias [[Engenharia elétrica|elétrica]], [[Engenharia eletrônica|eletrônica]] e áreas conexas, a unidade imaginária é escrita frequentemente "'''j'''" para não confundir com a notação de [[corrente elétrica]] variável, função no domínio do tempo, tradicionalmente escrita ''i(t)'' ou ''i''.
* A [[Python|Linguagem de Programação Python]] também usa '''j''' para denotar a unidade imaginária, enquanto em [[Matlab]], ambas as notações, '''i''' e '''j''' são associadas à unidade imaginária.
* Alguns textos sobre [[Onda viajante|ondas viajantes]] costumam definir '''j = −i''' (por exemplo, uma onda viajante direita plana na direção x exprime-se: <math>e^{ i (kx - \omega t)} = e^{ j (\omega t-kx)}</math>).
* Alguns textos usam a letra grega [[iota]] ( ι ) para escrever a unidade imaginária, no afã de evitar confusão. Por exemplo: [[Biquatérnio]]s.

== Ver também ==
* [[Número imaginário]]
* [[Número complexo]]

{{Referências}}

== Ligações externas ==
* {{Link|en|2=http://www.math.toronto.edu/mathnet/answers/imaginary.html |3=Do "Imaginary Numbers" Really Exist?}}


{{Teoria dos números}}
{{Portal3|Matemática}}
{{Controle de autoridade}}

[[Categoria:Números complexos]]
[[Categoria:Números algébricos]]