Die Mathe-Redaktion - 28.01.2020 07:23 - Registrieren/Login
Auswahl
ListenpunktHome
ListenpunktAktuell und Interessant ai
ListenpunktArtikelübersicht/-suche
ListenpunktAlle Links / Mathe-Links
ListenpunktFach- & Sachbücher
ListenpunktMitglieder / Karte / Top 15
ListenpunktRegistrieren/Login
ListenpunktArbeitsgruppen
Listenpunkt? im neuen Schwätz
ListenpunktWerde Mathe-Millionär!
ListenpunktZur Award-Gala
ListenpunktFormeleditor fedgeo
Schwarzes Brett
Aktion im Forum
Suche
Stichwortsuche in Artikeln und Links von Matheplanet
Suchen im Forum
Suchtipps

Bücher
Englische Bücher
Software
Suchbegriffe:
Mathematik bei amazon
Naturwissenschaft & Technik
In Partnerschaft mit Amazon.de
Kontakt
Mail an Matroid
[Keine Übungsaufgaben!]
Impressum

Bitte beachten Sie unsere Nutzungsbedingungen, die Distanzierung, unsere Datenschutzerklärung und
die Forumregeln.

Sie können Mitglied werden. Mitglieder können den Matheplanet-Newsletter bestellen, der etwa alle 2 Monate erscheint.

Der Newsletter Okt. 2017

Für Mitglieder
Mathematisch für Anfänger
Wer ist Online
Aktuell sind 518 Gäste und 7 Mitglieder online.

Sie können Mitglied werden:
Klick hier.

Über Matheplanet
 
Zum letzten Themenfilter: Themenfilter:
Matroids Matheplanet Forum Index
Moderiert von Fabi Dune ligning
Lineare Algebra » Determinanten » Determinante einer linearen Abbildung
Druckversion
Druckversion
Autor
Universität/Hochschule J Determinante einer linearen Abbildung
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Themenstart: 2019-12-08


Hallo Freunde! Ich beiße mir an folgender Aufgabe die Zähne aus:


fed-Code einblenden


Könnt ihr mir helfen? Was ist mit "Berechen Sie det(f)=0" überhaupt gemeint? (So steht es dort tatsächlich, und es ergibt für mich keinen Sinn.) Ich bin ratlos: Wie würdet ihr die Aufgabe lösen?




  Profil  Quote  Link auf diesen Beitrag Link
Triceratops
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 28.04.2016
Mitteilungen: 4275
Aus: Berlin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.1, eingetragen 2019-12-09


Die Determinante ist nicht 0, das ist wohl ein Tippfehler.

Die Determinante wird zum Beispiel in diesem Artikel unter Beispiel D ausgerechnet, sogar gänzlich ohne Matrizen.

Determinanten koordinatenfrei

Falls du es selbst versuchen möchtest, kann ich dir den Tipp geben, die Eigenwerte von f auszurechnen.



  Profil  Quote  Link auf diesen Beitrag Link
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.2, vom Themenstarter, eingetragen 2019-12-09


Danke, cooler Artikel! Eine Frage: Die [x]-Klammern, die vorkommen - sind das Gauß-Klammern?



  Profil  Quote  Link auf diesen Beitrag Link
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 2605
Aus: der Nähe von Schwerin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.3, eingetragen 2019-12-09


Hallo, damit ist die Äquivalenzklasse gemeint, welche $x$ enthält.



  Profil  Quote  Link auf diesen Beitrag Link
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.4, vom Themenstarter, eingetragen 2019-12-09


Danke! Also [x] = x+U ? Habe leider noch eine Frage: Wie kommen die in dem Beweis darauf, dass
                     det(f|U) = n-1


(Ungefähr in der Mitte des Beweises), bzw.: Welcher Satz liegt diesem Schluss zugrunde?



  Profil  Quote  Link auf diesen Beitrag Link
