[wiskunde] Lineaire afbeelding
Moderators: ArcherBarry, Fuzzwood
- Berichten: 1.201
Lineaire afbeelding
"Veronderstel dat f: Rn -> Rm een lineaire afbeelding is. Heeft f rond elk punt a ∈ Rn een eerste orde benadering ? Zo ja, wat is die ? Ben je hierdoor verrast ?"
Ik denk dat dit afhangt van de continuïteit van de partiële afgeleiden. Als ze in bepaalde punten niet continu zijn, kunnen we hier geen eerste orde benadering opstellen.
Akkoord ?
Dank bij voorbaat!
Ik denk dat dit afhangt van de continuïteit van de partiële afgeleiden. Als ze in bepaalde punten niet continu zijn, kunnen we hier geen eerste orde benadering opstellen.
Akkoord ?
Dank bij voorbaat!
The ideas of economists and political philosophers, both when they are right and when they are wrong, are more powerful than is commonly understood. Indeed the world is ruled by little else. Quote : John Maynard Keynes
- Berichten: 10.179
Re: Lineaire afbeelding
Denk er eens wat dieper over na. Te beginnen met: kan jouw situatie zich voordoen? En gewoon op gezond verstand: Wat lijkt je de beste lineaire benadering van een reeds lineaire functie?
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.
- Berichten: 1.201
Re: Lineaire afbeelding
Drieske schreef: ↑vr 11 mei 2012, 10:28
Denk er eens wat dieper over na. Te beginnen met: kan jouw situatie zich voordoen? En gewoon op gezond verstand: Wat lijkt je de beste lineaire benadering van een reeds lineaire functie?
Ja, ik was er te snel over gegaan misschien.
Als het een lineaire afbeelding is die continu is, zal de beste lineaire benadering gewoon terug de lineaire afbeelding zijn; dit is niet verrassend.
Maar wat als ze niet continu is ?
The ideas of economists and political philosophers, both when they are right and when they are wrong, are more powerful than is commonly understood. Indeed the world is ruled by little else. Quote : John Maynard Keynes
- Berichten: 10.179
Re: Lineaire afbeelding
Ook hier weer: kan dat? Denk eens aan de definitie van een lineaire afbeelding (en geef deze ook)...
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.
- Berichten: 1.201
Re: Lineaire afbeelding
Lineaire afbeelding.. Dus stel een vlak:
f: R2 -> R: (x,y) |-> x + y
Goh, echt de definitie hiervoor weet ik zo niet direct. Maar kan je bv. niets hebben in de aard van:
f: R2 -> R: (x,y) |->
x + y (als x.y ≠ 0)
0 als (x.y = 0)
f: R2 -> R: (x,y) |-> x + y
Goh, echt de definitie hiervoor weet ik zo niet direct. Maar kan je bv. niets hebben in de aard van:
f: R2 -> R: (x,y) |->
x + y (als x.y ≠ 0)
0 als (x.y = 0)
The ideas of economists and political philosophers, both when they are right and when they are wrong, are more powerful than is commonly understood. Indeed the world is ruled by little else. Quote : John Maynard Keynes
- Berichten: 10.179
Re: Lineaire afbeelding
De definitie is nochtans cruciaal: F: Rn-> Rm is een lineaire afbeelding als voor x en y in Rn geldt dat F(x + y) = F(x) + F(y). Helpt dit?
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.
- Berichten: 1.201
Re: Lineaire afbeelding
Aangezien het een lineaire afbeelding is, hebben we sowieso een functie voorschrift in de vorm van
f: Rm -> Rn: (x1, ..., xn) |-> a1x1 + .... + anxn
Dus als we een rij hebben Xk =(X1k,..., XnK) die naar a = (x1, ..., xn) convergeert.. dan moet ook de beeldrij naar het beeld van f(a) convergeren.
We weten dat |Xnk - an| < ɛ / n (met n het aantal termen van 1 -> n)
Dankzij de definitie weten we dat:
|f(Xk) - f(a)| = |f(X1k, ..., Xnk) - f(x1, ...,xn)| = |f(Xk) - f(x1) + ... + f(Xnk) - f(xn)| ≤ |F(X1k) - f(x1)| + ... + |f(Xnk) - f(Xn)| = |a1x1k - a1x1| + ... + |anXnk - anXn| < n. (ɛ / n) = ɛ
Hierdoor is bewezen dat een lineaire afbeelding altijd continu moet zijn.
Klopt dit ?
f: Rm -> Rn: (x1, ..., xn) |-> a1x1 + .... + anxn
Dus als we een rij hebben Xk =(X1k,..., XnK) die naar a = (x1, ..., xn) convergeert.. dan moet ook de beeldrij naar het beeld van f(a) convergeren.
We weten dat |Xnk - an| < ɛ / n (met n het aantal termen van 1 -> n)
Dankzij de definitie weten we dat:
|f(Xk) - f(a)| = |f(X1k, ..., Xnk) - f(x1, ...,xn)| = |f(Xk) - f(x1) + ... + f(Xnk) - f(xn)| ≤ |F(X1k) - f(x1)| + ... + |f(Xnk) - f(Xn)| = |a1x1k - a1x1| + ... + |anXnk - anXn| < n. (ɛ / n) = ɛ
Hierdoor is bewezen dat een lineaire afbeelding altijd continu moet zijn.
Klopt dit ?
The ideas of economists and political philosophers, both when they are right and when they are wrong, are more powerful than is commonly understood. Indeed the world is ruled by little else. Quote : John Maynard Keynes
- Berichten: 10.179
Re: Lineaire afbeelding
Wat is het verschil tussen F en f, bijvoorbeeld? En je functie gaat van Rm naar Rn, maar je gebruikt overal subscript n.
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.
- Berichten: 1.201
Re: Lineaire afbeelding
Drieske schreef: ↑vr 11 mei 2012, 11:17
Wat is het verschil tussen F en f, bijvoorbeeld? En je functie gaat van Rm naar Rn, maar je gebruikt overal subscript n.
Ja maar die functie van Rm -> Rn kan je toch opsplitsen in componentfuncties die eruit zien als mijn algemeen vb ?
The ideas of economists and political philosophers, both when they are right and when they are wrong, are more powerful than is commonly understood. Indeed the world is ruled by little else. Quote : John Maynard Keynes
- Berichten: 10.179
Re: Lineaire afbeelding
Je zult toch echt duidelijker moeten zijn met wat je bedoelt. Je gebruikt F, maar ik zie nergens wat F is, noch waarom je plots F ipv f schrijft. Je hebt een functie die vertrekt met m componenten, maar je subscript is n. Dat houdt geen steek hè...
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.
- Berichten: 1.201
Re: Lineaire afbeelding
Akkoord, het moet veel duidelijker. Dit is echter niet zo eenvoudig, maar de essentie van het idee is er toch al; of niet ?
Die 'F' was een typfout.
We hebben een algemeen functie voorschrift in de vorm van:
f: Rm -> Rn: (x1, ..., xm) |-> (a1x1 + .... + amxm + c1, ..., n1x1 + ... nmxm + cn)
(a, ..., n ∈ R en c1, ..., cn ∈ R)
Maar dit is ook niet echt duidelijk, wel ?
Die 'F' was een typfout.
We hebben een algemeen functie voorschrift in de vorm van:
f: Rm -> Rn: (x1, ..., xm) |-> (a1x1 + .... + amxm + c1, ..., n1x1 + ... nmxm + cn)
(a, ..., n ∈ R en c1, ..., cn ∈ R)
Maar dit is ook niet echt duidelijk, wel ?
The ideas of economists and political philosophers, both when they are right and when they are wrong, are more powerful than is commonly understood. Indeed the world is ruled by little else. Quote : John Maynard Keynes
- Berichten: 10.179
Re: Lineaire afbeelding
Laten we de zaak even vereenvoudigen. Bewijs/beargumenteer eerst eens dat een lineaire functie van Rn naar R continu is.
Andere manieren zijn ook mogelijk. Je kunt ook proberen in te zien dat het voldoende is dat je functie in 1 punt continu is om overal continu te zijn.
Andere manieren zijn ook mogelijk. Je kunt ook proberen in te zien dat het voldoende is dat je functie in 1 punt continu is om overal continu te zijn.
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.
- Berichten: 1.201
Re: Lineaire afbeelding
Dus een lineaire functie van Rn -> R heeft een volgend algemeen functie voorschrift:
f: Rn -> R: (x1, ..., xn) |-> a1x1 + ... + anxn + c
Waarbij a1,...an, c ∈ R.
Aangezien het een lineaire functie betreft weten we dat we gebruik kunnen maken van de volgende defitinie:
f(x + y) = f(x) + f(y) (1)
Om aan te tonen dat de functie continu is moeten we bewijzen dat wanneer we een willekeurige rij naar een punt b ∈ R laten convergeren; de beelrij dan ook naar f(b) zal convergeren.
Neem nu een willekeurige rij Xk (= X1k, ..., Xnk) die naar b (= x1, ..., xn) convergereert. We weten dan dat er een k1 ∈ N bestaat zodat |Xk - b| < ε; voor alle indices k ≥ k1.
|f(Xk) - f(b)| = |(a1.X1k + ... + an.Xnk) - (a1.x1 + ... + an.xn)|
...
Zit ik nu op de goede weg ?
f: Rn -> R: (x1, ..., xn) |-> a1x1 + ... + anxn + c
Waarbij a1,...an, c ∈ R.
Aangezien het een lineaire functie betreft weten we dat we gebruik kunnen maken van de volgende defitinie:
f(x + y) = f(x) + f(y) (1)
Om aan te tonen dat de functie continu is moeten we bewijzen dat wanneer we een willekeurige rij naar een punt b ∈ R laten convergeren; de beelrij dan ook naar f(b) zal convergeren.
Neem nu een willekeurige rij Xk (= X1k, ..., Xnk) die naar b (= x1, ..., xn) convergereert. We weten dan dat er een k1 ∈ N bestaat zodat |Xk - b| < ε; voor alle indices k ≥ k1.
|f(Xk) - f(b)| = |(a1.X1k + ... + an.Xnk) - (a1.x1 + ... + an.xn)|
...
Zit ik nu op de goede weg ?
Hhmmm, waarom is dat voldoende ?Drieske schreef: ↑vr 11 mei 2012, 16:55
Laten we de zaak even vereenvoudigen. Bewijs/beargumenteer eerst eens dat een lineaire functie van Rn naar R continu is.
Andere manieren zijn ook mogelijk. Je kunt ook proberen in te zien dat het voldoende is dat je functie in 1 punt continu is om overal continu te zijn.
The ideas of economists and political philosophers, both when they are right and when they are wrong, are more powerful than is commonly understood. Indeed the world is ruled by little else. Quote : John Maynard Keynes
- Berichten: 10.179
Re: Lineaire afbeelding
Dat is wel de juiste weg ja . Het ziet er wel wat verwarrend uit zonder goed gebruik van indices. Let er vooral op dat je je componenten goed aanduidt en dergelijke.
Eens je deze continuïteit hebt, wordt het triviaal eigenlijk. Bekijk de lineaire functie F: Rn -> Rm die x afbeeldt op F(x) = (f1(x), ..., fm(x)) met fi: Rn -> R lineaire functies. Elke component is continu, dus F ook (en vice versa).
Waarom dat voldoende zou zijn: stel dat F: Rn -> Rm continu is in x0. Dus |F(x0) - F(x)| < e als |x0 - x| < d. Merk nu op dat als |y0 - y| < d, dan |x0 - (y0- y + x0)| < d. Uit lineariteit volgt dat F(y0) - F(y) = F(x0) - F(y0- y + x0) en dus volgt continuïteit in eender welk punt uit continuïteit in x0. Zie je dit?
Eens je deze continuïteit hebt, wordt het triviaal eigenlijk. Bekijk de lineaire functie F: Rn -> Rm die x afbeeldt op F(x) = (f1(x), ..., fm(x)) met fi: Rn -> R lineaire functies. Elke component is continu, dus F ook (en vice versa).
Waarom dat voldoende zou zijn: stel dat F: Rn -> Rm continu is in x0. Dus |F(x0) - F(x)| < e als |x0 - x| < d. Merk nu op dat als |y0 - y| < d, dan |x0 - (y0- y + x0)| < d. Uit lineariteit volgt dat F(y0) - F(y) = F(x0) - F(y0- y + x0) en dus volgt continuïteit in eender welk punt uit continuïteit in x0. Zie je dit?
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.
- Berichten: 1.201
Re: Lineaire afbeelding
Niet onmiddelijk nee.Drieske schreef: ↑za 12 mei 2012, 12:18
Dat is wel de juiste weg ja . Het ziet er wel wat verwarrend uit zonder goed gebruik van indices. Let er vooral op dat je je componenten goed aanduidt en dergelijke.
Eens je deze continuïteit hebt, wordt het triviaal eigenlijk. Bekijk de lineaire functie F: Rn -> Rm die x afbeeldt op F(x) = (f1(x), ..., fm(x)) met fi: Rn -> R lineaire functies. Elke component is continu, dus F ook (en vice versa).
Waarom dat voldoende zou zijn: stel dat F: Rn -> Rm continu is in x0. Dus |F(x0) - F(x)| < e als |x0 - x| < d. Merk nu op dat als |y0 - y| < d, dan |x0 - (y0- y + x0)| < d. Uit lineariteit volgt dat F(y0) - F(y) = F(x0) - F(y0- y + x0) en dus volgt continuïteit in eender welk punt uit continuïteit in x0. Zie je dit?
Om ook nog even terug te komen op het volgende deel
"Neem nu een willekeurige rij Xk (= X1k, ..., Xnk) die naar b (= x1, ..., xn) convergereert. We weten dan dat er een k1 ∈ N bestaat zodat |Xk - b| < ε; voor alle indices k ≥ k1."
Kan ik dit niet beter vervangen door:
Neem nu een willekeurige rij Xk (= X1k, ..., Xnk) die naar b (= x1, ..., xn) convergereert. We weten dan dat er een kj ∈ N bestaat zodat |Xjk - xj| < ε / n (met j ∈ 1, ..., n) ; voor alle indices k ≥ kj. Kies nu k' ≥ max{kj}. Dan geldt dat |Xk - xn| < ε; voor alle indices k ≥ k'.
The ideas of economists and political philosophers, both when they are right and when they are wrong, are more powerful than is commonly understood. Indeed the world is ruled by little else. Quote : John Maynard Keynes