The topology of finitely open sets is not a vector space topology (Q689767)

The author investigates the topology of ``finitely open sets'' on a real vector space \(E\) (this is the finest topology that coincides with the Euclidean topology on each finite-dimensional subspace). If \(E\) is of countable dimension, it coincides with the finest locally convex topology on \(E\), but if \(E\) has uncountable dimension, it is shown by a rather tricky construction (using transfinite induction) that this is not even a vector space topology (on the other hand it is shown to be a completely regular topology).