matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

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
StartseiteMatheForenNaive MengenlehreBeweis von Mengen
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Naive Mengenlehre" - Beweis von Mengen
Beweis von Mengen < naiv < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Naive Mengenlehre"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweis von Mengen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:21 Mi 27.10.2010
Autor: Mandy_90

Aufgabe
Man beweise für beliebige Mengen A,B,C:

a) A [mm] \cap [/mm] B=A-(A-B)
b) [mm] A\cup(B-A)=A \cup [/mm] B
c) A-(A [mm] \cap [/mm] B)=A-B
d) A [mm] \cap [/mm] (B-C)=(A [mm] \cap [/mm] B)-C

Hallo zusammen^^

Ich versuche grad obige Aussagen zu beweisen.
Da ich nicht so wirklich wusste wie ich rangehen soll,hab ich mir mal so Mengen als Kreise aufgezeichnet und mir schonmal die Aussagen anschaulich klar gemacht.
Dann hab ich versucht A zu beweisen.
Jedoch verstehe ich eine Sache nicht.In der Aufgabe steht A [mm] \cap [/mm] B=A-(A-B), aber es ist doch A [mm] \cap [/mm] B=A-(A-B)=A-A+B=B. Wie kann das sein?Wie kann die Schnittmenge=gesamte Menge B sein?
Bevor ich irgendwas beweise,muss das geklärt werden.
Kann mir das jemand erklären?

lg

        
Bezug
Beweis von Mengen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 19:29 Mi 27.10.2010
Autor: Lyrn

Heißt es wirklich A [mm] \cap [/mm] B =A-(A-B) und nicht A [mm] \cap [/mm] B =A [mm] \backslash [/mm] (A [mm] \backslash [/mm] B)?

Bezug
        
Bezug
Beweis von Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 19:35 Mi 27.10.2010
Autor: abakus


> Man beweise für beliebige Mengen A,B,C:
>  
> a) A [mm]\cap[/mm] B=A-(A-B)
>  b) [mm]A\cup(B-A)=A \cup[/mm] B
>  c) A-(A [mm]\cap[/mm] B)=A-B
>  d) A [mm]\cap[/mm] (B-C)=(A [mm]\cap[/mm] B)-C
>  Hallo zusammen^^
>  
> Ich versuche grad obige Aussagen zu beweisen.
>  Da ich nicht so wirklich wusste wie ich rangehen soll,hab
> ich mir mal so Mengen als Kreise aufgezeichnet und mir
> schonmal die Aussagen anschaulich klar gemacht.
>  Dann hab ich versucht A zu beweisen.
>  Jedoch verstehe ich eine Sache nicht.In der Aufgabe steht
> A [mm]\cap[/mm] B=A-(A-B), aber es ist doch A [mm]\cap[/mm]
> B=A-(A-B)=A-A+B=B. Wie kann das sein?Wie kann die

Hallo,
dein "-"-Zeichen ist schließlich nicht das Minus aus der Subtraktion von Zahlen, sondern das [mm] \setminus [/mm] aus der Mengenlehre.
Der Ausdruch [mm] A\setminus [/mm] ... heißt "die Menge A OHNE die Elemente ...", und da können keinesfalls neue Elemente hinzukommen nach den Motto "minus (minus... )= plus..."
Forme [mm] A\setminus [/mm] B am besten um in [mm] A\wedge(\neg [/mm] B).
Gruß Abakus

> Schnittmenge=gesamte Menge B sein?
>  Bevor ich irgendwas beweise,muss das geklärt werden.
>  Kann mir das jemand erklären?
>  
> lg


Bezug
                
Bezug
Beweis von Mengen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:59 Mi 27.10.2010
Autor: Mandy_90


