Matroids Matheplanet Forum Index
Moderiert von Fabi Dune ligning
Lineare Algebra » Lineare Abbildungen » Nilpotenzindex
Autor
Universität/Hochschule J Nilpotenzindex
Student10023
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 22.11.2020
Mitteilungen: 198
  Themenstart: 2021-01-16

Hey, folgende Aufgabe: Sei V ein endlichdimensionaler K-Vektorraum und f ein Endomorphismus auf V: a) Zeigen Sie, dass eine Natürliche Zahl m existiert, sodass Die Inklusion Ker(f)\subset\ .....\subset\ Ker(f^m) = Ker(f^k) für alle k>=m wahr ist wir nennen m dann den Nilpotenzindex von f. b) Für das m gilt dann auch V=Im(f^0)\superset\ Im(f^1)\superset\ ..\superset\ Im(f^m) = Im(f^k) für alle k >=m und dass V die Direkte Summe von Kerf^m und Im f^m ist Bis hierhin habe ich alles geschafft. Nun zur eigentlichen Frage: c) Zeigen Sie, dass a) und b) im allgemeinen für unendlich dimensionale Vektorräume nicht mehr gilt. Hier muss ich ein Beispiel finden denke ich. Den einzigen unendlich dimensionalen Vektorraum den ich kenne ist K[x], das heißt ich brauche einen Endomorphismu, der möglichst schon alle Eigenschaften von a) und b) wiederlegt, allerdings tue ich mich damit sehr schwer... hätte jemand einen Tipp ?


   Profil
Wally
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 02.11.2004
Mitteilungen: 9774
Wohnort: Dortmund, Old Europe
  Beitrag No.1, eingetragen 2021-01-16

\(\begingroup\)\(\newcommand{\D}{\displaystyle}\) Hallo, ein Tipp: Finde eine möglichst einfache Abbildung in \( \IR^2\), \( \IR^3\) und \( \IR^4\) und überlege dir, wie du das übertragen kannst. Viele Grüße Wally \(\endgroup\)


   Profil
Student10023
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 22.11.2020
Mitteilungen: 198
  Beitrag No.2, vom Themenstarter, eingetragen 2021-01-16

Hey Wally, Danke für Deine Antwort. Ich versteh aber nicht ganz, inwieweit mir das weiterhilft, da R^2, R^3, R^4 alles endliche Vektorräume sind und ich versuche ja gerade ein besipiel für ein unendlichen Vektorraum mit einer bestimmten Eigenschaft zu finden. Ich habe ja in a) und b) bereits gezeigt, dass diese Eigenschaft bei endlichen nicht vorkommen kann.


   Profil
Wally
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 02.11.2004
Mitteilungen: 9774
Wohnort: Dortmund, Old Europe
  Beitrag No.3, eingetragen 2021-01-16

\(\begingroup\)\(\newcommand{\D}{\displaystyle}\) Hallo, finde im \( \IR^n\) so eine Kette mit \( n\) Gliedern und überlege dann, wie das in einem unendlichdimensionalen Raum aussehen muss. Viele Grüße Wally \(\endgroup\)


   Profil
Student10023
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 22.11.2020
Mitteilungen: 198
  Beitrag No.4, vom Themenstarter, eingetragen 2021-01-18

Hey vielen Dank für deinen Tipp. Ich habe mir jetzt ein paar Tage lang Gedankendrüber gemacht, aber ich bin nicht wirklich weiter gekommen. Ich habe auch große Schwierigkeiten eine Abbildung von R^3 nach R^3 zu finden mit Kerf ungleich Kerf(f^2) ungleich Ker(f^3). Ich wäre dankbar für einen weiteren Tipp ;)


   Profil
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 3806
Wohnort: der Nähe von Schwerin
  Beitrag No.5, eingetragen 2021-01-18

Nimm eine nilpotente Abbildung $f\colon \mathbb R^3\to\mathbb R^3$.


   Profil
