Fréchet surface

From HandWiki

In mathematics, a Fréchet surface is an equivalence class of parametrized surfaces in a metric space. In other words, a Fréchet surface is a way of thinking about surfaces independently of how they are "written down" (parametrized). The concept is named after the France mathematician Maurice Fréchet.

Definitions

Let [math]\displaystyle{ M }[/math] be a compact 2-dimensional manifold, either closed or with boundary, and let [math]\displaystyle{ (X, d) }[/math] be a metric space. A parametrized surface in [math]\displaystyle{ X }[/math] is a map [math]\displaystyle{ f : M \to X }[/math] that is continuous with respect to the topology on [math]\displaystyle{ M }[/math] and the metric topology on [math]\displaystyle{ X. }[/math] Let [math]\displaystyle{ \rho(f, g) = \inf_{\sigma} \max_{x \in M} d(f(x), g(\sigma(x))), }[/math] where the infimum is taken over all homeomorphisms [math]\displaystyle{ \sigma }[/math] of [math]\displaystyle{ M }[/math] to itself. Call two parametrized surfaces [math]\displaystyle{ f }[/math] and [math]\displaystyle{ f }[/math] in [math]\displaystyle{ X }[/math] equivalent if and only if [math]\displaystyle{ \rho(f, g) = 0. }[/math]

An equivalence class [math]\displaystyle{ [f] }[/math] of parametrized surfaces under this notion of equivalence is called a Fréchet surface; each of the parametrized surfaces in this equivalence class is called a parametrization of the Fréchet surface [math]\displaystyle{ [f]. }[/math]

Properties

Many properties of parametrized surfaces are actually properties of the Fréchet surface, that is, of the whole equivalence class, and not of any particular parametrization.

For example, given two Fréchet surfaces, the value of [math]\displaystyle{ \rho(f, g) }[/math] is independent of the choice of the parametrizations [math]\displaystyle{ f }[/math] and [math]\displaystyle{ g, }[/math] and is called the Fréchet distance between the Fréchet surfaces.

References