About: Universal property     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FUniversal_property

In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently from the method chosen for constructing them. For example, the definitions of the integers from the natural numbers, of the rational numbers from the integers, of the real numbers from the rational numbers, and of polynomial rings from the field of their coefficients can all be done in terms of universal properties. In particular, the concept of universal property allows a simple proof that all constructions of real numbers are equivalent: it suffices to prove that they satisfy the same universal property.

AttributesValues
rdfs:label
  • خاصية شاملة (ar)
  • Universelle Eigenschaft (de)
  • Sifat universal (in)
  • Propriété universelle (fr)
  • 보편 성질 (ko)
  • 普遍性 (ja)
  • Propriedade universal (pt)
  • Universal property (en)
  • Универсальное свойство (ru)
  • 泛性质 (zh)
  • Універсальна властивість (uk)
rdfs:comment
  • تُعرَّف الخاصية الشاملة في الرياضيات بأنها خاصية يختص بها كائن في فئة تجعله كائنا ممثلًا لمدلل ما (ذي تباين مشارك أو معاكس) بقيمة مجموعة، ويكون ذلك المدلل معرَّفًا في الفئة. وبتعبير آخر، دع فئة و مدللًا (نتعامل هنا مع حالة التباين المشارك)، يكون العنصر الشامل من هو الزوج حيث كائن من و بحيث أنه لكل زوج مماثل توجد وحيدة في تحقق . إن التوافق بين و يعرِّف تساوي شكل طبيعيًّا بين والمدلل ، ويُقال عن الكائن أنه كائن ممثِّل (أو تمثيل) لـ ، وخاصيته الشاملة هي حيازته للعنصر الشامل . (ar)
  • En mathématiques, et plus précisément en théorie des catégories, une propriété universelle est la propriété des objets qui sont la solution d'un problème universel posé par un foncteur. De très nombreux objets classiques des mathématiques, comme la notion de produit cartésien, de groupe quotient, ou de compactifié, peuvent être définis comme des solutions de problèmes universels. (fr)
  • 범주론에서 보편 성질(普遍性質, 영어: universal property)은 어떤 조건을 최적하게 만족시켜, 대상을 자동적으로 유일하게 정의하는 조건이다. (ko)
  • 数学において普遍性(英語: universality、または universal property)とは、ある特定の状況下において一意に射(あるいは準同型、構造を保つ写像)を定めるような抽象的性質で、それが特定の構成(例えば直積や直和、加群のテンソル積、距離空間の完備化など)を特徴づけるようなものをいう。 普遍性の具体例となる構成には他にも、様々な構成における、核や余核、順極限および逆極限、群に対するアーベル化、集合や様々な空間に対する引き戻しや(英語: pushout)、ストーン-チェックのコンパクト化などが存在する。 このような構成は個別の数学の分野において議論されていたが、横断的な議論を試みたのは1948年のピエール・サミュエル (en:Pierre Samuel) の論文によって初めて行われ、その後ブルバキによって広められたとされる。 (ja)
  • Em vários ramos da matemática, uma construção útil é muitas vezes vista como a "solução mais eficiente" para um determinado problema. A definição de uma propriedade universal ou problema universal utiliza a linguagem de teoria das categorias para fazer essa noção precisa e estudá-la de forma abstrata, dados objetos que desempenhem um papel semelhante na busca de isomorfismos para definir uma . (pt)
  • 在数学的很多分支,经常用“在给定某些条件下存在唯一态射”这种形式的性质来定义一些构造。这种性质统称为泛性质(英語:Universal property),有时也称为万有性。范畴论研究泛性质。 了解泛性质最好先研究一些例子。如:、直和、自由群、积拓扑、斯通-切赫紧致、张量积、、、与上核、拉回、推出、等。 (zh)
  • Eine universelle Eigenschaft ist eine Methode der Mathematik, und dort insbesondere der abstrakten Algebra, sich eine gewünschte Struktur ohne Angabe einer konkreten Konstruktion zu verschaffen. Dabei wird für Objekte einer bestimmten Kategorie , z. B. die Kategorie der abstrakten Algebren, eine Eigenschaft festgelegt, z. B. dass es von einem Vektorraum eine injektive Abbildung in die Algebra gebe. (de)
  • Dalam teori kategori, cabang dari matematika, sifat universal adalah sifat penting yang dipenuhi oleh morfisme universal (lihat Definisi Formal). Morfisme universal juga dapat dianggap lebih abstrak sebagai dari (lihat Relasi dengan Kategori Koma). Properti universal terjadi hampir di semua tempat dalam matematika, dan karenanya konsep teoretis kategori yang tepat membantu menunjukkan persamaan antara berbagai cabang matematika. Sifat universal dapat digunakan di bidang matematika lain secara implisit, tetapi definisi abstrak dan dipelajari dalam teori kategori. (in)
  • In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently from the method chosen for constructing them. For example, the definitions of the integers from the natural numbers, of the rational numbers from the integers, of the real numbers from the rational numbers, and of polynomial rings from the field of their coefficients can all be done in terms of universal properties. In particular, the concept of universal property allows a simple proof that all constructions of real numbers are equivalent: it suffices to prove that they satisfy the same universal property. (en)
  • Во многих областях математики полезную конструкцию часто можно рассматривать как «наиболее эффективное решение» определенной проблемы. Определение универсального свойства использует язык теории категорий, чтобы сделать это определение точным и изучать его теоретическими методами. (ru)
  • У багатьох галузях математики корисну конструкцію часто можна розглядати як «найбільш ефективний розв'язок» певної проблеми. Означення універсальної властивості використовує мову теорії категорій, щоб зробити це твердження точним і вивчати його теоретичними методами. (uk)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Connection_between_comma_category_and_universal_properties.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Connection_between_universal_diagrams_and_comma_categories.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Connection_between_universal_elements_inducing_a_functor.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Definition_of_a_morphism_in_a_comma_category.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Definition_of_a_morphism_in_a_comma_category_1.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Universal_definition_dualized.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Universal_morphism_definition.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Universal_morphisms_appear_as_the_unit_and_counit_of_adjunctions.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 (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software