Inverzió (matematika)

Az inverzió geometriai transzformáció, ami nem hasonlósági transzformáció, de az érintkezést megtartja.

Legyen kijelölve egy $G$ gömb az $E$ euklidészi térben; középpontját jelölje $O$, sugarát $r$. A $G$ gömbre vonatkozó inverzióban az $x$ pont képe megadható vektorosan: ${\frac {r^{2}}{||x||^{2}}}.$ Másként: $x$ képe az a pont, ami az $Ox$ félegyenesen van, és a középponttól mért távolsága $r^{2}/||x||.$ Ekkor $G$ az inverzió alapgömbje. A $O$ pont az inverzió középpontja vagy pólusa, $r^{2}$ az inverzió hatványa.

Tulajdonságai

• Négyzete az identitás.
• Fixpontjai az alapgömbjének pontjai.
  • A középpontján átmenő hipersíkokat és az alapgömböt merőlegesen metsző gömböket önmagukba viszi.
• Megcseréli az alapgömb belsejét és külsejét.
• Nincs értelmezve a középpontjában. A végtelennel bővített térben a középpont avégtelenbe képződik.
• Gömb vagy hipersík képe gömb vagy hipersík.
• Szögtartó, érintkezéstartó a gömbök és hipersíkok körében.
• Az alacsonyabb dimenziós gömbök és alterek körében is szögtartó és érintkezéstartó.
  • A középpontban érintkező gömbök és hipersíkok képei párhuzamos hipersíkok.
• A metsző altérre vett leszűkítése is inverzió. Ennek alapgömbje az inverzió alapgömbjéből kimetszett alacsonyabb dimenziós gömb.
• Irányításváltó.
• Nem hasonlósági transzformáció.

A komplex számsíkon

A síkbeli inverzió tekinthető a komplex számokon értelmezett függvénynek. Különösen egyszerűen lehet tárgyalni az egységkörre vett inverziót:

A $z$ komplex szám inverze $w={\frac {\rho ^{2}}{\bar {z}}}.$

Így bizonyíthatók a síkbeli inverzió következő tulajdonságai:

• a középponton átmenő kör középponton át nem menő egyenesre képeződik
• annak a körnek a képe, ami nem megy át a középponton, a középponton át nem menő kör

Források

• Reiman István: Geometria és határterületei - inverzió a síkban tulajdonságokkal
• Simon-Baderkó: Másodrendű parciális differenciálegyenletek - inverzió értelmezése magasabb dimenzióban is
• Halász Gábor: Komplex függvénytan - az egységkörre vett inverzió a komplex számsíkon