Topological coalgebras (Q1075408)

The author studies topological coalgebras which are analogous to discrete coalgebras. A triple (C,\(\Delta\),\(\epsilon)\) is called topological coalgebra where C is a topological vector space with linear topology over a field k, \(\Delta\) : \(C\to C{\hat \otimes}C\), \(\epsilon\) : \(C\to k\) are continuous linear maps, \({\hat \otimes}\) means tensor product of objects and morphisms in the category of topological vector spaces with linear topology; moreover I\({\hat \otimes}\epsilon =\epsilon {\hat \otimes}I=i\), where \(i: C\to \hat C\) is the canonical imbedding of C in its completion \(\hat C\) and I the identity isomorphism of C. The notions of subcoalgebras, comodule, subcomodule are introduced in the natural way. The paper consists of 5 parts. The first one is an introduction. If V is a topological vector k-space, then on the vector space \(V^{\odot}\) of linear continuous maps of V in k is defined a topology; if V is a topological coalgebra, then \(V^{\odot}\) is a topological algebra. Let C be a complete cocommutative topological coalgebra, S a multiplicative subset of \(C^{\odot}\), \(1\in S\). It is proved that there exists a coalgebra \(C_{[S]}\) and a continuous homomorphism \(\pi\) : \(C_{[S]}\to C\) such that (i) if \(p\in S\), then \(p\circ \pi: C_{[S]}\to k\) is invertible in \((C_{[S]})^{\odot}\); (ii) if \(\phi\) : \(D\to C\) is a continuous homomorphism of topological coalgebras, where D is a complete cocommutative topological coalgebra, and for all \(p\in S\) \(p\circ \phi: D\to k\) is invertible in \(D^{\odot}\), then there exists a unique homomorphism of topological coalgebras \({\bar \phi}\): \(D\to C_{[S]}\) such that \(\phi =\pi \circ {\bar \phi}.\) Further, to every topological coalgebra V a so called cofree coalgebra C(V) is associated as well as a homomorphism \(\eta\) : C(V)\(\to V\), which possesses the property: if \(f: H\to V\) is a continuous homomorphism of coalgebras, then there exists a unique continuous homomorphism \(F: H\to C(V)\) of coalgebras such that \(f=\eta \circ F\). The other results of parts 3,4 and 5 are more special and we do not mention them here, because their formulations are combersome.