www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Vorhilfe
  Status Geisteswiss.
    Status Erdkunde
    Status Geschichte
    Status Jura
    Status Musik/Kunst
    Status Pädagogik
    Status Philosophie
    Status Politik/Wirtschaft
    Status Psychologie
    Status Religion
    Status Sozialwissenschaften
  Status Informatik
    Status Schule
    Status Hochschule
    Status Info-Training
    Status Wettbewerbe
    Status Praxis
    Status Internes IR
  Status Ingenieurwiss.
    Status Bauingenieurwesen
    Status Elektrotechnik
    Status Maschinenbau
    Status Materialwissenschaft
    Status Regelungstechnik
    Status Signaltheorie
    Status Sonstiges
    Status Technik
  Status Mathe
    Status Schulmathe
    Status Hochschulmathe
    Status Mathe-Vorkurse
    Status Mathe-Software
  Status Naturwiss.
    Status Astronomie
    Status Biologie
    Status Chemie
    Status Geowissenschaften
    Status Medizin
    Status Physik
    Status Sport
  Status Sonstiges / Diverses
  Status Sprachen
    Status Deutsch
    Status Englisch
    Status Französisch
    Status Griechisch
    Status Latein
    Status Russisch
    Status Spanisch
    Status Vorkurse
    Status Sonstiges (Sprachen)
  Status Neuerdings
  Status Internes VH
    Status Café VH
    Status Verbesserungen
    Status Benutzerbetreuung
    Status Plenum
    Status Datenbank-Forum
    Status Test-Forum
    Status Fragwürdige Inhalte
    Status VH e.V.

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:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Gruppe, Ring, Körper" - Axiome eines Ringes Beweisen
Axiome eines Ringes Beweisen < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Axiome eines Ringes Beweisen: Tipp, Idee
Status: (Frage) beantwortet Status 
Datum: 17:30 Sa 25.10.2014
Autor: maba

Aufgabe
Es sei R = [mm] Abb(\IZ;\IZ) [/mm] = {f : [mm] \IZ \to \IZ} [/mm] mit Addition
(f + g)(z) := f(z) + g(z) (z [mm] \in \IZ) [/mm] und Multiplikation [mm] \circ [/mm] (Hintereinanderausführung von
Abbildungen). Zeigen Sie, dass [mm] (R;+;\circ) [/mm] alle Axiome eines Ringes erfüllt bis auf eines
der Distributivgesetze. Welches?

Hallo,

leider haben wir keine Idee wie wir hier vorgehen müssen
könnte uns jemand einen Tipp geben?

Wir haben gedacht wir müssen die Axiome beweisen nur wie?

Viele Grüße
maba

        
Bezug
Axiome eines Ringes Beweisen: Antwort
Status: (Antwort) fertig Status 
Datum: 17:52 Sa 25.10.2014
Autor: Marcel

Hallo,

> Es sei R = [mm]Abb(\IZ;\IZ) = \{f : \IZ \to \IZ\}[/mm] mit Addition
>  (f + g)(z) := f(z) + g(z) (z [mm]\in \IZ)[/mm] und Multiplikation
> [mm]\circ[/mm] (Hintereinanderausführung von
>  Abbildungen). Zeigen Sie, dass [mm](R;+;\circ)[/mm] alle Axiome
> eines Ringes erfüllt bis auf eines
>  der Distributivgesetze. Welches?
>  Hallo,
>  
> leider haben wir keine Idee wie wir hier vorgehen müssen
>  könnte uns jemand einen Tipp geben?

>

> Wir haben gedacht wir müssen die Axiome beweisen nur wie?

Axiome sind nicht beweisbar. Aber ihr sollt nachweisen, dass in [mm] $(R,+,\circ)$ [/mm] die
Axiome "erfüllt" sind.

Okay, dazu erstmal folgendes: Ich zeige, dass

    $(R, [mm] \circ)$ [/mm]

eine Halbgruppe ist. Insbesondere bedeutet dies, dass man sich die
sogenannte "Abgeschlossenheit" von [mm] $\circ$ [/mm] bewußt machen muss, und zudem,
dass hier das Assoziativgesetz gilt.

Zur Abgeschlossenheit:
Zu zeigen ist: Sind $f,g [mm] \in Abb(\IZ,\IZ)\,,$ [/mm] so folgt auch

    $f [mm] \circ [/mm] g [mm] \in Abb(\IZ,\IZ)\,.$ [/mm]

Beweis: Aus $f,g [mm] \in Abb(\IZ,\IZ)$ [/mm] folgt, dass

    $f,g [mm] \colon \IZ \to \IZ$ [/mm]

Abbildungen sind. Generell gilt für die Hintereinanderausführung    

    $k [mm] \circ \ell$ [/mm] (beachte: hier ist das [mm] $\circ$ [/mm] nicht notwendig nur bzgl. [mm] $Abb(\IZ,\IZ)$ [/mm] gemeint!)

