Metrische Räume
Sei M eine Menge, dann heißt eine Abbildung  Metrik genau dann, wenn folgende Eigenschaften gelten:
 
- d(x, y) = d(y, x) für alle
 
 für alle  
M versehen mit einer Metrik wird metrischer Raum genannt und mit (M, d) bezeichnet. Die Funktion d ist eine Abstandsfunktion. Für zwei Elemente aus M, die auch Punkte genannt werden, spricht man dann auch von ihrem Abstand bezüglich der Metrik d.
Die Bedingung (iii) ist aus der Elementargeometrie als Dreiecksungleichung bekannt und entspricht der anschaulichen Vorstellung, dass ein Umweg niemals kürzer ist als der direkte Weg.
Bemerkung
Aus der obigen Definition kann man sofort folgern, dass für alle Punkte eines (halb)metrischen Raums gilt. Es gilt nämlich:  .
Satz 5608A (Vierecksungleichung)
In einem (halb)metrischen Raum M gilt für alle  :
 
Beweis
Es gilt:  und damit  . Andererseits gilt  und damit  . Aus beiden Ungleichungen ergibt sich die Behauptung.  
Miß alles, was sich messen läßt, und mach alles meßbar, was sich nicht messen läßt.
Galileo Galilei Copyright- und Lizenzinformationen zu dieser SeiteDruckansicht
Impressum: Wurzelzieher Mathepedia • Thomas Steinfeld
• Dorfplatz 25 • 17237 Blankensee
• Tel.: 01734332309 (Vodafone/D2) •
Email: matһе@wυrzеlzιeher.de
|