matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-Komplexe AnalysisZwischenwertsatz
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Uni-Komplexe Analysis" - Zwischenwertsatz
Zwischenwertsatz < komplex < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Komplexe Analysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Zwischenwertsatz: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:19 Mo 07.11.2016
Autor: Mathe-Lily

Hallo!
Ich habe in einem Prüfungsprotokoll gelesen, dass nach einer Anwendung des reellen Zwischenwertsatzes gefragt wurde und die Antwort lauten sollte, dass man damit eine Ebene durch eine Gerade in zwei gleich große Teile teilen kann. Da sehe ich bisher keinen Zusammenhang. Kann mir jemand dabei helfen? :-)
Liebe Grüße, Lily

        
Bezug
Zwischenwertsatz: Antwort
Status: (Antwort) fertig Status 
Datum: 17:31 Mo 07.11.2016
Autor: Marcel

Hallo,

> Hallo!
> Ich habe in einem Prüfungsprotokoll gelesen, dass nach
> einer Anwendung des reellen Zwischenwertsatzes gefragt
> wurde und die Antwort lauten sollte, dass man damit eine
> Ebene durch eine Gerade in zwei gleich große Teile teilen
> kann. Da sehe ich bisher keinen Zusammenhang. Kann mir
> jemand dabei helfen? :-)

kannst Du das mal genauer zitieren? Denn ich frage mich, was bei einer
Halbebenen deren Größe ist, wenn sie doch in eine Richtung unendlich
weit geht. Die Fläche ergibt also wenig Sinn zum vergleichen ^^

Gruß,
  Marcel


Bezug
                
Bezug
Zwischenwertsatz: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:34 Mo 07.11.2016
Autor: Mathe-Lily

Da steht:
“Zwischenwertsatz mit Beweis, Anwendung: Der Flächeninhalt einer Ebene wird von einer Geraden in zwei gleich große Teile geteilt. Er wollte irgendeine Funktion, die ich mit Hilfe des Zwischenwerrsatzes bestimmen sollte.“


Bezug
                        
Bezug
Zwischenwertsatz: Antwort
Status: (Antwort) fertig Status 
Datum: 17:41 Mo 07.11.2016
Autor: donquijote


> Da steht:
>  “Zwischenwertsatz mit Beweis, Anwendung: Der
> Flächeninhalt einer Ebene wird von einer Geraden in zwei
> gleich große Teile geteilt. Er wollte irgendeine Funktion,
> die ich mit Hilfe des Zwischenwerrsatzes bestimmen
> sollte.“
>  

Hallo,
Sinn würde folgendes ergeben: Ein (beliebiges) geometrisches Objekt in der Ebene mit endlicher Fläche kann durch eine Gerade in zwei gleich große Teile geteilt werden. Dies kann mit dem Zwischenwertsatz begründet werden.

Bezug
                                
Bezug
Zwischenwertsatz: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:54 Mo 07.11.2016
Autor: Mathe-Lily

Danke für die schnelle Antwort!
Ja, das macht Sinn, aber wie kann das durch den ZWS begründet werden?

Bezug
                                        
Bezug
Zwischenwertsatz: Antwort
Status: (Antwort) fertig Status 
Datum: 18:21 Mo 07.11.2016
Autor: Marcel

Eingabefehler: "\left" und "\right" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

Hallo,

> Danke für die schnelle Antwort!
>  Ja, das macht Sinn, aber wie kann das durch den ZWS
> begründet werden?

wenn ich das richtig sehe, kann die Gerade auch einfach als Gerade parallel
zur x-Achse gefunden werden. Denn:
Für $y_0 \in \IR$ sei $F(y_0):=$ "Fläche des Objekts, die unterhalb der Geraden
$y=y_0$ liegt". (Ist das Objekt etwa ein Kreis mit Radius 1, dessen Mittelpunkt
auf der x-Achse liegt, so ist $F(0)=\pi*1^2/2=\pi/2$... und es wäre $F(1)=\pi*1^2=\pi$.)

Dann gilt, dass $A:=\lim_{y \to \infty}F(y)$ existiert (das ist einfach nur die Fläche
des Objekts) und $\lim_{y \to -\infty}F(y)=0$ ist. Beachte bitte, dass nirgends gesagt
wurde, dass das Objekt "einen endlichen Rand" hat - z.B. ist die Fläche
unter dem Graphen von $f \colon [2,\infty) \to \IR$ mit $f(x):=1/x^2$ ja auch endlich,
denn es ist ja $\int_2^\infty (1/x^2)dx=[-1/x]^{\infty}_2=1/2\,.$

Aber jedenfalls gibt es $y_1 \in \IR$ mit $F(y_1)=A/3$ und $y_2 \in \IR$ mit $F(y_2)=(2/3)*A$ (dabei
wird wohl $y_2 > y_1$ gelten).

Wende nun den ZWS auf $\left.F\right|_{[y_1,y_2]}$ an.

P.S. Ist nur eine Beweisskizze. Natürlich kannst Du auch $G(y):=\tfrac{F(y)}{A}$ betrachten
und $G(y_1)=1/3$, $G(y_2)=2/3$ benutzen und dann zeigen, dass $G\,$ an einer
Stelle den Wert $1/2$ annimmt ($F\,$ nimmt dort den Wert $A/2\,$ an).

So ganz elementar finde ich es nicht, dass $F\,$ stetig ist. Dafür müßte man sicher
die geometrischen Objekte endlicher Fläche noch charakterisieren oder
irgendein Wissen dahingehend reinstecken. Vielleicht habt Ihr sowas ja
in der Vorlesung mal gemacht - oder es hat was mit dem Rand solcher
Objekte zu tun, dass dieser (stückweise) stetig beschrieben werden kann.
Da kann ich momentan nur spekulieren. Vielleicht kann auch jemand den
Beweis richtig und vollständig ergänzen. :)

