Beweis Supremum
About points...
We associate a certain number of points with each exercise.
When you click an exercise into a collection, this number will be taken as points for the exercise, kind of "by default".
But once the exercise is on the collection, you can edit the number of points for the exercise in the collection independently, without any effect on "points by default" as represented by the number here.
That being said... How many "default points" should you associate with an exercise upon creation?
As with difficulty, there is no straight forward and generally accepted way.
But as a guideline, we tend to give as many points by default as there are mathematical steps to do in the exercise.
Again, very vague... But the number should kind of represent the "work" required.
When you click an exercise into a collection, this number will be taken as points for the exercise, kind of "by default".
But once the exercise is on the collection, you can edit the number of points for the exercise in the collection independently, without any effect on "points by default" as represented by the number here.
That being said... How many "default points" should you associate with an exercise upon creation?
As with difficulty, there is no straight forward and generally accepted way.
But as a guideline, we tend to give as many points by default as there are mathematical steps to do in the exercise.
Again, very vague... But the number should kind of represent the "work" required.
About difficulty...
We associate a certain difficulty with each exercise.
When you click an exercise into a collection, this number will be taken as difficulty for the exercise, kind of "by default".
But once the exercise is on the collection, you can edit its difficulty in the collection independently, without any effect on the "difficulty by default" here.
Why we use chess pieces? Well... we like chess, we like playing around with \(\LaTeX\)-fonts, we wanted symbols that need less space than six stars in a table-column... But in your layouts, you are of course free to indicate the difficulty of the exercise the way you want.
That being said... How "difficult" is an exercise? It depends on many factors, like what was being taught etc.
In physics exercises, we try to follow this pattern:
Level 1 - One formula (one you would find in a reference book) is enough to solve the exercise. Example exercise
Level 2 - Two formulas are needed, it's possible to compute an "in-between" solution, i.e. no algebraic equation needed. Example exercise
Level 3 - "Chain-computations" like on level 2, but 3+ calculations. Still, no equations, i.e. you are not forced to solve it in an algebraic manner. Example exercise
Level 4 - Exercise needs to be solved by algebraic equations, not possible to calculate numerical "in-between" results. Example exercise
Level 5 -
Level 6 -
When you click an exercise into a collection, this number will be taken as difficulty for the exercise, kind of "by default".
But once the exercise is on the collection, you can edit its difficulty in the collection independently, without any effect on the "difficulty by default" here.
Why we use chess pieces? Well... we like chess, we like playing around with \(\LaTeX\)-fonts, we wanted symbols that need less space than six stars in a table-column... But in your layouts, you are of course free to indicate the difficulty of the exercise the way you want.
That being said... How "difficult" is an exercise? It depends on many factors, like what was being taught etc.
In physics exercises, we try to follow this pattern:
Level 1 - One formula (one you would find in a reference book) is enough to solve the exercise. Example exercise
Level 2 - Two formulas are needed, it's possible to compute an "in-between" solution, i.e. no algebraic equation needed. Example exercise
Level 3 - "Chain-computations" like on level 2, but 3+ calculations. Still, no equations, i.e. you are not forced to solve it in an algebraic manner. Example exercise
Level 4 - Exercise needs to be solved by algebraic equations, not possible to calculate numerical "in-between" results. Example exercise
Level 5 -
Level 6 -
Question
Solution
Short
Video
\(\LaTeX\)
No explanation / solution video to this exercise has yet been created.
Visit our YouTube-Channel to see solutions to other exercises.
Don't forget to subscribe to our channel, like the videos and leave comments!
Visit our YouTube-Channel to see solutions to other exercises.
Don't forget to subscribe to our channel, like the videos and leave comments!
Exercise:
abcliste abc Wie ist das Supremum definiert? abc Durch welche Eigenschaften wird es charakterisiert? abc Beweisen Sie. abcliste
Solution:
abcliste abc Sei X subset mathbbR eine von oben beschränkte nicht-leere Teilmenge. Dann gibt es eine bf kleinste obere Schranke von X die auch das bf Supremum supX von X genannt wird. abc Formal gelten für s_textsupX folge Eigenschaften: forall x in X: x leq s_quad texts_ ist eine obere Schranke forall s in mathbbR: forall x in X: xleq s Rightarrow s_leq s s_ ist kleiner gleich jeder oberen Schranke Äquivalenterweise kann s_textsupX auch durch die erste Bedingung und die folge definiert werden: forall epsilon quad exists x in X: x s_-epsilon Kleinere Zahlen sind keine oberen Schranken Des Weiteren gilt: itemize item Falls das Maximum x_textmaxX existiert dann ist x_ eine obere Schranke von X und ist vielmehr auch die kleinste obere Schranke also textmaxXtextsupX. Denn aus x_ in X folgt x_ leq s für jede obere Schranke s von X. item Wenn das Supremum textsupX in X liegt dann ist textsupXtextmaxX da das Supremum eine obere Schranke ist. Also ist das Supremum eine Verallgemeinerung des Maximums einer Menge. Rightarrow Jedes max ist ein sup aber nicht jedes sup ist ein max. item Die Formulierung glqq kleinste obere Schrankegrqq ist Synonym für das Minimum der oberen Schranken und ist dadurch eindeutig bestimmt falls es existiert. itemize abc Beweis. Nach Annahme ist X nicht-leer und die Menge der oberen Schranken Ys in mathbbR| forall x in X: x leq s ist ebenfalls nicht leer. Des Weiteren gilt für alle x in X s in Y die Ungleichung x leq s. Nach dem bf Vollständigkeitsaxiom folgt daher dass es ein c in mathbbR gibt für das xleq c leq s für alle x in X und s in Y. Aus der ersten Ungleichung folgt dass c eine obere Schranke von X ist und daher erfüllt c sowohl als auch . Man zeigt nun noch dass das Supremum auch durch und charakterisiert wird. Also angenommen s_textsupX und epsilon dann ist s_-epsilon s_. Daher kann s_-epsilon keine obere Schranke sein und es existiert ein x in X mit x s_-epsilon. Daher erfüllt s_ auch . Erfüllt t_ in mathbbR nun und so ist t_ eine obere Schranke und daher ist s_ leq t_ nach Definition von s_textsupX. Falls s_ t_ wäre dann wäre s_t_-epsilon für ein epsilon . Nach der zweiten Eigenschaft von t_ gäbe es ein x in X mit x s_ was der Definition von s_ als kleinste obere Schranke widerspricht. Deswegen muss t_s_ gelten und s_ ist eindeutig durch die Bedingungen und bestimmt. abcliste
abcliste abc Wie ist das Supremum definiert? abc Durch welche Eigenschaften wird es charakterisiert? abc Beweisen Sie. abcliste
Solution:
abcliste abc Sei X subset mathbbR eine von oben beschränkte nicht-leere Teilmenge. Dann gibt es eine bf kleinste obere Schranke von X die auch das bf Supremum supX von X genannt wird. abc Formal gelten für s_textsupX folge Eigenschaften: forall x in X: x leq s_quad texts_ ist eine obere Schranke forall s in mathbbR: forall x in X: xleq s Rightarrow s_leq s s_ ist kleiner gleich jeder oberen Schranke Äquivalenterweise kann s_textsupX auch durch die erste Bedingung und die folge definiert werden: forall epsilon quad exists x in X: x s_-epsilon Kleinere Zahlen sind keine oberen Schranken Des Weiteren gilt: itemize item Falls das Maximum x_textmaxX existiert dann ist x_ eine obere Schranke von X und ist vielmehr auch die kleinste obere Schranke also textmaxXtextsupX. Denn aus x_ in X folgt x_ leq s für jede obere Schranke s von X. item Wenn das Supremum textsupX in X liegt dann ist textsupXtextmaxX da das Supremum eine obere Schranke ist. Also ist das Supremum eine Verallgemeinerung des Maximums einer Menge. Rightarrow Jedes max ist ein sup aber nicht jedes sup ist ein max. item Die Formulierung glqq kleinste obere Schrankegrqq ist Synonym für das Minimum der oberen Schranken und ist dadurch eindeutig bestimmt falls es existiert. itemize abc Beweis. Nach Annahme ist X nicht-leer und die Menge der oberen Schranken Ys in mathbbR| forall x in X: x leq s ist ebenfalls nicht leer. Des Weiteren gilt für alle x in X s in Y die Ungleichung x leq s. Nach dem bf Vollständigkeitsaxiom folgt daher dass es ein c in mathbbR gibt für das xleq c leq s für alle x in X und s in Y. Aus der ersten Ungleichung folgt dass c eine obere Schranke von X ist und daher erfüllt c sowohl als auch . Man zeigt nun noch dass das Supremum auch durch und charakterisiert wird. Also angenommen s_textsupX und epsilon dann ist s_-epsilon s_. Daher kann s_-epsilon keine obere Schranke sein und es existiert ein x in X mit x s_-epsilon. Daher erfüllt s_ auch . Erfüllt t_ in mathbbR nun und so ist t_ eine obere Schranke und daher ist s_ leq t_ nach Definition von s_textsupX. Falls s_ t_ wäre dann wäre s_t_-epsilon für ein epsilon . Nach der zweiten Eigenschaft von t_ gäbe es ein x in X mit x s_ was der Definition von s_ als kleinste obere Schranke widerspricht. Deswegen muss t_s_ gelten und s_ ist eindeutig durch die Bedingungen und bestimmt. abcliste
Meta Information
Exercise:
abcliste abc Wie ist das Supremum definiert? abc Durch welche Eigenschaften wird es charakterisiert? abc Beweisen Sie. abcliste
Solution:
abcliste abc Sei X subset mathbbR eine von oben beschränkte nicht-leere Teilmenge. Dann gibt es eine bf kleinste obere Schranke von X die auch das bf Supremum supX von X genannt wird. abc Formal gelten für s_textsupX folge Eigenschaften: forall x in X: x leq s_quad texts_ ist eine obere Schranke forall s in mathbbR: forall x in X: xleq s Rightarrow s_leq s s_ ist kleiner gleich jeder oberen Schranke Äquivalenterweise kann s_textsupX auch durch die erste Bedingung und die folge definiert werden: forall epsilon quad exists x in X: x s_-epsilon Kleinere Zahlen sind keine oberen Schranken Des Weiteren gilt: itemize item Falls das Maximum x_textmaxX existiert dann ist x_ eine obere Schranke von X und ist vielmehr auch die kleinste obere Schranke also textmaxXtextsupX. Denn aus x_ in X folgt x_ leq s für jede obere Schranke s von X. item Wenn das Supremum textsupX in X liegt dann ist textsupXtextmaxX da das Supremum eine obere Schranke ist. Also ist das Supremum eine Verallgemeinerung des Maximums einer Menge. Rightarrow Jedes max ist ein sup aber nicht jedes sup ist ein max. item Die Formulierung glqq kleinste obere Schrankegrqq ist Synonym für das Minimum der oberen Schranken und ist dadurch eindeutig bestimmt falls es existiert. itemize abc Beweis. Nach Annahme ist X nicht-leer und die Menge der oberen Schranken Ys in mathbbR| forall x in X: x leq s ist ebenfalls nicht leer. Des Weiteren gilt für alle x in X s in Y die Ungleichung x leq s. Nach dem bf Vollständigkeitsaxiom folgt daher dass es ein c in mathbbR gibt für das xleq c leq s für alle x in X und s in Y. Aus der ersten Ungleichung folgt dass c eine obere Schranke von X ist und daher erfüllt c sowohl als auch . Man zeigt nun noch dass das Supremum auch durch und charakterisiert wird. Also angenommen s_textsupX und epsilon dann ist s_-epsilon s_. Daher kann s_-epsilon keine obere Schranke sein und es existiert ein x in X mit x s_-epsilon. Daher erfüllt s_ auch . Erfüllt t_ in mathbbR nun und so ist t_ eine obere Schranke und daher ist s_ leq t_ nach Definition von s_textsupX. Falls s_ t_ wäre dann wäre s_t_-epsilon für ein epsilon . Nach der zweiten Eigenschaft von t_ gäbe es ein x in X mit x s_ was der Definition von s_ als kleinste obere Schranke widerspricht. Deswegen muss t_s_ gelten und s_ ist eindeutig durch die Bedingungen und bestimmt. abcliste
abcliste abc Wie ist das Supremum definiert? abc Durch welche Eigenschaften wird es charakterisiert? abc Beweisen Sie. abcliste
Solution:
abcliste abc Sei X subset mathbbR eine von oben beschränkte nicht-leere Teilmenge. Dann gibt es eine bf kleinste obere Schranke von X die auch das bf Supremum supX von X genannt wird. abc Formal gelten für s_textsupX folge Eigenschaften: forall x in X: x leq s_quad texts_ ist eine obere Schranke forall s in mathbbR: forall x in X: xleq s Rightarrow s_leq s s_ ist kleiner gleich jeder oberen Schranke Äquivalenterweise kann s_textsupX auch durch die erste Bedingung und die folge definiert werden: forall epsilon quad exists x in X: x s_-epsilon Kleinere Zahlen sind keine oberen Schranken Des Weiteren gilt: itemize item Falls das Maximum x_textmaxX existiert dann ist x_ eine obere Schranke von X und ist vielmehr auch die kleinste obere Schranke also textmaxXtextsupX. Denn aus x_ in X folgt x_ leq s für jede obere Schranke s von X. item Wenn das Supremum textsupX in X liegt dann ist textsupXtextmaxX da das Supremum eine obere Schranke ist. Also ist das Supremum eine Verallgemeinerung des Maximums einer Menge. Rightarrow Jedes max ist ein sup aber nicht jedes sup ist ein max. item Die Formulierung glqq kleinste obere Schrankegrqq ist Synonym für das Minimum der oberen Schranken und ist dadurch eindeutig bestimmt falls es existiert. itemize abc Beweis. Nach Annahme ist X nicht-leer und die Menge der oberen Schranken Ys in mathbbR| forall x in X: x leq s ist ebenfalls nicht leer. Des Weiteren gilt für alle x in X s in Y die Ungleichung x leq s. Nach dem bf Vollständigkeitsaxiom folgt daher dass es ein c in mathbbR gibt für das xleq c leq s für alle x in X und s in Y. Aus der ersten Ungleichung folgt dass c eine obere Schranke von X ist und daher erfüllt c sowohl als auch . Man zeigt nun noch dass das Supremum auch durch und charakterisiert wird. Also angenommen s_textsupX und epsilon dann ist s_-epsilon s_. Daher kann s_-epsilon keine obere Schranke sein und es existiert ein x in X mit x s_-epsilon. Daher erfüllt s_ auch . Erfüllt t_ in mathbbR nun und so ist t_ eine obere Schranke und daher ist s_ leq t_ nach Definition von s_textsupX. Falls s_ t_ wäre dann wäre s_t_-epsilon für ein epsilon . Nach der zweiten Eigenschaft von t_ gäbe es ein x in X mit x s_ was der Definition von s_ als kleinste obere Schranke widerspricht. Deswegen muss t_s_ gelten und s_ ist eindeutig durch die Bedingungen und bestimmt. abcliste
Contained in these collections:
-
Beweise Supremum by rk