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 SonstigesInjektive Abbildung
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Lineare Algebra Sonstiges" - Injektive Abbildung
Injektive Abbildung < Sonstiges < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Injektive Abbildung: Verständnisproblem
Status: (Frage) beantwortet Status 
Datum: 03:11 So 09.03.2014
Autor: ne1

Aufgabe
Ist [mm]K[/mm] unendlich, so ist die Abbildung
[mm]^\sim: K[t] \rightarrow Abb(K,K), f \mapsto \stackrel{\sim}{f}[/mm]
injektiv.

(Korrollar: [mm]K[/mm] beliebiger Körper, [mm]f \in K[t][/mm] von Nullpolynom verschiedenes Polynom, [mm]k[/mm] die Anzahl der Nullstellen, dann gilt [mm]k \le deg f[/mm].)

Beweis: Seien [mm]f_1, f_2 \in K[t][/mm] und [mm]g:= f_2 - f_1[/mm]. Ist [mm]\stackrel{\sim}{f_1} = \stackrel{\sim}{f_2}[/mm], so folgt [mm]\stackrel{\sim}{g} = 0[/mm] d.h. [mm] $g(\lambda) [/mm] = 0$ für alle [mm] $\lambda \in [/mm] K$. Also hat $g$ undendlich viele Nullstellen, und aus Korollar folgt $g=0$, somit [mm] $f_1 [/mm] = [mm] f_2$. [/mm]


Den Beweis verstehe ich nicht. Ich nehme mir zwei beliebige Elemente [mm]f_1, f_2 \in K[t][/mm] und definiere ein [mm]g[/mm] durch [mm] $f_2 -f_1. [/mm] Dann nehme ich an, dass [mm]\stackrel{\sim}{f_1} = \stackrel{\sim}{f_2}[/mm]. Soweit erst mal klar. Was ist dann mein [mm]\stackrel{\sim}{g}[/mm]? Einfach mal [mm]\stackrel{\sim}{f_2} - \stackrel{\sim}{f_1}[/mm]? Wenn ja wieso ist es null? Bei Polynomen ist es mir klar, aber [mm] $\stackrel{\sim}{f_1}$ [/mm] und [mm] $\stackrel{\sim}{f_2}$ [/mm] sind hier Abbildungen. Der Rest ist mir auch nicht ganz klar.

        
Bezug
Injektive Abbildung: Antwort
Status: (Antwort) fertig Status 
Datum: 08:01 So 09.03.2014
Autor: Sax

Hi,

die Abbildung ~ ordnet jedem Polynom f aus K[t] [mm] (f=a_nt^n+a_{n-1}t^{n-1}+...+a_1t+a_0) [/mm] nicht irgendeine Abbildung $ [mm] \stackrel{\sim}{f} [/mm] $ zu (dann könnte man niemals Injektivität nachweisen), sondern gerade die Polynomfunktion [mm] x\mapsto a_nx^n+a_{n-1}x^{n-1}+...+a_1x+a_0. [/mm]
Das sollte an irgendeiner vorigen Stelle des Skripts stehen.

Diese Abbildung ~ ist linear und deshalb wird dem Polynom [mm] f_2-f_1 [/mm] die Polynomfunktion $ [mm] \stackrel{\sim}{f_2} [/mm] - [mm] \stackrel{\sim}{f_1} [/mm] $ zugeordnet.

(Ich empfehle dir Angelas tolle Antworten in der Diskussion "Polynome vs Polynomfunktionen".)

Gruß Sax.

Bezug
                
Bezug
Injektive Abbildung: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:37 So 09.03.2014
Autor: ne1

Danke Sax, ich glaube das alles verstehe ich. Mein Problem ist dieses [mm]\stackrel{\sim}{g} = 0[/mm].

Also vielleicht noch mal. Ich nehme mir zwei beliebige Polynome [mm] $f_1 [/mm] = [mm] a_0, [/mm] ... , [mm] a_n t^n$ [/mm] und $g [mm] =b_0, [/mm] ... , [mm] b_n t^n$. [/mm] Ich nehme an [mm] $\stackrel{\sim}{f_1} [/mm] = [mm] \stackrel{\sim}{f_2}$. [/mm] Also ich habe zwei folgende Funktionen
[mm] $\stackrel{\sim}{f_1}: [/mm] K [mm] \rightarrow [/mm] K, [mm] \lambda \mapsto a_0, [/mm] ... , [mm] a_n \lambda^n [/mm] = x$
[mm] $\stackrel{\sim}{f_2}: [/mm] K [mm] \rightarrow [/mm] K, [mm] \lambda \mapsto b_0, [/mm] ... , [mm] b_n \lambda^n [/mm] = x$

Was ist [mm] $\stackrel{\sim}{g}$? [/mm] Warum ist es $0$? Ich kann doch nicht [mm] $\stackrel{\sim}{f_2} [/mm] - [mm] \stackrel{\sim}{f_1}$ [/mm] rechnen, da es Abbildungen sind und keine Polynome.

Bezug
                        
Bezug
Injektive Abbildung: Antwort
Status: (Antwort) fertig Status 
Datum: 18:12 So 09.03.2014
Autor: leduart

Hallo
es gibt auch die 0 Abbildung bzw das Nullpolynom mit [mm] a_i=0 [/mm] für alle i
Gruß leduart

Bezug
                                
Bezug
Injektive Abbildung: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 00:16 Mo 10.03.2014
Autor: ne1

Ok, dann vielleicht noch mal bisschen anders formuliert. Ich kann mir ein [mm] $g^{\sim} [/mm] = 0$ (ich werde es so schreiben, weil es schneller ist) vorstellen. Meine Frage ist wieso folgt aus [mm] $f_1^{\sim} [/mm] = [mm] f_2^{\sim}$, [/mm] dass es dieses [mm] $g^{\sim}$ [/mm] gibt?

Bezug
                                        
Bezug
Injektive Abbildung: Antwort
Status: (Antwort) fertig Status 
Datum: 09:22 Mo 10.03.2014
Autor: angela.h.b.

Hallo,

der Knackpunkt scheint mir die Abbildung

[mm]^\sim: K[t] \rightarrow Abb(K,K), f \mapsto \stackrel{\sim}{f}[/mm]

zu sein.

Was macht diese?  Einem jeden Polynom [mm] f=\summe{i=0}^na_it^{i} [/mm] ordnet sie die Funktion [mm] \stackrel{\sim}{f} [/mm] zu mit [mm] \stackrel{\sim}{f}(x):=\summe{i=0}^na_xt^{i} [/mm] für alle [mm] x\in [/mm] K.
Jedem Polynom wird also die zugehörige Polynomfunktion zugeordnet.

Offenbar findet man auch zu jeder Polynomfunktion ein Polynom, welches darauf abgebildet wird.

Festhalten sollten wir noch, daß bekannt ist, wie Polynome addiert und multipliziert werden,
ebenso wissen wir, wie Funktionen addiert und multipliziert werden.
(Ggf. nachschlagen)

Im Beweis haben wir zwei Polynome [mm] f_1 [/mm] und [mm] f_2, [/mm] für die die  die beiden Polynomfunktionen gleich sind, für die also
[mm] \stackrel{\sim}{f_1}=\stackrel{\sim}{f_2} [/mm]
gilt.

Was bedeutet diese Gleichheit? Für alle [mm] x\in [/mm] K ist
[mm] \stackrel{\sim}{f_1}(x)=\stackrel{\sim}{f_2}(x) [/mm]
<==>
[mm] \stackrel{\sim}{f_1}(x)-\stackrel{\sim}{f_2}(x)=0_K [/mm]
<==>
[mm] (\stackrel{\sim}{f_1}-\stackrel{\sim}{f_2})(x)=0_K [/mm]
<==>
[mm] \stackrel{\sim}{f_1}-\stackrel{\sim}{f_2}=0_{Abb(K,K)}. [/mm]


Es wurde definiert [mm] g:=f_1-f_2, [/mm]
nach Def. von [mm] \sim [/mm] ist dann [mm] \stackrel{\sim}{g}=\stackrel{\sim}{f_1-f_2} [/mm]

mit [mm] \stackrel{\sim}{f_1-f_2}(x)=\stackrel{\sim}{f_1}(x)-\stackrel{\sim}{f_2}(x) [/mm] für alle [mm] x\in [/mm] K,

und damit ist [mm] \stackrel{\sim}{f_1-f_2}=\stackrel{\sim}{f_1}-\stackrel{\sim}{f_2}, [/mm]
also  [mm] \stackrel{\sim}{g}=\stackrel{\sim}{f_1}-\stackrel{\sim}{f_2}=0_{Abb(K,K)}. [/mm]

Damit ist [mm] \stackrel{\sim}{g} [/mm] die Nullfunktion.

Die einzige Frage, die sich nun stellt, ist, ob g zwingend das Nullpolynom ist.
Klar ist, daß das Nullpolynom auf die Nullfunktion, also auf [mm] \stackrel{\sim}{f_1}-\stackrel{\sim}{f_2}, [/mm] abgebildet wird.

Kann g mit [mm] \stackrel{\sim}{g}=0_{Abb(K,K)} [/mm] etwas anderes sein als das Nullpolynom?
Nein, denn dann würde es nicht auf die Nullfunktion abgebildet werden aufgrund der Def. von [mm] \sim. [/mm]
Also ist [mm] g=0_k, [/mm] und wegen [mm] g=f_1-f_2 [/mm] ist [mm] f_1=f_2. [/mm]

LG Angela



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


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