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 Abbildungen" - Gruppen
Gruppen < Abbildungen < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Abbildungen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Gruppen: Hilfe, Tipp, Korrektur
Status: (Frage) beantwortet Status 
Datum: 14:19 Fr 11.02.2011
Autor: sanane

Also bei folgender aufgabe weiß ich überhaupt nicht weiter -.-

Sei G={(x,y) [mm] \in [/mm] ( [mm] \IR)^2 [/mm] | [mm] \alpha [/mm] x+y=1 } und sei [mm] \circ: [/mm] GxG ->  ( [mm] \IR)^2 [/mm]

durch (x1,y1) [mm] \circ [/mm] (x2,y2) = (x1+x2-(1/ [mm] \alpha) [/mm] , y1+y2) für (x1,y1),(x2,y2) [mm] \in [/mm] G bei gegebenem [mm] \alpha \in \IR [/mm] \ {0} definiert.

Zeigen Sie, dass (G, [mm] \circ [/mm] , ((1/ [mm] \alpha) [/mm] , 0) eine abelsche Gruppe ist.

Normalerweise schreibt man ja (G, [mm] \circ, [/mm] e) kann ich daraus schließen dass (1/ [mm] \alpha [/mm] , 0) mein neutrales element ist ? oder spack ich gerade richtig ab -.-

G1 Abgeschlossenheit:

In der Aufgabenstellung steht ja schon dass (x1,y1), (x2,y2) [mm] \in [/mm] G ist bei gegebenem [mm] \alpha \in \IR [/mm] \ {0}.

würde das ausreichen?

G2: Assoziativität:

(x3,y3) [mm] \in [/mm] G

((x1,y1) [mm] \circ [/mm] (x2,y2)) [mm] \circ [/mm] (x3,y3) = (x1,y1) [mm] \circ [/mm] ((x2,y2) [mm] \circ [/mm] (x3,y3))
((x1x2) [mm] \circ [/mm] (y1y2)) [mm] \circ [/mm] (x3y3) = (x1,y1) [mm] \circ [/mm] ((x2x3) [mm] \circ [/mm] (y2y3))
((x1x2)x3, (y1y2)y3)= (x1(x2x3), y1(y2y3))

wäre das so richtig ? :/


G3) neutrales Element:

(x2,y2) [mm] \circ [/mm] (x1,y1) = (x1,y1)

-> (x2x1, y2y1)=(x1,y1)

x2x1=x1 -> wenn x2=1

y2y1=y1 -> wenn y2=1

wieder einsetzen :

(1,1) [mm] \circ [/mm] (x1,y1) = (1,1)