Triceratops
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 28.04.2016
Mitteilungen: 6472
Wohnort: Berlin
  Beitrag No.6, eingetragen 2021-01-19

\quoteon(2021-01-16 14:17 - Student10023 im Themenstart) Den einzigen unendlich dimensionalen Vektorraum den ich kenne ist K[x] \quoteoff Das ist doch schon einmal gut. Wie wäre es mit der Ableitung $f : K[x] \to K[x]$? PS: Worauf die anderen Antworten hier hinauswollen, verstehe ich auch nicht.


   Profil
Student10023
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 22.11.2020
Mitteilungen: 198
  Beitrag No.7, vom Themenstarter, eingetragen 2021-01-19

Hey Triceratops, Danke für deine Antwort. was genau meinst du mit der Ableitung ? Wie kann ich ein Polynom ableiten ?


   Profil
Triceratops
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 28.04.2016
Mitteilungen: 6472
Wohnort: Berlin
  Beitrag No.8, eingetragen 2021-01-19

https://de.wikipedia.org/wiki/Differentialrechnung# Die Ableitung des Polynoms $a_n X^n + a_{n-1} X^{n-1} + \cdots$ ist $n a_n X^{n-1} + (n-1) a_{n-1} X^{n-2} + \cdots$.


   Profil
Student10023
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 22.11.2020
Mitteilungen: 198
  Beitrag No.9, vom Themenstarter, eingetragen 2021-01-19

Achso ok man leitet also einfach ab wie eine Potenzfunktion in der Analysis. Liege ich damit richtig, dass für ein k aus den Natürlichen Zahlen gilt: Ker(f^k) sind alle Polynom die einen kleineren grad als k haben (einen echt kleineren) ?


   Profil
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 3806
Wohnort: der Nähe von Schwerin
  Beitrag No.10, eingetragen 2021-01-19

\quoteon(2021-01-19 00:16 - Triceratops in Beitrag No. 6) PS: Worauf die anderen Antworten hier hinauswollen, verstehe ich auch nicht. \quoteoff Ich finde Wallys und meine Antwort gar nicht so schlecht :P Wenn wir eine nilpotente Abbildung $f\colon \mathbb R^3\to\mathbb R^3$ wie z.B. \[f((x,y,z)^t):=(y,z,0)^t\] haben, kann man das schon ziemlich gut auf unendlichdimensionale Vektorräume wie z.B. $\mathbb{R}^\mathbb{N}$ verallgemeinern (z.B. durch einen Links-Shift). Die Abbildung liefert dann schon ein Gegenbeispiel dafür, dass der Kern ab irgendeinem Index nicht mehr größer wird.


   Profil
Triceratops
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 28.04.2016
Mitteilungen: 6472
Wohnort: Berlin
  Beitrag No.11, eingetragen 2021-01-19

@Student10023: Wenn $\mathrm{char}(K)=0$ (zum Beispiel, wenn $K = \IR$), dann ist $\ker(f^k) = \{p \in K[X] : \deg(p) < k\}$. Für $\mathrm{char}(K) = p > 0$ gilt das nicht mehr, zum Beispiel verschwindet die Ableitung von $X^p$ in Charakteristik $p$.


   Profil
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 3806
Wohnort: der Nähe von Schwerin
  Beitrag No.12, eingetragen 2021-01-19

Wenn du beim Vektorraum $K[X]$ mit beliebigem $K$ bleiben willst, ginge auch \[ f(p):= p\cdot X. \] Das ist dann so etwas wie ein Rechtsshift. Dann wird das Bild immer kleiner.


   Profil
Student10023
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 22.11.2020
Mitteilungen: 198
  Beitrag No.13, vom Themenstarter, eingetragen 2021-01-19

Ich danke euch ;)


   Profil
Student10023 hat die Antworten auf ihre/seine Frage gesehen.
Student10023 hat selbst das Ok-Häkchen gesetzt.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]