Gruß,
  Marcel

Bezug
                                                
Bezug
Zwischenwertsatz: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 09:03 Do 10.11.2016
Autor: donquijote


> Hallo,
>  
> > Danke für die schnelle Antwort!
>  >  Ja, das macht Sinn, aber wie kann das durch den ZWS
> > begründet werden?
>
> wenn ich das richtig sehe, kann die Gerade auch einfach als
> Gerade parallel
>  zur x-Achse gefunden werden. Denn:
>  Für [mm]y_0 \in \IR[/mm] sei [mm]F(y_0):=[/mm] "Fläche des Objekts, die
> unterhalb der Geraden
>  [mm]y=y_0[/mm] liegt". (Ist das Objekt etwa ein Kreis mit Radius 1,
> dessen Mittelpunkt
>  auf der x-Achse liegt, so ist [mm]F(0)=\pi*1^2/2=\pi/2[/mm]... und
> es wäre [mm]F(1)=\pi*1^2=\pi[/mm].)
>  
> Dann gilt, dass [mm]A:=\lim_{y \to \infty}F(y)[/mm] existiert (das
> ist einfach nur die Fläche
>  des Objekts) und [mm]\lim_{y \to -\infty}F(y)=0[/mm] ist. Beachte
> bitte, dass nirgends gesagt
>  wurde, dass das Objekt "einen endlichen Rand" hat - z.B.
> ist die Fläche
> unter dem Graphen von [mm]f \colon [2,\infty) \to \IR[/mm] mit
> [mm]f(x):=1/x^2[/mm] ja auch endlich,
>  denn es ist ja [mm]\int_2^\infty (1/x^2)dx=[-1/x]^{\infty}_2=1/2\,.[/mm]
>  
> Aber jedenfalls gibt es [mm]y_1 \in \IR[/mm] mit [mm]F(y_1)=A/3[/mm] und [mm]y_2 \in \IR[/mm]
> mit [mm]F(y_2)=(2/3)*A[/mm] (dabei
> wird wohl [mm]y_2 > y_1[/mm] gelten).
>  
> Wende nun den ZWS auf [mm]\left.F\right|_{[y_1,y_2]}[/mm] an.
>  
> P.S. Ist nur eine Beweisskizze. Natürlich kannst Du auch
> [mm]G(y):=\tfrac{F(y)}{A}[/mm] betrachten
>  und [mm]G(y_1)=1/3[/mm], [mm]G(y_2)=2/3[/mm] benutzen und dann zeigen, dass
> [mm]G\,[/mm] an einer
>  Stelle den Wert [mm]1/2[/mm] annimmt ([mm]F\,[/mm] nimmt dort den Wert [mm]A/2\,[/mm]
> an).
>
> So ganz elementar finde ich es nicht, dass [mm]F\,[/mm] stetig ist.
> Dafür müßte man sicher
>  die geometrischen Objekte endlicher Fläche noch
> charakterisieren oder
> irgendein Wissen dahingehend reinstecken. Vielleicht habt
> Ihr sowas ja
>  in der Vorlesung mal gemacht - oder es hat was mit dem
> Rand solcher
>  Objekte zu tun, dass dieser (stückweise) stetig
> beschrieben werden kann.
>  Da kann ich momentan nur spekulieren. Vielleicht kann auch
> jemand den
>  Beweis richtig und vollständig ergänzen. :)

Hallo,
zunächst verstehe ich die Frage so, dass es um eine mündliche Prüfung geht, wo vermutlich kein im Detail ausgearbeiteter Beweis gefragt ist.

Hier trotzdem eine Beweisskizze:
Im Fall einer beschränkten Menge A mit wohldefinierter Fläche (*) gibt es eine Konstante b mit [mm]|x|\le b[/mm] für alle [mm](x,y)\in A[/mm]. Für deine Funktion F folgt [mm]|F(y_2)-F(y_1)|\le 2b*|y_2-y_1|[/mm] (die "Differenzfläche" liegt innerhalb eines Rechtecks mit Breite 2b und Höhe [mm]|y_2-y_1|[/mm]), woraus sofort die Stetigkeit von F folgt.

(*) A sollte Borel- oder Lebesgue-messbar sein. Können diese Begriffe nicht vorausgesetzt werden, tun es auch Objekte mit glattem Rand etc. Aber selbst bei einer nicht messbaren Menge wäre die Funktion F stetig, wenn man das äußere Maß betrachtet.

Ist A unbeschränkt, stellen wir zunächst fest, dass F monoton wachsend ist. Unstetigkeiten können damit allenfalls an Sprungstellen auftreten.
Es gibt zu jedem [mm]\epsilon>0[/mm] ein b, so dass die Fläche des außerhalb des "Streifens" [mm]\{(x,y):|x|\le b\}[/mm] gelegenen Teils von A kleiner als [mm]\epsilon[/mm] ist. Es folgt  [mm]|F(y_2)-F(y_1)|\le 2b*|y_2-y_1|+\epsilon[/mm], wobei [mm]\epsilon[/mm] von [mm]y_1[/mm] und [mm]y_2[/mm] unabhängig ist. Somit können Sprungstellen von F maximal die Höhe [mm]\epsilon[/mm] haben. Da [mm]\epsilon[/mm] beliebig klein gewählt werden kann, hat F keine Sprungstellen und ist somit stetig.

>  
> Gruß,
>    Marcel


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Komplexe Analysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.unimatheforum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]