1: \begin{definition}[{\cite{PaSTMetric2015}}]\label{def_metric}

2:  Let $\nu$ be an admissible measure on $\R^2$ and let $\bn$ be a linearly summable sequence.  Let $\mf, m_f'$ be nonnegative integers and $\vec{k}\in\Z^\mf$.

3:   \begin{enumerate}

4:    \item We define \emph{the metric on $\mmfk$ relative to

5:    $\nu$ and $\bn$} to be given by \[ \distmmfk (m, m') = \distpoly([\De_w],[\De'_w]) + \sum_{j=1}^\mf \big( \dts((S_j)^\infty,(S'_j)^\infty) + \abs{h_j - h'_j}\big)\] where $m,m'\in\mmfk$ are given by \[m=\melement,m'=\melementprime.\]

6: %   \item We define \emph{the metric on $\mmf$} to be given by 

7: %    \[

8: %     \distm(m,m') = \left\{\begin{array}{cl}\distmmfk(m,m') &\textrm{, if } m,m'\in\mmfk\textrm{ for}\\ &\ \ \textrm{some }\mf\in\Z_{\geq0},\vec{k}\in\Z^\mf\\\\ \ 1 &\textrm{, otherwise.} \end{array}\right.

9: %    \]

10: %    where $ m, m'\in\m$.

11:    \item\label{part_tmetric} Let $\Phi:\mathcal{T}\to\mathcal{M}$ 

12:    be the correspondence from Theorem \ref{thm_class}, and let 

13:    \[

14:     \mathcal{T}_{\mf,\vec{k}} = \Phi^{-1}(\mmfk).

15:    \]

16:    The \emph{metric on $\mathcal{T}_{\mf, \vec{k}}$} 

17:    is given by by $\distt_{\mf,\vec{k}} = \Phi^* \distmmfk$.

18: %   \item The \emph{topology on $\mathcal{T}$} is the disjoint union topology

19: %   on

20: %   \[

21: %    \mathcal{T} = \bigsqcup_{\mf, \vec{k}}\mathcal{T}_{\mf,\vec{k}}

22: %   \]

23: %   where the topology of each

24: %   $\mathcal{T}_{\mf, \vec{k}}$ is the one induced by

25: %   the metric $\distt_{\mf,\vec{k}}$ for any choice

26: %   of $\nu$, $\bn$.

27:   \end{enumerate}

28:  \end{definition}

29: