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
StartseiteMatheForenLineare Algebra SonstigesVollständige Induktion
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Lineare Algebra Sonstiges" - Vollständige Induktion
Vollständige Induktion < Sonstiges < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Vollständige Induktion: Aufgabe
Status: (Frage) beantwortet Status 
Datum: 14:59 Fr 12.11.2010
Autor: blubblubber

Hallo,
auf dem Übungsblatt, das ich zur Zeit machen muss sind 2 Aufgaben, bei denen ich einfach nicht weiter komme:

Aufgabe 1
zeige durch Induktion:
Sei x [mm] \in \IR [/mm] \ {1}. Dann gilt für alle n [mm] \in \IN: [/mm]

[mm] \summe_{i=1}^{n} x^{j} [/mm] = (1 - [mm] x^{n+1}) [/mm] / (1-x)



Aufgabe 2
Sei X eine nicht leere Menge und sei F: X [mm] \to [/mm] Y eine Funktion. Zeigen sie:
Es gibt eine Menge V, eine surjektive Funktion h1: X [mm] \to [/mm] V und eine injektive Funktion h2: V [mm] \to [/mm] Y mit f=h1 [mm] \circ [/mm] h2.



bei 1) habe ich schon ewig hin und her gerechnet, aber ich komme einfach nicht drauf. Bei 2) habe ich inzwischen folgenden Ansatz:

[mm] "\Rightarrow": [/mm] Sei [mm] v_{1}, v_{2} \in [/mm] V beliebig, dann gilt [mm] h_{2}(v_{1})=h_{2}(v_{2}), [/mm] sodass [mm] v_{1}=v_{2}. [/mm] Für alle diese v [mm] \in [/mm] V gibt es ein x [mm] \in [/mm] X, sodass [mm] h_{1}(x)=v [/mm]
[mm] \Rightarrow h_{1}(x_{1})=v_{1}, h_{1}(x_{2})=v_{2} [/mm]
[mm] \Rightarrow h_{2}(h_{1}(x_{1})) [/mm] = [mm] h_{2}(h_{1}(x_{2})) [/mm]
[mm] \Rightarrow h_{2} \circ h_{1} [/mm] = f

bei der anderen richtung weiß ich aber nicht wie ich vorgehen soll.
Ich würde mich sehr freuen, wenn mir jemand sagen könnte ob der Ansatz so richtig ist und wie ich bei den anderen Aufgaben vorgehen könnte. Danke :)

mfg

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

        
Bezug
Vollständige Induktion: zu 1)
Status: (Antwort) fertig Status 
Datum: 15:13 Fr 12.11.2010
Autor: schachuzipus

Hallo blubblubber und herzlich [willkommenmr],

> Hallo,
> auf dem Übungsblatt, das ich zur Zeit machen muss sind 2
> Aufgaben, bei denen ich einfach nicht weiter komme:
>
> 1) zeige durch Induktion:
> Sei x [mm]\in \IR[/mm] \ {1}. Dann gilt für alle n [mm]\in \IN:[/mm]
>
> [mm]\summe_{i=1}^{n} x^{j}[/mm] = (1 - [mm]x^{n+1})[/mm] / (1-x)
>
> bei 1) habe ich schon ewig hin und her gerechnet, aber ich
> komme einfach nicht drauf.


Das kann ja auch nicht klappen, links summierst du n-mal die Konstante [mm]x^j[/mm] auf, das gibt [mm]n\cdot{}x^j[/mm]

Gemeint ist sicher [mm]\sum\limits_{i=\red{0}}^nx^{\red{i}}=\frac{1-x^{n+1}}{1-x}[/mm]

Nun, wie macht man eine vollst. Induktion?

Man beginnt mit dem Induktionsanfang und zeigt, dass die Formel (hier) für $n=0$ bzw. [mm]n=1[/mm] gilt.

Zu zeigen ist also [mm]\sum\limits_{i=0}^{1}x^{i}=\frac{1-x^{1+1}}{1-x}=\frac{1-x^2}{1-x}[/mm]

Nun, was steht linkerhand?

[mm]\sum\limits_{i=0}^{1}x^{i}=x^0+x^1=1+x[/mm]

