Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Satz vom Minimum und Maximum

Satz vom Minimum und Maximum

Universität / Fachhochschule

Tags: Folgen, Grenzwert, Reelle Teilmengen, teilfolgen

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Sonusfaber

Sonusfaber aktiv_icon

12:54 Uhr, 07.04.2020

Antworten
Hallo

Der Beweis zum Satz vom Minimum und Maximum im Mehrdimensionalen bereit mir - wohl auf Grund von Wissenslücken - grosse Schwierigkeiten. Daher möchte ich ein paar Fragen dazu stellen, die trivial sein mögen, leider aber nicht für mich (ich bin kein Student, ich lerne Mathematik in meiner Freizeit bzw. nebenberuflich).

Ich lege einen Gang zurück und betrachte eine Funktion f: D

Zwischen zwei Beweisschritten lese ich: Für jede nicht leere Menge M gibt es eine Folge aus M, die gegen sup(M) konvergiert.

Ich nehme an, dass man damit auf einen Satz verweist, der nun benötigt wird. Liege ich richtig? Ich würde gerne erfahren, wie dieser Satz heisst und wo ich einen Beweis dazu finde, denn im Web habe ich nichts gefunden. Ich würde auch gerne wissen, ob der uneingentliche sup(M) mit gemeint ist.

Vielen Dank ...

Sonusfaber



Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Hierzu passend bei OnlineMathe:
Grenzwert (Mathematischer Grundbegriff)
Regel von l'Hospital (Mathematischer Grundbegriff)
Wichtige Grenzwerte
Extrema (Mathematischer Grundbegriff)

Online-Übungen (Übungsaufgaben) bei unterricht.de:
 
Online-Nachhilfe in Mathematik
Antwort
ermanus

ermanus aktiv_icon

13:06 Uhr, 07.04.2020

Antworten
Hallo,

wenn M nach oben beschränkt ist, dann ist sup(M) als kleinste obere
Schranke eine normale reelle Zahl.
Sollte der Passus, auf den du dich beziehst, sich auch auf nach oben unbeschränkte
Mengen beziehen, wäre auch sup(M)= mitgemeint, was ich persönlich
für nicht besonders sinnvoll halte.
Ich würde dann sagen: das Supremum existiert nicht.

Gruß ermanus
Sonusfaber

Sonusfaber aktiv_icon

14:28 Uhr, 07.04.2020

Antworten
Hallo ermanus

Ja, gemeint ist auch das unentgeltliche Supremum als Möglichkeit (es wird sich aber zeigen, dass das Supremum eine reelle Zahl ist).

Existiert aber der Satz, den ich erwähnt habe: "Für jede nicht leere Menge M gibt es eine Folge aus M, die gegen sup(M) konvergiert"?

Und wo kann ich einen Beweis dafür finden?

Gruss

Sonusfaber
Antwort
ermanus

ermanus aktiv_icon

15:04 Uhr, 07.04.2020

Antworten
Wenn mit M eine Teilmenge von gemeint ist, dann gilt dieser
Satz mit seiner Sonderbedeutung für den Fall sup(M)=.
Wo man ihn finden kann, fällt mir auf die Schnelle nicht ein, daher werde
ich ihn dir beweisen. Hab aber ein bisschen Geduld ...
Sonusfaber

Sonusfaber aktiv_icon

15:20 Uhr, 07.04.2020

Antworten
Wow, das ist aber mega nett, vielen Dank!
Antwort
ermanus

ermanus aktiv_icon

16:22 Uhr, 07.04.2020

Antworten
Hier ein Beweis für endliches Supremum:

Sei s:=sup(M), also die kleinste obere Schranke von M.

Zu jedem n,n>0 gibt es ein xnM mit

s-xn=s-xn<1n(*)

Denn wäre s-x1n für alle xM,
dann wäre s-1nx für alle xM,
also wäre s-1n eine obere Schranke von M,
die kleiner ist als s im Widerspruch zur Definition von s.

Offenbar konvergiert (xn) gegen s wegen (*).

Sonusfaber

Sonusfaber aktiv_icon

20:36 Uhr, 07.04.2020

Antworten
Vielen Dank, morgen schauen ich mir den Beweis an ... :-)
Sonusfaber

