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 "Maßtheorie" - Ring
Ring < Maßtheorie < Maß/Integrat-Theorie < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Maßtheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Ring: Mengenalgebra
Status: (Frage) beantwortet Status 
Datum: 13:21 Sa 04.12.2010
Autor: dennis2

Aufgabe
Sei [mm] A \subseteq P(X)[/mm] eine Mengenalgebra über X, wobei P(X) die Potenzmenge von X ist.

Zeigen Sie:
Mit der symmetrischen Differenz [mm] A \Delta B:=(A \backslash B)\cup (B \backslash A) [/mm] als Addition und dem Schnitt [mm] A \cap B [/mm] als Multiplikation ist A ein Ring mit Einselement.




Nur eine kurze Frage.
Wenn ich zeige, dass P(X) ein solcher Ring ist,
ist die Aufgabe dann gelöst?
(da [mm] A \subseteq P(X) [/mm]?)

        
Bezug
Ring: Beweisskizze
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:54 Sa 04.12.2010
Autor: dennis2

Ist Folgendes zu zeigen?

1.) Assoziativität von [mm] \Delta [/mm]
2.) Neutrales Element bzgl. [mm] \Delta [/mm]
3.) Inverses bzgl. [mm] \Delta [/mm]
4.) Kommutativität von [mm] \Delta [/mm]

[mm] \Rightarrow (A,\Delta) [/mm] ist abelsche Gruppe.

5.) Assoziativität von [mm] \cap [/mm]
6.) Gültigkeit der Distributivgesetze

[mm] \Rightarrow (A,\Delta,\cap) [/mm] ist Ring.

7.) Einselement

[mm] \Rightarrow [/mm] Behauptung




Bezug
        
Bezug
Ring: Antwort
Status: (Antwort) fertig Status 
Datum: 17:21 Sa 04.12.2010
Autor: Lippel

Hallo,

> Sei [mm]A \subseteq P(X)[/mm] eine Mengenalgebra über X, wobei P(X)
> die Potenzmenge von X ist.
>  
> Zeigen Sie:
>  Mit der symmetrischen Differenz [mm]A \Delta B:=(A \backslash B)\cup (B \backslash A)[/mm]
> als Addition und dem Schnitt [mm]A \cap B[/mm] als Multiplikation
> ist A ein Ring mit Einselement.
>  
>
>
> Nur eine kurze Frage.
>  Wenn ich zeige, dass P(X) ein solcher Ring ist,
>  ist die Aufgabe dann gelöst?
>  (da [mm]A \subseteq P(X) [/mm]?)

Nein, dass reicht nicht, damit würdest du nur zeigen, dass A eine Teilmenge eines Ringes ist. A wäre damit aber noch nicht notwendig abgeschlossen unter den angegebenen Abbildungen. Wenn du allerdings weißt, dass P(X) ein Ring ist, kannst du ausrechnen, dass A ein Unterring ist. Allerdings kannst du es dann eigentlich auch direkt ausrechnen, genau wie du in deinem zweiten Kommentar beschrieben hast.

Viele Grüße, Lippel


Bezug
                
Bezug
Ring: Danke
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 18:14 Sa 04.12.2010
Autor: dennis2

Okay, dann halte ich mich an meine Beweisskizze.
Vielen Dank für die Bestätigung!


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Maßtheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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