Und rechterhand? [mm]\frac{1-x^2}{1-x}\underbrace{=}_{\text{3.bin.Formel}}=\frac{(1-x)(1+x)}{1-x}=1+x[/mm]

Das passt also.

Im Induktionsschritt [mm]n\to n+1[/mm] ist zu zeigen, dass, wenn die Beh. für ein bel., aber festes [mm]n\in\IN[/mm] gilt, sie gefälligst auch für [mm]n+1[/mm] gilt.

Sei also [mm]\n\in\IN[/mm] bel., aber fest und gelte [mm]\red{\sum\limits_{i=0}^{n}x^{i}=\frac{1-x^{n+1}}{1-x}}[/mm] (IV)

Zu zeigen ist, dass dann auch [mm]\sum\limits_{i=0}^{n+1}x^{i}=\frac{1-x^{(n+1)+1}}{1-x}[/mm] gilt.

Dazu nimm die linke Seite dieser zu zeigenden Gleichheit her, forme so um, dass du die IV anwenden kannst und dann weiter bis die rechte Seite dasteht:

[mm]\sum\limits_{i=0}^{n+1}x^{i}=\left( \ \red{\sum\limits_{i=0}^{n}x^{i}} \ \right) \ + \ x^{n+1}[/mm]

Da ist einfach der letzte Summand extra geschrieben.

Nun ist die erste Summe in der Klammer genau die aus der IV, du kannst sie also ersetzen durch ....



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


Gruß

schachuzipus

Bezug
                
Bezug
Vollständige Induktion: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:41 Fr 12.11.2010
Autor: blubblubber

Hallo, und danke für die schnelle Antwort :)

Das heißt wenn ich den linken Teil dann ersetzt habe ich dastehen:
[mm] ((1-x^{n+1})/(1-x) [/mm] ) + [mm] x^{n+1} [/mm]
und damit ist man fertig? Ich verstehe irgendwie nicht richtig wo hier der Beweis ist, weil man die Summe ja nur bei (n+1) hat laufen lassen, das muss ja nicht heißen, dass die Behauptung dann noch gilt oder?
Bei den anderen Aufgaben habe ich es immer so gemacht, dass ich dann anstatt n (n+1) eingesetzt habe und solange umgeformt, bis ich die Vorrussetzung benutzen konnte.

Und hat jemand noch eine Idee zu der anderen Aufgabe?

mfg

Bezug
                        
Bezug
Vollständige Induktion: weiter zusammenfassen
Status: (Antwort) fertig Status 
Datum: 15:45 Fr 12.11.2010
Autor: Roadrunner

Hallo blubblubber!


Nein, dann bist Du noch nicht fertig. Du musst diese beiden Terme noch derart zusammenfassen und zeigen, dass dies übereinstimmt mit

[mm] $$\bruch{1-x^{n+2}}{1-x}$$ [/mm]


Gruß vom
Roadrunner


Bezug
                                
Bezug
Vollständige Induktion: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:53 Fr 12.11.2010
Autor: blubblubber

Ach ja, jetzt verstehe ich das. Danke sehr für die schnellen Antworten.
Ich würde mich sehr freuen wenn mir noch jemand zu der anderen Aufgabe sagen könnte ob mein Ansatz so richtig ist.
mfg

Bezug
        
Bezug
Vollständige Induktion: Antwort
Status: (Antwort) fertig Status 
Datum: 09:43 Sa 13.11.2010
Autor: fred97


