[wiskunde] bewijs ophopingspunten
Moderators: ArcherBarry, Fuzzwood
- Berichten: 1.201
bewijs ophopingspunten
"Beschouw een niet-lege verzameling A ⊆ R. Toon aan dat een punt a ∈ R een ophopingspunt is van A als en slechts als er in elk open interval dat a bevat, oneindig veel punten van A zitten."
Iemand enig idee hoe hieraan te beginnen ?
Iemand enig idee hoe hieraan te beginnen ?
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: bewijs ophopingspunten
Wat is jouw definitie van ophopingspunt?
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.
- Pluimdrager
- Berichten: 6.598
Re: bewijs ophopingspunten
De term ophopingspunt wordt ook wel verdichtingspunt genoemd
- Berichten: 1.201
Re: bewijs ophopingspunten
"Definitie ophopingspunt:
Zij A ⊆ R. We noemen a ∈ R U {+oo, -oo} een ophopingspunt van A als er een rij (Xk)k ∈ N in A bestaat met
Xk ≠ a voor alle K ∈ N. zodat Lim xk = a."
Zij A ⊆ R. We noemen a ∈ R U {+oo, -oo} een ophopingspunt van A als er een rij (Xk)k ∈ N in A bestaat met
Xk ≠ a voor alle K ∈ N. zodat Lim xk = a."
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: 24.578
Re: bewijs ophopingspunten
Heb je een van de implicaties al geprobeerd?
1) Indien ophopingspunt, dan oneindig veel punten in elk open interval rond a.
2) Indien oneindig veel punten in elk open interval rond a, dan ophopingspunt.
Kan je met 1 beginnen? Er is dan een rij van termen verschillend van a die naar a convergeert.
1) Indien ophopingspunt, dan oneindig veel punten in elk open interval rond a.
2) Indien oneindig veel punten in elk open interval rond a, dan ophopingspunt.
Kan je met 1 beginnen? Er is dan een rij van termen verschillend van a die naar a convergeert.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)
- Berichten: 1.201
Re: bewijs ophopingspunten
Hoe drukken we via een rij uit dat we oneindig veel punten rond a kunnen vinden ?TD schreef: ↑wo 02 mei 2012, 09:28
Heb je een van de implicaties al geprobeerd?
1) Indien ophopingspunt, dan oneindig veel punten in elk open interval rond a.
2) Indien oneindig veel punten in elk open interval rond a, dan ophopingspunt.
Kan je met 1 beginnen? Er is dan een rij van termen verschillend van a die naar a convergeert.
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: 24.578
Re: bewijs ophopingspunten
Elk open interval rond a moet nog een punt verschillend van a bevatten (waardoor trouwens ook oneindig veel); d.w.z. voor alle k>0, moet je een punt (of oneindig veel punten) verschillend van a in (a-k,a+k) vinden.
Maar wat haal je uit de definitie van de rij, convergent naar a?
Maar wat haal je uit de definitie van de rij, convergent naar a?
"Malgré moi, l'infini me tourmente." (Alfred de Musset)
- Berichten: 1.201
Re: bewijs ophopingspunten
Kies een willekeurige ε > 0.TD schreef: ↑wo 02 mei 2012, 09:46
Elk open interval rond a moet nog een punt verschillend van a bevatten (waardoor trouwens ook oneindig veel); d.w.z. voor alle k>0, moet je een punt (of oneindig veel punten) verschillend van a in (a-k,a+k) vinden.
Maar wat haal je uit de definitie van de rij, convergent naar a?
Aangezien de Lim Xk = a, bestaat er een k1 ∈ N zodat |Xk - a| < ε; voor alle k ≥ k1.
We weten dus dat alle elementen Xk, waarvoor k ≥ k1, tot de verzameling [a - ε, a + ε] behoren. Hieruit volgt dat we dus oneindig veel punten rond a hebben verkregen.
OT: Waarom is in de verzameling [0,2[ '2' ook een ophopingspunt ? Het is duidelijk dat we willekeurig veel rijen in de verzameling kunnen vinden die naar 2 convergeren. Het kan echter wel enkel langs 1 kant, maar dat is dus voldoende om te besluiten dat het een ophopingspunt 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: 24.578
Re: bewijs ophopingspunten
Je bedoelt (a-ε,a+ε) (het is immers een strikte ongelijkheid). Je zou best wat explicieter het verband leggen met het interval uit mijn vorig bericht, dáárin wil je immers oneindig veel punten vinden. Begrijp je wat ik bedoel? Je kan de definities wel naast elkaar leggen, maar je moet zo op een of andere manier samen gebruiken.Biesmansss schreef: ↑wo 02 mei 2012, 09:54
Kies een willekeurige ε > 0.
Aangezien de Lim Xk = a, bestaat er een k1 ∈ N zodat |Xk - a| < ε; voor alle k ≥ k1.
We weten dus dat alle elementen Xk, waarvoor k ≥ k1, tot de verzameling [a - ε, a + ε] behoren. Hieruit volgt dat we dus oneindig veel punten rond a hebben verkregen.
Merk op dat de definitie van ophopingspunt a (van een verzameling A) niet vraagt dat a zelf in A moet zitten, enkel dat er een rij in A bestaat die naar a convergeert.Biesmansss schreef: ↑wo 02 mei 2012, 09:54
OT: Waarom is in de verzameling [0,2[ '2' ook een ophopingspunt ? Het is duidelijk dat we willekeurig veel rijen in de verzameling kunnen vinden die naar 2 convergeren. Het kan echter wel enkel langs 1 kant, maar dat is dus voldoende om te besluiten dat het een ophopingspunt is ?
"Malgré moi, l'infini me tourmente." (Alfred de Musset)
- Berichten: 1.201
Re: bewijs ophopingspunten
Hoe kan ik dit verband nog explicieter leggen ? En voor de rest is, (1) alleszins, al OK dan ?TD schreef: ↑wo 02 mei 2012, 10:01
Je bedoelt (a-ε,a+ε) (het is immers een strikte ongelijkheid). Je zou best wat explicieter het verband leggen met het interval uit mijn vorig bericht, dáárin wil je immers oneindig veel punten vinden. Begrijp je wat ik bedoel? Je kan de definities wel naast elkaar leggen, maar je moet zo op een of andere manier samen gebruiken.
Merk op dat de definitie van ophopingspunt a (van een verzameling A) niet vraagt dat a zelf in A moet zitten, enkel dat er een rij in A bestaat die naar a convergeert.
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: 24.578
Re: bewijs ophopingspunten
Je wil dat elk open interval rond a oneindig veel punten verschillend van a bevat.
Neem k>0 willekeurig en bekijk (a-k,a+k); hiermee heb je een willekeurig open interval (dus als het hiervoor lukt, heb je het getoond voor elk open...).
Omdat a een ophopingspunt is, convergeert een rij x(n) naar a; d.w.z. dat er voor elke e>0 een N bestaat zodat |x(n)-a|<e voor n>N. Hoe krijg je al de x(n)'en in het vorige interval (a-k,a+k)? Want dát moet je tonen. Herschrijf de (vetgedrukte) ongelijkheid eventueel als een interval.
Neem k>0 willekeurig en bekijk (a-k,a+k); hiermee heb je een willekeurig open interval (dus als het hiervoor lukt, heb je het getoond voor elk open...).
Omdat a een ophopingspunt is, convergeert een rij x(n) naar a; d.w.z. dat er voor elke e>0 een N bestaat zodat |x(n)-a|<e voor n>N. Hoe krijg je al de x(n)'en in het vorige interval (a-k,a+k)? Want dát moet je tonen. Herschrijf de (vetgedrukte) ongelijkheid eventueel als een interval.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)
- Berichten: 1.201
Re: bewijs ophopingspunten
Omdat a een ophopingspunt is, convergeert een rij Xn naar a. Er bestaat voor elke ε > 0 een n1 ∈ N zodat
|Xn - a| < e; voor alle indices n ≥ n1.
|Xn - a|
= a - e < Xn < a + e -> (a - n, a + n)
Hiermee hebben we een willekeurig open interval.
Zo dan ?
|Xn - a| < e; voor alle indices n ≥ n1.
|Xn - a|
= a - e < Xn < a + e -> (a - n, a + n)
Hiermee hebben we een willekeurig open interval.
Zo dan ?
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: 24.578
Re: bewijs ophopingspunten
Mwah...
Je hebt toch wat last met de logische volgorde van de zaken. Je wil dat elk open interval rond a oneindig veel punten verschillend van a bevat. Neem dus zo'n willekeurig open interval, bv. door een willekeurige k>0 te kiezen en (a-k,a+k) te beschouwen. Bevat elk interval van deze vorm (k willekeurig!) oneindig veel...?
Ja, want er convergeert een rijtje naar a. We kunnen dus voor elke e>0 een N vinden zodat alle x(n) met n>N in (a-e,a+e) zitten en dat zijn er natuurlijk oneindig veel. Maar we willen dat ze in (a-k,a+k) zitten (zie hiervoor!), dus...? Wat mag je kiezen? Dus hoe zou je dat kiezen?
Je hebt toch wat last met de logische volgorde van de zaken. Je wil dat elk open interval rond a oneindig veel punten verschillend van a bevat. Neem dus zo'n willekeurig open interval, bv. door een willekeurige k>0 te kiezen en (a-k,a+k) te beschouwen. Bevat elk interval van deze vorm (k willekeurig!) oneindig veel...?
Ja, want er convergeert een rijtje naar a. We kunnen dus voor elke e>0 een N vinden zodat alle x(n) met n>N in (a-e,a+e) zitten en dat zijn er natuurlijk oneindig veel. Maar we willen dat ze in (a-k,a+k) zitten (zie hiervoor!), dus...? Wat mag je kiezen? Dus hoe zou je dat kiezen?
"Malgré moi, l'infini me tourmente." (Alfred de Musset)
- Berichten: 1.201
Re: bewijs ophopingspunten
Zou je dan deze epsilon kiezen zodatTD schreef: ↑wo 02 mei 2012, 10:50
Mwah...
Je hebt toch wat last met de logische volgorde van de zaken. Je wil dat elk open interval rond a oneindig veel punten verschillend van a bevat. Neem dus zo'n willekeurig open interval, bv. door een willekeurige k>0 te kiezen en (a-k,a+k) te beschouwen. Bevat elk interval van deze vorm (k willekeurig!) oneindig veel...?
Ja, want er convergeert een rijtje naar a. We kunnen dus voor elke e>0 een N vinden zodat alle x(n) met n>N in (a-e,a+e) zitten en dat zijn er natuurlijk oneindig veel. Maar we willen dat ze in (a-k,a+k) zitten (zie hiervoor!), dus...? Wat mag je kiezen? Dus hoe zou je dat kiezen?
0 < e < k ?
Dan is a - k < a - e en a + e < a + k
Bijgevolg zit (a - en a + e) volledig in het interval (a - k, a + k) en van (a - en a + e) weten we dat dit willekeurig veel elementen rond a bevat.
Maar tast deze beperking de 'willekeurigheid' van epsilon niet aan ?
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: 24.578
Re: bewijs ophopingspunten
Bijgevolg zit (a-e,a+e) volledig binnen (a-k,a+k) zodat dit laatste interval oneindig veel punten... Juist!Biesmansss schreef: ↑wo 02 mei 2012, 11:32
Zou je dan deze epsilon kiezen zodat
0 < e < k ?
Dan is a - k < a - e en a + e < a + k
Bijgevolg zit (a - en a + e) volledig in het interval (a - k, a + k) en van (a - en a + e) weten we dat dit willekeurig veel elementen rond a bevat.
Nee; je moet hier immers de convergentie van de rij niet bewijzen, die is (voor deze implicatie, niet in de andere richting) gegeven! Dus aan de definitie is voldoaan: voor elke epsilon... Kies er dus een die in dit bewijs nuttig is, namelijk e < k met k uit dat willekeurig gekozen open interval. De definitie garandeert het bestaan van een N (of n1) zodat (...) voor elke epsilon, dus ook voor deze die ons 'helpt' in het bewijs.Biesmansss schreef: ↑wo 02 mei 2012, 11:32
Maar tast deze beperking de 'willekeurigheid' van epsilon niet aan ?
Je moet goed in het oog houden wat je moet bewijzen en waarvan je vertrekt. Voor de andere implicatie keert het om: dan veronderstel je dat elk open interval oneindig veel ... en dan moet je tonen dat er een rij bestaat zodat ...
"Malgré moi, l'infini me tourmente." (Alfred de Musset)