F ist stetig in (Mn(R),∣∣⋅∣∣∞), wobei ∣∣⋅∣∣∞ die Zeilensummennorm ist. Sei also A∈Mn(R), dann gilt: ∣∣spur(A)∣∣op=sup{∣∣A∣∣∞∣∣spur(A)∣∣2;A=0}=∣∣A∣∣∞=1sup∣∣spur(A)∣∣2≤n Hierbei ist ∣∣⋅∣∣op die Operator-Norm, eine Art größter Streckungsfaktor der linearen Abbildung F. Es lässt sich zeigen, dass lineare Abbildung in normierten K-Vektorräumen stetig (und sogar gleichmäßig stetig sind), wenn ∣∣F∣∣op<∞.
Tipp: Immer, wenn es um Operatoren (hier den Spur-Operator) geht, kannst du die Operatornorm zumindestens im Hinterkopf behalten.