| http://dbpedia.org/ontology/abstract
|
In mathematics, S-space is a regular topol … In mathematics, S-space is a regular topological space that is hereditarily separable but is not a Lindelöf space. L-space is a regular topological space that is hereditarily Lindelöf but not separable. A space is separable if it has a countable dense set and hereditarily separable if every subspace is separable. It had been believed for a long time that S-space problem and L-space problem are dual, i.e. if there is an S-space in some model of set theory then there is an L-space in the same model and vice versa – which is not true. It was shown in the early 1980s that the existence of S-space is independent of the usual axioms of ZFC. This means that to prove the existence of an S-space or to prove the non-existence of S-space, we need to assume axioms beyond those of ZFC. The L-space problem (whether an L-space can exist without assuming additional set-theoretic assumptions beyond those of ZFC) was not resolved until recently. Todorcevic proved that under PFA there are no S-spaces. This means that every regular hereditarily separable space is Lindelöf. For some time, it was believed the L-space problem would have a similar solution (that its existence would be independent of ZFC). Todorcevic showed that there is a model of set theory with Martin's axiom where there is an L-space but there are no S-spaces. Further, Todorcevic found a compact S-space from a . In 2005, Moore solved the L-space problem by constructing an L-space without assuming additional axioms and by combining Todorcevic's with number theory.combining Todorcevic's with number theory.
|
| http://dbpedia.org/ontology/wikiPageID
|
56525571
|
| http://dbpedia.org/ontology/wikiPageLength
|
2554
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1118595243
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:General_topology +
, http://dbpedia.org/resource/Stevo_Todorcevic +
, http://dbpedia.org/resource/Rho_functions +
, http://dbpedia.org/resource/Cohen_real +
, http://dbpedia.org/resource/Proper_Forcing_Axiom +
, http://dbpedia.org/resource/Category:Topological_spaces +
, http://dbpedia.org/resource/Number_theory +
, http://dbpedia.org/resource/Justin_T._Moore +
, http://dbpedia.org/resource/Martin%27s_axiom +
, http://dbpedia.org/resource/Lindel%C3%B6f_space +
, http://dbpedia.org/resource/Zermelo%E2%80%93Fraenkel_set_theory +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Topology-stub +
, http://dbpedia.org/resource/Template:ISBN +
, http://dbpedia.org/resource/Template:Short_description +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:General_topology +
, http://dbpedia.org/resource/Category:Topological_spaces +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/S_and_L_spaces?oldid=1118595243&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/S_and_L_spaces +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q48973609 +
, http://dbpedia.org/resource/S_and_L_spaces +
, https://global.dbpedia.org/id/4XfR7 +
|
| rdfs:comment |
In mathematics, S-space is a regular topol … In mathematics, S-space is a regular topological space that is hereditarily separable but is not a Lindelöf space. L-space is a regular topological space that is hereditarily Lindelöf but not separable. A space is separable if it has a countable dense set and hereditarily separable if every subspace is separable. It had been believed for a long time that S-space problem and L-space problem are dual, i.e. if there is an S-space in some model of set theory then there is an L-space in the same model and vice versa – which is not true. model and vice versa – which is not true.
|
| rdfs:label |
S and L spaces
|
