Semicontinuous order-representability of topological spaces (Q549083): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Richard G. Wilson / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06A05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5917665 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
order monomorphism | |||
Property / zbMATH Keywords: order monomorphism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
total pre-order | |||
Property / zbMATH Keywords: total pre-order / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semicontinuous order-representability | |||
Property / zbMATH Keywords: semicontinuous order-representability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
continuous order-representability | |||
Property / zbMATH Keywords: continuous order-representability / rank | |||
Normal rank |
Revision as of 13:09, 1 July 2023
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