> Hallo,
>  auf dem Übungsblatt, das ich zur Zeit machen muss sind 2
> Aufgaben, bei denen ich einfach nicht weiter komme:
>  
> zeige durch Induktion:
>  Sei x [mm]\in \IR[/mm] \ {1}. Dann gilt für alle n [mm]\in \IN:[/mm]
>  
> [mm]\summe_{i=1}^{n} x^{j}[/mm] = (1 - [mm]x^{n+1})[/mm] / (1-x)
>  
>
> Sei X eine nicht leere Menge und sei F: X [mm]\to[/mm] Y eine
> Funktion. Zeigen sie:
>  Es gibt eine Menge V, eine surjektive Funktion h1: X [mm]\to[/mm] V
> und eine injektive Funktion h2: V [mm]\to[/mm] Y mit f=h1 [mm]\circ[/mm] h2.
>  
>
> bei 1) habe ich schon ewig hin und her gerechnet, aber ich
> komme einfach nicht drauf. Bei 2) habe ich inzwischen
> folgenden Ansatz:
>  
> [mm]"\Rightarrow":[/mm] Sei [mm]v_{1}, v_{2} \in[/mm] V beliebig, dann gilt
> [mm]h_{2}(v_{1})=h_{2}(v_{2}),[/mm] sodass [mm]v_{1}=v_{2}.[/mm] Für alle
> diese v [mm]\in[/mm] V gibt es ein x [mm]\in[/mm] X, sodass [mm]h_{1}(x)=v[/mm]
> [mm]\Rightarrow h_{1}(x_{1})=v_{1}, h_{1}(x_{2})=v_{2}[/mm]
>  
> [mm]\Rightarrow h_{2}(h_{1}(x_{1}))[/mm] = [mm]h_{2}(h_{1}(x_{2}))[/mm]
>  [mm]\Rightarrow h_{2} \circ h_{1}[/mm] = f
>  
> bei der anderen richtung weiß ich aber nicht wie ich
> vorgehen soll.
>  Ich würde mich sehr freuen, wenn mir jemand sagen könnte
> ob der Ansatz so richtig ist


Der Ansatz kann nicht richtig sein, denn nirgends steht was V sei soll !!!!!!!!!!!!!

1.  In der Aufgabenstellung steht, dass gelten soll: f=h1 $ [mm] \circ [/mm] $ h2.

Das kann nicht stimmen, denn [mm] h_2 [/mm] ist auf V def. und F auf X

2. Du sollst zeigen: es ex. eine Menge V und die obigen Abbildungen mit ......   und

                 [mm] F=h_2 [/mm] $ [mm] \circ [/mm] $ [mm] h_1. [/mm]

3. Führe auf XxX eine Relation R ein: [mm] x_1Rx_2 [/mm]  : [mm] \gdw F(x_1)=F(x_2). [/mm]

Zeige R ist eine Äquivalenzrelation

4. Für x [mm] \in [/mm] X sei [x]: = { z [mm] \in [/mm] X : xRz  }

Setze V:= { [x]: x [mm] \in [/mm] X }

5. Definiere [mm] h_1 [/mm] durch [mm] h_1(x):= [/mm] [x]  und definiere [mm] h_2 [/mm] durch [mm] h_2([x]):=F(x) [/mm]

6. Zeige: [mm] h_2 [/mm] istwohldefiniert

7. Zeige, dass [mm] h_1 [/mm] und [mm] h_2 [/mm] das Gewünschte leisten


FRED












>  und wie ich bei den anderen
> Aufgaben vorgehen könnte. Danke :)
>  
> mfg
>  
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.


Bezug
                
Bezug
Vollständige Induktion: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:51 Sa 13.11.2010
Autor: blubblubber

Danke fr die Antwort. Ja, es muss heißen F = [mm] g_{2} \circ g_{1} [/mm]
Leider verstehe ich den Schritt mit der Äquivalenzrelation noch nicht. Es wäre sehr nett, wenn dazu nochmal jemand etwas sagen könnte.
Außerdem kenne ich den Begriff wohldefiniert auf noch nicht.

mfg

Bezug
                        
Bezug
Vollständige Induktion: Antwort
Status: (Antwort) fertig Status 
Datum: 12:26 Sa 13.11.2010
Autor: fred97


> Danke fr die Antwort. Ja, es muss heißen F = [mm]g_{2} \circ g_{1}[/mm]
>  
> Leider verstehe ich den Schritt mit der Äquivalenzrelation
> noch nicht. Es wäre sehr nett, wenn dazu nochmal jemand
> etwas sagen könnte.

Was verstehst Du nicht ?


>  Außerdem kenne ich den Begriff wohldefiniert auf noch
> nicht.


Ist [x]=[y], so mußt Du zeigen: F(x)=F(y)

FRED

>  
> mfg


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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