www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Lineare Algebra - Matrizen" - Ähnlichkeitsklassen Matrizen
Ähnlichkeitsklassen Matrizen < Matrizen < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra - Matrizen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Ähnlichkeitsklassen Matrizen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:58 So 16.06.2013
Autor: rollroll

Aufgabe
Bestimme je einen Repräsentanten aller Ähnlichkeitsklassen von invertiebaren 3x3-Matrizen über [mm] F_2. [/mm]

Hallo!

Zwei Matrizen A und B heißen ja ähnlich, wenn es eine invertiebare Matrix S gibt, sodass B= [mm] S^{-1}AS. [/mm] Allerdings weiß ich gar nicht, wie ich hier systematisch suchen soll...

Ich habe z.B. folgende invertiebare Matrizen über [mm] F_2 [/mm] gefunden:

[mm] \pmat{ 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 }, \pmat{ 0 & 1 & 0 \\ 1 & 1 & 1 \\ 0 & 1 & 1 }, \pmat{ 1 & 1 & 1 \\ 0 & 1 & 0 \\ 0 & 0 & 1 }, \pmat{ 1 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 }, \pmat{ 1 & 1 & 0 \\ 0 & 1 & 1 \\ 0 & 0 & 1 }. [/mm]
Aber das sind ja bestimmt nicht alle... Und wie stelle ich fest, ob sie nicht zur selben Ähnlichkeitsklasse gehören? Zum Beispiel haben ja die 1., 3., und 5. Matrix, die ich hier geschrieben habe, dieselben Eigenwerte, müssten also ähnlich sein, oder?

Danke schonmal!



        
Bezug
Ähnlichkeitsklassen Matrizen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:35 So 16.06.2013
Autor: rollroll

Hallo nochmal, ich waere echt froh wenn mich jemand bei dieser Aufgabe unterstützten könnte... Danke schonmal

Bezug
        
Bezug
Ähnlichkeitsklassen Matrizen: Antwort
Status: (Antwort) fertig Status 
Datum: 19:44 So 16.06.2013
Autor: sometree

Hallo,

> Bestimme je einen Repräsentanten aller
> Ähnlichkeitsklassen von invertiebaren 3x3-Matrizen über
> [mm]F_2.[/mm]
>  Hallo!
>  
> Zwei Matrizen A und B heißen ja ähnlich, wenn es eine
> invertiebare Matrix S gibt, sodass B= [mm]S^{-1}AS.[/mm] Allerdings
> weiß ich gar nicht, wie ich hier systematisch suchen
> soll...
>  
> Ich habe z.B. folgende invertiebare Matrizen über [mm]F_2[/mm]
> gefunden:
>  
> [mm]\pmat{ 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 }, \pmat{ 0 & 1 & 0 \\ 1 & 1 & 1 \\ 0 & 1 & 1 }, \pmat{ 1 & 1 & 1 \\ 0 & 1 & 0 \\ 0 & 0 & 1 }, \pmat{ 1 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 }, \pmat{ 1 & 1 & 0 \\ 0 & 1 & 1 \\ 0 & 0 & 1 }.[/mm]
> Aber das sind ja bestimmt nicht alle...

Edit: Hier war ein Rechenfehler: Es gibt insgesamt [mm] $7\cdot 6\cdot [/mm] 4$ Matrizen in [mm] $Gl(3,\mathbb F_2)$ [/mm]

> Und wie stelle ich
> fest, ob sie nicht zur selben Ähnlichkeitsklasse gehören?
> Zum Beispiel haben ja die 1., 3., und 5. Matrix, die ich
> hier geschrieben habe, dieselben Eigenwerte, müssten also
> ähnlich sein, oder?

Nein, ähnliche Matrizen haben die selben Eigenwerte, die Umkehrung gilt nicht. Die Einheitsmatrix ist zu keiner anderen Matrix ähnlich.
Du solltest hier geeignete Invarianten betrachten (wie z.B. Eigenwerte, gibt aber noch andere Kandidaten) um zu zeigen, dass bestimmte Matrizen nicht ähnlich sein können. Das liefert dir eine Zerlegung in Mengen potentiell ähnlicher Matrizen. Diese kann man ggf. einzeln auf Ähnlichkeit überprüfen.