Triceratops
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 28.04.2016
Mitteilungen: 4275
Aus: Berlin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.5, eingetragen 2019-12-09


1) $[x] = x+U$ spielt auf eine mögliche Konstruktion des Quotientenraumes $V/U$ über Nebenklassen ab. Das ist aber nicht unbedingt das Wesen von Quotientenräumen. Mehr dazu (im Falle von Quotientengruppen, aber das sollte das Prinzip bereits klarmachen) in diesem Artikel: Konzepte der Gruppentheorie (Abschnitt 4). Wichtig ist, dass es eine surjektive lineare Abbildung $V \to V/U$ gibt (die man zum Beispiel mit $x \mapsto [x]$ notieren kann), deren Kern $U$ ist.

2) $U$ ist einfach ein eindimensionaler Vektorraum mit Basis $\{u\}$, und es gilt $f(u) = (n-1) \cdot u$. Die Determinante von $f|_U$ ist also $n-1$. Das ist ein (trivialer) Spezialfall der Determinante von diagonalisierbaren Endomorphismen, sie ist einfach das Produkt der Eigenwerte.

Generell bin ich mir nicht sicher, ob du die Lösung aus dem Artikel verwenden darfst, weil sich diese koordinatenfreie Sichtweise eventuell nicht mit den Inhalten deiner Vorlesung deckt.



  Profil  Quote  Link auf diesen Beitrag Link
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.6, vom Themenstarter, eingetragen 2019-12-09


Ach so, verstehe, danke! Und hm, ja, da könntest du recht haben. Aber ich sehe einfach keinen Weg diese Aufgabe zu lösen. Könntest du mir bitte einen Schubser in die richtige Richtung geben?


Verstehe ich das denn eigentlich richtig, dass fed-Code einblenden



  Profil  Quote  Link auf diesen Beitrag Link
Triceratops
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 28.04.2016
Mitteilungen: 4275
Aus: Berlin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.7, eingetragen 2019-12-09


2019-12-09 00:01 - Triceratops in Beitrag No. 1 schreibt:
Falls du es selbst versuchen möchtest, kann ich dir den Tipp geben, die Eigenwerte von f auszurechnen.



  Profil  Quote  Link auf diesen Beitrag Link
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.8, vom Themenstarter, eingetragen 2019-12-09


Stimmt, sorry, danke! Kannst du meine Frage denn bejahen, die bezüglich fed-Code einblenden



  Profil  Quote  Link auf diesen Beitrag Link
Triceratops
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 28.04.2016
Mitteilungen: 4275
Aus: Berlin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.9, eingetragen 2019-12-09


Zu deiner Frage: Was ist $\omega$? Und was soll die die von dir beschriebene Matrix $(b_1|\dotsc|b_n)$ sein, wo doch $b_i$ abstrakte Vektoren (keine Spaltenvektoren in $K^n$) sind?



  Profil  Quote  Link auf diesen Beitrag Link
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.10, vom Themenstarter, eingetragen 2019-12-10


fed-Code einblenden



  Profil  Quote  Link auf diesen Beitrag Link
Triceratops
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 28.04.2016
Mitteilungen: 4275
Aus: Berlin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.11, eingetragen 2019-12-10


2019-12-10 00:31 - Mona109 in Beitrag No. 10 schreibt:
denn eine Determinantenform kann doch eigentlich nur Matrizen Determinanten zuordnen

Nein. Am besten, du gehst deine Vorlesungsunterlagen dazu noch einmal (von Anfang an) durch.



  Profil  Quote  Link auf diesen Beitrag Link
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.12, vom Themenstarter, eingetragen 2019-12-10


Ich konnte leider nicht in die Vorlesung, und in den Büchern finde ich kaum etwas dazu, ich fange langsam an zu verzweifeln. Bei Beutelspacher heißt es:

"Eine Abbildung det: K^(n×n) -> K, die jeder n×n-Matrix M über K ein Element det(M) aus K zuordnet, heißt eine Determinantenfunktion."