>  dein "-"-Zeichen ist schließlich nicht das Minus aus der
> Subtraktion von Zahlen, sondern das [mm]\setminus[/mm] aus der
> Mengenlehre.
>  Der Ausdruch [mm]A\setminus[/mm] ... heißt "die Menge A OHNE die
> Elemente ...", und da können keinesfalls neue Elemente
> hinzukommen nach den Motto "minus (minus... )= plus..."
>  Forme [mm]A\setminus[/mm] B am besten um in [mm]A\wedge(\neg[/mm]

Ok,wenn ich das in die von dir genannte Form umschreibe,dann hab ich zunächst [mm] A-B=A\wedge(\negB), A-(A-B)=A\A-B=A\wedge(\neg(A\wedge(\negB)).Aber [/mm] irgendwie ist das kompliziertes als das andere.
Wie soll ich das damit beweisen?

Ich hab es so versucht
A [mm] \cap [/mm] B=A [mm] \cup [/mm] B-(A-B)-(B-A)=A+B-(A [mm] \cap [/mm] B)-(A-B)-(B-A)

Aber da ich hier nicht normal + und - rechnen kann,weiß ich nicht wie ich das weiter umformen kann.
Kann mir da jemand einen Tipp geben?

lg


Bezug
                        
Bezug
Beweis von Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 20:03 Mi 27.10.2010
Autor: abakus


> >  dein "-"-Zeichen ist schließlich nicht das Minus aus der

> > Subtraktion von Zahlen, sondern das [mm]\setminus[/mm] aus der
> > Mengenlehre.
>  >  Der Ausdruch [mm]A\setminus[/mm] ... heißt "die Menge A OHNE
> die
> > Elemente ...", und da können keinesfalls neue Elemente
> > hinzukommen nach den Motto "minus (minus... )= plus..."
>  >  Forme [mm]A\setminus[/mm] B am besten um in [mm]A\wedge(\neg[/mm]
>
> Ok,wenn ich das in die von dir genannte Form
> umschreibe,dann hab ich zunächst [mm]A-B=A\wedge(\negB), A-(A-B)=A\A-B=A\wedge(\neg(A\wedge(\negB)).Aber[/mm]
> irgendwie ist das kompliziertes als das andere.
>  Wie soll ich das damit beweisen?
>  
> Ich hab es so versucht
>  A [mm]\cap[/mm] B=A [mm]\cup[/mm] B-(A-B)-(B-A)=A+B-(A [mm]\cap[/mm] B)-(A-B)-(B-A)
>  
> Aber da ich hier nicht normal + und - rechnen kann,weiß
> ich nicht wie ich das weiter umformen kann.
>  Kann mir da jemand einen Tipp geben?
>  
> lg
>  

Bitte verwende die Vorschau vor dem Absenden.
Das Zeichen [mm] \setminus [/mm] kann man mit \ setminus schreiben.
Für die Negation eines Ausdrucks wie [mm] A\cup [/mm] B oder A [mm] \cap [/mm] B brauchst du die DeMorganschen Regeln.


Bezug
                                
Bezug
Beweis von Mengen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:55 Do 28.10.2010
Autor: Mandy_90

Ich hab es jetzt mal so versucht,wie du es gesagt,aber sehr weit komme ich da nicht:

A [mm] \cap [/mm] B=A [mm] \wedge \neg [/mm] (A [mm] \wedge \neg [/mm] B)=...ich könnte höchstens noch schreiben ...=A [mm] \cap (\overline{A \cap \overline{B}}). [/mm]

Wie kann ich hier weitermachen?

Oder ein anderer Ansatz wäre:

1.A [mm] \cap [/mm] B [mm] \subseteq [/mm] A-(A-B)
2. A [mm] \cap [/mm] B [mm] \supseteq [/mm] A-(A-B)

a [mm] \in [/mm] A [mm] \cap [/mm] B=a [mm] \in [/mm] A und a [mm] \in [/mm] B

lg

Bezug
                                        
Bezug
Beweis von Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 19:24 Do 28.10.2010
Autor: angela.h.b.


> Oder ein anderer Ansatz wäre:
>  
> 1.A [mm]\cap[/mm] B [mm]\subseteq[/mm] A-(A-B)
>  2. A [mm]\cap[/mm] B [mm]\supseteq[/mm] A-(A-B)

Hallo,

ja, genau, so macht man das normalerweise, wenn es um Mengen geht.

Du willst die Gleichheit zweier Mengen zeigen, dazu zeigst Du, daß jede Teilmenge der anderen ist, und am besten gelingt dies meiner Meinung nach elementweise, so wie Du auch beginnst.

Zu zeigen:

> 1.A [mm] $\cap$ [/mm] B [mm] $\subseteq$ [/mm] A-(A-B)

Beweis:

[mm] a\in A\cap [/mm] B

==>

[mm] a\in [/mm] A und [mm] a\in [/mm] B

==>

[mm] a\in [/mm] A und [mm] a\not\in [/mm] (A-B)

==>

[mm] a\in [/mm] A-(A-B)


> $ [mm] a\in [/mm] $ A $ [mm] \cap [/mm] $ [mm] B\red{=}a [/mm] $ [mm] \in [/mm] $ A und a $ [mm] \in [/mm] $ B

Dein rotes Gleichheitszeichen ist verkehrt.
Hier folgt eine Aussage aus der anderen, bzw. die Aussagen sind sogar äquivalent.

Richtig wäre also  $ [mm] a\in [/mm]  A  [mm] \cap B\quad \Rightarrwo\quad a\in [/mm]  A  [mm] \quad [/mm] und  [mm] \quad [/mm]  a  [mm] \in [/mm] B$
oder auch $ [mm] a\in [/mm]  A  [mm] \cap B\quad\gdw \quad a\in [/mm]  A [mm] \quad [/mm]  und  [mm] \quad [/mm] a  [mm] \in [/mm] B$.

Gruß v. Angela







Bezug
                                                
Bezug
Beweis von Mengen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:04 Fr 29.10.2010
Autor: Mandy_90

Aufgabe
b) $ [mm] A\cup(B-A)=A \cup [/mm] $ B
c) A-(A $ [mm] \cap [/mm] $ B)=A-B
d) A $ [mm] \cap [/mm] $ (B-C)=(A $ [mm] \cap [/mm] $ B)-C

Ok,ich hab jetzt versucht b),c) und d) zu beweisen.

b) 1.A [mm] \cup [/mm] (B-A) [mm] \subseteq [/mm] A [mm] \cup [/mm] B
    2.A [mm] \cup [/mm] (B-A) [mm] \supseteq [/mm] A [mm] \cup [/mm] B

zu Zeigen:A [mm] \cup [/mm] B [mm] \subseteq [/mm] A [mm] \cup [/mm] (B-A)

Beweis: a [mm] \in [/mm] A [mm] \cup [/mm] (B-A)

--> a [mm] \in [/mm] A oder a [mm] \in [/mm] B
--> a [mm] \in [/mm] A oder (a [mm] \in [/mm] B und a [mm] \not\in [/mm] A)
--> a [mm] \in [/mm] A [mm] \cup [/mm] (B-A)
--> a [mm] \in [/mm] A [mm] \cup [/mm] B [mm] \gdw [/mm] a [mm] \in [/mm] A oder (a [mm] \in [/mm] B und a [mm] \not\in [/mm] A).

c) 1.A-B [mm] \subseteq [/mm] A-(A [mm] \cap [/mm] B)
   2.A-B [mm] \supseteq [/mm] A-(A [mm] \cap [/mm] B)

zu Zeigen:
A-B [mm] \subseteq [/mm] A-(A [mm] \cap [/mm] B)

Beweis:
a [mm] \in [/mm] A-B
--> a [mm] \in [/mm] A und a [mm] \not\in [/mm] B
--> a [mm] \in [/mm] A und a [mm] \in [/mm] A [mm] \cap [/mm] B
--> a [mm] \in [/mm] A -(A [mm] \cap [/mm] B)
--> a [mm] \in [/mm] A [mm] \gdw [/mm] a [mm] \in [/mm] A und a [mm] \not\in [/mm] B

