0 Daumen
2,3k Aufrufe

Aufgabe:

Wie beweist man, dass die Funktion f(x) = x3-x (ℝ->ℝ) surjektiv ist? Man könnte die Funktion natürlich zeichnen und das anhand dessen argumentieren aber mein Prof. meint das reicht nicht. Und bei der Umformung: x3-x = y komme ich nicht weit.

Avatar von

3 Antworten

+1 Daumen
 
Beste Antwort

Aloha :)

Gegeben ist uns die Funktion:f : RR   :   xf(x)=x3x=x(x21)=x(x1)(x+1)f:\,\mathbb R\to\mathbb R\;:\;x\mapsto f(x)=x^3-x=x(x^2-1)=x(x-1)(x+1)Durch die Zerlegeung in Linearfaktoren erkennen wir:f(x)={0fu¨rx10fu¨rx1f(x)=\left\{\begin{array}{lcl}\le0 & \text{für} & x\le-1\\\ge0 & \text{für} & x\ge1\end{array}\right.Zusätzlich gilt:limxf(x)=;limxf(x)=\lim\limits_{x\to-\infty}f(x)=-\infty\quad;\quad\lim\limits_{x\to\infty}f(x)=\inftyDa alle Polynome stetig sind, ist auch die Funktion ff stetig. Das heißt für x1x\le-1 nimmt die Funktion ff alle Werte aus R0\mathbb R^{\le0} an und für x1x\ge1 nimmt sie alle Werte aus R0\mathbb R^{\ge0} an. Dadurch wird jedes Element der Wertemenge R\mathbb R mindestens 1-mal erreicht. Die Funktion ist also surjektiv.

Avatar von 153 k 🚀
0 Daumen

schau dir bei deiner Umformung

x3x=y x^3 - x = y

mal die Nullstellen an. Was kannst du über denen sagen und wie helfen sie dir beim Beweis, dass die Funktion Surjektiv ist?


Lg

Avatar von

Xn(1,2,3)=[1;0;1]Xn_{(1,2,3)}= [-1;0;1]

limx=x3x=-\lim\limits_{x\to\infty}=x^3-x=-∞

+limx=x3x=++\lim\limits_{x\to\infty}=x^3-x=+∞

Interessante Aufgabe. Helfen uns die Grenzwerte auch? Bin auch gerade am lösen dieser Aufgabe, aber weiß auch nicht weiter. An sich hat man dich mit den Grenzwerten und den Nullstellen die Subjektivität bewiesen oder? (Meine Theorie)

Weil die Nullstellen allein sagen ja nichts über das Grenzverhalten der Funktion aus.

Grenzwerte helfen hier auch - aber nur, wenn man die Stetigkeit nachgewiesen hat. Denn die Funktion könnte Werte von -\infty bis + +\infty annehmen, aber durch eine Unstetigkeitsstelle gibt es dann trotzdem noch ein yR y \in \mathbb{R} , für das es kein xR x \in \mathbb{R} gibt.

Ist die Funktion aber stetig, so wird jeder Punkt getroffen und die Funktion ist damit surjektiv.


Also kann man das auch ohne die Grenzwerte machen?

Wenn ja, kannst du mir einen Tipp geben.

Die Stetigkeit von f(x)=x3x f(x) = x^3-x zu zeigen, ist sehr einfach und auch schnell gemacht, wenn man die entsprechenden Sätze und Definitionen hatte und anwenden darf.

Denn f(x) f(x) ist ein Polynom und Polynome sind ganz blöd gesagt, viele einzelne stetige Funktionen, die aufsummiert werden.


Der Weg über die Nullstellen kommt ohne die Stetigkeit und die Grenzwertbetrachtung aus.

Betrachte dazu x3x=y x^3-x = y , wobei das y y aus dem Wertebereich R \mathbb{R} ist. x3x x^3-x ist ein Polynom mit ungeradem Grad und kann deshalb auch negative Werte annehmen. Du wirst also immer mindestens ein x x aus deinem Definitionsbereich R \mathbb{R} finden können, sodass x3x=y x^3-x = y gilt.

Daraus folgt Surjektivität.

Verstehe. Also wäre das genug:


xX yY  da  yR \forall x \in X\ \exists y \in Y\ \text{ da }\ y \in \mathbb {R} \

Was ich sagen will:

Für alle x in X gibt es mind. ein y in Y, da y Element der Reellen Zahlen ist.

Moment....

Du sagtest ja:  y y aus dem Wertebereich R \mathbb{R} ist. x3x x^3-x ...

Du wirst also immer mindestens ein x x aus deinem Definitionsbereich R \mathbb{R} finden können, sodass x3x=y x^3-x = y gilt.

Also: yR   x R  y=x3xy\in \mathbb{R}\ ∧\ ∃ \ x \ ∈\mathbb{R} \ | \ y=x^3-x


Wäre das ein Mathematisch korrekter Beweis?

Besser wäre eine Begründung der Form

yRxR : x3x=y \forall y \in \mathbb{R} \exists x \in \mathbb{R}: x^3-x = y, weil x3x x^3-x als Polynom ... (Rest ca. wie oben).

Von mir aus auch den Text von mir ab "Betrachte dazu ...".

Denn nur yRxR, \forall y \in \mathbb{R} \exists x \in \mathbb{R}, da yRy \in \mathbb{R} sagt alleine nichts aus.


Korrektoren haben in der Regel auch kein Problem damit, wenn du ein wenig Text dazu schreibst, warum es so ist.

Ok verstehe, also ist die Hauptaussage die, dass die Funktion als Polynom alle werte in R annehmen kann (+ und -) und daher jedes y mind. 1 Bild in x hat.

Aber die Nullstellen muss man doch auch berücksichtigen oder? Weil so könnte man ja auch denken es handelt sich um eine Lineare Funktion. Oder reicht das, wenn man dann einfach wie du die Funktion nochmal hinschreibt?

Da man ja so nicht erkennen kann, dass es auch werte gibt die 2 Punkte bei y haben.

z.B.: die Nullstellen.

"Für alle x in X gibt es mind. ein y in Y, da y Element der Reellen Zahlen ist."

Ich glaube, du hast bei der Definition von Surjektivität etwas durcheinander bekommen. Deshalb nochmal in Kurzform:

Haben wir eine Funktion f(x) : AB,xf(x) f(x): A \to B, x \mapsto f(x) gegeben mit dem Definitionsbereich A und dem Wertebereich B.

Die Definition von Surjektivität lautet in diesem Fall dann:

yBxA : f(x)=y \forall y \in B \exists x \in A: f(x) = y

In Worten: Für jedes yy aus der Menge BB wirst du mindestens ein xx aus der Menge AA finden können, welches auf yy abgebildet wird.

Ganz einfach gesagt bedeutet dass, dass jedes Element in BB mindestens einmal von der Funktion getroffen wird.

Verstehe. Setzt das dann voraus, dass wir bereits die Nullstellen gefunden haben. Weil nach deiner Definition könnte es ja auch eine lineare Funktion sein.

Kurz gesagt: wo ist der Teil, der uns sagt, das die Funktion an einem y-Wert 2 oder mehr x-Werte hat.


Wenn das durch die Nullstellen (die wir vorher berechnet haben) schon erläutert wurde, habe ich es verstanden.

Oder ist dass das mit dem negativen, was du meinst . Also bei z.b. 1 bzw. -1 für x.

Die Nullstellen musst du nicht extra noch berücksichtigen, denn die hast du dir schon angeschaut.

Wenn deine Funktion von der Form f : AB f: A \to B mit einer beliebigen Abbildungsvorschrift ist und du sagst, dass du für ALLE yB y \in B mindestens ein xA x \in A finden kannst, welches unter der Abbildungsvorschrift auf das yy abgebildet wird, dann hast du auch automatisch die Nullstellen mit beachtet, denn diese liegen schon in deinem B B drin.

Denn es gibt für alle y aus B ein x aus A, also gibt es auch für

0B 0 \in B mindestens ein xA x \in A, s.d. f(x)=0f(x) = 0.

Ich schreibe dir den Beweis, wie er in etwa aussehen könnte, mal hin. Vielleicht hilft dir das zusätzlich für das Verständnis:

Sei f : RR,xx3x f: \mathbb{R} \to \mathbb{R}, x \mapsto x^3 - x gegeben.

Sei weiter yR y \in \mathbb{R} beliebig mit

x3x=y x^3 - x = y .

Wir haben auf der linken Seite ein Polynom dritten Grades stehen. Es werden also negative sowie positive y-Werte angenommen.

Deshalb gibt es für alle yRy \in \mathbb{R} mindestens ein xRx \in \mathbb{R}, sodass f(x)=yf(x) = y.

Das ist aber gerade die Definition von Surjektivität, also folgt daraus, dass ff surjektiv ist.

0 Daumen

Wisse, dass die Funktion Punktsymmetrisch ist und schau dir mal die Nullstellen an

x3 - x = 0

Mit dem verhalten im Unendlichen und der Tatsache dass die Funktion stetig ist, kann man auch begründen das jeder Wert in R einmal angenommen wird.

Und ein kleiner Tipp. Wenn du die Funktion Skizziert hattest, dann wärst du vermutlich auch selber auf die Idee gekommen.

Plotlux öffnen

f1(x) = x3-x


Avatar von 493 k 🚀

Ein anderes Problem?

Stell deine Frage