1: \begin{definition}

2: %For each $k\in \N$, define a quasi-multiplicative function $\varphi: S_k \to B(H^{\tensor k})$ by

3: %$$\varphi({\rm id}) = 1, \;\;\;\varphi(\pi_j) = T_i$$

4: %where $\pi_j$ is the transposition between $j$ and $j+1$ and 

5: %$$T_j(f_1\tensor\ldots\tensor f_k) = f_1\tensor \ldots\tensor T(f_j\tensor f_{j+1})\tensor \ldots\tensor f_k$$

6: %so that the $T_j$'s satisfy the Braid relations. 

7: %\begin{enumerate}

8: %\item We define an inner product $\ip{\cdot}{\cdot}_\varepsilon$ on the algebraic Fock space by

9: %	$$\ip{\xi}{\eta}_\varepsilon = \ip{\sum_{\sigma\in S_k}\varphi(\sigma) \:\xi}{\eta}$$

10: %	where $\xi\in H^{\tensor k}$, $\eta\in H^{\tensor m}$ and $\ip{\cdot}{\cdot}$ is the usual inner product on the full Fock space $F(H)$. We define $F_\varepsilon(H)$ as the completion under this inner product. The vacuum $		\Omega$ is a cyclic separating vector and the functional

11: %	$$\tau_\varepsilon(X) = \ip{X\Omega}{\Omega}_\varepsilon$$

12: %	is a faithful normal tracial state.

13: %

14: %\item We define also the creation operator and annihilation operators as

15: %	$$a^*(f) = l^*(f)$$

16: %	and $a(f)$ a linear extension of

17: %	$$a(f) = l(f) (1+ T_1 + T_1 T_2 + \ldots + T_1 T_2\cdots T_{k-1})$$

18: %	on $H^{\tensor k}$.	By \cite[Theorem 3.1]{BozejkoSpeicher1994}, $a^*(f)$ and $a(f)$ are adjoint to each other.

19: %

20: %\item The $a_j(e_j)$ and $a_j^*(e_j)$ satisfy \eqref{CommutationRelations}. We will also write

21: %	$$x_j(h) = a_j(h)+a_j^*(h)\;\;\; h\in H.$$

22: %	Let $\SC_\varepsilon(H) = W^*\{x_j(e_j): j=1,\ldots, n\}$ be the von Neumann algebra of operators on $F_\varepsilon(H)$ generated by $x_j(e_j)$'s. $(\Gamma_\varepsilon(H), \tau)$ can be viewed as a $\varepsilon$ version of the semi-circular system.

23: %\end{enumerate}

24: %\end{definition}

25: