www.vorkurse.de
Ein Projekt von vorhilfe.de
Die Online-Kurse der Vorhilfe

E-Learning leicht gemacht.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Teams · Forum · Wissen · Kurse · Impressum
Forenbaum
^ Forenbaum
Status Mathe-Vorkurse
  Status Organisatorisches
  Status Schule
    Status Wiederholung Algebra
    Status Einführung Analysis
    Status Einführung Analytisc
    Status VK 21: Mathematik 6.
    Status VK 37: Kurvendiskussionen
    Status VK Abivorbereitungen
  Status Universität
    Status Lerngruppe LinAlg
    Status VK 13 Analysis I FH
    Status Algebra 2006
    Status VK 22: Algebra 2007
    Status GruMiHH 06
    Status VK 58: Algebra 1
    Status VK 59: Lineare Algebra
    Status VK 60: Analysis
    Status Wahrscheinlichkeitst

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

Mächtigkeit der Potenzmenge: Beweis
Status: (Frage) beantwortet Status 
Datum: 09:27 Do 31.01.2008
Autor: cReam

Aufgabe
Zeigen Sie, dass für eine Menge A mit |A|=n gilt:
[mm] |\mathcal{P}(A)|=2^{n} [/mm]

Hallo,

nun zu meiner Frage: :)

Wir haben dieses Beweis folgendermaßen gelöst:

1.) Indiktionsanfang: [mm] n_{0} [/mm] = 1

[mm] \Rightarrow [/mm] |A|=1

[mm] \Rightarrow |\mathcal{P}(A)|=|{\emptyset;a}|=2 [/mm]

und [mm] 2^{1}=2 [/mm]

[mm] \Rightarrow [/mm] richtig.

2.) Induktionsannahme:

[mm] |\mathcal{P}(A)|=2^{n} [/mm]

3.) Induktionsschritt:

Für n+1

Die Teilmengen von B lassen sich in 2 Gruppen einteilen:

a) die, die b enthalten
b)die, die b nicht enthalten

[mm] |\mathcal{P}(B)|=\underbrace{|\mathcal{P}(A)|}_{=2^{n}} [/mm] + [mm] \underbrace{|{V\cup{b}: V\subset|\mathcal{P}(A)|}}_{=2^{n}} [/mm] = [mm] 2*2^{n} [/mm] = [mm] 2^{n+1} [/mm]

Die erstens zwei Schritte verstehe ich, aber die Gleichung die wir aufstellen verstehe ich leider überhaupt nicht...

Vielen Dank für eure Hilfe!

Grüße
Cream

        
Bezug
Mächtigkeit der Potenzmenge: Antwort
Status: (Antwort) fertig Status 
Datum: 10:17 Do 31.01.2008
Autor: Karl_Pech

Hallo cReam,


Betrachte die Potenzmenge von [mm]A:=\{2\}[/mm]. Diese lautet:


[mm]\{\{2\},\emptyset\}[/mm]


Willst du nun noch das Element [mm]\{1\}[/mm] zu [mm]A\![/mm] hinzufügen, mußt du entsprechend alle Elemente der ursprünglichen Potenzmenge mit diesem Element vereinigen. Da aber diese neue Menge [mm]A'\![/mm] noch die ursprüngliche Menge [mm]A\![/mm] beinhaltet, hast du auch immer noch die ursprünglichen Konstruktionsmöglichkeiten der Potenzmenge von [mm]A\![/mm] ohne das neue Element. Also gilt:


[mm]\mathcal{P}(\{1,2\}) = \{\{2\}\cup\{1\},\emptyset\cup\{1\}\}\cup\{\{2\},\emptyset\}[/mm]



Grüße
Karl




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


^ Seitenanfang ^
www.vorkurse.de
[ Startseite | Mitglieder | Teams | Forum | Wissen | Kurse | Impressum ]