| http://dbpedia.org/ontology/abstract
|
In mathematics, a distributive lattice is … In mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union and intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattice is—up to isomorphism—given as such a lattice of sets.omorphism—given as such a lattice of sets.
, En matemática, un retículo distributivo es … En matemática, un retículo distributivo es un retículo en el cual las operaciones de unión (join) e intersección (meet) se distribuyen la una sobre la otra. El ejemplo típico de estas estructuras es una colección de conjuntos, donde los operadores quedan dados por la unión de conjuntos y la intersección de conjuntos. De hecho, dicho ejemplo describe el escenario por completo: todo retículo distributivo es isomorfo a un retículo de conjuntos.vo es isomorfo a un retículo de conjuntos.
, Дистрибутивна ґратка — ґратка, в якій справедлива тотожність рівносильна тотожності та
, 순서론에서 분배 격자(分配格子, 영어: distributive lattice)는 만남과 이음이 서로 분배 법칙을 따르는 격자이다. 모든 분배 격자는 항상 집합들의 포함 관계에 따른 격자로 나타낼 수 있다.
, Ein distributiver Verband ist eine speziel … Ein distributiver Verband ist eine spezielle Struktur der Mathematik. Gegenüber allgemeinen Verbänden, in denen für die beiden (zweistelligen) Operationen und nur die Assoziativgesetze, die Kommutativgesetze und die Absorptionsgesetze gefordert werden, gelten in einem distributiven Verband noch zusätzlich Distributivgesetze für beide Richtungen. Die Gültigkeit der Distributivgesetze macht Verbände interessanter. Sie lassen sich einfacher untersuchen, da auftretende Terme sich leichter umformen lassen und es in gewissem Sinne einfache Darstellungen gibt. Dabei treten distributive Verbände sehr häufig auf, auch in Bereichen außerhalb der Mathematik. Boolesche Algebren sind spezielle distributive Verbände.bren sind spezielle distributive Verbände.
, Distributivní svaz je v matematice označení svazu, jehož dvě operace jsou vzájemně distributivní.
, 设是一个格，若对于任意的有 则称为分配格。 上述两个等式互为对偶式，根据格的对偶原理，在证明一个格是分配格时只需证明其中任意一个等式即可。 设是一个格，为分配格当且仅当对于任意的，若且，则。
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Young%27s_lattice.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.thoralf.uwaterloo.ca/htdocs/ualg.html +
|
| http://dbpedia.org/ontology/wikiPageID
|
310883
|
| http://dbpedia.org/ontology/wikiPageLength
|
17489
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1060001642
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Open_set +
, http://dbpedia.org/resource/Upper_set +
, http://dbpedia.org/resource/Topological_space +
, http://dbpedia.org/resource/Limit-preserving_function_%28order_theory%29 +
, http://dbpedia.org/resource/Sperner_family +
, http://dbpedia.org/resource/Stone_duality +
, http://dbpedia.org/resource/Total_order +
, http://dbpedia.org/resource/Ring_of_sets +
, http://dbpedia.org/resource/Two-element_Boolean_algebra +
, http://dbpedia.org/resource/Axiom_of_choice +
, http://dbpedia.org/resource/Order_isomorphism +
, http://dbpedia.org/resource/Category:Lattice_theory +
, http://dbpedia.org/resource/Subdirectly_irreducible_algebra +
, http://dbpedia.org/resource/Richard_Dedekind +
, http://dbpedia.org/resource/Hasse_diagrams +
, http://dbpedia.org/resource/Subdirect_product +
, http://dbpedia.org/resource/Young_diagram +
, http://dbpedia.org/resource/Monotonic_function +
, http://dbpedia.org/resource/Dedekind_number +
, http://dbpedia.org/resource/Representation_theorem +
, http://dbpedia.org/resource/Order_theory +
, http://dbpedia.org/resource/Hilary_Priestley +
, http://dbpedia.org/resource/Priestley_space +
, http://dbpedia.org/resource/Square-free_integer +
, http://dbpedia.org/resource/Heyting_algebra +
, http://dbpedia.org/resource/Partially_ordered_set +
, http://dbpedia.org/resource/Convex_polytope +
, http://dbpedia.org/resource/Alwin_Korselt +
, http://dbpedia.org/resource/Median_graph +
, http://dbpedia.org/resource/Greatest_common_divisor +
, http://dbpedia.org/resource/Complete_Heyting_algebra +
, http://dbpedia.org/resource/Universal_property +
, http://dbpedia.org/resource/Jacob_L%C3%BCroth +
, http://dbpedia.org/resource/Join_and_meet +
, http://dbpedia.org/resource/Priestley%27s_representation_theorem_for_distributive_lattice +
, http://dbpedia.org/resource/File:Young%27s_lattice.svg +
, http://dbpedia.org/resource/Charles_S._Peirce +
, http://dbpedia.org/resource/Spectral_space +
, http://dbpedia.org/resource/Birkhoff%27s_representation_theorem +
, http://dbpedia.org/resource/Modular_lattice +
, http://dbpedia.org/resource/File:Monotone_Boolean_functions.svg +
, http://dbpedia.org/resource/File:Non-dstrbtive_lattices-warning.png +
, http://dbpedia.org/resource/Distributivity_%28order_theory%29 +
, http://dbpedia.org/resource/Duality_%28order_theory%29 +
, http://dbpedia.org/resource/Boolean_algebra_%28structure%29 +
, http://dbpedia.org/resource/Divisor +
, http://dbpedia.org/resource/Boolean_prime_ideal_theorem +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/Commutativity +
, http://dbpedia.org/resource/Marshall_Harvey_Stone +
, http://dbpedia.org/resource/Completely_distributive_lattice +
, http://dbpedia.org/resource/Isomorphism +
, http://dbpedia.org/resource/Covering_relation +
, http://dbpedia.org/resource/Mathematical_proof +
, http://dbpedia.org/resource/Young%27s_lattice +
, http://dbpedia.org/resource/Compact_space +
, http://dbpedia.org/resource/Universal_algebra +
, http://dbpedia.org/resource/Lindenbaum%E2%80%93Tarski_algebra +
, http://dbpedia.org/resource/Riesz_space +
, http://dbpedia.org/resource/Stone%27s_representation_theorem_for_Boolean_algebras +
, http://dbpedia.org/resource/Least_common_multiple +
, http://dbpedia.org/resource/Lattice_%28order%29 +
, http://dbpedia.org/resource/Distributivity +
, http://dbpedia.org/resource/Logical_conjunction +
, http://dbpedia.org/resource/Idempotence +
, http://dbpedia.org/resource/Distributive_polytope +
, http://dbpedia.org/resource/Intersection_%28set_theory%29 +
, http://dbpedia.org/resource/Logical_disjunction +
, http://dbpedia.org/resource/Union_%28set_theory%29 +
, http://dbpedia.org/resource/Bijection +
, http://dbpedia.org/resource/If_and_only_if +
, http://dbpedia.org/resource/Clopen_set +
, http://dbpedia.org/resource/Duality_theory_for_distributive_lattices +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Intuitionistic_logic +
, http://dbpedia.org/resource/Equivalence_of_categories +
, http://dbpedia.org/resource/Partition_%28number_theory%29 +
, http://dbpedia.org/resource/Ernst_Schr%C3%B6der_%28mathematician%29 +
, http://dbpedia.org/resource/Stone%27s_representation_theorem_for_distributive_lattices +
, http://dbpedia.org/resource/Associative +
, http://dbpedia.org/resource/Free_object +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:More_citations_needed +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:OEIS +
, http://dbpedia.org/resource/Template:OEIS_el +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Lattice_theory +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Lattice +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Distributive_lattice?oldid=1060001642&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Non-dstrbtive_lattices-warning.png +
, http://commons.wikimedia.org/wiki/Special:FilePath/M3_1xyz0.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Monotone_Boolean_functions.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Young%27s_lattice.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/N5_1xyz0.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Distributive_lattice +
|
| owl:sameAs |
https://global.dbpedia.org/id/2EPW3 +
, http://de.dbpedia.org/resource/Distributiver_Verband +
, http://uk.dbpedia.org/resource/%D0%94%D0%B8%D1%81%D1%82%D1%80%D0%B8%D0%B1%D1%83%D1%82%D0%B8%D0%B2%D0%BD%D0%B0_%D2%91%D1%80%D0%B0%D1%82%D0%BA%D0%B0 +
, http://www.wikidata.org/entity/Q2363730 +
, http://zh.dbpedia.org/resource/%E5%88%86%E9%85%8D%E6%A0%BC +
, http://es.dbpedia.org/resource/Ret%C3%ADculo_distributivo +
, http://cs.dbpedia.org/resource/Distributivn%C3%AD_svaz +
, http://rdf.freebase.com/ns/m.01t58q +
, http://ko.dbpedia.org/resource/%EB%B6%84%EB%B0%B0_%EA%B2%A9%EC%9E%90 +
, http://dbpedia.org/resource/Distributive_lattice +
|
| rdf:type |
http://dbpedia.org/ontology/ArchitecturalStructure +
|
| rdfs:comment |
设是一个格，若对于任意的有 则称为分配格。 上述两个等式互为对偶式，根据格的对偶原理，在证明一个格是分配格时只需证明其中任意一个等式即可。 设是一个格，为分配格当且仅当对于任意的，若且，则。
, In mathematics, a distributive lattice is … In mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union and intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattice is—up to isomorphism—given as such a lattice of sets.omorphism—given as such a lattice of sets.
, Distributivní svaz je v matematice označení svazu, jehož dvě operace jsou vzájemně distributivní.
, Дистрибутивна ґратка — ґратка, в якій справедлива тотожність рівносильна тотожності та
, Ein distributiver Verband ist eine speziel … Ein distributiver Verband ist eine spezielle Struktur der Mathematik. Gegenüber allgemeinen Verbänden, in denen für die beiden (zweistelligen) Operationen und nur die Assoziativgesetze, die Kommutativgesetze und die Absorptionsgesetze gefordert werden, gelten in einem distributiven Verband noch zusätzlich Distributivgesetze für beide Richtungen.h Distributivgesetze für beide Richtungen.
, En matemática, un retículo distributivo es … En matemática, un retículo distributivo es un retículo en el cual las operaciones de unión (join) e intersección (meet) se distribuyen la una sobre la otra. El ejemplo típico de estas estructuras es una colección de conjuntos, donde los operadores quedan dados por la unión de conjuntos y la intersección de conjuntos. De hecho, dicho ejemplo describe el escenario por completo: todo retículo distributivo es isomorfo a un retículo de conjuntos.vo es isomorfo a un retículo de conjuntos.
, 순서론에서 분배 격자(分配格子, 영어: distributive lattice)는 만남과 이음이 서로 분배 법칙을 따르는 격자이다. 모든 분배 격자는 항상 집합들의 포함 관계에 따른 격자로 나타낼 수 있다.
|
| rdfs:label |
Distributiver Verband
, 分配格
, Retículo distributivo
, Distributive lattice
, Дистрибутивна ґратка
, 분배 격자
, Distributivní svaz
|