d) zu Zeigen: A [mm] \cap [/mm] (B-C) [mm] \subseteq [/mm] (A [mm] \cap [/mm] B)-C
Beweis:
a [mm] \in [/mm] A [mm] \cap [/mm] (B-C)
--> a [mm] \in [/mm] A und a [mm] \in [/mm] (B-C)
--> a  [mm] \in [/mm] A und a  [mm] \in [/mm] B und a [mm] \in [/mm] C
--> a  [mm] \in [/mm] (A [mm] \cap [/mm] B) und a [mm] \not\in [/mm] C
--> a [mm] \in [/mm] (A [mm] \cap [/mm] B)-C

Ist das so in Ordnung?

lg

Bezug
                                                        
Bezug
Beweis von Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 14:39 Fr 29.10.2010
Autor: schachuzipus

Hallo Mandy,

> b) [mm]A\cup(B-A)=A \cup[/mm] B
> c) A-(A [mm]\cap[/mm] B)=A-B
> d) A [mm]\cap[/mm] (B-C)=(A [mm]\cap[/mm] B)-C
> Ok,ich hab jetzt versucht b),c) und d) zu beweisen.
>
> b) 1.A [mm]\cup[/mm] (B-A) [mm]\subseteq[/mm] A [mm]\cup[/mm] B
> 2.A [mm]\cup[/mm] (B-A) [mm]\supseteq[/mm] A [mm]\cup[/mm] B [ok]
>
> zu Zeigen:A [mm]\cup[/mm] B [mm]\subseteq[/mm] A [mm]\cup[/mm] (B-A)
>
> Beweis: a [mm]\in[/mm] A [mm]\cup[/mm] (B-A)

ich würde das Element lieber x nennen (anders als die Mengen) ...

Außerdem willst du doch die andere Teilmengenbeziehung zeigen?!?!?!?!

>
> --> a [mm]\in[/mm] A oder a [mm]\in[/mm] B

[haee] Hier passt nix zusammen ...

> --> a [mm]\in[/mm] A oder (a [mm]\in[/mm] B und a [mm]\not\in[/mm] A)

Ui, das solltest du bitte unbedingt begründen!



> --> a [mm]\in[/mm] A [mm]\cup[/mm] (B-A)

Also wolltest du doch [mm] $x\in (A\cup [/mm] B) \ [mm] \Rightarrow [/mm] \ [mm] x\in A\cup(B-A)$ [/mm] zeigen !

Das ist total chaotisch!

> --> a [mm]\in[/mm] A [mm]\cup[/mm] B [mm]\gdw[/mm] a [mm]\in[/mm] A oder (a [mm]\in[/mm] B und a [mm]\not\in[/mm] A).

wieso?


Ich finde, du schreibst ziemlich unstrukturiert auf.

Man weiß als Leser gar nicht so recht, woran man (und schlimmer du) gerade ist (bist)

>
> c) 1.A-B [mm]\subseteq[/mm] A-(A [mm]\cap[/mm] B)
> 2.A-B [mm]\supseteq[/mm] A-(A [mm]\cap[/mm] B)
>
> zu Zeigen:
> A-B [mm]\subseteq[/mm] A-(A [mm]\cap[/mm] B)


>
> Beweis:
> a [mm]\in[/mm] A-B
> --> a [mm]\in[/mm] A und a [mm]\not\in[/mm] B [ok]
> --> a [mm]\in[/mm] A und a [mm]\in[/mm] A [mm]\cap[/mm] B

Wieso das?

Wenn a nicht in B ist, ist es doch insbesondere nicht im Schnitt von A und B (sonst wäre es in A UND B - Widerspruch!)


> --> a [mm]\in[/mm] A -(A [mm]\cap[/mm] B)
> --> a [mm]\in[/mm] A [mm]\gdw[/mm] a [mm]\in[/mm] A und a [mm]\not\in[/mm] B

Ich verstehe nicht, was du machst. Könntest du bitte recht kleinlich begründen, was du machst.

>
> d) zu Zeigen: A [mm]\cap[/mm] (B-C) [mm]\subseteq[/mm] (A [mm]\cap[/mm] B)-C
> Beweis:
> a [mm]\in[/mm] A [mm]\cap[/mm] (B-C)
> --> a [mm]\in[/mm] A und a [mm]\in[/mm] (B-C) [ok]
> --> a [mm]\in[/mm] A und a [mm]\in[/mm] B und a [mm]\in[/mm] C [notok]

[mm]a\in (B-C)\Rightarrow a\in B\wedge a\red{\notin} C[/mm] !!

> --> a [mm]\in[/mm] (A [mm]\cap[/mm] B) und a [mm]\not\in[/mm] C [ok]

Hier stimmts wieder, nur kurz begründen, es ist zwar (mir) einsichtig, aber dein Korrektor wird meckern, wie ne Ziege (wahlweise Ziegenbock)

> --> a [mm]\in[/mm] (A [mm]\cap[/mm] B)-C [ok]
>
> Ist das so in Ordnung?

Das letzte war ganz ok.
Was ist mit den anderen Teilmengenbeziehnungen (oder hast du die oben gezeigt?)

>
> lg

Gruß

schachuzipus


Bezug
                                                                
Bezug
Beweis von Mengen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:26 Fr 29.10.2010
Autor: Mandy_90

Ok,da das andere so chaotisch war,hab ich es überarbeitet.

b) 1.A [mm] \cup [/mm] (B-A) [mm] \subseteq [/mm] A [mm] \cup [/mm] B
    2.A [mm] \cup [/mm] (B-A) [mm] \supseteq [/mm] A [mm] \cup [/mm] B

Mein erste Frage ist,ob ich 1. und 2. zeigen muss,oder ob es reicht eins von beiden zu Zeigen ?

Dann zeige ich jetzt 1.
zu Zeigen:A [mm] \cup [/mm] (B-A) [mm] \subseteq [/mm] A [mm] \cup [/mm] B

Beweis: x [mm] \in [/mm] A [mm] \cup [/mm] (B-A)
[mm] \Rightarrow [/mm] x [mm] \in [/mm] A oder x [mm] \in [/mm] B-A
[mm] \Rightarrow [/mm] x [mm] \in [/mm] A oder x [mm] \in [/mm] B
[mm] \Rightarrow [/mm] x [mm] \in [/mm] A [mm] \cup [/mm] B

c) 1.A-B [mm] \subseteq [/mm] A-(A [mm] \cap [/mm] B)
   2.A-B [mm] \supseteq [/mm] A-(A [mm] \cap [/mm] B)

zu Zeigen: A-B [mm] \subseteq [/mm] A-(A [mm] \cap [/mm] B)

Beweis:
x [mm] \in [/mm] A-B
[mm] \Rightarrow [/mm] x [mm] \in [/mm] A und x [mm] \not\in [/mm] B
[mm] \Rightarrow [/mm] x [mm] \in [/mm] A und x [mm] \not\in [/mm] (A [mm] \cap [/mm] B)
[mm] \Rightarrow [/mm] x [mm] \in [/mm] A-(A [mm] \cap [/mm] B)

Ist es so besser?

lg

Bezug
                                                                        
Bezug
Beweis von Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 18:38 Fr 29.10.2010
Autor: fred97


> Ok,da das andere so chaotisch war,hab ich es
> überarbeitet.
>  
> b) 1.A [mm]\cup[/mm] (B-A) [mm]\subseteq[/mm] A [mm]\cup[/mm] B
>      2.A [mm]\cup[/mm] (B-A) [mm]\supseteq[/mm] A [mm]\cup[/mm] B
>  
> Mein erste Frage ist,ob ich 1. und 2. zeigen muss,oder ob
> es reicht eins von beiden zu Zeigen ?


Du mußt beides zeigen !


>  
> Dann zeige ich jetzt 1.
>  zu Zeigen:A [mm]\cup[/mm] (B-A) [mm]\subseteq[/mm] A [mm]\cup[/mm] B
>  
> Beweis: x [mm]\in[/mm] A [mm]\cup[/mm] (B-A)
>  [mm]\Rightarrow[/mm] x [mm]\in[/mm] A oder x [mm]\in[/mm] B-A
>  [mm]\Rightarrow[/mm] x [mm]\in[/mm] A oder x [mm]\in[/mm] B
>  [mm]\Rightarrow[/mm] x [mm]\in[/mm] A [mm]\cup[/mm] B
>  
> c) 1.A-B [mm]\subseteq[/mm] A-(A [mm]\cap[/mm] B)
>     2.A-B [mm]\supseteq[/mm] A-(A [mm]\cap[/mm] B)
>  
> zu Zeigen: A-B [mm]\subseteq[/mm] A-(A [mm]\cap[/mm] B)
>  
> Beweis:
>  x [mm]\in[/mm] A-B
>  [mm]\Rightarrow[/mm] x [mm]\in[/mm] A und x [mm]\not\in[/mm] B
>  [mm]\Rightarrow[/mm] x [mm]\in[/mm] A und x [mm]\not\in[/mm] (A [mm]\cap[/mm] B)
>  [mm]\Rightarrow[/mm] x [mm]\in[/mm] A-(A [mm]\cap[/mm] B)
>  
> Ist es so besser?

Ja

FRED

>  
> lg


Bezug
                                                
Bezug
Beweis von Mengen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:46 Sa 30.10.2010
Autor: Mandy_90


> Zu zeigen:
>  > 1.A [mm]\cap[/mm] B [mm]\subseteq[/mm] A-(A-B)

>  
> Beweis:
>  
> [mm]a\in A\cap[/mm] B
>  
> ==>
>  
> [mm]a\in[/mm] A und [mm]a\in[/mm] B
>  
> ==>
>  
> [mm]a\in[/mm] A und [mm]a\not\in[/mm] (A-B)
>  
> ==>
>  
> [mm]a\in[/mm] A-(A-B)
>  

Kann ich an dieser Stelle aufhören,also ist es damit bewiesen (wenn ich auch noch 2. bewiesen habe) oder muss ich noch irgendwas dazuschreiben,sodass es deutlich wird,dass die beiden Teilmengen voneinander sind?

lg

Bezug
                                                        
Bezug
Beweis von Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 13:54 Sa 30.10.2010
Autor: M.Rex

Hallo


>
> > Zu zeigen:
>  >  > 1.A [mm]\cap[/mm] B [mm]\subseteq[/mm] A-(A-B)

>  >  
> > Beweis:
>  >  
> > [mm]a\in A\cap[/mm] B
>  >  
> > ==>
>  >  
> > [mm]a\in[/mm] A und [mm]a\in[/mm] B
>  >  
> > ==>
>  >  
> > [mm]a\in[/mm] A und [mm]a\not\in[/mm] (A-B)
>  >  
> > ==>
>  >  
> > [mm]a\in[/mm] A-(A-B)
>  >  
>
> Kann ich an dieser Stelle aufhören,also ist es damit
> bewiesen (wenn ich auch noch 2. bewiesen habe) oder muss
> ich noch irgendwas dazuschreiben,sodass es deutlich
> wird,dass die beiden Teilmengen voneinander sind?

Überlege mal selber.
Du hast mit 2. gezeigt, dass $ A [mm] \cap [/mm] B [mm] \subseteq [/mm] A-(A-B) $
und mit 1, dass $ A [mm] \cap [/mm] B [mm] \supseteq [/mm] A-(A-B) $

Also gilt

$ A [mm] \cap [/mm] B [mm] \subseteq [/mm] A-(A-B) $
Und dass $ A [mm] \cap [/mm] B [mm] \supseteq [/mm] A-(A-B) $

Ziehe jetzt mal den korrekten SChluss aus diesen beiden Aussagen.

>  
> lg

Marius


Bezug
                                                                
Bezug
Beweis von Mengen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:57 Sa 30.10.2010
Autor: Mandy_90


> Hallo
>  
>
> >
> > > Zu zeigen:
>  >  >  > 1.A [mm]\cap[/mm] B [mm]\subseteq[/mm] A-(A-B)

>  >  >  
> > > Beweis:
>  >  >  
> > > [mm]a\in A\cap[/mm] B
>  >  >  
> > > ==>
>  >  >  
> > > [mm]a\in[/mm] A und [mm]a\in[/mm] B
>  >  >  
> > > ==>
>  >  >  
> > > [mm]a\in[/mm] A und [mm]a\not\in[/mm] (A-B)
>  >  >  
> > > ==>
>  >  >  
> > > [mm]a\in[/mm] A-(A-B)
>  >  >  
> >
> > Kann ich an dieser Stelle aufhören,also ist es damit
> > bewiesen (wenn ich auch noch 2. bewiesen habe) oder muss
> > ich noch irgendwas dazuschreiben,sodass es deutlich
> > wird,dass die beiden Teilmengen voneinander sind?
>  
> Überlege mal selber.
> Du hast mit 2. gezeigt, dass [mm]A \cap B \subseteq A-(A-B)[/mm]
>  
> und mit 1, dass [mm]A \cap B \supseteq A-(A-B)[/mm]
>  
> Also gilt
>  
> [mm]A \cap B \subseteq A-(A-B)[/mm]
>  Und dass [mm]A \cap B \supseteq A-(A-B)[/mm]
>  
> Ziehe jetzt mal den korrekten SChluss aus diesen beiden
> Aussagen.

Der korrekte Schluss aus diesen beiden Aussagen ist einfach A [mm] \cap [/mm] B=A [mm] \cap [/mm] B [mm] \supseteq [/mm] A-(A-B) ,da beide Teilmengen voneinander sind?

lg

>  
> >  

> > lg
>
> Marius
>  


Bezug
                                                                        
Bezug
Beweis von Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 14:27 Sa 30.10.2010
Autor: M.Rex

Hallo

Ich vermute, du meinst das richtige schreibst es aber etwas krude auf.

Wenn $ [mm] M\subseteq [/mm] N $ und $ [mm] M\supseteq [/mm] N $ gilt, gilt:

$ [mm] M\subseteq [/mm] N [mm] \subseteq [/mm] M $

Da aber M=M gilt, muss in der Teilmengenkette $ [mm] M\subseteq [/mm] N [mm] \subseteq [/mm] M $ auch N=M gelten.

Marius






Bezug
                                                
Bezug
Beweis von Mengen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:52 Sa 30.10.2010
Autor: Mandy_90

Achso und wenn ich 2. zeige,kann ich dann einfach die Schritte von 1. von unten nach oben gehen,ohne noch irgendwelche Schritte einzufügen?

lg

Bezug
                                                        
Bezug
Beweis von Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 13:58 Sa 30.10.2010
Autor: M.Rex


> Achso und wenn ich 2. zeige,kann ich dann einfach die
> Schritte von 1. von unten nach oben gehen,ohne noch
> irgendwelche Schritte einzufügen?
>  
> lg

Hier ginge das, das muss aber nicht zwangsläufig so sein.

Beispiel:

f ist differenzierbar [mm] \Rightarrow [/mm] f ist stetig.

Aber es gilt eben nicht: f ist Stetig [mm] \Rightarrow [/mm] f ist differenzierbar.

Du musst als schon sehr genau aufpassen, ob du die Äquivalenzpfeile benutzen darfst.

Marius


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Naive Mengenlehre"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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