matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 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
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenLineare Algebra SonstigesGruppen, Bijektivität
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Lineare Algebra Sonstiges" - Gruppen, Bijektivität
Gruppen, Bijektivität < Sonstiges < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Gruppen, Bijektivität: Aufgabe
Status: (Frage) beantwortet Status 
Datum: 17:46 Mi 28.09.2011
Autor: Laylaylay

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

Aufgabe
Es sei (g,°) eine Gruppe. Für ein festes a Element G definiere man eine Abbildung

f_a : {G --> G
      {g --> g°a

Man zeige, dass alle diese Abbildungen f_a bijektiv sind.

Hallo Leute,


Soooooo. Ich habe hier eine Aufgabe und es geht um  Gruppen:
ich weiß nun gar nicht, wie ich überhaupt anfangen soll, weil ich mir nichts unter bijektivität vorstellen kann.

Muss man erstma zeigen, dass f_a injektiv ist????


Vielen Dank schon mal an alle!

        
Bezug
Gruppen, Bijektivität: Antwort
Status: (Antwort) fertig Status 
Datum: 18:09 Mi 28.09.2011
Autor: Diophant

Hallo,

Bijektivität wirst du wohl nachschlagen können, wenn du dich mit Gruppentheorie beschäftigst?

Ich übersetze dir die Aufgabenstellung mal in eine etwas verständlichere Sprache:

Es ist hier zu zeigen, dass man für ein festes a bei Verknüpfung (von links) mit sämtlichen Elementen von g als Resultat auch wieder sämtliche Elemente von g erhält. Es gibt also sozusagen kein Resultat mehrfach.

Ich bin auch nicht so der Experte, aber ich würde mich zu der Behauptung versteigen, dass die Anwendung der drei Gruppenaxiome für den Beweis völlig ausreichen. Außerdem riecht das stark nach einem indirekten Beweis...

Gruß, Diophant

Bezug
        
Bezug
Gruppen, Bijektivität: Antwort
Status: (Antwort) fertig Status 
Datum: 09:46 Do 29.09.2011
Autor: fred97

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

> Eingabefehler: "{" und "}" müssen immer paarweise
> auftreten, es wurde aber ein Teil ohne Entsprechung
> gefunden (siehe rote Markierung)
>  Eingabefehler: "{" und "}" müssen immer paarweise
> auftreten, es wurde aber ein Teil ohne Entsprechung
> gefunden (siehe rote Markierung)
>  
> Es sei (g,°) eine Gruppe. Für ein festes a Element G
> definiere man eine Abbildung
>
> f_a : {G --> G
>        {g --> g°a

>
> Man zeige, dass alle diese Abbildungen f_a bijektiv sind.
>  Hallo Leute,
>  
>
> Soooooo. Ich habe hier eine Aufgabe und es geht um  
> Gruppen:
>  ich weiß nun gar nicht, wie ich überhaupt anfangen soll,
> weil ich mir nichts unter bijektivität vorstellen kann.


Als  Mathe-Student im Grundstudium solltest Du das schleunigst ändern. Wenn Du das getan hast, wirst Du feststellen, dass Du zeigen mußt:

1. Zu jedem $h \in G$ gibt es ein $g \in G$ mit: $h=g\circ a$

und

2. Aus $g_1,g_2 \in G$ und  $g_1 \circ a=g_2 \circ a$ folgt g_1=g_2

FRED

>  
> Muss man erstma zeigen, dass f_a injektiv ist????
>  
>
> Vielen Dank schon mal an alle!


Bezug
        
Bezug
Gruppen, Bijektivität: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 16:22 So 02.10.2011
Autor: Laylaylay

Aufgabe
H:= [mm] {f_a/ a element G} [/mm] ist eine Untergruppe von Bij (G)

Hallo!

Die Aufgabe geht nun weiter.
Wie könnte ich den Beweis nun angehen?


Danke!

Bezug
                
Bezug
Gruppen, Bijektivität: Antwort
Status: (Antwort) fertig Status 
Datum: 16:33 So 02.10.2011
Autor: Schadowmaster


> H:= [mm]\{f_a| a \in G\}[/mm] ist eine Untergruppe von Bij (G)
>  Hallo!
>  
> Die Aufgabe geht nun weiter.
>  Wie könnte ich den Beweis nun angehen?
>  
>
> Danke!

Was genau ist denn eine Untergruppe?
Erzähl doch erstmal wie genau ihr das definiert habt.
Du hast da sicher ein paar Axiome für Untergruppen irgendwo im Skript oder in den Vorlesungsmitschriften stehen, die du schlicht und ergreifend nachprüfen musst.
Wenn es dabei Probleme gibt poste die Axiome mal und erzähl bei welchem es wie genau hapert.

MfG

Schadow


edit: und du brauchst hier die Tatsache, die du im ersten Teil zeigen musstest, also mach die erstmal fertig (falls du das noch nicht hast).


Bezug
                        
Bezug
Gruppen, Bijektivität: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 16:56 So 02.10.2011
Autor: Laylaylay

Die erste Teilaufgabe habe ich bereits, indem ich die Injektivität und die Surjektivität berechnet bewiesen habe.
Daraus folgte die Bijektivität.


Die Axiome für eine Untergruppe lauten wie folgt:
sei (A, °) eine Gruppe, B Element A

1. alle b, b' Element von B: ( a°a') Element von B

2. neutrales Element e Element B

3. alle b Element B:= b ^-1 Element B


Muss ich jetzt einfach 1. - 3. beweisen???


Danke!

Bezug
                                
Bezug
Gruppen, Bijektivität: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:07 So 02.10.2011
Autor: Schadowmaster


> Die erste Teilaufgabe habe ich bereits, indem ich die
> Injektivität und die Surjektivität berechnet bewiesen
> habe.
>  Daraus folgte die Bijektivität.
>  
>
> Die Axiome für eine Untergruppe lauten wie folgt:
>  sei (A, °) eine Gruppe, B Element A
>  
> 1. alle b, b' Element von B: ( a°a') Element von B

Ich nehme an du meinst:
$a,b [mm] \in [/mm] B [mm] \Rightarrow a\circ [/mm] b [mm] \in [/mm] B$
Das ist die Abgeschlossenheit, die musst du zeigen, ja

> 2. neutrales Element e Element B

Das neutrale Element der Gruppe (also in diesem Fall Bij(G)) muss in H drinn sein, ja.
Was ist denn das neutrale Element von Bij(G)?
Wenn du das hast dann prüfe nach, ob es in H liegt.

> 3. alle b Element B:= b ^-1 Element B

Die Inversen müssen in B sein, stimmt.

>
> Muss ich jetzt einfach 1. - 3. beweisen???

genau ;)
Also überleg dir mal was genau die besagen und wie du sie zeigen kannst.

>
> Danke!


Bezug
                                
Bezug
Gruppen, Bijektivität: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:08 So 02.10.2011
Autor: Laylaylay

ooooo sorry!!!

B echte Teilmenge von A
und nicht B Element A

Bezug
                                        
Bezug
Gruppen, Bijektivität: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:11 So 02.10.2011
Autor: Schadowmaster

muss garkeine echte Teilmenge sein, B dürfte auch gleich A sein.^^
Aber davon abgesehen ja

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


^ Seitenanfang ^
www.matheraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]