Definition:Bounded Mapping/Metric Space

From ProofWiki
Jump to navigation Jump to search

This page is about mappings to metric spaces which are bounded. For other uses, see Definition:Bounded.


Let $M$ be a metric space.

Let $f: X \to M$ be a mapping from any set $X$ into $M$.

Then $f$ is a bounded mapping if and only if $f \left({X}\right)$ is bounded in $M$.

Also see

From Real Number Line is Metric Space, we can in theory consider defining boundedness on a real-valued function in terms of boundedness of a mapping into a metric space.

However, as a metric space is itself defined in terms of a real-valued function in the first place, this concept can be criticised as being a circular definition.