von Abbildungen $k [mm] \colon [/mm] N [mm] \to [/mm] P$ und [mm] $\ell \colon [/mm] M [mm] \to N\,,$ [/mm] dass

    $k [mm] \circ \ell \colon [/mm] M [mm] \to [/mm] P$ (mit $(k [mm] \circ \ell)(m):=k(\ell(m))$ [/mm] für alle $m [mm] \in [/mm] M$)

ist. Also ist

    $f [mm] \circ [/mm] g [mm] \colon \IZ \to \IZ\,,$ [/mm]

$f [mm] \circ [/mm] g$ ist eine Abbildung und damit ist auch

     $f [mm] \circ [/mm] g [mm] \in Abb(\IZ,\IZ)$ [/mm]

klar. [mm] $\Box$ [/mm]

Eigentlich ist das recht harmlos, aber da stecken schon Gedankengänge
dahinter, die man sich klarmachen sollte.

Nun noch die Assoziativität:
Wir haben für (beliebig, aber fest gewählte)

    [mm] $f\,, g\,, [/mm] h [mm] \in Abb(\IZ,\IZ)$ [/mm]

zu zeigen:

    $(f [mm] \circ [/mm] g) [mm] \circ [/mm] h=f [mm] \circ [/mm] (g [mm] \circ h)\,.$ [/mm]

Mach' Dir erstmal klar, dass in der Tat

    $(f [mm] \circ [/mm] g) [mm] \circ [/mm] h [mm] \colon \IZ \to \IZ$ [/mm]

und auch

    $f [mm] \circ [/mm] (g [mm] \circ [/mm] h) [mm] \colon \IZ \to \IZ\,,$ [/mm]

beides sind zudem Abbildungen.

Nun ist noch zu zeigen:

    [mm] $(f\circ [/mm] (g [mm] \circ [/mm] h))(z)=((f [mm] \circ [/mm] g) [mm] \circ [/mm] h)(z)$

gilt für alle $z [mm] \in \IZ\,.$ [/mm]

Das kann man etwa so beginnen: Für beliebiges, aber festes, $z [mm] \in \IZ$ [/mm] ist
einerseits

    [mm] $(f\circ [/mm] (g [mm] \circ [/mm] h))(z)=f((g [mm] \circ h)(z))=f(g(h(z)))\,,$ [/mm]

und auch andererseits

    $((f [mm] \circ g)\circ [/mm] h)(z)=(f [mm] \circ g)(h(z))=f(g(h(z)))\,.$ [/mm]

Also?

So: Ist jetzt klar, wie man vorgeht, wenn man sich die Gültigkeit anderer
Axiome anschauen will?

Gruß,
  Marcel

Bezug
                
Bezug
Axiome eines Ringes Beweisen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:51 Sa 25.10.2014
Autor: maba

Hallo,

danke für die Erklärung, dass hat geholfen.

Allerdings fragen wir uns jetzt noch wie wir zeigen das
Null und Eins Elemente von R sind.

Gibt es da einen Tipp wie man da ran geht?

Viele Grüße
Markus

Bezug
                        
Bezug
Axiome eines Ringes Beweisen: Antwort
Status: (Antwort) fertig Status 
Datum: 21:13 Sa 25.10.2014
Autor: Marcel

Hallo,

> Hallo,
>  
> danke für die Erklärung, dass hat geholfen.
>  
> Allerdings fragen wir uns jetzt noch wie wir zeigen das
>  Null und Eins Elemente von R sind.
>  
> Gibt es da einen Tipp wie man da ran geht?

zeigt erstmal, dass

    $Null [mm] \colon \IZ \to \IZ$ [/mm] mit [mm] $Null(z):=0\,$ [/mm] für alle $z [mm] \in \IZ$ [/mm]

neutral bzgl. der Addition ist.

Dann zeigt, dass

    [mm] $Eins:=\text{id}_{\IZ} \colon \IZ \to \IZ$ [/mm] mit [mm] $Eins(z):=\text{id}_{\IZ}(z):=z$ [/mm] für alle $z [mm] \in \IZ$ [/mm]

neutral bzgl. der "Multiplikation" [mm] $\circ$ [/mm] ist.

Dann denkt drüber nach, was ihr über "Eindeutigkeit" *der* neutralen
Elemente gelernt habt (wenn ihr unbedingt jeweils von DER [mm] $Null\,$ [/mm] bzw.
von DER [mm] $Eins\,$ [/mm] reden wollt).

Nebenbei: Habt ihr eine Idee, wie ich auf diese Kandidaten gekommen bin?

Gruß,
  Marcel

Bezug
                                
Bezug
Axiome eines Ringes Beweisen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 19:49 Mi 29.10.2014
Autor: maba

Hej,

danke erstmal für die Hilfe, wir haben die Übung abgegeben jetzt werden wir sehen.

Und das was du geschrieben hast werden wir am Wochenende nochmal versuchen zu verdeutlichen, bisher ist es aber noch etwas abstrakt.

Gruß
maba

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.vorhilfe.de