wäre das so richtig ? :(







        
Bezug
Gruppen: Antwort
Status: (Antwort) fertig Status 
Datum: 15:49 Fr 11.02.2011
Autor: leduart

Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

Hallo sanane


> Sei G={(x,y) [mm]\in[/mm] ( [mm]\IR)^2[/mm] | [mm]\alpha[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

x+y=1 } und sei [mm]\circ:[/mm]

> GxG ->  ( [mm]\IR)^2[/mm]

>  
> durch (x1,y1) [mm]\circ[/mm] (x2,y2) = (x1+x2-(1/ [mm]\alpha)[/mm] , y1+y2)
> für (x1,y1),(x2,y2) [mm]\in[/mm] G bei gegebenem [mm]\alpha \in \IR[/mm] \
> {0} definiert.
>  
> Zeigen Sie, dass (G, [mm]\circ[/mm] , ((1/ [mm]\alpha)[/mm] , 0) eine
> abelsche Gruppe ist.
>  
> Normalerweise schreibt man ja (G,[mm]\circ,[/mm]  e) kann ich daraus
> schließen dass (1/ [mm]\alpha[/mm] , 0) mein neutrales element ist
> ? oder spack ich gerade richtig ab -.-

Du kannst das schließen, es hilft dir also, weil du es nicht mehr suchen musst, aber du musst wohl zeigen, dass es dei eigenschaft e hat.

> G1 Abgeschlossenheit:
>  
> In der Aufgabenstellung steht ja schon dass (x1,y1),
> (x2,y2) [mm]\in[/mm] G ist bei gegebenem [mm]\alpha \in \IR[/mm] \ {0}.
>  
> würde das ausreichen?

nein, du musst doch zeigen dass mit (x1,y1), (x2,y2) auch
[mm] (x1,y1)$\circ,$(x2,y2) [/mm] ein Element ist

> G2: Assoziativität:
>  
> (x3,y3) [mm]\in[/mm] G
>  
> ((x1,y1) [mm]\circ[/mm] (x2,y2)) [mm]\circ[/mm] (x3,y3) = (x1,y1) [mm]\circ[/mm]
> ((x2,y2) [mm]\circ[/mm] (x3,y3))
>  ((x1x2) [mm]\circ[/mm] (y1y2)) [mm]\circ[/mm] (x3y3) = (x1,y1) [mm]\circ[/mm] ((x2x3)
> [mm]\circ[/mm] (y2y3))
>  ((x1x2)x3, (y1y2)y3)= (x1(x2x3), y1(y2y3))
>  
> wäre das so richtig ? :/

nein, du musst doch die Def. der Verknüpfung benutzen!

>
> G3) neutrales Element:
>  
> (x2,y2) [mm]\circ[/mm] (x1,y1) = (x1,y1)
>  
> -> (x2x1, y2y1)=(x1,y1)
>  
> x2x1=x1 -> wenn x2=1
>  
> y2y1=y1 -> wenn y2=1
>  
> wieder einsetzen :
>
> (1,1) [mm]\circ[/mm] (x1,y1) = (1,1)
>  
> wäre das so richtig ? :(

auch hier hast du die Def. der verknüpfung nicht benutzt, sondern eine andere , dadurch auch das falsche neutrale Element gefunden!
du wusstest am anfang schon, was e war und solltest es dort machweisen.
irgendwie hast du nicht verstanden, dass das [mm] $\circ,$ [/mm] hier durch
(x1,y1) [mm] $\circ$ [/mm] (x2,y2) = (x1+x2-(1/ [mm] $\alpha)$ [/mm] , y1+y2)  gdefniert ist und NICHT durch (x1,y1) [mm] $\circ$ [/mm] (x2,y2)=(x1x2,y1y2)
Gruss leduart



Bezug
                
Bezug
Gruppen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 21:20 Sa 12.02.2011
Autor: sanane

zu G1:

wie zeige ich das ?

nein, du musst doch zeigen dass mit (x1,y1), (x2,y2) auch
(x1,y1)$ [mm] \circ, [/mm] $(x2,y2) ein Element ist ..


G2) also ich habe es nochmal bearbeitet:


((x1,y1) [mm] \circ [/mm] (x2,y2)) [mm] \circ [/mm] (x3,y3) = (x1,y1) [mm] \circ [/mm] ((x2,y2) [mm] \circ [/mm] (x3,y3))

(x1+x2-(1/ [mm] \alpha) [/mm] , y1+y2) [mm] \circ [/mm] (x3,y3) =

(x1,y1) [mm] \circ [/mm] (x2+x3-(1/ [mm] \alpha), [/mm] y2+y3)=

((x1+x2-(1/ [mm] \alpha)) [/mm] +x3, (y1+y2)+y3) =

(x1+(x2+x3-(1/ [mm] \alpha) [/mm] , y1 +(y2+y3))

somit erfüllt .. stimmt das jetzt ? :/

Bezug
                        
Bezug
Gruppen: Antwort
Status: (Antwort) fertig Status 
Datum: 22:41 Sa 12.02.2011
Autor: leduart

Hallo sana

> zu G1:
>  
> wie zeige ich das ?
>  
> nein, du musst doch zeigen dass mit (x1,y1), (x2,y2) auch
>  (x1,y1)[mm] \circ, [/mm](x2,y2) ein Element ist ..

Du zeigst dass die Verknüpfung wieder die Eigenschaft $ [mm] \alpha [/mm] $ x+y=1 hat!

>
> G2) also ich habe es nochmal bearbeitet:
>  
>
> ((x1,y1) [mm]\circ[/mm] (x2,y2)) [mm]\circ[/mm] (x3,y3) = (x1,y1) [mm]\circ[/mm]
> ((x2,y2) [mm]\circ[/mm] (x3,y3))
>  
> (x1+x2-(1/ [mm]\alpha)[/mm] , y1+y2) [mm]\circ[/mm] (x3,y3) =
>  
> (x1,y1) [mm]\circ[/mm] (x2+x3-(1/ [mm]\alpha),[/mm] y2+y3)=
>  
> ((x1+x2-(1/ [mm]\alpha))[/mm] +x3, (y1+y2)+y3) =
>  
> (x1+(x2+x3-(1/ [mm]\alpha)[/mm] , y1 +(y2+y3))
>  
> somit erfüllt .. stimmt das jetzt ? :/

ich kann das nicht auseinanderkriegen, wo du was rechnest.
die Behauptung ist:
((x1,y1) [mm] $\circ$ [/mm] (x2,y2)) [mm] $\circ$ [/mm] (x3,y3) = (x1,y1) [mm] $\circ$ [/mm] ((x2,y2) [mm] $\circ$ [/mm] (x3,y3))
jetzt musst du erstmal die linke Seite ausrechnen und zwar bis zum ende, dann die rechte.
also
((x1,y1) [mm] $\circ$ [/mm] (x2,y2)) [mm] $\circ$ [/mm] (x3,y3) = [mm] (x1+x2-1/\alpha,y1+y2)\circ (x3,y3)=(x1+x2-1/\alpha+x3-1/\alpha [/mm] , [mm] y1+y2+y3)=(x1+x2+x3-2/\alpha,y1+y2+y3) [/mm]
das seh ich bei dir nirgends.
jetzt den rechten Teil ausrechnen und dann fesstellen ob sie gleich sind,
Wenn du gleich am anfang das = hinschreibst, tust du ja so, als ob die Beh. schon gezeigt wäre.
ausserdem hast du die verknüpfung falsch.
dann noch zeigen was e ist, bzw, dass die Annahme stimmt.
gruss leduart



Bezug
                                
Bezug
Gruppen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 23:00 Sa 12.02.2011
Autor: sanane

Du zeigst dass die Verknüpfung wieder die Eigenschaft $ [mm] \alpha [/mm] $ x+y=1 hat

:/ .. da liegt ja mein problemmm.. wie dennnN ? :(

so ich habe versucht die rechte seite umzuformen:

(x1,y1) [mm] \circ [/mm] (x2+x3-(1/ [mm] \alpha), [/mm] y2+y3)

= (x1-(1/ [mm] \alpha)+ [/mm] x2+x3- (1/ [mm] \alpha), [/mm] y1+y2+y3)

= ( x1+x2+x3-(2/ [mm] \alpha) [/mm] , y1+y2+y3)


somit sind sie gleich...so richtig ? ich versteh aber nicht warum plötzlich noch ein weiterer 1/ [mm] \alpha [/mm] dazukommt.. wenn wir quasi "ausmultiplizieren"

Bezug
                                        
Bezug
Gruppen: Antwort
Status: (Antwort) fertig Status 
Datum: 23:13 Sa 12.02.2011
Autor: leduart

Hallo
warum noch ein 1/alpha  dazukommt?
nenne in (x2+x3-(1/ $ [mm] \alpha), [/mm] $ y2+y3) x2+x3-(1/ $ [mm] \alpha)=z1 [/mm] und y2+y3=z2
dabb bilde [mm] (x1,y1)\circ [/mm] (z1,z2)  (am schluss wieder fr z1 und z2 einsetzen) siehst du dann warum)

ebenso gehst du mit [mm] (x1,y1)\circ [/mm] (x2,y2)=(z1,z2) vor

rechne einfach aus was [mm] \alpa*z1+z2 [/mm] ergibt, wenn du weisst, dass /alpha*x1+y1=1 und /alpha*x2+y2=1
Gruss leduart.


Bezug
                                                
Bezug
Gruppen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 23:26 Sa 12.02.2011
Autor: sanane

wird erledigt..

und wie zeige ich das neutrale element ?

Bezug
                                                        
Bezug
Gruppen: Antwort
Status: (Antwort) fertig Status 
Datum: 00:25 So 13.02.2011
Autor: leduart

Hallo
du hast es doch, setz es ein und weis nach dass [mm] e\circ(x,y)=x,y) [/mm] aber genau das hab ich doch schon im 1. oder 2 ten post gesagt. Bitte guck die posts wirklich an, schreib auch mal was auf.
Gruss leduart


Bezug
                                                                
Bezug
Gruppen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 12:18 So 13.02.2011
Autor: sanane

oki starten wir einen erneuten versuch:

G3) neutrales Element:

(x2,y2) [mm] \circ [/mm] (x1,y1) = (x1,y1)

(x2+x1-(1/ [mm] \alpha, [/mm] y2+y1) = (x1,y1)

1. x2+x1-(1/ [mm] \alpha)= [/mm] x1  -> x2=1 , [mm] \alpha=1 [/mm]

2. y2+y1=y1 -> y2=0

somit erfüllt

g4) inverses Element:

(x1´,y1´) [mm] \circ [/mm] (x1,y1) = (1,0)

(x1´+x1-(1/ [mm] \alpha), [/mm] y1´+y1)=(1,0)

1. x1´+x1-(1/ [mm] \alpha)=1 [/mm]

x1´= 1-x1+(1/ [mm] \alpha) [/mm]

2. y1´+y1=0 -> y1´=-y1

bitte sag das ich alles richtig gemacht habe :( ..

Bezug
                                                                        
Bezug
Gruppen: Antwort
Status: (Antwort) fertig Status 
Datum: 15:42 So 13.02.2011
Autor: leduart

Hallo

> oki starten wir einen erneuten versuch:
>  
> G3) neutrales Element:
>  
> (x2,y2) [mm]\circ[/mm] (x1,y1) = (x1,y1)
>  
> (x2+x1-(1/ [mm]\alpha,[/mm] y2+y1) = (x1,y1)
>  
> 1. x2+x1-(1/ [mm]\alpha)=[/mm] x1  -> x2=1 , [mm]\alpha=1[/mm]

du kannst doch alpha nicht geben, die gruppe ist durch ein vorgegebenes [mm] \alpha\ne0 [/mm] vorgegeben
warum liest du nicht, was ich sag, das neutrale element hast du schon im ersten post genannt!

>  
> 2. y2+y1=y1 -> y2=0
>  
> somit erfüllt
>  
> g4) inverses Element:
>  
> (x1´,y1´) [mm]\circ[/mm] (x1,y1) = (1,0)
>  
> (x1´+x1-(1/ [mm]\alpha),[/mm] y1´+y1)=(1,0)

wegen des Fehlers in 2. ist das folgende falsch , aber dein Vorgehen richtig.

> 1. x1´+x1-(1/ [mm]\alpha)=1[/mm]
>  
> x1´= 1-x1+(1/ [mm]\alpha)[/mm]

> 2. y1´+y1=0 -> y1´=-y1

richtig
gruss leduart


Bezug
                                                                                
Bezug
Gruppen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 16:03 So 13.02.2011
Autor: sanane

du hast wirklich recht.. ich muss die aufgaben genauer lesen:

jetzt aber:

g3)

