Chu spaces generalize the notion of topological space by dropping the requirements that the set of open sets be closed under union and finite intersection, that the open sets be extensional, and that the membership predicate (of points in open sets) be two-valued. The definition of continuous function remains unchanged other than having to be worded carefully to continue to make sense after these generalizations. The name is due to Po-Hsiang Chu, who originally constructed a verification of autonomous categories as a graduate student under the direction of Michael Barr in 1979.
Attributes | Values |
---|
rdfs:label
| - Čchuův prostor (cs)
- Chu space (en)
|
rdfs:comment
| - Čchuovy prostory zobecňují pojem topologický prostor tak, že upouštějí od požadavků, že množina otevřených množin musí být uzavřena pod sjednocením a konečným průnikem, že otevřené množiny musí být extenzionální a že predikát náležení do množiny nabývá dvou hodnot (ano / ne). Definice spojitého zobrazení zůstává nezměněna, pouze musí být pečlivě formulována, aby po těchto zevšeobecněních dávala smysl. Jmenují se po Pcho-Siang Čchuovi, který jako postgraduální student původně zkonstruoval verifikaci autonomních kategorií pod vedením v roce 1979. (cs)
- Chu spaces generalize the notion of topological space by dropping the requirements that the set of open sets be closed under union and finite intersection, that the open sets be extensional, and that the membership predicate (of points in open sets) be two-valued. The definition of continuous function remains unchanged other than having to be worded carefully to continue to make sense after these generalizations. The name is due to Po-Hsiang Chu, who originally constructed a verification of autonomous categories as a graduate student under the direction of Michael Barr in 1979. (en)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - Čchuovy prostory zobecňují pojem topologický prostor tak, že upouštějí od požadavků, že množina otevřených množin musí být uzavřena pod sjednocením a konečným průnikem, že otevřené množiny musí být extenzionální a že predikát náležení do množiny nabývá dvou hodnot (ano / ne). Definice spojitého zobrazení zůstává nezměněna, pouze musí být pečlivě formulována, aby po těchto zevšeobecněních dávala smysl. Jmenují se po Pcho-Siang Čchuovi, který jako postgraduální student původně zkonstruoval verifikaci autonomních kategorií pod vedením v roce 1979. (cs)
- Chu spaces generalize the notion of topological space by dropping the requirements that the set of open sets be closed under union and finite intersection, that the open sets be extensional, and that the membership predicate (of points in open sets) be two-valued. The definition of continuous function remains unchanged other than having to be worded carefully to continue to make sense after these generalizations. The name is due to Po-Hsiang Chu, who originally constructed a verification of autonomous categories as a graduate student under the direction of Michael Barr in 1979. (en)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |