 Verfasst am: 10. Apr 2023 23:48 Titel: |
|
| Ok das beantwortet meine Fragen. Ich danke dir. | |
| Verfasst am: 10. Apr 2023 10:17 Titel: |
|||
Das bedeutet, daß der Isomorphismus auf der gesamten Kategorie der Vektorräume mit innerem Produkt derselbe ist und mit dem Funktor der Dualraumbildung kommutiert. (Siehe z.B. Canonical map für etwas allgemeinere Bemerkungen oder Natural transformation für eine präzisere Definition.) Hier geht es aber in erster Linie um die Feststellung, daß sich hinter der Operation des Rauf- und Runterziehens von Indizes ein ganz bestimmter Isomorphismus verbirgt. Jeder endlichdimensionale Vektorraum ist nämlich isomorph zu seinem Dualraum, einfach weil beide dieselbe Dimension haben. Diese Tatsache hat aber noch nichts mit den Verschiebe-Operationen im Indexkalkül zu tun. Diese beziehen sich, wie du im Prinzip richtig vermutet hast, auf den Isomorphismus |
|||
| Verfasst am: 09. Apr 2023 23:12 Titel: |
|
| Was ist der Unterschied zwischen kanonisch isomorph und isomorph? | |
| Verfasst am: 09. Apr 2023 17:14 Titel: Re: Hoch- und runterziehen von Indizes |
|||||
Das ist nicht der Satz von Riesz, sondern eine triviale Folge aus der Linearität (und Stetigkeit) des Skalarprodukts (in einem seiner Argumente). Der Satz von Riesz besagt, daß auch umgekehrt zu jeder stetigen Linearform auf einem Hilbertraum ein zugehöriger Vektor existiert, dessen Skalarprodukt mit jedem Vektor x den Wert der Linearform auf x ergibt. Eine Folgerung aus diesem Satz ist, daß der Vektorraum zu seinem stetigen Dualraum kanonisch isomorph (oder anti-isomorph für komplexe Räume) ist. Dieser Isomorphismus ist die Operation, die hinter dem Rauf- und -runterziehen der Indizes steckt.
Ohne inneres Produkt würde es nicht gehen. Mit innerem Produkt folgt der Satz von Riesz automatisch und damit auch die Existenz des besagten Isomorphismus P.S. ich glaube übrigens du meinst den Satz von Fréchet-Riesz, nicht Fischer-Riesz. |
|||||
| Verfasst am: 09. Apr 2023 15:32 Titel: Hoch- und runterziehen von Indizes |
|
| Ist die Gültigkeit des Satzes von Fischer Riesz notwendig, um das hoch und runterziehen von Indizes bei ko- und kontravarianten Tensoren zu rechtfertigen? Als notwendige Voraussetzung braucht man ja mindestens ein Skalarprodukt, also einen Hilbertraum. Ich definiere einen kontravarianten Vektor bzgl einer Basis und einen kovarianten Vektor bzgl der dualen Basis Dabei ist die duale Basis so definiert nach dem Satz von Riesz gibt es zu jedem kontravarianten Vektor w einen dualen Vektor es ist aber ebenso Der Vergleich liefert dann Dafür habe ich den Satz von Fischer Riesz benutzt. Heißt das ohne diesen Satz würde es rauf und runterziehen der Indizes nicht geben? |
|