www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

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
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenLineare Algebra SonstigesBeweise
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Lineare Algebra Sonstiges" - Beweise
Beweise < Sonstiges < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweise: Brauche Anstoß
Status: (Frage) beantwortet Status 
Datum: 16:45 Mi 21.10.2009
Autor: julmarie

Aufgabe
Für a, b [mm] \in \IR [/mm] definiere a [mm] \oplus [/mm] b := a+b+ab. Zeigen SIe
1. [mm] (\IR\ [/mm] \ [mm] \{-1\}, \oplus) [/mm] ist eine abelsche Gruppe

Hi,

hab leider gar keine Ahnung wie ich da ran gehen soll.. hat jemand vielleicht nen denkanstoß oder kann mir irgendwie helfen?

Und da hätt ich dann noch ne ganz grundlegende Frage, was heißt das Zeichen: [mm] \oplus [/mm]

Danke im vorraus..



        
Bezug
Beweise: Gruppen-Axiome
Status: (Antwort) fertig Status 
Datum: 16:49 Mi 21.10.2009
Autor: Roadrunner

Hallo julmarie!


Du musst für diese vorgegebene Verknüpfung [mm] $\oplus$ [/mm] die einzelnen []Gruppen-Axiome nachweisen.

[mm] $\oplus$ [/mm] ist lediglich ein Symbol für eine Verknüpfung.


Gruß vom
Roadrunner


Bezug
                
Bezug
Beweise: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 16:52 Mi 21.10.2009
Autor: julmarie

Aufgabe
Du musst für diese vorgegebene Verknüpfung $ [mm] \oplus [/mm] $ die einzelnen []Gruppen-Axiome nachweisen.

hmm.. aber wie muss ich denn beginnen, welche Gruppenaxiome soll ich beweisen und vor allem wie?

vielleicht kannst du mir noch ein wenig helfen..

Bezug
                        
Bezug
Beweise: Antwort
Status: (Antwort) fertig Status 
Datum: 16:56 Mi 21.10.2009
Autor: Arcesius

Hallo

> Du musst für diese vorgegebene Verknüpfung [mm]\oplus[/mm] die
> einzelnen []Gruppen-Axiome nachweisen.
>  hmm.. aber wie muss ich denn beginnen, welche
> Gruppenaxiome soll ich beweisen und vor allem wie?

Na, du musst ja beweisen, dass es eine Gruppe ist.. also musst du ALLE Gruppenaxiome nachweisen! ;)
Weisst du, wie eine Gruppe definiert ist? Sobald du das herausgefunden hast, bilde Elemente der Menge mit der vorgegebenen Vorschrift ab und prüfe, ob die Axiome gelten.

>  
> vielleicht kannst du mir noch ein wenig helfen..

Grüsse, Amaro

Bezug
                                
Bezug
Beweise: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:08 Mi 21.10.2009
Autor: julmarie

Aufgabe
Aufgabe
Für a, b $ [mm] \in \IR [/mm] $ definiere a $ [mm] \oplus [/mm] $ b := a+b+ab. Zeigen SIe
1. $ [mm] (\IR\ [/mm] $ \ $ [mm] \{-1\}, \oplus) [/mm] $ ist eine abelsche Gruppe  

und was hat das mit der -1 auf sich?

ich hab jetzt die Gruppenaxiome rausgesucht, die quasi nachgewiesen werden müssen:

(G1) (a [mm] \circ [/mm] b) [mm] \circ [/mm] c = a [mm] \circ [/mm] (b [mm] \circ [/mm] c)
(G2) 1. e (neutrales Element) [mm] \circ [/mm] a = a
        2. es gibt ein inveres Elemt a´ [mm] \in [/mm] G mit a´ [mm] \circa [/mm] = e
(G3) a [mm] \circ [/mm] b = b [mm] \circ [/mm] a

aber wie muss ich das beweisen, ich will ja überprüfen, das diese Axiome gelten, weil  dann [mm] (\IR\ [/mm] $ \ $ [mm] \{-1\}, \oplus) [/mm] eine abelsche Gruppe ist, aber wie geht das?

stehe gard voll auf dem schlauch..

Bezug
                                        
