About: Completely distributive lattice

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In the mathematical area of order theory, a completely distributive lattice is a complete lattice in which arbitrary joins distribute over arbitrary meets. Formally, a complete lattice L is said to be completely distributive if, for any doubly indexed family {xj,k | j in J, k in Kj} of L, we have where F is the set of choice functions f choosing for each index j of J some index f(j) in Kj. Complete distributivity is a self-dual property, i.e. dualizing the above statement yields the same class of complete lattices.

Property Value
dbo:abstract
  • In the mathematical area of order theory, a completely distributive lattice is a complete lattice in which arbitrary joins distribute over arbitrary meets. Formally, a complete lattice L is said to be completely distributive if, for any doubly indexed family {xj,k | j in J, k in Kj} of L, we have where F is the set of choice functions f choosing for each index j of J some index f(j) in Kj. Complete distributivity is a self-dual property, i.e. dualizing the above statement yields the same class of complete lattices. Without the axiom of choice, no complete lattice with more than one element can ever satisfy the above property, as one can just let xj,k equal the top element of L for all indices j and k with all of the sets Kj being nonempty but having no choice function. (en)
dbo:wikiPageID
  • 7482029 (xsd:integer)
dbo:wikiPageLength
  • 5741 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1014391224 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • In the mathematical area of order theory, a completely distributive lattice is a complete lattice in which arbitrary joins distribute over arbitrary meets. Formally, a complete lattice L is said to be completely distributive if, for any doubly indexed family {xj,k | j in J, k in Kj} of L, we have where F is the set of choice functions f choosing for each index j of J some index f(j) in Kj. Complete distributivity is a self-dual property, i.e. dualizing the above statement yields the same class of complete lattices. (en)
rdfs:label
  • Completely distributive lattice (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License