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 Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

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
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-SonstigesBeweis Nachfolgerfunktion
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Uni-Sonstiges" - Beweis Nachfolgerfunktion
Beweis Nachfolgerfunktion < Sonstiges < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweis Nachfolgerfunktion: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 16:44 Sa 11.05.2013
Autor: MatheSckell

Aufgabe
Zeigen (beweisen) Sie formal, dass n + 1 die Nachfolgerfunktion n’ ist.
Zeigen Sie anschließend mittels vollst. Induktion, dass auch 1 + n den Nachfolger von n liefert. Nein, sie dürfen nicht das Kommutativgesetz verwenden!

Hallo,

das ist mein erster Versuch eines Beweises und es hapert schon bei der Aufgabenstellung an dem Wort "formal". Was ist darunter zu verstehen?
Könntet ihr mir außerdem ein Paar Denkanstöße geben damit ich mal einen Punkt zum Anfangen habe?

Vielen Dank schon mal!

        
Bezug
Beweis Nachfolgerfunktion: Antwort
Status: (Antwort) fertig Status 
Datum: 17:08 Sa 11.05.2013
Autor: Salamence

Hallo!
> Zeigen (beweisen) Sie formal, dass n + 1 die
> Nachfolgerfunktion n’ ist.
>  Zeigen Sie anschließend mittels vollst. Induktion, dass
> auch 1 + n den Nachfolger von n liefert. Nein, sie dürfen
> nicht das Kommutativgesetz verwenden!
>  Hallo,
>  
> das ist mein erster Versuch eines Beweises und es hapert
> schon bei der Aufgabenstellung an dem Wort "formal". Was
> ist darunter zu verstehen?
>  Könntet ihr mir außerdem ein Paar Denkanstöße geben
> damit ich mal einen Punkt zum Anfangen habe?
>  
> Vielen Dank schon mal!

Ich nehme an, ihr dürft nur die Peanoaxiome und die Definition der Addition verwenden? Nun, was sagt diese Definition? Sie sagt, dass 1 der Nachfolger der 0 ist und dass 0 zu addieren nichts tut. Weiterhin ist im Allgemeinen [mm] n+m'=(n+m)' [/mm]
Beim zweiten ist der Induktionsanfang klar (n=0) und beim Induktionsschritt brauchst du dann nur noch, dass n'' der Nachfolger von n' ist.

Bezug
                
Bezug
Beweis Nachfolgerfunktion: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:16 Sa 11.05.2013
Autor: MatheSckell

Genau, die Peanoaxiome und die Definition der Addition war Thema in der letzten Vorlesung :)

Ich habe das jetzt so aufgeschrieben:
n‘ bezeichnet den Nachfolger von n, der aufgrund der Peano-Axiome eindeutig bestimmt ist. Da 1 der Nachfolger der 0 ist, gilt

n + 1 = n + 0‘ = (n + 0)‘ = n‘

Und die vollständige Induktion habe ich so aufgeschrieben:

Aussage: 1+n=n+1

Induktionsanfang: n= 0;   1+0=0+1

Induktionsschritt:
Induktionsvorraussetzung: 1+k=k+1
Induktionsbehauptung: 1+k + k+1 = k+1+k+1 = 2k+2

Beweis: 1+k+k+1=k+1+k+1 = 2k+2

Stimmt das oder hätte ich das nur mit n' bzw. n'' schreiben dürfen?




Bezug
                        
Bezug
Beweis Nachfolgerfunktion: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 21:20 Sa 11.05.2013
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
                                
Bezug
Beweis Nachfolgerfunktion: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:50 Sa 11.05.2013
Autor: MatheSckell

Ich wollte diesem Beitrag noch einmal Leben einhauchen, da ich weiterhin an einer Korrektur interessiert wäre.



Bezug
                        
Bezug
Beweis Nachfolgerfunktion: Antwort
Status: (Antwort) fertig Status 
Datum: 05:26 So 12.05.2013
Autor: tobit09

Hallo MatheSckell,


>  n‘ bezeichnet den Nachfolger von n, der aufgrund der
> Peano-Axiome eindeutig bestimmt ist. Da 1 der Nachfolger
> der 0 ist, gilt
>  
> n + 1 = n + 0‘ = (n + 0)‘ = n‘

[ok] Schön!


> Und die vollständige Induktion habe ich so
> aufgeschrieben:
>  
> Aussage: 1+n=n+1
>  
> Induktionsanfang: n= 0;   1+0=0+1

Warum gilt $1+0=0+1$? Das solltest du vorrechnen.

> Induktionsschritt:
>  Induktionsvorraussetzung: 1+k=k+1
>  Induktionsbehauptung: 1+k + k+1 = k+1+k+1 = 2k+2

Wie kommst du auf diese Induktionsbehauptung?

Sie müsste $1+k'=k'+1$ lauten.

> Beweis: 1+k+k+1=k+1+k+1 = 2k+2

(Das wäre zu begründen.)
  

Viele Grüße
Tobias

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


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