[wiskunde] absolute waarde

Moderators: ArcherBarry, Fuzzwood

Gebruikersavatar
Berichten: 7.390

[wiskunde] absolute waarde

De absolute waarde van een som is kleiner dan de som van de absolute waarden...

Is dit hetzelfde als de driehoeksongelijkheid?

Hoe begin je anders aan dit soort bewijs?
"C++ : Where friends have access to your private members." Gavin Russell Baker.

Gebruikersavatar
Berichten: 7.556

Re: [wiskunde] absolute waarde

In fysics I trust schreef:De absolute waarde van een som is kleiner dan de som van de absolute waarden...

Is dit hetzelfde als de driehoeksongelijkheid?
Ja (voor twee termen althans).
Hoe begin je anders aan dit soort bewijs?
Door herhaaldelijk de driehoeksongelijkheid toe te passen.
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 7.390

Re: [wiskunde] absolute waarde

Dus eerst de ongelijkheid van Cauchy bewijzen en daaruit de driehoeksongelijkheid afleiden (met vectoren dus) en vervolgens zeggen dat R zelf ook een vectorruimte is en dat bijgevolg ook geldt:

|x+y|=<|x|+|y|

Is het dat?

Nogmaals bedankt!
"C++ : Where friends have access to your private members." Gavin Russell Baker.

Gebruikersavatar
Berichten: 24.578

Re: [wiskunde] absolute waarde

Waar heb je vectorruimte voor nodig? De driehoeksongelijkheid is te bewijzen vanuit Cauchy-Schwartz, of gewoon vanuit eigenschappen van de absolute waarde.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 7.390

Re: [wiskunde] absolute waarde

... of gewoon vanuit eigenschappen van de absolute waarde.


Hoe dat zo?
"C++ : Where friends have access to your private members." Gavin Russell Baker.

Gebruikersavatar
Berichten: 24.578

Re: [wiskunde] absolute waarde

Je hebt sowieso -|x| < x < |x| en zo ook voor y. Tel die uitdrukkingen eens lid aan lid op.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 7.556

Re: [wiskunde] absolute waarde

Je hebt het over de absolute waarde, normaal werkt men dan in R of C (in algemene vectorruimten heet het een norm). Ik neem aan dat de absolute waarde (voor R of C) al bewezen is in je cursus, zo niet kan dat bijna triviaal uit de definitie zoals TD zegt. Voor de Euclidische norm
\(\|x\|=\sqrt{\sum_i x_i^2}\)
kan de driehoeksongelijkheid inderdaad uit Cauchy-Schwartz worden bewezen. Graag iets duidelijker zijn over de opgave.

Als je eenmaal weet dat
\(|x+y|\leq|x|+|y|\)
, dan kun je dit met inductie uitbreiden naar willekeurige eindige sommen
\(|a_1+...+a_n|\leq |a_1|+...+|a_n|\)
.
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 24.578

Re: [wiskunde] absolute waarde

Ik vermoed dat het over :eusa_whistle: gaat, dat de absolute waarde |x| gedefinieerd is en dat de driehoeksongelijkheid (eenvoudigste vorm, zoals in woorden gegeven in het startbericht) te bewijzen valt. Dat kan met Cauchy-Schwartz (zoals reeds gezegd), maar het kan ook zonder.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 7.390

Re: [wiskunde] absolute waarde

Opnieuw bedankt allemaal!
"C++ : Where friends have access to your private members." Gavin Russell Baker.

Gebruikersavatar
Berichten: 24.578

Re: [wiskunde] absolute waarde

Is het gelukt om de driehoeksongelijkheid zo te bewijzen, eventueel zonder Cauchy-Schwartz?
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 7.390

Re: [wiskunde] absolute waarde

Ik dacht aan dit:

-(x+y)<=|x+y|<=(x+y) eigenschap absolute waarde

-x<=|x|<=x

-y<=|y|<=y

------------

-(x+y)<=|x|+|y|<=x+y

en dat lukt niet verder ;-(

Maar op http://hhofstede.nl/paradoxen/driehoeksongelijkheid.htm

heb ik wel een meetkundige interpretatie gevonden.

Ik kan het nu dus:

1) meetkundig aantonen

2) via Cauchy-Schwartz aantonen

3) nog steeds niet gewoon via de eigenschappen van absolute waarde...
"C++ : Where friends have access to your private members." Gavin Russell Baker.

Gebruikersavatar
Berichten: 7.556

Re: [wiskunde] absolute waarde

In fysics I trust schreef:Ik dacht aan dit:

-x<=|x|<=x

-y<=|y|<=y

------------
Je moet wel de reacties/hints hier lezen:
Je hebt sowieso -|x| < x < |x| en zo ook voor y. Tel die uitdrukkingen eens lid aan lid op.
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 7.556

Re: [wiskunde] absolute waarde

Die strikte ongelijkheden
\(<\)
van TD hierboven moeten natuurlijk niet-strikt
\(\leq\)
zijn :eusa_whistle:

Je kunt |x+y|<=|x|+|y| nog directer uit de definitie bewijzen. Als x=0 of y=0 is het triviaal. Er zijn nu vier mogelijkheden

1) x>0,y>0

2) x<0,y<0

3) x>0,y<0

4) x<0,y>0

Vanwege symmetrie in x en y van de driehoeksongelijkheid hoef je maar één van 3) en 4) te behandelen.

Geval 1 en 2 zijn heel eenvoudig, daar geldt zelfs gelijkheid. Geval 3 (of 4) is net ietsje meer werk.
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 24.578

Re: [wiskunde] absolute waarde

Moeten inderdaad niet-strikt zijn; je hebt dus:

-|x| :eusa_whistle: x ;) |x|

-|y| ;) y ](*,) |y|

------------------

-(|x|+|y|) ](*,) x+y 8-) |x|+|y|

Maar wat betekent dit...? Het is van de vorm: "-a ;) b ;) a".
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 7.390

Re: [wiskunde] absolute waarde

@Phys:

Stel a>0 en b<0,

Dan geldt:

a=|a| (volgt uit definitie absolute waarde)

b<|b| (volgt uit definitie absolute waarde)

---------------------------------------------

a+b<|a|+|b|
  1. Zij a+b>=0
Dan geldt:

a+b=|a+b|

en dus ook:

|a+b|<|a|+|b|

2. Zij a+b<0

Dan geldt:

a+b<|a+b|

Maar waarom is in dit geval ook |a+b|<|a|+|b| geldig?

@TD:

De absolute waarde voldoet hieraan, maar mag je hier ook uit besluiten dat |a+b|<|a|+|b| geldt?

Nogmaals bedankt voor jullie moeite!
"C++ : Where friends have access to your private members." Gavin Russell Baker.

Reageer