Bezug
Beweise: erste Schritte
Status: (Antwort) fertig Status 
Datum: 17:19 Mi 21.10.2009
Autor: Roadrunner

Hallo julmarie!


Betrachten wir mal $(a [mm] \circ b)\circ [/mm] c$ :

[mm] $$(\blue{a \oplus b})\oplus [/mm] c \ = \ [mm] (\blue{a+b+a*b})\oplus [/mm] c \ = \ (a+b+a*b)+c+(a+b+a*b)*c \ = \ ...$$
Nun weiter zusammenfassen.

Untersuche analog $a [mm] \oplus (b\oplus [/mm] c) $ und vergleiche die entstehenden Terme.


Gruß vom
Roadrunner


Bezug
                                                
Bezug
Beweise: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:47 Mi 21.10.2009
Autor: julmarie

Tut mir leid, aber ich verstehe nicht, wie du auf  (a+b+a *b) kommst .. wieso einmal plus und einmal minus?
Und noch einmal meine Frage, in welchem zusammenhang steht hier die Minus 1 von meiner Aufgabe?

schönen abend noch

Bezug
                                                        
Bezug
Beweise: Definition anwenden
Status: (Antwort) fertig Status 
Datum: 19:51 Mi 21.10.2009
Autor: Roadrunner

Hallo julmarie!


> Tut mir leid, aber ich verstehe nicht, wie du auf  (a+b+a *b) kommst ..

Indem ich die vordefinierte Verknüpfung aus der Aufgabenstellung anwende.


> wieso einmal plus und einmal minus?

Welches Minus? In meinem Post ist kein Minus enthalten.


> Und noch einmal meine Frage, in welchem zusammenhang steht
> hier die Minus 1 von meiner Aufgabe?

Dass Du hier alle reellen Werte mit  Ausnahme der $-1_$ für die einzelnen Variablen einsetzen darfst.


Gruß vom
Roadrunner


Bezug
                                                                
Bezug
Beweise: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:00 Mi 21.10.2009
Autor: julmarie

ach man bin ich blöd.. jetzt weiß ich vorher das kommt, aber dann komm ich zu einer anderen Frage, warum kommt im dritten schritt (a+b+a*b)+c + (a+b+a*b)*c ??

Bezug
                                                                        
Bezug
Beweise: weiterrechnen
Status: (Antwort) fertig Status 
Datum: 20:08 Mi 21.10.2009
Autor: Roadrunner

Hallo julmarie!


Weil wir nun die beiden Elemente $(a+b+a*b)_$ und $c_$ gemäß der Definition miteinander verknüpfen.


Gruß vom
Roadrunner


Bezug
                                                                                
Bezug
Beweise: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 20:17 Mi 21.10.2009
Autor: julmarie

ich glaub ich muss mich morgen nochmal dran setzen.. ich kann dir mit dem letzte Schritt nicht so ganz folgen..

Aber danke!

Bezug
                                        
Bezug
Beweise: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:29 So 25.10.2009
Autor: zehn

Aufgabe
Für a, b $ [mm] \in \IR [/mm] $ definiere a $ [mm] \oplus [/mm] $ b := a+b+ab. Zeigen SIe
1. $ [mm] (\IR\ [/mm] $ \ $ [mm] \{-1\}, \oplus) [/mm] $ ist eine abelsche Gruppe  

Hallo, spannendes Thema. Darf ich dazu mal eine Frage stellen?

(G1) und (G2) konnte ich dazu beweisen.
Aber wie beweise ich (G2), also:

- 1. e (neutrales Element) $ [mm] \circ [/mm] $ a = a
- 2. es gibt ein inveres Element a´ $ [mm] \in [/mm] $ G mit a´ [mm] \circ [/mm] a = e

__________________

Ich kann anfangen, aber komme zu nichts sinnvollem.

e [mm] \oplus [/mm] a = e + a + e*a

Darf ich jetzt für das neutrale Element richtige Werte einsetzen? Bin jetzt ja bei doch bekannten Rechenzeichen.
(Ich dachte mir, dass neutrale Element in der Addition ist 0 und bei der Multiplikation 1)

e + a + e*a = 0 + a + 1*a = 2a

