You are here
Home ›example of pseudometric space
Primary tabs
example of pseudometric space
Let and consider the function to the non-negative real numbers given by
Then , and the triangle inequality follows from the triangle inequality on , so satisfies the defining conditions of a pseudometric space.
Note, however, that this is not an example of a metric space, since we can have two distinct points that are distance 0 from each other, e.g.
Other examples:
-
Let be a set, , and let be functions . Then is a pseudometric on [1].
-
If is a vector space and is a seminorm over , then is a pseudometric on .
-
The trivial pseudometric for all is a pseudometric.
References
- 1 S. Willard, General Topology, Addison-Wesley, Publishing Company, 1970.
Defines:
trivial pseudometric
Related:
Seminorm, VectorSpace, MetricSpace, Metric
Type of Math Object:
Example
Major Section:
Reference
Parent:
Groups audience:
Mathematics Subject Classification
54E35 Metric spaces, metrizability- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
4:19 pm
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden



Comments
pseudometric d(f,g) triangle inequality
Example of pseudometric pasted from the pseudometric page:
Let X be a set, x0X , and let F(X) be functions XR . Then d(fg)=f(x0)−g(x0) is a pseudometric on F(X).
How do you prove the triangle inequality for this pseudometric?