Imaginaire eenheid

Binnen de wiskunde is de imaginaire eenheid, aangeduid met i, een speciaal complex getal, waarvoor per definitie geldt:

$i^{2}=-1$.

Door de invoering van de imaginaire eenheid is het mogelijk gebleken ook aan wortels van vergelijkingen als $x^{2}=-1$ een betekenis te geven. De verzameling van de reële getallen wordt zo uitgebreid tot de verzameling van de complexe getallen.

De behoefte aan uitbreiding ontstaat onder meer vanuit het gegeven dat niet elke polynomiale vergelijking van de graad n binnen de verzameling van de reële getallen n oplossingen heeft. Binnen de complexe getallen is dit wel het geval (hoewel oplossingen wel met elkaar samen kunnen vallen), zie de Hoofdstelling van de Algebra.

De vergelijking $x^{2}=-1$ is van de graad 2, en heeft dus 2 oplossingen. Per definitie is $x=i$ een oplossing, en bijgevolg ook $x=-i$.

Quaternionen

Soms zegt men dat deze vergelijking nog meer oplossingen heeft, Men definieert naast de imaginaire eenheid i de speciale quaternionen j en k, verschillend van elkaar en van i, waarvan het kwadraat eveneens gelijk is aan -1.

Opmerking

De imaginaire eenheid wordt soms genoteerd als ${\sqrt {-1}}$. De vierkantswortel is echter niet gedefinieerd voor negatieve getallen en men kan de vierkantswortel niet met behoud van eigenschappen uitbreiden tot negatieve getallen. Zo zou door onterechte toepassing van de rekenregels het volgende 'bewijs' geconstrueerd kunnen worden:

$-1=i\cdot i={\sqrt {-1}}{\sqrt {-1}}={\sqrt {-1\cdot -1}}={\sqrt {1}}=1$

De fout zit hem in de toepassing van de rekenregel

${\sqrt {a}}{\sqrt {b}}={\sqrt {ab}}$.

Deze regel geldt namelijk niet voor negatieve a en b.

Zie ook bij complex getal voor de tegenspraken die zouden ontstaan als tegen deze regel gezondigd wordt. Zie verder ook wortel voor definities van wortels voor complexe getallen en quaternionen.

De imaginaire eenheid en de formule van Euler

Als we in de formule van Euler $e^{ix}=\cos {x}+i\sin {x}$, voor x substitueren π/2, dan ontstaat

$e^{\frac {i\pi }{2}}=i$

Als beide kanten tot de macht i worden verheven, en we gebruikmaken van de formule $i^{2}=-1$, dan krijgen we:

$i^{i}=e^{-{\frac {\pi }{2}}}=0{,}2078795763\dots$