uniformly continuous is proximity continuous
Any uniformly continuous mapping is proximity continuous regarding the proximities generated by the uniformities (http://planetmath.org/ProximityGeneratedByUniformity).
| Title | uniformly continuous is proximity continuous |
|---|---|
| Canonical name | UniformlyContinuousIsProximityContinuous |
| Date of creation | 2013-03-22 16:56:15 |
| Last modified on | 2013-03-22 16:56:15 |
| Owner | porton (9363) |
| Last modified by | porton (9363) |
| Numerical id | 6 |
| Author | porton (9363) |
| Entry type | Theorem |
| Classification | msc 54C08 |
| Classification | msc 54C05 |
| Classification | msc 54E17 |
| Classification | msc 54E05 |
| Classification | msc 54E15 |