New Immissions/Updates:
boundless - educate - edutalab - empatico - es-ebooks - es16 - fr16 - fsfiles - hesperian - solidaria - wikipediaforschools
- wikipediaforschoolses - wikipediaforschoolsfr - wikipediaforschoolspt - worldmap -

See also: Liber Liber - Libro Parlato - Liber Musica  - Manuzio -  Liber Liber ISO Files - Alphabetical Order - Multivolume ZIP Complete Archive - PDF Files - OGG Music Files -

PROJECT GUTENBERG HTML: Volume I - Volume II - Volume III - Volume IV - Volume V - Volume VI - Volume VII - Volume VIII - Volume IX

Ascolta ""Volevo solo fare un audiolibro"" su Spreaker.
CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Involution (Mathematik) - Wikipedia

Involution (Mathematik)

aus Wikipedia, der freien Enzyklopädie

Der Begriff Involution bezeichnet in der Mathematik eine selbstinverse Abbildung. Die Bezeichnung leitet sich von dem lateinischen Wort involvere „einwickeln“ ab.

Inhaltsverzeichnis

[Bearbeiten] Motivation

Eine lineare Abbildung f:\R^n\rightarrow \R^n mit f\circ f =  \operatorname{id} ist eine Spiegelung. Ersetzt man \R^n durch eine beliebige, nichtleere Menge und verzichtet auf die Linearität, dann erhält man den Begriff der Involution.

[Bearbeiten] Definition

Eine Abbildung f:A\rightarrow A mit identischem Definitionsbereich und Zielbereich A heißt genau dann eine Involution, wenn für alle x\in A gilt: f(f(x))=x\.

Diese Forderung lässt sich auch kompakter formulieren als f\circ f = \operatorname{id}_A oder f^2=\operatorname{id}_A bzw.

f = f − 1.

Dabei bezeichnet \operatorname{id}_A die Identität auf A.

Gelegentlich wird die Identität \operatorname{id}_A selbst nicht als Involution angesehen.

[Bearbeiten] Eigenschaften

  • Jede Involution ist eine Bijektion und es gilt f^{-1} = f\.
  • Ist π eine Bijektion der endlichen Menge \Bbb N_n=\{1,\ldots n \} (also ein Element der symmetrischen Gruppe Sn), dann ist π genau dann involutorisch, wenn es sich als Produkt aus lauter disjunkten 2-Zyklen schreiben lässt.
  • Eine Selbstabbildung f\in\operatorname{End}(V) eines beliebigen Vektorraums V über einem Körper K ist genau dann involutorisch, wenn das Minimalpolynom von f die Form x2 − 1, x − 1 oder x + 1 hat. Das bedeutet: Ein involutorischer Endomorphismus ist stets diagonalisierbar, wenn K nicht die Charakteristik 2 hat, und alle seine Eigenwerte sind aus E = { − 1; + 1}.
  • Über Körpern K mit der Charakteristik 2 gibt es nicht diagonalisierbare involutorische Endomorphismen. So ist im zweidimensionalen Vektorraum \Bbb F_2^2 durch die Abbildung \left(\begin{matrix} 1 &1\\ 0 &1\end{matrix}\right) eine Involution gegeben, die nicht diagonalisierbar ist.

[Bearbeiten] Beispiele

[Bearbeiten] Negatives und Kehrwert

Die Abbildungen

\mathbb R\to\mathbb R,\quad x\mapsto -x

und

\mathbb R^\times\to\mathbb R^\times,\quad x\mapsto\frac1x

sind Involutionen, denn es gilt

− ( − x) = x für alle x\in\mathbb R

und

\frac1{1/x}=x für alle x\ne0.

Ist allgemein G eine abelsche Gruppe, so ist die Abbildung g\mapsto -g (bei additiver Schreibweise) bzw. g\mapsto g^{-1} (bei multiplikativer Schreibweise) ein Gruppenautomorphismus und eine Involution. Für eine nichtabelsche Gruppe ist diese Abbildung zwar auch eine Involution, aber kein Gruppenhomomorphismus.

[Bearbeiten] Die komplexe Konjugation

Beim Rechnen mit komplexen Zahlen ist das Bilden der konjugiert-komplexen Zahl eine Involution: Für eine komplexe Zahl z = a + bi mit a,b\in\mathbb R ist die konjugiert-komplexe Zahl \bar z = z^* = a - b\mathrm i. Nochmalige Ausführung der Konjugation liefert \overline{\overline{z}} = z^{**} = a + b\mathrm i = z.

[Bearbeiten] Das Transponieren von Matrizen

In der Menge M^{n\times n} der quadratischen Matrizen über einer Menge M ist das Transponieren \cdot^T:M^{n\times n}\rightarrow M^{n\times n}, A\mapsto A^T eine Involution.

[Bearbeiten] Rechnen in F2

Im Restklassenkörper \mathbb{F}_2 ist die Abbildung x \mapsto x+1 eine Involution:

(x + 1) + 1 = x

[Bearbeiten] Geometrie

In der Geometrie sind Punkt- und Geradenspiegelungen Involutionen.

[Bearbeiten] Involutorische Chiffren

Involutorische Chiffren weisen die Eigenart auf, dass der Algorithmus zum Verschlüsseln und zum Entschlüsseln identisch ist. Sie sind damit besonders bequem zu handhaben. Ein einfaches Beispiel aus der Kryptologie ist die Verschiebechiffre ROT13, bei der zur Verschlüsselung jeder Buchstabe um den um 13 Stellen im Alphabet verschobenen Buchstaben ersetzt wird. Die zweimalige Anwendung dieser Methode ergibt eine Verschiebung um 26 Buchstaben und damit wieder den ursprünglichen Klartext. In der Geschichte gab es aber auch wesentlich komplexere involutorische Verschlüsselungsverfahren. Das wohl bekannteste Beispiel ist die deutsche Verschlüsselungsmaschine ENIGMA, die im Zweiten Weltkrieg im Nachrichtenverkehr des deutschen Militärs verwendet wurde.

[Bearbeiten] Körperinvolution

Unter einer Körperinvolution versteht man üblicherweise eine Involution, die zugleich ein Körperautomorphismus ist.

Von einer Körperinvolution σ über einem Körper K fordert man also

\sigma^2 = \operatorname{id}_K

sowie für alle a,b\in K

σ(a + b) = σ(a) + σ(b)

und

σ(ab) = σ(a)σ(b)

Die bekannteste nichttriviale Körperinvolution ist die Konjugation über den komplexen Zahlen. Aus diesem Grund benutzt man für eine Körperinvolution oft die gleiche Schreibweise wie für die komplexe Konjugation: Anstelle von σ(a) wird häufig \overline{a} geschrieben.

Ein anderes Beispiel ist der Automorphismus des Körpers

\mathbb Q(\sqrt2)=\{a+b\sqrt2\mid a,b\in\mathbb Q\},

der durch

a+b\sqrt2\mapsto a-b\sqrt2

definiert ist. Man beachte, dass er im Unterschied zur komplexen Konjugation den Betrag nicht erhält:

|7-5\sqrt2|\approx0{,}1, aber |7+5\sqrt2|\approx14{,}1.

Static Wikipedia (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu