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 "Naive Mengenlehre" - Mengen
Mengen < naiv < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Naive Mengenlehre"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Mengen: Idee
Status: (Frage) beantwortet Status 
Datum: 17:45 Do 01.05.2014
Autor: Onepath

Aufgabe
A [mm] \subseteq [/mm] B -> A [mm] \cap [/mm] B = A

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

Ich habe die offizielle Lösung für meine Aufgabe, doch habe ich, als ich sie bearbeitet habe, anders argumentiert und wollte fragen, ob diese Argumentation richtig ist. Vielen Dank für die Antworten.

Meine Lösung:

Sei x [mm] \in [/mm] A [mm] \subseteq [/mm] B. Daraus folgt, dass x [mm] \in [/mm] A ist, woraus folgt, dass x  [mm] \in [/mm] B ist. Folglich ist x sowohl [mm] \in [/mm] A als auch [mm] \in [/mm] B, was laut Definiton bedeutet: A [mm] \cap [/mm] B. Aus x [mm] \in [/mm] A [mm] \cap [/mm] B folgt insbesondere x [mm] \in [/mm] A. Wenn x [mm] \in [/mm] A ist, so folgt aus der Voraussetzung A [mm] \subseteq [/mm] B, dass x [mm] \in [/mm] B ist, folglich  A [mm] \cap [/mm] B.

        
Bezug
Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 17:52 Do 01.05.2014
Autor: hippias

Ich schaetze Deine Ueberlegungen sind alle richtig, aber fuer meinen Geschmack zu unordentlich. Also: Es ist eine Mengengleichheit $A= [mm] A\cap [/mm] B$ zu zeigen. Folglich sind zwei Relationen nachzuweisen:
1) [mm] $A\subseteq A\cap [/mm] B$ und 2) [mm] $A\cap B\subseteq [/mm] A$.

zu 1): Sei [mm] $x\in [/mm] A$. Zu zeigen [mm] $x\in A\cap [/mm] B$. [mm] $\ldots$ [/mm]

zu 2) Sei [mm] $x\in A\cap [/mm] B$. Zu zeigen [mm] $x\in [/mm] A$. [mm] $\ldots$ [/mm]

Wenn Du willst kannst du ja einmal die Luecken [mm] $\ldots$ [/mm] ausfuellen.

Bezug
                
Bezug
Mengen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:12 Do 01.05.2014
Autor: Onepath

1) $ [mm] A\subseteq A\cap [/mm] B $ und 2) $ [mm] A\cap B\subseteq [/mm] A $.

zu 1): Sei $ [mm] x\in [/mm] A $. Zu zeigen $ [mm] x\in A\cap [/mm] B $. Naja, wenn    [mm] x\in [/mm] A ist, so folgt aus der Voraussetzung  A [mm] \subseteq [/mm] B, dass x insbesondere [mm] \in [/mm] B ist, folglich [mm] x\in A\cap [/mm] B

zu 2) Sei $ [mm] x\in A\cap [/mm] B $. Zu zeigen $ [mm] x\in [/mm] A $. Sei nun x [mm] \in A\cap [/mm] B, so folgt aus der Definiton des Durchschnitts insbesondere x [mm] \in [/mm] A.

Passts?

Bezug
                        
Bezug
Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 18:41 Do 01.05.2014
Autor: hippias

Ja.

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


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