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 "Uni-Sonstiges" - Mengenlehre
Mengenlehre < Sonstiges < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Mengenlehre: Aufgabe 1
Status: (Frage) reagiert/warte auf Reaktion Status 
Datum: 20:57 Do 03.11.2005
Autor: lolly

Beweisen: Die Anzahl aller durch drei teilbaren natürlichen Zahlen stimmt mit der Anzahl der ganzen Zahlen überein.

Ich weiß nicht, wie ich überhaupt anfangen soll. Eine durch drei teilbare Zahl ist 3n=k k ist Element von N, N=Z? Weiter weiß ich nicht. Kann mir vielleicht jemand weiterhelfen? Irgendwie komme ich auch nicht mit den Eingabehilfen klar.  

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

        
Bezug
Mengenlehre: Antwort
Status: (Antwort) fertig Status 
Datum: 23:43 Do 03.11.2005
Autor: Bastiane

Hallo und [willkommenmr]!

> Beweisen: Die Anzahl aller durch drei teilbaren natürlichen
> Zahlen stimmt mit der Anzahl der ganzen Zahlen überein.
>  
> Ich weiß nicht, wie ich überhaupt anfangen soll. Eine durch
> drei teilbare Zahl ist 3n=k k ist Element von N, N=Z?
> Weiter weiß ich nicht. Kann mir vielleicht jemand
> weiterhelfen? Irgendwie komme ich auch nicht mit den
> Eingabehilfen klar.  

Sagt dir das Wort "Mächtigkeit" etwas? Wenn die Anzahl gleich sein soll, dann bedeutet das, dass die beiden Mengen die gleiche Mächtigkeit haben. Und wenn sie die gleiche Mächtigkeit haben, dann gibt es eine bijektive Abbildung zwischen beiden Mengen. Wir müssen hier also einfach eine bijektive Abbildung von [mm] D=\{3n|n\in\IN\} [/mm] nach [mm] \IZ [/mm] konstruieren.

Du kennst sicher den Beweis, dass [mm] \IN [/mm] und [mm] \IZ [/mm] gleichmächtig sind, oder? Ansonsten schlage diesen mal nach, den muss man kennen, wenn man Mathe studiert. Ich denke, man kann diesen Beweis hier analog führen, also quasi fast die gleiche bijektive Abbildung angeben. Probierst du es mal?

Viele Grüße
Bastiane
[cap]


Bezug
                
Bezug
Mengenlehre: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 12:07 Fr 04.11.2005
Autor: Galois

Hallo Bastiane,

Vorweg: ich war es nicht, der Deinen Beitrag als "fehlerhaft" gekennzeichnet hat. [verwirrt] [keineahnung]

Aber wo ich mir gerade Deine Antwort mal etwas genauer angeguckt habe, ist mir folgender Punkt aufgefallen:

> Und wenn sie die gleiche
> Mächtigkeit haben, dann gibt es eine bijektive Abbildung
> zwischen beiden Mengen. Wir müssen hier also einfach eine
> bijektive Abbildung von [mm]D=\{3n|n\in\IN\}[/mm] nach [mm]\IZ[/mm]
> konstruieren.

Das "dann" sollte man lieber durch ein "das heißt, daß..." ersetzen, da dies ja die Definition von "gleichmächtig" darstellt, und keine Implikation. Formal ist [mm] "$\Rightarrow$" [/mm] natürlich auch richtig, aber was wir benötigen ist ja [mm] "$\Leftarrow$". [/mm]

Letztlich eine Lappalie, aber für Anfänger sonst vielleicht doch etwas verwirrend.

Grüße,
Galois


[]Bonner Matheforum

Bezug
                        
Bezug
Mengenlehre: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 23:54 Fr 04.11.2005
Autor: Bastiane

Hallo Galois!

> > Und wenn sie die gleiche
> > Mächtigkeit haben, dann gibt es eine bijektive Abbildung
> > zwischen beiden Mengen. Wir müssen hier also einfach eine
> > bijektive Abbildung von [mm]D=\{3n|n\in\IN\}[/mm] nach [mm]\IZ[/mm]
> > konstruieren.
>  
> Das "dann" sollte man lieber durch ein "das heißt, daß..."
> ersetzen, da dies ja die Definition von "gleichmächtig"
> darstellt, und keine Implikation. Formal ist "[mm]\Rightarrow[/mm]"
> natürlich auch richtig, aber was wir benötigen ist ja
> "[mm]\Leftarrow[/mm]".
>  
> Letztlich eine Lappalie, aber für Anfänger sonst vielleicht
> doch etwas verwirrend.

Danke für deine Anmerkung! Vor allem für die Nachwelt ist es vielleicht nützlich - ich selbst gelange schon mal bei der google-Suche nach etwas in irgendein Forum, wo Fragen beantwortet sind, und wenn da dann etwas fehlt oder unklar geschrieben ist, finde ich das immer doof. Hier ist es dann ja jetzt nicht so. :-)
Aber du bist ja auch so ein Korinthenkacker, wie wir hier schon einmal hatten - der hat mich auch auf jeden kleinsten Fehler hingewiesen. ;-) Nein, ich finde das schon ok - wenn du dir die Arbeit machen willst, auch solche Sachen zu verbessern und ich bin immer für Korrekturen offen. :-)

Viele Grüße
Bastiane
[cap]


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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