|
|   |
\{arphi:S
ightarrow \mathbb{C}: \arphi\ = \sum_{x \in S}arphi(x) < \infty\}</math>
|
''l''
1(''S'') has a multiplicative identity, viz, the function δ
''e'' which is zero except at ''e'', where it takes the value 1. It has the involution
- (x) = \overline{arphi(x^---)}
- -algebra of contractions generated by ''S'' is the C
enveloping algebra of ''l''1(''S''). We can describe it as follows: For every state ''f'' of ''l''1(''S''), consider the Cyclic Representation π''f'' associated to ''f''. Then