\(L^\infty_0(G)^*\) as the second dual of the group algebra \(L^1(G)\) with a locally convex topology (Q1590936): Difference between revisions

A locally convex topology \(\tau\) on the group algebra \(L^1(G)\) of a compact group \(G\) is introduced under which \(L_0^\infty(G)\) (with \(\|\cdot \|_\infty)\) is its strong dual and \(L_0^\infty (G)^*\) is presented as the second dual \(L^1(G)^{**}\) of \((L^1(G),\tau)\). Is is shown that, except for the trivial case of \(G\) finite, there are uncountably many such topologies. Various levels of continuity of multiplication are also discussed. The work is based on the previous investigations (Isik, Pym, Ülger, 1987; Lau, Pym, 1990) concerning the structure of the second dual \(L^1(G)^{**}\) of the group algebra \(L^1(G)\) in the case of compact and locally compact groups \(G\).