Dowód z definicji kresu

Granice, pochodne, całki, szeregi
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
Magda6686
Rozkręcam się
Rozkręcam się
Posty: 66
Rejestracja: 11 paź 2014, 19:43
Podziękowania: 9 razy
Płeć:

Dowód z definicji kresu

Post autor: Magda6686 »

Potrzebuje dowodu (podobno dowodzi się indukcyjnie z definicji kresu) że jeśli każdy element pewnego zbioru A spełnia nierówność \(x \le M\)to także\(sup (A) \le M\)
Panko
Fachowiec
Fachowiec
Posty: 2946
Rejestracja: 20 gru 2013, 21:41
Lokalizacja: Radom
Otrzymane podziękowania: 1556 razy
Płeć:

Post autor: Panko »

TW : Jeżeli zbiór \(A\) jest ograniczony z góry , to ma kres górny.

Stąd wyprowadza się jako pożyteczny wniosek ten fakcik
Jeżeli wszystkie liczby \(x\) z pewnego zbioru spełniają nierówność \(x \le M\) , to również \(sup \left\{x \right\} \le M\)

Dowód powyższego twierdzenia i uzasadnienie faktu pomieszczony jest w
Rachunek różniczkowy i całkowy : G.M Fichtenholz Tom I , Krańce zbiorów liczbowych.
Magda6686
Rozkręcam się
Rozkręcam się
Posty: 66
Rejestracja: 11 paź 2014, 19:43
Podziękowania: 9 razy
Płeć:

Re: Dowód z definicji kresu

Post autor: Magda6686 »

Mam tą książke ale w rozdziale który podales znalazłam tylko dowód twierdzenia na to ze istanieje kres zbioru ograniczonego (z góry bądź z dołu) (dziwne, myślałam że to jest aksjomat ciągłości).

W każdym razie nie o to mi chodzi, wiec gdzie jest dowód którego szukam?
octahedron
Expert
Expert
Posty: 6762
Rejestracja: 19 mar 2011, 00:22
Otrzymane podziękowania: 3034 razy
Płeć:

Post autor: octahedron »

Jeśli byłoby \(\sup\left\{x\right\}>M\), to z definicji kresu mielibyśmy pewne \(y\in A\) takie, że \(\sup\left\{A\right\}>y>M\), co prowadzi do sprzeczności.
Magda6686
Rozkręcam się
Rozkręcam się
Posty: 66
Rejestracja: 11 paź 2014, 19:43
Podziękowania: 9 razy
Płeć:

Re: Dowód z definicji kresu

Post autor: Magda6686 »

Nie przekonuje mnie to.
po pierwsze co to jest x. Zakładam ze mówimy tu o supremum zbioru A czyli powinno być sup ( A).

Po drugie z tego ze
sup (A) > M
i
sup(A) >= y

nie wynika że:
sup (A)> y > M

Nie rozumiem tego dowodu. Czy tu jest błąd czy ja czegoś nie wiem?
Awatar użytkownika
panb
Expert
Expert
Posty: 5122
Rejestracja: 26 kwie 2010, 22:54
Lokalizacja: Nowiny Wielkie
Podziękowania: 19 razy
Otrzymane podziękowania: 2053 razy
Płeć:

Post autor: panb »

Definicja mówi: \(\sup(A)=M \iff \forall x \in A,\,\,\, x \le M \wedge \forall \epsilon>0 \,\, \exists x_0 \in A: x_0>M-\epsilon\)
Dowód (nie wprost):
Załóżmy, że \(\forall x \in A, \,\,x \le M \wedge \sup(A)>M\)
Niech \(\sup(A)=S>M \So S=M+\epsilon_0, \epsilon_0>0\)
Zgodnie z definicją supremum \(\forall x \in A, \,\, x \le M+\epsilon_0 \wedge \forall \epsilon>0 \,\, \exists x_0 \in A: x_0>S-\epsilon=M + \epsilon_0 -\epsilon\)
Skoro ta nierówność zachodzi \(\forall \epsilon >0\), to również dla \(\epsilon=\epsilon_0\)
Zatem \(\exists x_0 \in A: x_0>M+\epsilon_0-\epsilon_0 \iff \exists x \in A: x>M\\) co przeczy założeniu że \(\forall x \in A, \,\,x \le M\) i kończy dowód.

Czy takie rozumowanie przekonuje cię?
Magda6686
Rozkręcam się
Rozkręcam się
Posty: 66
Rejestracja: 11 paź 2014, 19:43
Podziękowania: 9 razy
Płeć:

Re: Dowód z definicji kresu

Post autor: Magda6686 »

To rozumowanie mnie przekonało. I nie było tu jednak żadnej indukcji :P
Awatar użytkownika
panb
Expert
Expert
Posty: 5122
Rejestracja: 26 kwie 2010, 22:54
Lokalizacja: Nowiny Wielkie
Podziękowania: 19 razy
Otrzymane podziękowania: 2053 razy
Płeć:

Post autor: panb »

A kto wspominał o, za przeproszeniem, indukcji?
ODPOWIEDZ