Definition:Fréchet Space (Functional Analysis)

Definition
Let $\R^\omega$ denote the countable-dimensional real Cartesian space.

Let:
 * $x := \left\langle{x_i}\right\rangle_{i \mathop \in \N} = \left({x_0, x_1, x_2, \ldots,}\right)$

and:
 * $y := \left\langle{y_i}\right\rangle_{i \mathop \in \N} = \left({y_0, y_1, y_2, \ldots,}\right)$

denote arbitrary elements of $\R^\omega$.

Let the distance function $d: \R^\omega \times \R^\omega \to \R$ be applied to $\R^\omega$ as:
 * $\forall x, y \in \R^\omega: d \left({x, y}\right) = \displaystyle \sum_{i \mathop \in \N} \dfrac {2^{-i} \left\lvert{x_i - y_i}\right\rvert} {1 + \left\lvert{x_i - y_i}\right\rvert}$

The distance function $d$ is referred to as the Fréchet (product) metric.

The resulting metric space $\left({\R^\omega, d}\right)$ is then referred to as the Fréchet (metric) space.

Also see

 * Fréchet Space (Functional Analysis) is Metric Space, which demonstrates that $d$ is indeed a metric on $\R^\omega$


 * Definition:Hilbert Sequence Space