In this note an example is given
to show that the bornological completion of a polar space need not be polar.
Also, a theorem of Grothendieck’s type is proved, from which necessary and
sufficient conditions for the completion of a polar space to be again polar are
derived.