Und Determinantenform und -funktion ist ja dasselbe. Auch im Netz findet ma kaum etwas dazu. Oder muss ich andere Begriffe nachschlagen? Kannst du mir bitte sagen, nach welchen Stichwörtern ich zu suchen habe?



  Profil  Quote  Link auf diesen Beitrag Link
Triceratops
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 28.04.2016
Mitteilungen: 4275
Aus: Berlin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.13, eingetragen 2019-12-10


Eine Determinantenform $\omega : V^n \to K$ muss alternierend und multilinear sein, und hierbei kann $V$ ein beliebiger $n$-dimensionaler Vektorraum sein (eben so wie in deiner Aufgabenstellung). Ein anderer Begriff ist auch alternierende Form. Dazu findest du viel Literatur im Netz, aber auch in dem genannten Artikel (der sich anscheinend doch gut mit eurer Vorlesung deckt). Das Buch von Beutelspacher ist nicht empfehlenswert.

Die Determinante $\det(f)$ von $f  : V \to V$ ist dann jedenfalls so definiert, dass für jede alternierende Form $\omega : V^n \to K$ gilt:

$\omega(f(v_1),\dotsc,f(v_n)) = \det(f) \cdot \omega(v_1,\dotsc,v_n)$

Das muss für alle $v_1,\dotsc,v_n \in V$ gelten. Aber man kann sich überlegen, dass es nur für irgendeine Basis von $f$ getestet werden muss.

Was nun die lineare Abbildung in deiner Aufgabe angeht, könnte man auch direkt den Ausdruck $\omega(f(b_1),\dotsc,f(b_n))$ ausrechnen und mit etwas Rechenarbeit vereinfachen zu $(-1)^{n-1} (n-1) \cdot \omega(b_1,\dotsc,b_n)$. Dann ist also $\det(f) = (-1)^{n-1} (n-1)$.



  Profil  Quote  Link auf diesen Beitrag Link
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.14, vom Themenstarter, eingetragen 2019-12-10


Danke! Dann sähe der erste Schritt so aus, richtig?


[latex] \omega(f(b_{1}), ..., f(b_{n})) = \omega(\sum\limits_{j=1, j \neq 1}^{n} b_{j}, ..., \sum\limits_{j=1, j \neq n}^{n} b_{j}) [/latex]



Aber wie dann weiter?



  Profil  Quote  Link auf diesen Beitrag Link
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.15, vom Themenstarter, eingetragen 2019-12-10


Okay, vielleicht habe ich ein bisschen früh aufgegeben, so weit bin ich jetzt gekommen:




[latex] \omega(f(b_{1}), ..., f(b_{n})) = ... = \sum\limits_{i_{1}=2}^{n}\sum\limits_{i_{2}=1, i_{2} \neq 2}^{n} ...\sum\limits_{i_{n}=1}^{n-1} \omega(b_{i_{1}}, ... , b_{i_{n}}) [/latex]


Aber ich glaube, jetzt brauche ich wirklich Hilfe: Wie geht es weiter?




  Profil  Quote  Link auf diesen Beitrag Link
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.16, vom Themenstarter, eingetragen 2019-12-10


Hi, also ich habe die Aufgabe jetzt gelöst, indem ich die Determinante der Darstellungsmatrix von f berechnet hab, bin auf das gekommen, was du mir gesagt hast. Vielen Dank noch einmal für deine Hilfe - und den Geheimtipp mit dem Artikel, der ist echt gut!


Für die Aufgabe, die ich in Beitrag 10 erwähne, bekomme ich als Lösung [latex] 1 + \lambda_{1} + ... + \lambda_{n} [/latex].


Könntest du mir noch sagen, ob das richtig ist? D



  Profil  Quote  Link auf diesen Beitrag Link
