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 SonstigesBeweis zu Gruppe
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Lineare Algebra Sonstiges" - Beweis zu Gruppe
Beweis zu Gruppe < Sonstiges < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweis zu Gruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:21 Fr 06.01.2012
Autor: studentxyz

Kann man [mm] \IQ, [/mm] + so zeigen:


a,b,c [mm] \in \IQ [/mm]

G1:
(a + b) + c =  a + (b + c)      
a+b+c = a+b+c

G2:
neutrales Element: 1

G3:
-a + a = e

G4:
a+b = b+a

?


EDIT:
Hier die Zusammenfassung der ganzen Beiträge:

G1:
[mm](\bruch{a}{b}[/mm] + [mm]\bruch{c}{d})[/mm] + [mm]\bruch{e}{f}[/mm] = [mm]\bruch{a}{b}[/mm] + [mm](\bruch{c}{d}[/mm] + [mm]\bruch{e}{f})[/mm]
[mm](\bruch{a*d+b*c}{b*d})[/mm] + [mm]\bruch{e}{f}[/mm] = [mm]\bruch{a}{b}[/mm] + ([mm]\bruch{c*f+e*d}{d*f})[/mm]
[mm]\bruch{(a*d+b*c*f+e*b*d}{b*d*f}[/mm] =
[mm]\bruch{a*d*f+b*c*f+e*d)}{b*d*f}[/mm]

G2:
[mm] \frac{a}{b}+\frac{0}{1} [/mm] = [mm] \frac{a*1+0*b}{1*b} [/mm] = [mm] \frac{a}{b} [/mm]

G3:
[mm]\frac{a}{b}+\left(-\frac{a}{b}\right)=\frac{a}{b}+\frac{-1}{1}\cdot{}\frac{a}{b}=\frac{a}{b}+\frac{(-1)\cdot{}a}{1\cdot{}b}=\frac{a}{b}+\frac{-a}{b}=\frac{a\cdot{}b+b\cdot{}(-a)}{b\cdot{}b}=...=\frac{0}{b^2}=0=\frac{0}{1}[/mm]

Die "..." nutzen Rechenregeln in [mm] $\IZ$ [/mm] aus!

Die abgeschlossenheit, sowie Addition/Multiplikation in [mm] \IZ [/mm] werden hier nicht bewiesen!


        
Bezug
Beweis zu Gruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 17:34 Fr 06.01.2012
Autor: schachuzipus

Hallo studentxyz,


> Kann man [mm]\IQ,[/mm] + so zeigen:

[haee]

Meinst du, ob man auf die folgende Weise zeigen kann, dass [mm](\IQ,+)[/mm] eine Gruppe ist?

>  
>
> a,b,c [mm]\in \IQ[/mm]
>  
> G1:
>  (a + b) + c =  a + (b + c)      
> a+b+c = a+b+c
>  
> G2:
>  neutrales Element: 1
>  
> G3:
>  -a + a = e
>  
> G4:
>  a+b = b+a
>  
> ?

Es fehlen jegliche Beweise! Da steht nur, was zu zeigen ist.

Außerdem fehlt als Punkt G0 die Abgeschlossenheit von [mm]\IQ[/mm] bzgl. +:

Zeige: [mm]\forall a,b\in\IQ: a+b\in\IQ[/mm]

Nutze mal aus, wie du ein Element [mm]a\in\IQ[/mm] schreiben kannst ...


Gruß

schachuzipus


Bezug
                
Bezug
Beweis zu Gruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:27 Fr 06.01.2012
Autor: studentxyz

Ja, es geht um die Gruppe ( [mm] \IQ, [/mm] +)

G1:
[mm] (\bruch{a}{b} [/mm] + [mm] \bruch{c}{d}) [/mm] + [mm] \bruch{e}{f} [/mm] = [mm] \bruch{a}{b} [/mm] + [mm] (\bruch{c}{d} [/mm] + [mm] \bruch{e}{f}) [/mm]
[mm] (\bruch{a*d+b*c}{b*d}) [/mm] + [mm] \bruch{e}{f} [/mm] = [mm] \bruch{a}{b} [/mm] + ( [mm] \bruch{c*f+e*d}{d*f}) [/mm]
[mm] \bruch{(a*d+b*c)*f+e*b*d}{b*d*f} [/mm] = [mm] \bruch{a*d*f+b*(c*f+e*d)}{b*d*f} [/mm]

Besonders eindeutig sieht man es hiermit nicht, wie macht man das besser?


Bezug
                        
Bezug
Beweis zu Gruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 19:36 Fr 06.01.2012
Autor: angela.h.b.


> Ja, es geht um die Gruppe ( [mm]\IQ,[/mm] +)
>  
> G1:
>  [mm](\bruch{a}{b}[/mm] + [mm]\bruch{c}{d})[/mm] + [mm]\bruch{e}{f}[/mm] =
> [mm]\bruch{a}{b}[/mm] + [mm](\bruch{c}{d}[/mm] + [mm]\bruch{e}{f})[/mm]
>  [mm](\bruch{a*d+b*c}{b*d})[/mm] + [mm]\bruch{e}{f}[/mm] = [mm]\bruch{a}{b}[/mm] + (
> [mm]\bruch{c*f+e*d}{d*f})[/mm]
>  [mm]\bruch{(a*d+b*c)*f+e*b*d}{b*d*f}[/mm] =
> [mm]\bruch{a*d*f+b*(c*f+e*d)}{b*d*f}[/mm]
>  
> Besonders eindeutig sieht man es hiermit nicht, wie macht
> man das besser?

Hallo,

wenn Du im Zähler die Klamern auflöst (und Dir gleichzeitig überlegst, warum Du das darfst), sieht man die Gleichheit doch deutlich.

Gruß v. Angela

>    


Bezug
                                
Bezug
Beweis zu Gruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:32 Fr 06.01.2012
Autor: studentxyz


>
> > Ja, es geht um die Gruppe ( [mm]\IQ,[/mm] +)
>  >  
> > G1:
>  >  [mm](\bruch{a}{b}[/mm] + [mm]\bruch{c}{d})[/mm] + [mm]\bruch{e}{f}[/mm] =
> > [mm]\bruch{a}{b}[/mm] + [mm](\bruch{c}{d}[/mm] + [mm]\bruch{e}{f})[/mm]
>  >  [mm](\bruch{a*d+b*c}{b*d})[/mm] + [mm]\bruch{e}{f}[/mm] = [mm]\bruch{a}{b}[/mm] +
> (
> > [mm]\bruch{c*f+e*d}{d*f})[/mm]
>  >  [mm]\bruch{(a*d+b*c)*f+e*b*d}{b*d*f}[/mm] =
> > [mm]\bruch{a*d*f+b*(c*f+e*d)}{b*d*f}[/mm]
>  >  
> > Besonders eindeutig sieht man es hiermit nicht, wie macht
> > man das besser?
>  
> Hallo,
>  
> wenn Du im Zähler die Klamern auflöst (und Dir
> gleichzeitig überlegst, warum Du das darfst), sieht man
> die Gleichheit doch deutlich.
>  

Ah stimmt, die Multiplikation ist assoziativ. also kann die Klammer im Zähler wegfallen.


G2:
neutrales Element = 0

0 + [mm] \bruch{a}{b} [/mm] = [mm] \bruch{a}{b} [/mm]       reicht das?

G3:
[mm] -\bruch{a}{b}+\bruch{a}{b} [/mm] = 0

G4:
[mm] \bruch{a}{b} [/mm] + [mm] \bruch{c}{d} [/mm] = [mm] \bruch{c}{d} [/mm] + [mm] \bruch{a}{b} [/mm]
[mm] \bruch{a*d+c*b}{b*d} [/mm] = [mm] \bruch{a*d+c*b}{b*d}[/mm]

Bezug
                                        
Bezug
Beweis zu Gruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 21:58 Fr 06.01.2012
Autor: leduart

Hallo
bei G3 fehlt die eigentliche Beweiszeile
in den anderen Rechnungen der hinweis, dass zu Kommutativ und assotiativgesetz der ganzen zahlen benutzt.
die abgeschlosenheit unter addition fehlt auch noch
Gruss leduart

Bezug
                                                
Bezug
Beweis zu Gruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 09:16 Sa 07.01.2012
Autor: studentxyz


> Hallo
>  bei G3 fehlt die eigentliche Beweiszeile

G3:

[mm] -\bruch{a}{b}+\bruch{a}{b} [/mm] = 0
0 = 0

Wie kann man das weiter beweisen?


> in den anderen Rechnungen der hinweis, dass zu Kommutativ
> und assotiativgesetz der ganzen zahlen benutzt.
>  die abgeschlosenheit unter addition fehlt auch noch

Werde ich nochmal nachfragen, haben wir aber bisher soweit ich weiss als gegeben hingenommen.



Bezug
                                                        
Bezug
Beweis zu Gruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 10:55 Sa 07.01.2012
Autor: angela.h.b.


> > Hallo
>  >  bei G3 fehlt die eigentliche Beweiszeile
>
> G3:
>  
> [mm]-\bruch{a}{b}+\bruch{a}{b}[/mm] = 0
>  0 = 0
>  
> Wie kann man das weiter beweisen?