> Danke schonmal!
>  
>  


Bezug
                
Bezug
Ähnlichkeitsklassen Matrizen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:12 So 16.06.2013
Autor: rollroll

Hallo. Danke schonmal.

Wie kommst du denn auf die Anzahl der invertierbaren Matrizen über [mm] F_2 [/mm] ?

heißt dass, wenn die Matrizen verschiedene EW haben, dann sind sie nicht ähnlich. Wenn sie dieselben EW haben, können, müssen die Matrizen aber nicht ähnlich sein. Habe ich das richtig verstanden?

Bezug
                        
Bezug
Ähnlichkeitsklassen Matrizen: Antwort
Status: (Antwort) fertig Status 
Datum: 20:20 So 16.06.2013
Autor: sometree


> Hallo. Danke schonmal.
>  
> Wie kommst du denn auf die Anzahl der invertierbaren
> Matrizen über [mm]F_2[/mm] ?

Es gibt eine schöne Formel: |Gl(n, [mm] \mathbb F_q|= \prod _{i=0}^{n-1}(q^n-q^i). [/mm]
Jeder Faktor steht dabei für die Anzahl zulässigen (sprich von den Spalten davor unabhängigen) i-ten Spalten.

> heißt dass, wenn die Matrizen verschiedene EW haben, dann
> sind sie nicht ähnlich. Wenn sie dieselben EW haben,
> können, müssen die Matrizen aber nicht ähnlich sein.
> Habe ich das richtig verstanden?

Ja.

Bezug
                                
Bezug
Ähnlichkeitsklassen Matrizen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:58 Mi 19.06.2013
Autor: rollroll

Hallo nochmal.

Ich habe immernoch das Problem, dass ich nicht weiß, wie ich systematische die Matrizen auf Ähnlichkeit überprüfen soll - und zwar ohne dass ich alle infrage kommenden invertierbaren Matrizen durchprobieren muss. Hilft evtl die Jordan-Normalform weiter? Allerdings wüsste ich nicht, wie ich sie anwenden sollte...

Über eure Hilfe wäre ich sehr dankbar.
Gruß

Bezug
                                        
Bezug
Ähnlichkeitsklassen Matrizen: Antwort
Status: (Antwort) fertig Status 
Datum: 00:13 Do 20.06.2013
Autor: sometree

Hallo nochmal,

bestimme alle möglichen charakteristischen Polynome (es sind 4).
Bestimme alle möglichen Jordan-Normalformen (im alg. Abschluss bzw. einer geigneten Körpererweiterung; Frage: warum dieser Zusatz?) zu dem jeweiligen Polynom.
Welche Jordan-Normalformen sind zueinander ähnlich?
Das liefert eine Menge nicht-ähnlicher Jordanmatrizen.

Für die Jordan-Matrizen die nicht Matrizen über [mm] $\mathbb F_2$ [/mm] sind sucht man nun noch eine ähnliche Matrix aus $Gl(3, [mm] \mathbb F_2)$ [/mm] als Repräsentant bzw. zeigt, dass es keinen solchen gibt (keine Ahnung ob dieser fall eintritt.)

Bezug
                                                
Bezug
Ähnlichkeitsklassen Matrizen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 12:48 Do 20.06.2013
Autor: rollroll

Also ich habe jetzt über [mm] F_2 [/mm] die folgenden charakteristischen Polynome gefunden:
[mm] x^3 [/mm]
[mm] x^3+x^2 [/mm]
[mm] x^3+x^2+x [/mm]
[mm] x^3+x^2+x+1 [/mm]

Wie kann ich denn begründen dass das alle sind?

Und als Jordan-Normalformen hab ich in [mm] F_2 [/mm] bisher:

[mm] \pmat{ 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 }, \pmat{ 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 1 }, \pmat{ 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 }, \pmat{ 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 } [/mm]

Was sagt ihr dazu?



Bezug
                                                        
Bezug
Ähnlichkeitsklassen Matrizen: Antwort
Status: (Antwort) fertig Status 
Datum: 13:36 Do 20.06.2013
Autor: sometree


> Also ich habe jetzt über [mm]F_2[/mm] die folgenden
> charakteristischen Polynome gefunden:
>  [mm]x^3[/mm]
>  [mm]x^3+x^2[/mm]
>  [mm]x^3+x^2+x[/mm]
>  [mm]x^3+x^2+x+1[/mm]
>  
> Wie kann ich denn begründen dass das alle sind?

Gar nicht, da es falsch ist.
Drei der charakteristischen Polynome sind solche nicht-invertierbarer Matrizen.
Wo findet sich denn die Determinante einer Matrix im char. Polynom wieder?

> Und als Jordan-Normalformen hab ich in [mm]F_2[/mm] bisher:
>  
> [mm]\pmat{ 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 }, \pmat{ 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 1 }, \pmat{ 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 }, \pmat{ 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 }[/mm]
>  
> Was sagt ihr dazu?

Selbe wie oben. Es sind drei Matrizen nicht invertierbar. Ferner sind das alles Diagonalmatrizen, was ist mit Jordanmatrizen?

>  


Bezug
                                                                
Bezug
Ähnlichkeitsklassen Matrizen: rückfrage
Status: (Frage) beantwortet Status 
Datum: 21:45 Do 20.06.2013
Autor: Blaetternerd

Hallo.
Sitze an einer ähnlichen Aufgabe.
Für den Fall "hier" kommen 4 Polynome in Frage, die in [mm] \IZ [/mm] mod 2 [mm] \IZ [/mm] mit EW [mm] x_0=1 [/mm] einer invertierbaren 3x3 Matrix sind:
[mm] p_1=x^{3}+x^{2}+x+1 [/mm]
[mm] p_k=x^{k}+1, [/mm] mit [mm] k\in{1,2,3} [/mm]
Dann habe ich mir die möglichen Jordanmatrizen zum EW 1 angeschaut.
Diese sind alle drei Varianten der Jordanmatrix zu EW 1 im  oben genannten Körper:
[mm] \pmat{ 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1} \pmat{ 1 & 1 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1} \pmat{ 1 & 1 & 0 \\ 0 & 1 & 1 \\ 0 & 0 & 1} [/mm]
Die Einheitsmatrix ist nur zu sich selbst ähnlich.
Die zwei anderen Matrizen hmmm.
so, jetzt weiss ich nicht wie es weiter geht.
Schonmal danke für eure Zeit.

Bezug
                                                                        
Bezug
Ähnlichkeitsklassen Matrizen: Antwort
Status: (Antwort) fertig Status 
Datum: 00:04 Fr 21.06.2013
Autor: sometree

Hallo Blätternerd,

deine potentiellen char. Polynome sind falsch. Jedes nxn-Polynom hat ein char. Polynom vom Grad n, d.h. zwei deiner Kandidaten fliegen raus.
Die anderen beiden sind o.k. Es fehlen noch 2 mit EW nicht 1. (die Polynome haben keine NST in [mm] $\mathbb F_2$). [/mm]

Zu zeigen, dass die Jordanmatrizen nicht ähnlich sind geht wohl am schnellsten über das Minimalpolynom. (ähnliche matrizen haben das selbe Min.pol.)

Oder man zeigt dass

>  [mm] \pmat{ 1 & 1 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1} \pmat{ 1 & 1 & 0 \\ 0 & 1 & 1 \\ 0 & 0 & 1}[/mm]

ähnlich sind genau dann wenn

>  [mm] \pmat{ 1 & 1 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1} -E =\pmat{ 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0}[/mm]und [mm] \pmat{ 1 & 1 & 0 \\ 0 & 1 & 1 \\ 0 & 0 & 1}-E= \pmat{ 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0}[/mm]

ähnlich sind, was aus Ranggründen nicht geht.


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra - Matrizen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]