Semicontinuous order-representability of topological spaces (Q549083)

A (total) pre-order \(\precsim\) on a set \(X\) is representable if there exists an order-monomorphism \(u:(X,\precsim)\to\mathbb R\) (with its usual order). A topology \(\tau\) on a set \(X\) is said to have the continuous order-representability property or \textsl{CRP}, if every continuous total pre-order \(\precsim\) defined on \(X\) admits a representation by means of a continuous order-monomorphism. Similarly, the topology \(\tau\) on a set \(X\) is said to have the semicontinuous order-representability property or \textsl{SRP}, if every lower semicontinuous total pre-order \(\precsim\) defined on \(X\) admits a representation by means of a lower semicontinuous order-monomorphism. After the introduction and definitions, some preliminary results concerning these properties are given in Section 3 of the paper. The main theorems of Section 4 are: 1) The topology \(\tau\) has the \(SRP\) if and only if all its lower preorderable subtopologies are second countable; 2) The \(SRP\) is invariant under continuous surjections; 3) If \(\tau\) has the \(SRP\), then \((X,\tau)\) is hereditarily separable and hereditarily Lindelöf (but the converse is not generally true). Section 5 deals with the \(SRP\) in Banach spaces.