www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Englisch
  Status Grammatik
  Status Lektüre
  Status Korrekturlesen
  Status Übersetzung
  Status Sonstiges (Englisch)

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

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Lineare Algebra Sonstiges" - Potenzmengenring, symm. Diffe.
Potenzmengenring, symm. Diffe. < Sonstiges < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Potenzmengenring, symm. Diffe.: Nachweis d. symmetr. Differenz
Status: (Frage) beantwortet Status 
Datum: 11:38 Mo 07.05.2007
Autor: neuling_hier

Aufgabe
Es sei $M$ eine beliebige Menge, $Pot(M)$ die Potenzmenge von $M$ und + eine Verknüpfung auf $Pot(M)$ so, daß $(Pot(M), +, [mm] \cap)$ [/mm] ein Ring ist.

Man zeige: Dann ist + die symmetrische Differenz [mm] $\triangle$ [/mm] auf $Pot(M)$.

Eine Aufgabe, die mir Kopfzerbrechen bereitet ...

Um o.g. Behauptung zu beweisen, möchte ich folgendes zeigen:

  [mm] $\forall [/mm] A,B [mm] \in [/mm] R : A+B = [mm] (A\cup B)\setminus (A\cap [/mm] B)$.

Problem: Ich weiß nicht, wie ich das "+" in eine Mengenoperation umwandle, so daß ich einen Term aus Mengenoperationen [mm] $\cap, \cup, \setminus$ [/mm] in die symmetr. Differenz umformen kann.

Einige Ansätze meinerseits:

$R$ ist idempotent, denn für alle [mm] $A\in [/mm] Pot(M)$ gilt [mm] $A\cap [/mm] A = A$.

Daraus folgt $A+A = 0$ , wobei 0 das Nullelement in $R$ bzgl. + ist. Außerdem gilt [mm] $A\cap [/mm] B = [mm] B\cap [/mm] A$ für alle $A, [mm] B\in [/mm] R$ (beides folgt aus der Idempotenz, was ich bereits bewiesen habe), also $R$ ist sogar ein kommutativer Ring.

Es gilt:  [mm] $A\cap [/mm] 0 + 0 = [mm] A\cap [/mm] 0 = [mm] (A\cap [/mm] 0) + [mm] (A\cap [/mm] 0)$, also $0 = [mm] A\cap [/mm] 0$.
Da [mm] $\emptyset$ [/mm] die einzige Menge aus $Pot(M)$ ist, die mit einer Menge [mm] $A\in [/mm] Pot(M)$ geschnitten wieder die leere Menge ergibt, gilt $0 = [mm] \emptyset$. [/mm]

Aber das reicht noch nicht ...

Kann mir jemand einen hilfreichen Tipp geben, wie ich dieses fiese "+" umformen bzw. den Übergang zur Formel der symmetrischen Differenz schaffe?

Danke!! :-)

        
Bezug
Potenzmengenring, symm. Diffe.: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 10:17 Mi 20.06.2007
Autor: neuling_hier

Wirklich niemand? Schade :-(

Bezug
        
Bezug
Potenzmengenring, symm. Diffe.: Tipp
Status: (Antwort) fertig Status 
Datum: 14:13 Mi 20.06.2007
Autor: dormant

Hi!

Das sind schon recht gute Überlegungen, die du da hast. Bei dieser Aufgabe solltest du einfach zeigen, dass (P(M), [mm] \triangle, \cap) [/mm] ein Ring ist. Dabei ist klar, dass [mm] \cap [/mm] die mengentheoretische Multiplikation ist, und die Rechnung bzgl. [mm] \cap [/mm] kannst du weglassen.

Wenn man festhält, dass [mm] +:=\triangle, [/mm] dann ist klar, dass (wie du zum größten Teil schon selber bewiesen hast):

i) A, B [mm] \in [/mm] P(M), dann [mm] A+B\in [/mm] P(M),
ii) aus [mm] A+\emptyset=A [/mm] folgt [mm] \emptyset=0, [/mm]
iii) A+A=0
iv) A+B=B+A
v) AB=BA
vi) A(B+C)=AB+AC

Du solltest höchstens v) und vi) nachweisen und dann bist du fertig.

Gruß,
dormant

Bezug
                
Bezug
Potenzmengenring, symm. Diffe.: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 15:10 Do 21.06.2007
Autor: neuling_hier

Hallo dormant,

Vielen lieben Dank für Deine Antwort, ich freue mich über jede Hilfe.

In der Aufgabe soll ich aber nicht zeigen, daß (Pot(M), +, [mm] \cap) [/mm] ein Ring ist, wenn + = [mm] \triangle [/mm] (dieses habe ich in einer anderen Aufgabe schon bewiesen), sondern die Aussage:

  "Ist (Pot(M), +, [mm] \cap) [/mm] ein Ring, so folgt: + ist die symmetrische Differenz [mm] \triangle". [/mm]

Bzw. als Kontraposition:

  Ist + nicht die symmetrische Differenz, so ist (Pot(M), +, [mm] \cap) [/mm] kein Ring.
  
Ich komme dabei irgendwie nicht weiter?

Bezug
                        
Bezug
Potenzmengenring, symm. Diffe.: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:20 Sa 23.06.2007
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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