Sonusfaber aktiv_icon

10:56 Uhr, 08.04.2020

Antworten
Hallo Ermanus

Ich weiss nicht, ob du meine Frage beantwortet hast. Eher nicht, dünkt mich. Vielleicht habe ich meine Frage unklar formuliert. Ich versuche es nochmals.

Gegeben sei eine abgeschlossene Teilmenge M der reellen Zahlen, zum Beispiel [2, 4] oder [a, b].

In einem Mathe-Buch hat man einen Beweisschritt zum Satz von Minimum und Maximum damit gerechtfertigt, dass in jeder beliebigen reellen Teilmenge, daher auch in [2, 4] oder [a, b], eine Folge existiert mit sup(M) als Grenzwert.

Meine Frage ist, ob dies stimmt und, falls ja, warum (Beweis).

Als Beispiel nehme ich die Teilmenge M = [2, 4] mit sup(M) = 4 und als Folge (xn)n mit xn = 4 - 1n, denn so sind beide Bedingungen erfüllt:

1) xnM für alle n und
2) limn(4-1n) = 4

Nunn könnte ich Buchstaben nehmen statt Zahlen bzw. verallgemeinern und mich fragen, ob es in der reellen Teilmenge M = [a, b] mit a < b eine Folge mit dem Grenzwert b = sup(M) existiert.

Welche Vorschrift müsste die Folge haben, damit beide Bedingungen erfüllt sind? Zum Beispiel xn = b - b-an, denn damit ist gesichert, dass jedes Folgenglied in M liegt. Und der Grenzwert wäre wie erwünscht b = sup(M).

Kann dies als Beweis durchgehen für abgeschlossene Intervalle in R?

Für ein offenes reelles Intervall M = (a, b) würde obige Vorschrift eine der zwei Bedingungen nicht erfüllen, denn für n = 1 würde das Folgenglied x1 = a ausserhalb von M liegen. Die Vorschrift xn = b - b-a1+n dürfte hingegen beide Bedingungen erfüllen für alle n, falls ich mich nicht täusche.

Habe ich damit bewiesen, dass die Aussage auch für offene Intervalle gilt bzw. dass in jeder reellen Teilmenge M - egal, ob sie offen, abgeschlossen und so ist - eine Folge liegt, die gegen das Supremum konvergiert?

Ich hoffe, keinen Blödsinn erzählt zu haben ...

Vielen Dank und einen schönen Tag ...

Paolo



Antwort
ermanus

ermanus aktiv_icon

11:09 Uhr, 08.04.2020

Antworten
"Meine Frage ist, ob dies stimmt und, falls ja, warum (Beweis)."
Genau das habe ich dir allgemein bewiesen. Es geht doch darum,
ob es eine solche Folge gibt, und nicht darum, wie eine solche Folge aussehen mag.
Das Einzige, was ich vorausgesetzt habe, ist, dass die Menge M
nach oben beschränkt ist, so wie bei den von dir genannten Beispielen.
Antwort
ermanus

ermanus aktiv_icon

11:39 Uhr, 08.04.2020

Antworten
Hallo Paolo,

nochmal zu deinen konkreten Beispielen. Die sind vollkommen OK und
damit hast du die Aussage für offene und abgeschlossene beschränkte
Intervalle bewiesen. Aber eine beliebige nach oben beschränkte Menge M
kann doch ganz "wild" aussehen. Um den allgemeinen Fall abzudecken,
kannst du nur auf die Definition von sup(M) zurückgreifen:
die kleinste obere Schranke von M.

Gruß ermanus
Sonusfaber

Sonusfaber aktiv_icon

11:46 Uhr, 08.04.2020

Antworten
OK ... :-)

Magst du mir ein Beispiel einer nach oben beschränkten Menge M, die - wie du schreibst - ganz "wild" aussieht? Ich kann mir nichts ausdenken ...

Gruss

Sonusfaber
Antwort
ermanus

ermanus aktiv_icon

11:59 Uhr, 08.04.2020

Antworten
Hier ein solches M:

M={sin(z)z}.

Gruß ermanus

Sonusfaber

Sonusfaber aktiv_icon

13:05 Uhr, 08.04.2020

Antworten
Ja, das stimmt, vielen Dank!