Triceratops
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 28.04.2016
Mitteilungen: 4275
Aus: Berlin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.17, eingetragen 2019-12-10


Wenn $i_r = i_s$ für ein $r \neq s$, verschwindet der Summand (weil $\omega$ alternierend ist). Man kann also $\sigma(k) := i_k$ als Permutation annehmen. Außerdem kann man die Basisvektoren dann richtig anordnen. Das Endergebnis ist dann (und das ist letztlich nur eine Reproduktion der Leibniz-Formel im Spezialfall) der Vorfaktor

$\displaystyle \sum_{\sigma \in S_n \text{ fixpunktfrei}} \quad \mathrm{sgn}(\sigma).$

Man muss sich jetzt überlegen, warum das $(-1)^{n-1} (n-1)$ ist.

[Die Antwort wurde nach Beitrag No.15 begonnen.]



  Profil  Quote  Link auf diesen Beitrag Link
Triceratops
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 28.04.2016
Mitteilungen: 4275
Aus: Berlin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.18, eingetragen 2019-12-10


2019-12-10 21:41 - Mona109 in Beitrag No. 16 schreibt:

Für die Aufgabe, die ich in Beitrag 10 erwähne, bekomme ich als Lösung [latex] 1 + \lambda_{1} + ... + \lambda_{n} [/latex].
Könntest du mir noch sagen, ob das richtig ist? D

Könntest du den Lösungsweg posten? Das lässt sich leichter prüfen.



  Profil  Quote  Link auf diesen Beitrag Link
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.19, vom Themenstarter, eingetragen 2019-12-10


Ja, na klar, also hier ist er:


Da [latex] \omega [/latex] multilinear und alternierend ist, gilt


[latex] \omega(v+b_{1}, ..., v+b_{n}) = \omega(b_{1},...,b_{n})+ \sum\limits_{i=1}^{n}(-1)^{i-1}\omega(v, b_{1},...,b_{i-1},b_{i+1},...,b_{n}).[/latex]


Wegen [latex] v = \lambda_{1}b_{1} + ... + \lambda_{n}b_{n} [/latex] und [latex] \omega [/latex] alterniert, ergibt sich


[latex] \omega(b_{1},...,b_{n}) + \sum\limits_{i=1}^{n}(-1)^{i-1}\omega(v, b_{1},...,b_{i-1},b_{i+1},...,b_{n}) =
   \omega(b_{1},...,b_{n}) + \sum\limits_{i=1}^{n}(-1)^{i1}\lambda_{i} \omega(b_{i}, b_{1},...,b_{i-1},b_{i+1},...,b_{n}) = 1 + \sum\limits_{i=1}^{n}\lambda_{i}\omega( b_{1},...,b_{i-1},b_{i}, b_{i+1},...,b_{n})= 1 + \lambda_{1} + ... + \lambda_{n} [/latex],

da ja   \omega(b_{1}, ..., b_{n}) = 1.



  Profil  Quote  Link auf diesen Beitrag Link
Triceratops
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 28.04.2016
Mitteilungen: 4275
Aus: Berlin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.20, eingetragen 2019-12-10


Von den zwei Tippfehlern abgesehen (die vermutlich nur beim Abtippen hier entstanden sind) ist das richtig.



  Profil  Quote  Link auf diesen Beitrag Link
Mona109
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 04.11.2019
Mitteilungen: 51
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.21, vom Themenstarter, eingetragen 2019-12-12


Phew, cool,und noch einmal ein großes Danke!



  Profil  Quote  Link auf diesen Beitrag Link
Mona109 hat die Antworten auf ihre/seine Frage gesehen.
Mona109 hat selbst das Ok-Häkchen gesetzt.
Mona109 wird per Mail über neue Antworten informiert.
Neues Thema [Neues Thema]  Druckversion [Druckversion]

 


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-2019 by Matroids Matheplanet
This web site was made with PHP-Nuke, a web portal system written in PHP. 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]