Definitie van e

Moderators: dirkwb, Xilvo

Definitie van e

\(e\)
is per definitie het getal waarvoor geldt dat de oppervlakte van de grafiek van
\(y=\frac{1}{x}\)
tussen
\(x=1\)
en
\(x=e\)
precies 1 is.

Afbeelding

Toon nu aan dat
\(\lim_{n \to \infty} \left(1+\frac{1}{n}\right)^n = e\)
.

Gebruikersavatar
Berichten: 3.330

Re: Definitie van e

Ik weet nog dat het bewijs langs binonium van Newton kan gebeuren.

Hier
Volgens mijn verstand kan er niets bestaan en toch bestaat dit alles?

Re: Definitie van e

Daarin staat alleen het bewijs dat de limiet bestaat.

Die limiet noemen ze dan e.

Hier heb ik e al gedefinieerd (zie plaatje).

Nu moet je aantonen dat die limiet op datzelfde getal e uitkomt.

Gebruikersavatar
Berichten: 24.578

Re: Definitie van e

Deze (en andere) equivalenties tussen definities van e kan je hier vinden - niet voor wie zelf wil zoeken :(
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Re: Definitie van e

Deze (en andere) equivalenties tussen definities van e kan je hier vinden - niet voor wie zelf wil zoeken :(
Dat verhaal deugt niet.

Je kunt NIET
\(e^x\)
definiëren door
\(e^x := \lim_{n \to \infty} \left(1 + \frac{x}{n}\right)^n\)
omdat je dan eerst moet aantonen dat de limiet een macht is.

Met hetzelfde recht zou ik dan logaritmen kunnen definiëren:
\(\ln(x) := \lim_{n \to \infty} \left(1 + \frac{x}{n}\right)^n\)
.

We weten echter dat die limiet helemaal geen logaritme is.

Bovendien is het een beetje vreemd de functie
\(\ln\)
bekend te veronderstellen, terwijl die logaritme het grondtal
\(e\)
impliciet bevat (
\(\ln =^{e}\mbox{log}\)
) en dan te zeggen dat je m.b.v. die
\(\ln\)
het getal
\(e\)
wilt definiëren. Of niet soms?

en bovendien het kan veel eenvoudiger.

Gebruikersavatar
Berichten: 24.578

Re: Definitie van e

Ze definiëren die limiet toch niet als exp(x)? Ze noemen het eerst y en tonen aan ln(y) = x.

Als je vindt dat er iets fout aan het bewijs is, kan je dat aangeven op de commentaarpagina van de wiki...
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Re: Definitie van e

Zie Characterizations 1.

Gebruikersavatar
Berichten: 24.578

Re: Definitie van e

Zie Characterizations 1.
Ik dacht dat je met het niet-deugend verhaal het aantonen van de equivalentie bedoelde.

Die definitie (met de limiet) wordt nochtans veel gebruikt, ook in boeken. Misschien dat de auteurs in kwestie (sommigen toch) op dat moment ook netjes aantonen dat die limiet een macht is. Maar geldt dat ook niet voor de andere definities, dat je à priori niet weet of het wel een macht voorstelt?
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Re: Definitie van e

Je mag niet definiëren
\(e^x:=\lim_{n \to \infty} \left( 1+ \frac{1}{n}\right)^n\)
,

want het is helemaal niet duidelijk dat die limiet een macht is.

Je mag wel definiëren
\(exp(x):=\lim_{n \to \infty} \left( 1+ \frac{1}{n}\right)^n\)
en dan aantonen dat
\(exp\)
een macht is.

Dat gedoe met de definitie van
\(\ln\)
, inverse nemen enz. is veel te omslachtig.

Gebruikersavatar
Berichten: 24.578

Re: Definitie van e

Dat is wat in de betere teksten/boeken ook gedaan wordt.

Wat ik bedoelde: dat geldt dan toch ook voor de andere definities?
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Re: Definitie van e

Ik begrijp niet wat je bedoelt. Geef een voorbeeld.

Characterization 3:

"In this case, we define the natural logarithm function ln(x) first, and then define exp(x) as the inverse of the natural logarithm. In other words, for all y > 0, define
\(\ln(y) = \int_{0}^{y} \frac{1}{x}\dx\)
Hoe bewijs je dan dat de inverse van deze
\(\ln\)
een macht is???

want in de "Equivalence of characterizations 1 and 3" schrijft hij:

"We will show that ln(y) = x, which implies (?????) that
\(y = e^x\)
, where
\(e^x\)
is in the sense of definition 3 ..."

Gebruikersavatar
Berichten: 24.578

Re: Definitie van e

Ik begrijp niet wat je bedoelt. Geef een voorbeeld.
\(e^x := \sum\limits_{k = 0}^{ + \infty } {\frac{{x^k }}{{k!}}} \)


Dat je ook bij de definitie zoals hierboven (of andere definities) eerst moet aantonen dat het om een macht gaat.

Of, dat je het definieert als een functie waar je achteraf van aantoont dat het werkelijk om een macht gaat.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Re: Definitie van e

TD schreef:
\(e^x := \sum\limits_{k = 0}^{ + \infty } {\frac{{x^k }}{{k!}}} \)
Dat je ook bij de definitie zoals hierboven (of andere definities) eerst moet aantonen dat het om een macht gaat.

Of, dat je het definieert als een functie waar je achteraf van aantoont dat het werkelijk om een macht gaat.
Dit is/zijn (een) onzindefinitie(s).

Je definitieert exp door:
\(exp(x) := \sum\limits_{k = 0}^{ + \infty } {\frac{{x^k }}{{k!}}} \)
Vervolgens ga je bewijzen dat exp(x+y) = exp(x).exp(y). En dan toon je aan dat de enige functies die hieraan voldoen machten zijn.

De meneer die dit verhaal heeft opgeschreven heeft de klok en de klepen flink door elkaar geschud.

Gebruikersavatar
Berichten: 24.578

Re: Definitie van e

Vandaar dat ik zei/vroeg: wat je aanhaalt voor die limiet van (1+x/n)^n geldt even goed voor de andere gangbare definities van de exponentiële functie, zoals de machtreeks hierboven enz.
Maar geldt dat ook niet voor de andere definities, dat je à priori niet weet of het wel een macht voorstelt?
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Re: Definitie van e

Ok. Het is wel duidelijk dat dat hele verhaal gereviseerd behoort te worden.

De equivalentie van 1 en 3 wordt dan een dobber.

Reageer