อ้างอิง:
นิยาม $$\prod_{i\in I}^{\omega}A_{i}=\{f\in \bigcup_{i\in I}G_{i}|f(i)=e_{i}~\text{ for all but a finite number of}~ i\in I \} $$
and this set is called external weak direct product
|
$f\in\prod_{i\in I}A_i$ รึเปล่าครับ
อ้างอิง:
นิยาม $$L_{k}:G_{k}\rightarrow \prod_{i\in I}A_{i}$$ defined by
$L_{k}(a)={a_{i}}$ where $a_{i}= a$ if $ i=k$ and $a_{i}= e_{i}$ if $i\not= k$
|
$L_k : A_k\to\prod_{i\in I}A_i$ รึเปล่าครับ