Semicontinuous order-representability of topological spaces (Q549083): Difference between revisions
From MaRDI portal
Removed claims |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
Property / author | |||
Property / author: María Jesús Campión / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Juan Carlos Candeal / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Esteban Induráin / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 01:35, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semicontinuous order-representability of topological spaces |
scientific article |
Statements
Semicontinuous order-representability of topological spaces (English)
0 references
6 July 2011
0 references
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.
0 references
order monomorphism
0 references
total pre-order
0 references
semicontinuous order-representability
0 references
continuous order-representability
0 references