| dbo:abstract
|
- Teorie polomnožin je matematická teorie zobecňující teorii množin, která byla vyvinuta v 70. a 80. letech 20. století Petrem Vopěnkou a Petrem Hájkem. Její axiomatizace je podobná Von Neumann-Gödel-Bernaysově teorii množin, ale liší se tím, že umožňuje existenci vlastních tříd, které jsou částí nějaké množiny. Tato vlastnost umožňuje polomnožinám sloužit jako základ Vopěnkovy alternativní teorie množin. (cs)
- In set theory, a semiset is a proper class that is a subclass of a set.The theory of semisets was proposed and developed by Czech mathematicians Petr Vopěnka and Petr Hájek (1972). It is based on a modification of the von Neumann–Bernays–Gödel set theory; in standard NBG, the existence of semisets is precluded by the axiom of separation. The concept of semisets opens the way for a formulation of an alternative set theory.In particular, Vopěnka's Alternative Set Theory (1979) axiomatizes the concept of semiset, supplemented with several additional principles. Semisets can be used to represent sets with imprecise boundaries. Novák (1984) studied approximation of semisets by fuzzy sets, which are often more suitable for practical applications of the modeling of imprecision. (en)
- 在集合論中，一個真類稱為半集合，當且僅當其包含在一個集合中。 半集合的理論最早由捷克數學家和於1972年提出的，在馮諾伊曼-博內斯-哥德爾集合論（NBG）的基礎上作出了變化；但在標準NBG中，分離公理是不允許半集合存在的。半集合的概念開闢了一種作為替代的集合論。 半集合用於表示那些 邊界不明確 的集合。 (1984) 研究了怎樣用模糊集對半集合進行逼近，而這通常也是為不明確性建立數學模型的實際手段。 (zh)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1614 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Teorie polomnožin je matematická teorie zobecňující teorii množin, která byla vyvinuta v 70. a 80. letech 20. století Petrem Vopěnkou a Petrem Hájkem. Její axiomatizace je podobná Von Neumann-Gödel-Bernaysově teorii množin, ale liší se tím, že umožňuje existenci vlastních tříd, které jsou částí nějaké množiny. Tato vlastnost umožňuje polomnožinám sloužit jako základ Vopěnkovy alternativní teorie množin. (cs)
- 在集合論中，一個真類稱為半集合，當且僅當其包含在一個集合中。 半集合的理論最早由捷克數學家和於1972年提出的，在馮諾伊曼-博內斯-哥德爾集合論（NBG）的基礎上作出了變化；但在標準NBG中，分離公理是不允許半集合存在的。半集合的概念開闢了一種作為替代的集合論。 半集合用於表示那些 邊界不明確 的集合。 (1984) 研究了怎樣用模糊集對半集合進行逼近，而這通常也是為不明確性建立數學模型的實際手段。 (zh)
- In set theory, a semiset is a proper class that is a subclass of a set.The theory of semisets was proposed and developed by Czech mathematicians Petr Vopěnka and Petr Hájek (1972). It is based on a modification of the von Neumann–Bernays–Gödel set theory; in standard NBG, the existence of semisets is precluded by the axiom of separation. The concept of semisets opens the way for a formulation of an alternative set theory.In particular, Vopěnka's Alternative Set Theory (1979) axiomatizes the concept of semiset, supplemented with several additional principles. (en)
|
| rdfs:label
|
- Teorie polomnožin (cs)
- Semiset (en)
- 半集合 (zh)
|
| owl:differentFrom
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