Hallo,

von "weiter beweisen" kann überhaupt nicht die Rede sein. Du müßtest erstmal beginnen, irgendetwas zu beweisen.

[mm] -\bruch{a}{b} [/mm] bedeutet ja zunächst mal nichts anderes als "das Inverse von [mm] \bruch{a}{b} [/mm] bzgl der Addition."
Welches nun das Inverse von [mm] \bruch{a}{b} [/mm] bzgl der Addition ist, wäre erstmal zu überlegen.
Das, was Du schreibst deutet daraufhin, daß Ihr gesagt habt, daß rationale Zahlen Zahlen der Gestalt [mm] \bruch{p}{q} [/mm] sind mit [mm] p\in \IZ [/mm] und [mm] q\in \IZ\\{0}, [/mm] und dann habt Ihr eine Addition von rationalen Zahlen erklärt.
Neckische Zahlen der Gestalt [mm] \*\bruch{p}{q}, [/mm] § [mm] \bruch{p}{q}, ]\bruch{p}{q}, -\bruch{p}{q} [/mm] sind aber gar nicht erklärt.

Zurück zur Aufgabe: Du hast zu zeigen, daß es zu jedem [mm] \bruch{a}{b}\in \IQ [/mm] ein inverses Element gibt.
Nun mußt Du ein Element der Gestalt [mm] \bruch{p}{q} [/mm] angeben und dann unter Nutzung der Regeln für die Addition rationaler Zahlen und die Regeln, die Dir für das Rechnen mit ganzen Zahlen bekannt sind, vorrechnen, daß die Summe das neutrale Element von [mm] \IQ [/mm] ergibt.

Ich finde übrigens auch den Beweis zum neutralen Element nicht befriedigend. Müßte nicht das neutrale Element von [mm] \IQ [/mm] auch die Gestalt der Elemente aus [mm] \IQ [/mm] haben?
Bedenke, daß Du nicht aus dem Wissen schöpfen darfst, was Du in der Unterstufe erworben hast, sondern nur mit Sätzen und Definitionen aus Deiner Vorlesung arbeiten darfst.

Und an dieser Stelle (nunja, in Wahrheit bereits im Angesichte der Aufgabenstellung) steht für mich eine weitere Frage im Raum: habt Ihr die rationalen Zahlen wirklich als Brüche definiert, oder anders? Womöglich als Äquivalenzklassen? Falls dem so ist, müßtest Du natürlich die geforderten Beweise entsprechend führen.


> Werde ich nochmal nachfragen, haben wir aber bisher soweit
> ich weiss als gegeben hingenommen.

In dem Moment, indem Du die Gruppeneigenschaften zeigen sollst, mußt Du prüfen, ob die Verknüpfung zweier Elemente der Menge wieder ein Element der Menge liefert.
Da gibt's nichts als gegeben hinzunehmen - zumal die Überprüfung ja wirklich einfach ist.

Gruß v. Angela


>  
>  


Bezug
                                                                
Bezug
Beweis zu Gruppe: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 20:23 Sa 07.01.2012
Autor: studentxyz

Da nächste Woche die Klausur ansteht, verschiebe ich diese Aufgabe auf nach die Klausur.
Danke für eure Zeit.

Bezug
                                                                
Bezug
Beweis zu Gruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:31 Mo 09.01.2012
Autor: studentxyz


> Zurück zur Aufgabe: Du hast zu zeigen, daß es zu jedem
> [mm]\bruch{a}{b}\in \IQ[/mm] ein inverses Element gibt.
> Nun mußt Du ein Element der Gestalt [mm]\bruch{p}{q}[/mm] angeben
> und dann unter Nutzung der Regeln für die Addition
> rationaler Zahlen und die Regeln, die Dir für das Rechnen
> mit ganzen Zahlen bekannt sind, vorrechnen, daß die Summe
> das neutrale Element von [mm]\IQ[/mm] ergibt.

[mm] \bruch{a}{b} [/mm] + ( - [mm] \bruch{a}{b} [/mm] ) = [mm] \bruch{a}{b} [/mm] - [mm] \bruch{a}{b} [/mm] = [mm] \bruch{0}{0} [/mm]

Mehr fällt mir dazu nicht ein :(
die Nenner sind hier ja schon identisch.


Bezug
                                                                        
Bezug
Beweis zu Gruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 15:32 Mo 09.01.2012
Autor: schachuzipus

Hallo nochmal,


> > Zurück zur Aufgabe: Du hast zu zeigen, daß es zu jedem
> > [mm]\bruch{a}{b}\in \IQ[/mm] ein inverses Element gibt.
> > Nun mußt Du ein Element der Gestalt [mm]\bruch{p}{q}[/mm] angeben
> > und dann unter Nutzung der Regeln für die Addition
> > rationaler Zahlen und die Regeln, die Dir für das Rechnen
> > mit ganzen Zahlen bekannt sind, vorrechnen, daß die Summe
> > das neutrale Element von [mm]\IQ[/mm] ergibt.
>  
> [mm]\bruch{a}{b}[/mm] + ( - [mm]\bruch{a}{b}[/mm] ) = [mm]\bruch{a}{b}[/mm] -  [mm]\bruch{a}{b}[/mm] = [mm]\bruch{0}{0}[/mm]


Eieiei, [mm]\frac{0}{0}[/mm] ????

Das ist nicht gut ...

Wie ist die Addition definiert?

Es ist [mm]\frac{a}{b}+\left(-\frac{a}{b}\right)=\frac{a}{b}+\frac{-1}{1}\cdot{}\frac{a}{b}=\frac{a}{b}+\frac{(-1)\cdot{}a}{1\cdot{}b}=\frac{a}{b}+\frac{-a}{b}=\frac{a\cdot{}b+b\cdot{}(-a)}{b\cdot{}b}=...=\frac{0}{b^2}=0=\frac{0}{1}[/mm]

Die "..." nutzen Rechenregeln in [mm] $\IZ$ [/mm] aus!

Ebenso [mm]-\frac{a}{b}+\frac{a}{b}=0[/mm]

> Mehr fällt mir dazu nicht ein :(
>  die Nenner sind hier ja schon identisch.

Du musst schon auf die Definitionen der Addition und Multiplikation der rationalen Zahlen zurückgreifen ...

Gruß

schachuzipus


Bezug
                                                                                
Bezug
Beweis zu Gruppe: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:42 Mo 09.01.2012
Autor: fred97


>  
>
> Eieiei, [mm]\frac{0}{0}[/mm] ????


Vielleicht meint er auch [mm] \frac{Ei}{Ei} [/mm]

Besser wirds damit nicht, aber er ist weiter weg von der Todesstrafe....

FRED


Bezug
                                                                                
Bezug
Beweis zu Gruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:52 Fr 13.01.2012
Autor: studentxyz

[mm]\frac{a}{b}+\left(-\frac{a}{b}\right)=\frac{a}{b}+\frac{-1}{1}\cdot{}\frac{a}{b}=\frac{a}{b}+\frac{(-1)\cdot{}a}{1\cdot{}b}=\frac{a}{b}+\frac{-a}{b}=\frac{a\cdot{}b+b\cdot{}(-a)}{b\cdot{}b}=...=\frac{0}{b^2}=0=\frac{0}{1}[/mm]


darf man den ... Teil als:

[mm] \bruch{\underbrace{b+b+...+b}_{a mal} \underbrace{+(-a)+(-a)+(-a)...+(-a)}_{b mal}}{b \cdot b} [/mm] = [mm] \bruch{0}{b^2} [/mm]
schreiben?

Bezug
                                                                                        
Bezug
Beweis zu Gruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 13:24 Fr 13.01.2012
Autor: leduart

Hallo
ich setze vorraus dass die Regeln für [mm] a,b\in\IZ [/mm] bekannt sind. dann beziehst du dich darauf und musst die nicht erst mit a*b=a+a+a-... herleiten
du mußt nur sagen, welche -bekannten- Gesetze aus [mm] \IZ [/mm] du verwendest.
Gruss leduart

Bezug
                                                                                                
Bezug
Beweis zu Gruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:57 Mo 16.01.2012
Autor: studentxyz

Jetzt fehlt noch G2, Existens eines neutralen Elements:

[mm] \frac{a}{b}+\frac{0}{1} [/mm] = [mm] \frac{a*1+0*b}{1*b} [/mm] = [mm] \frac{a}{b} [/mm]

ausgehend davon das die Rechenregeln der Addition/Multiplikation für [mm] \IZ [/mm] bekannt sind.

Kann man das so schreiben?

Bezug
                                                                                                        
Bezug
Beweis zu Gruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 15:45 Mo 16.01.2012
Autor: leduart

Hallo
si ists richtig
Gruss leduart

Bezug
                                                                                                                
Bezug
Beweis zu Gruppe: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 11:42 Mi 18.01.2012
Autor: studentxyz

Danke für die viele Geduld die ihr aufgebracht habt um meine Fragen zu beantworten.

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


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