(Sponging disallowed)

About: Universe (mathematics)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Unit108189659, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FUniverse_%28mathematics%29

In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation. In type theory, a universe is a type whose elements are types.

AttributesValues
rdf:type
rdfs:label
  • مجتمع (رياضيات) (ar)
  • Univers (matemàtiques) (ca)
  • Univerzální množina (cs)
  • Grundmenge (de)
  • Universo (matematika) (eo)
  • Univers (logique) (fr)
  • 전체모임 (ko)
  • 宇宙 (数学) (ja)
  • Universele verzameling (nl)
  • Uniwersum (matematyka) (pl)
  • Conjunto universo (pt)
  • Universe (mathematics) (en)
  • Universum (mängdteori) (sv)
  • 全集 (zh)
  • Універсум (математика) (uk)
rdfs:comment
  • في الرياضيات وتحديداً في نظرية المجموعات وأسس الرياضيات، المجتمع هو صنف يحتوي كعناصر جميع الكيانات التي يرغب في أخذها بالاعتبار في حالة معينة. ثمة إصدارات عديدة لهذه الفكرة العامة. (ar)
  • Univerzální množina (též univerzum) je množina všech prvků, které jsou relevantní v rámci daného kontextu (domény, problému). Univerzální množina bývá označována jako . (cs)
  • En matematiko, kaj speciale en aro-teorio kaj matematika logiko universo estas aro aŭ klaso da ĉiuj objektoj konsidereblaj en koncerna formala kunteksto. (eo)
  • En mathématiques, et en particulier en théorie des ensembles et en logique mathématique, un univers est un ensemble (ou parfois une classe propre) ayant comme éléments tous les objets qu'on souhaite considérer dans un contexte donné. (fr)
  • 数理論理学において、 (もしくはモデル) の宇宙(うちゅう、英: Universe)とは議論領域のことである。 数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。 (ja)
  • 집합론에서 전체모임(全體-, 영어: universal class)은 고려하고자 하는 모든 대상을 포함하는 모임이다. 전체(全體), 세계(世界, 영어: universe) 등으로도 일컫는다. 전체모임은 집합일 수도, 아닐 수도 있으며, 집합인 경우에는 전체집합(全體集合)이라고 한다. (ko)
  • Uniwersum (z łac. ogół, wszystko, Wszechświat) – klasa wszystkich elementów rozpatrywanych w danym kontekście matematycznym. (pl)
  • Universum eller grundmängden är inom mängdteorin den mängd som omfattar samtliga element som behandlas. Inom naiv mängdlära avser universum vanligen den domän till vilken de mängder som studeras är delmängder och betecknas ibland med bokstaven . Går även under namnet grundmängd och betecknas då . Komplementoperationen på en mängd förutsätter att ett universum har specificerats. I axiomatisk mängdlära används begreppet universum ibland som synonym till begreppet modell för mängdläran. (sv)
  • 数学上,特别是在集合论和数学基础的应用中,全类(Universe,若是集合,则为全集)大约是这样一个类,它(在某种程度上)包含了所有的研究对象和集合。 (zh)
  • L'univers de discurs, conjunt universal o referencial, que normalment s'expressa amb les lletres , és un conjunt l'objecte d'estudi del qual són els seus subconjunts. Anteriorment es considerava al conjunt universal com el conjunt de totes les coses, però està demostrat que aquest conjunt no existeix. Particularment perquè suposar l'existència d'aquest conjunt condueix a la paradoxa de Russell. El complement del conjunt univers és el conjunt buit, és a dir, aquell que està desproveït d'elements. (ca)
  • Eine Grundmenge (auch Universum) bezeichnet in der Mathematik eine Menge aus allen in einem bestimmten Zusammenhang betrachteten Objekten. Alle in diesem Zusammenhang betrachteten Mengen sind dann Teilmengen dieser Grundmenge. In einzelnen Fällen werden jedoch im Gegenzug nicht auch alle Teilmengen der Grundmenge betrachtet, so zum Beispiel im Fall einer σ-Algebra. In der Logik und in den Sprachwissenschaften entspricht der Begriff der Grundmenge dem Diskursuniversum; in der Prädikatenlogik der Definitionsmenge. (de)
  • In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation. In type theory, a universe is a type whose elements are types. (en)
  • In de verzamelingenleer, een deelgebied van de wiskunde, is een universele verzameling díe verzameling van wiskundige objecten (entiteiten) die bij een wiskundige verhandeling (in ruime zin) of bij een onderzoek een rol spelen c.q. onderwerp van bespreking zijn of zouden kunnen zijn binnen die verhandeling of dat onderzoek. Een universele verzameling wordt bijna altijd aangegeven met de letter (soms ook met , de kleine Griekse letter ksi). Zo'n universele verzameling wordt ook wel de alverzameling van het deelgebied genoemd. * (nl)
  • O Conjunto Universo, também conhecido como Conjunto Verdade, é uma representação de todos os elementos possíveis em dado conjunto. Na teoria dos conjuntos e nos fundamentos da matemática, um universo é uma classe que contém (como elementos) todas as entidades que se deseja considerar em uma certa situação. Assim, todos os conjuntos em questão seriam subconjuntos de um conjunto maior, que é conhecido como conjunto universo e indicado geralmente por (pt)
  • У математиці, в областях теорії множин, теорії категорій, теорії типів і основах математики, універсум — це сукупність, яка містить усі сутності, які розглядатимуться в даній ситуації. У теорії множин, універсуми, зазвичай, класи, які містять (як елементи) усі множини, для яких доводиться певна теорема. Ці класи можуть служити для різних аксіоматичних систем, таких як ZFC, або . Універсум надзвичайно важливий в теорії категорій. Наприклад, канонічним прикладом категорії є Set — категорія всіх множин, яка не може бути формалізована в теорії множин, без поняття універсуму. (uk)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Probability_venn_event.svg
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software