Das kanns auch nicht sein.
Ich verseh's einfach nicht.

Bei zweitens bekomme ich übrigens 2e raus.

Hat da jemand einen richten Denkanstoß?
Das von mir hier ist nur hilfloses Gezucke.


Bezug
                                                
Bezug
Beweise: e ermitteln
Status: (Antwort) fertig Status 
Datum: 13:34 So 25.10.2009
Autor: Roadrunner

Hallo zehn,

[willkommenmr] !!


Löse die Gleichung $e [mm] \oplus [/mm] a \ = \ a$ auf:
$$e [mm] \oplus [/mm] \ a \ = \ e+a+e*a \ = \ a$$
Diese Gleichung nun auflösen. Gibt es ein eindeutiges $e_$ (also nicht in Abhängigkeit von $a_$ )?


Gruß vom
Roadrunner


Bezug
                                                        
Bezug
Beweise: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:03 So 25.10.2009
Autor: zehn

Vielen Dank für die nette Begrüßung und - das war eine verdammt schnelle Antwort :)

Dann komme ich mal kurz zurück auf meine Frage.
Ich rechne mal mit meinem noch Schulmathe vor und du kannst vielleicht einmal gucken ob das so richtig ist. (Ich schreibe die Zwischenschritte zur Übersicht daneben)

e [mm] \oplus [/mm] a = a
e+a+ea = a       |-a
e+ea = 0         | ausklammern
e*(1+a) = 0      |:(1+a) wegen $ [mm] (\IR\ [/mm] $ \ $ [mm] \{-1\}, \oplus) [/mm] $ kann (1+a) nicht 0 ergeben
e = 0

Ist das so richtig?
Jetzt könnte ich für e die 0 einsetzten
e+a+ea = a
0+a+0 =a
a = a

Also wäre e [mm] \oplus [/mm] a = a

Das sieht schon wieder sehr merkwürdig und nicht korrekt aus.
War es wenigstens die richtige Richtung?

Auf jeden Fall schon einmal Danke!

Bezug
                                                                
Bezug
Beweise: Antwort
Status: (Antwort) fertig Status 
Datum: 14:16 So 25.10.2009
Autor: ms2008de

Hallo,
> Vielen Dank für die nette Begrüßung und - das war eine
> verdammt schnelle Antwort :)
>  
> Dann komme ich mal kurz zurück auf meine Frage.
> Ich rechne mal mit meinem noch Schulmathe vor und du kannst
> vielleicht einmal gucken ob das so richtig ist. (Ich
> schreibe die Zwischenschritte zur Übersicht daneben)
>  
> e [mm]\oplus[/mm] a = a
>  e+a+ea = a       |-a
>  e+ea = 0         | ausklammern
>  e*(1+a) = 0      |:(1+a) wegen [mm](\IR\[/mm] \ [mm]\{-1\}, \oplus)[/mm]
> kann (1+a) nicht 0 ergeben
>  e = 0
>  
> Ist das so richtig?

Ja das stimmt.

>  Jetzt könnte ich für e die 0 einsetzten
> e+a+ea = a
>  0+a+0 =a
>  a = a
>  
> Also wäre e [mm]\oplus[/mm] a = a
>  
> Das sieht schon wieder sehr merkwürdig und korrekt aus.

Aber so ein neutrales Element haben wir doch gesucht für das  das gilt

>  War es wenigstens die richtige Richtung?

Naja, aus etwas Wahrem etwas Wahres zu folgern ist kein Beweis,
versuchen wirs doch mal folgendermaßen:

Seien 0, a [mm] \in \IR \backslash \{-1\}, [/mm] dann gilt:
0 [mm] \oplus [/mm] a= 0+ a+ 0*a= a
[mm] \Rightarrow [/mm] 0= [mm] e_{G} [/mm]    

Viele Grüße

Bezug
                                                                        
Bezug
Beweise: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:35 So 25.10.2009
Autor: zehn

Spock würde sagen: "Faszinierend."

Gut. Danke noch einmal für die schnelle Hilfe. Ich spüre wie sich meine Zahnräder im Kopf weitergedreht haben.
Ich probier das gleich noch mal am nächsten Fall durch.

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


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]