( 1/ [mm] \alpha [/mm] , 0)  [mm] \circ [/mm] ( x1,x2= (x1,x2)

(1/ [mm] \alpha [/mm] +x1 - 1 / [mm] \alpha [/mm] , 0+x2)= (x1,x2)

somit ist ( 1/ [mm] \alpha [/mm] , 0 ) das neutrale element.

g4)

(x1´,y1´) [mm] \circ (x^1, [/mm] y1) = ( 1/ [mm] \alpha [/mm] ,0)

x1´=2/ [mm] \alpha [/mm] -x1

y1´= -y1

g5) kommutativ:


(x1,y1) [mm] \circ [/mm] (x2,y2) = (x2,y2) [mm] \circ [/mm] (x1,y1)

(x1+x2- (1 / [mm] \alpha), [/mm] y1+y2) = (x2+x1- 1 / [mm] \alpha [/mm] , y2+y1)

so weit richtig?

Bezug
                                                                                        
Bezug
Gruppen: Antwort
Status: (Antwort) fertig Status 
Datum: 21:43 So 13.02.2011
Autor: leduart

Hallo sanane
ja endlich richtig! bei g4 noch einen oder 2 Zwischenschritte aufschreiben
gruss leduart


Bezug
                                                                                
Bezug
Gruppen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 21:33 So 13.02.2011
Autor: sanane

könnte das jemand korrigieren ? bitteee

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Abbildungen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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