Note that this lemma does not give a simple criterion for deciding whether a given topology is indeed of the form $T_f$.
We now prove ...... Indeed, suppose otherwise. Then ......
We leave to the reader the proof that $f$ is indeed self-adjoint, and not merely symmetric.
Many of these results are known, and indeed they go back to the seminal paper of Dixmier [D] of 1951.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z