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

For pupils, students, teachers.
Hello Guest! [ Log In | Register ]
Home · Forum · Knowledge · Courses · Members · Team · Contact
Navigation
 Home...
 Neuerdings beta neu
 Forum...
 vorwissen
   Introduction
   
   Index of all articles
   
   Help / Documentation
   Guidelines
   Formatting
 vorkurse...
 Tools...
 Agency for private tuition beta...
 Online Games beta
 Search
 Registered Society...
 Contact
Forenbaum
^ Tree of Forums
Status Maths
  Status School
    Status Grades 1-4
    Status Grades 5-7
    Status Grades 8-10
    Status Grades 11-12
    Status Mathematical Contest
    Status School maths - Miscellaneous
  Status University
    Status Uni-Calculus
    Status Uni-LinA u. Algebra
    Status Algebra and Number Theoriy
    Status Discrete Mathematics
    Status Teaching Methodology
    Status Financial Maths and Actuarial Theory
    Status Logic and Set Theory
    Status 
    Status Stochastic Theory
    Status Topology and Geometry
    Status Uni Maths - Miscellaneous
  Status Courses on maths
    Status 
    Status 
    Status Universität
  Status Software for maths
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Calculators

Only forums with an interest level bis zur Tiefe 2

Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
The project is organised by our team of coordinators.
Hundreds of members help out in our moderated forums.
Service provider for this webpage is the Registered Society "Vorhilfe.de e.V.".
Web Standards
Valid HTML 4.01!
Valid CSS!
Gegen Software-Patente
Get Firefox
Partnerseiten
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
metrischer_Raum
Mach mit! und verbessere/erweitere diesen Artikel!
Artikel • Seite bearbeiten • Versionen/Autoren

metrischer Raum

Definition Metrischer Raum

Es sei $ X $ eine nichtleere Menge und es sei $ d:X \times X \longrightarrow \IR $ eine Funktion. $ d $ heißt Metrik (auf $ X $), falls folgende Bedingungen gelten:

$ d.1) $ Es gilt $ d(x,y)=0 \gdw x=y $ für alle $ x,y \in X $. (Definitheit)

$ d.2) $ Es gilt $ d(x,y)=d(y,x) $ für alle $ x,y \in X $. (Symmetrie)

$ d.3) $ Es gilt $ d(x,z)\le d(x,y)+d(y,z) $ für alle $ x,y,z \in X $. (Dreiecksungleichung)

Das Paar $ (X,d) $ heißt dann metrischer Raum.


Bemerkungen.

1.) Bei der Definitheit wird oft zusätzlich $ d(x,y) \ge 0 $ für alle $ x,y \in X $ gefordert. Wir werden aber zeigen, dass darauf verzichtet werden kann, denn:
Nach $ d.1) $ (obige Bedingung!) gilt für alle $ x,y \in X $:
$ 0=d(x,x)\stackrel{d.3)}{\le}d(x,y)+d(y,x)\stackrel{d.2)}{=}d(x,y)+d(x,y)=2d(x,y) $,
woraus dann $ d(x,y)\ge 0 $ ($ \forall x,y \in X $) folgt.   $ \Box $

2.) Eine Folge $ (x_n)_{n \in \IN} $ in einem metrischen Raum $ (X,d) $ heißt konvergent, falls ein $ x \in X $ existiert, so dass:
Für alle $ \varepsilon>0 $: $ \exists N=N_{\varepsilon}:\;\forall n\ge N:\; d(x_n,x)\le \varepsilon $.
Wir schreiben dann $ x_n \to x $ ($ n \to \infty $) und sagen, die Folge $ (x_n)_{n \in \IN} $ konvergiere gegen den Grenzwert $ x $.

3.) Ist $ (X,d) $ ein metrischer Raum und ist $ (x_n)_{n \in \IN} $ eine konvergente Folge in $ X $, so ist der Grenzwert von $ (x_n)_{n \in \IN} $ eindeutig bestimmt.

Beweis:
Sei $ \varepsilon > 0 $ gegeben und seien $ x,y \in X $ mit $ x_n \to x $ ($ n \to \infty $) und $ x_n \to y $ ($ n \to \infty $).
Dann existiert ein $ N_1=N_{\varepsilon}^{(1)}\in \IN $, so dass für alle $ n \ge N_1 $ gilt:
$ d(x,x_n)\le \frac{\varepsilon}{2} $.
Ebenso existiert ein $ N_2=N_{\varepsilon}^{(2)}\in \IN $, so dass für alle $ n \ge N_2 $ gilt:
$ d(y,x_n)\le \frac{\varepsilon}{2} $.

Also gilt für alle $ n \ge max\{N_1;N_2\} $:
$ d(x,y)\stackrel{d.3)}{\le}d(x,x_n)+d(x_n,y)\stackrel{d.2)}{=}d(x,x_n)+d(y,x_n) \le \frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon $.

Da $ \varepsilon > 0 $ beliebig war, folgt $ d(x,y)=0 $ und wegen $ d.1) $ somit $ x=y $.

(Denn:
Angenommen, es gelte $ d(x,y)\le \varepsilon $ für alle $ \varepsilon > 0 $ und es wäre $ (\star) $ $ d(x,y)>0 $.
Dann gilt für $ \varepsilon:=\frac{d(x,y)}{2}>0 $:
$ d(x,y)\le \varepsilon=\frac{d(x,y)}{2} $, also:
$ \frac{d(x,y)}{2}\le 0 \gdw d(x,y) \le 0 $. Da aber auch $ d(x,y) \ge 0 $ gilt, folgt:
$ d(x,y)=0 $ im Widerspruch zu $ (\star) $.   $ \Box $) $ \Box $

Erstellt: Do 21.10.2004 von Marcel
Letzte Änderung: Fr 19.11.2004 um 10:10 von Marcel
Artikel • Seite bearbeiten • Versionen/Autoren • Titel ändern • Artikel löschen • Quelltext
Alle Foren
Status 1m ago 2. fred97
UAnaRn/Taylorpolynom
Status 4m ago 3. sissile
ULinAMat/Dreiecksform
Status 6m ago 6. fred97
MSons/Betragsungleichung
Status 8m ago 9. nobsy
UAnaR1FolgReih/Grenzwerte bestimmen
Status 21m ago 2. fred97
FunkAna/Beweis Satz Banach-Steinhaus
^ Seitenanfang ^
www.mathspace.org
[ Home | Forum | Knowledge | Courses | Members | Team | Contact ]