Let AA be a and M(A)M(A) its . The strict topology on M(A)M(A) is the locally convex topology generated, for each a∈Aa\in A, by the seminorms

pa(m)=∥ma∥,qa(m)=∥am∥.p_a(m)=\lVert ma\rVert,\qquad q_a(m)=\lVert am\rVert.

Thus a net (mi)(m_i) converges strictly to mm exactly when

∥(mi−m)a∥→0and∥a(mi−m)∥→0\lVert(m_i-m)a\rVert\to0 \quad\text{and}\quad \lVert a(m_i-m)\rVert\to0

for every a∈Aa\in A. The topology uses the distinguished A⊆M(A)A\subseteq M(A); it is generally weaker than the multiplier norm topology.

Approximate identities and strict density

If (eλ)(e_\lambda) is an of AA, then

eλ⟶1M(A)e_\lambda\longrightarrow1_{M(A)}

strictly. More generally, meλ→mme_\lambda\to m and eλm→me_\lambda m\to m strictly for every m∈M(A)m\in M(A). Consequently the canonical copy of AA is strictly dense in M(A)M(A), even though it is norm closed there. This is the basic mechanism by which the multiplier unit is approximated from the nonunital algebra.

If AA is unital, choosing a=1Aa=1_A among the defining seminorms shows that the strict topology equals the norm topology on M(A)=AM(A)=A. The distinction therefore matters primarily for nonunital algebras.

Extension of nondegenerate maps

A ϕ:A→M(B)\phi:A\to M(B) has a unique unital extension

ϕ‾:M(A)⟶M(B)\overline{\phi}:M(A)\longrightarrow M(B)

that is strictly continuous and agrees with ϕ\phi on AA. It can be recovered from any approximate identity by strict limits. This extension theorem is one reason strict, rather than norm, continuity is built into the morphism theory of .

Concrete model and comparison

For a HH,

M(K(H))=B(H).M(\mathcal K(H))=\mathcal B(H).

On norm-bounded subsets of B(H)\mathcal B(H), the strict topology determined by K(H)\mathcal K(H) agrees with the strong-star operator topology: both Tiξ→TξT_i\xi\to T\xi and Ti∗ξ→T∗ξT_i^*\xi\to T^*\xi for every ξ∈H\xi\in H. This gives a useful concrete model, but strict topology is defined through two-sided norm multiplication by elements of AA, not by selecting a Hilbert-space representation.

References
  1. Gert K. Pedersen, C-Algebras and Their Automorphism Groups, 2nd ed., Academic Press, 2018. DOI record. Relevant: §3.12 on multiplier algebras, strict topology, and approximate identities.
  2. E. Christopher Lance, Hilbert C-Modules: A Toolkit for Operator Algebraists*, Cambridge University Press, 1995. DOI record. Relevant: Chapter 2 on multipliers, strict convergence, and extensions of nondegenerate homomorphisms.