Lattice (order) (original) (raw)
Svaz je matematický pojem z algebry, konkrétněji z oboru teorie uspořádání, který vymezuje mezi uspořádanými množinami ty, které jsou uspořádány „rozumně“ (to znamená, že zachovávají suprema a infima).
| Property | Value |
|---|---|
| dbo:abstract | الشبكية (بالإنجليزية: Lattice ) هي بنية مجردة تُدْرَسُ في فرعي الرياضيات: نظرية الترتيب والجبر التجريدي. تتكون من مجموعة مرتبة جزئيا يكون فيها لكل عنصرين حد (supremum) فريد (يعرف كذلك بالحد الأعلى الأدنى)، وحد أدنى أعلى (infimum) فريد. من الأمثلة الأعداد الطبيعية، فهي مرتبة جزئيا بواسطة قابلية القسمة، فيكون فيها العظوم الفريد هو المضاعف المشترك الأصغر والحد الأدنى الأعلى هو القاسم المشترك الأكبر. يمكن أن توصف الشبكيات كذلك على أنها بنيات جبرية تحقق بعض المطابقات البديهية. بما أن التعريفان متماثلان فإن نظرية الشبكية تعتمد على نظرية الترتيب والجبر الشامل. جزء من الشبكيات والتي بدورها تشمل جبر . (ar) Svaz je matematický pojem z algebry, konkrétněji z oboru teorie uspořádání, který vymezuje mezi uspořádanými množinami ty, které jsou uspořádány „rozumně“ (to znamená, že zachovávají suprema a infima). (cs) En matemàtica, un reticle és una determinada estructura algebraica amb dues operacions binàries, o bé un conjunt parcialment ordenat amb certes propietats específiques (sent equivalents ambdós enfocaments). El terme "reticle" ve de la forma dels diagrames de Hasse d'aquestes ordres. (ca) Ein Verband ist in der Mathematik eine Struktur, die sowohl als Ordnungsstruktur als auch als algebraische Struktur vollständig beschrieben werden kann.Als Ordnungsstruktur ist ein Verband dadurch gekennzeichnet, dass es zu je zwei Elementen , ein Supremum gibt, d. h. ein eindeutig bestimmtes kleinstes Element, das größer oder gleich und ist, und umgekehrt ein Infimum , ein größtes Element, das kleiner oder gleich und ist.Als algebraische Struktur ist ein Verband dadurch gekennzeichnet, dass es zwei assoziative und kommutative Operationen gibt, für die die Absorptionsgesetze kennzeichnend sind: Für beliebige Elemente gilt und . Für jede in der Verbandstheorie vorkommende algebraische Aussage gibt es eine direkte Übersetzung in eine Ordnungsaussage und umgekehrt. Diese Übersetzung ist in den meisten Fällen auch anschaulich nachzuvollziehen.Die Möglichkeit, Ergebnisse doppelt zu interpretieren und dadurch besser zu verstehen, macht die Untersuchung und die Verwendung von Aussagen aus der Verbandstheorie so interessant. Der Begriff Verband wurde im hier beschriebenen Sinne von Fritz Klein-Barmen geprägt. Obwohl diese doppelte Charakterisierung auf den ersten Blick sehr speziell aussieht, treten Verbände häufig auf: * Die z. B. in der Mengenlehre, der Logik und als Schaltalgebren auftretenden Booleschen Algebren sind Verbände. * Totale Ordnungen, die z. B. in den verschiedenen Zahlbereichen wie (natürliche Zahlen), (ganze Zahlen), (rationale Zahlen) oder (reelle Zahlen) auftreten, sind Verbände. * Für jede beliebige natürliche Zahl ist die Menge der Teiler (durch die Teilbarkeit geordnet) ein Verband. * Die Unterstrukturen einer beliebigen algebraischen oder sonstigen Struktur bilden einen Verband mit der Teilmengenrelation als Ordnung. In der Literatur sind auch die Symbole und anstelle von und verbreitet. Diese Notation wird hier aufgrund von technischen Einschränkungen allerdings nicht verwendet. In einer früher üblichen Terminologie wurde ein Verband (nach Richard Dedekind) auch als Dualgruppe bezeichnet. (de) Latiso estas aro kun parta ordo, en kiu ĉiu subaro de du elementoj havas la unikan supremon kaj la unikan infimon. (eo) A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bound or join) and a unique infimum (also called a greatest lower bound or meet). An example is given by the power set of a set, partially ordered by inclusion, for which the supremum is the union and the infimum is the intersection. Another example is given by the natural numbers, partially ordered by divisibility, for which the supremum is the least common multiple and the infimum is the greatest common divisor. Lattices can also be characterized as algebraic structures satisfying certain axiomatic identities. Since the two definitions are equivalent, lattice theory draws on both order theory and universal algebra. Semilattices include lattices, which in turn include Heyting and Boolean algebras. These lattice-like structures all admit order-theoretic as well as algebraic descriptions. The sub-field of abstract algebra that studies lattices is called lattice theory. (en) En matemáticas, específicamente en álgebra y teoría del orden, un retículo es una estructura algebraica en un conjunto: con una relación binaria: que es conjunto parcialmente ordenado y dos operaciones binarias, con la propiedad fundamental de que toda pareja de elementos tiene un único supremo (o extremo superior) en y un único ínfimo (o extremo inferior) en . El término «retículo» viene de la forma de los diagramas de Hasse de tales órdenes. Un ejemplo de retículo es el conjunto de particiones de un conjunto finito, ordenado por la relación de inclusión. (es) En mathématiques, un treillis (en anglais : lattice) est une des structures algébriques utilisées en algèbre générale. C'est un ensemble partiellement ordonné dans lequel chaque paire d'éléments admet une borne supérieure et une borne inférieure. Un treillis peut être vu comme le treillis de Galois d'une relation binaire. Il existe en réalité deux définitions équivalentes du treillis, une concernant la relation d'ordre citée précédemment, l'autre algébrique. (fr) Kisi adalah struktur abstrak digunakan dalam subdisiplin matematika dari teori order dan aljabar abstrak. di mana dua elemen memiliki supremum (juga disebut batas atas terkecil atau ) dan infimum (juga disebut batas bawah terbesar atau ). Contoh dari bilangan asli, dengan diurutkan oleh pembagian, dimana supremum adalah kelipatan persekutuan terkecil dan infimum adalah . Kisi dikarakterisasi sebagai struktur aljabar menggunakan aksioma atik identitas. Karena kedua definisi tersebut ekuivalen, teori kisi yang menggunakan teori urutan dan aljabar universal. Semikisi salah satu bagian kisi adalah aljabar Heyting dan Boolean. Struktur "kisi" digunakan teori-urutan serta deskripsi aljabar. (in) 순서론에서 격자(格子, 영어: lattice)는 두 원소의 상한(이음, 영어: join 조인[*])과 하한(만남, 영어: meet 미트[*])이 항상 존재하는 부분 순서 집합이다. (ko) In de wiskunde is een tralie een partieel geordende verzameling waarvan elke eindige deelverzameling zowel een supremum als een infimum heeft. Supremum en infimum kunnen buiten de gekozen deelverzameling liggen. De naam is afkomstig van de voorstelling van een tralie in een hasse-diagram, waarin de in de ordening vergelijkbare elementen door een lijn zijn verbonden en het kleinere element lager geplaatst is dan het grotere. De zo ontstane figuur doet in sommige gevallen aan een traliewerk denken. Het hasse-diagram van een eindige tralie bestaat uit een graaf met één component, omdat ieder paar elementen zowel een supremum als een infimum heeft. Twee elementen uit verschillende componenten van een graaf hebben geen gezamenlijk supremum of infimum. Naast de definitie van een tralie als een bijzondere partieel geordende verzameling, is er een equivalente definitie als speciale algebraïsche structuur met twee binaire bewerkingen die een partiële orde induceren. (nl) 数学における束（そく、英語: lattice）は、任意の二元集合が一意的な上限（最小上界、二元の結びとも呼ばれる）および下限（最大下界、二元の交わりとも呼ばれる）を持つ半順序集合である。それと同時に、ある種の公理的恒等式を満足する代数的構造としても定義できる。二つの定義が同値であることにより、束論は順序集合と普遍代数学の双方の領域に属することとなる。さらに、半束 (semilattice) の概念は束の概念を含み、さらにハイティング代数やブール代数の概念も含む。これら束に関連する構造は全て順序集合としても代数系としても記述することができるという特徴を持つ。 (ja) In matematica, un reticolo (lattice in inglese) è un insieme parzialmente ordinato in cui ogni coppia di elementi ha sia un estremo inferiore (inf) che un estremo superiore (sup). I reticoli possono anche essere caratterizzati come strutture algebriche che soddisfano determinate identità. Poiché entrambe le definizioni possono essere usate convenientemente, la teoria dei reticoli può essere applicata sia dalla teoria dell'ordine che dalla teoria dell'algebra universale. I reticoli costituiscono uno dei rappresentanti più significativi di strutture che ammettono ordine così come le strutture algebriche, quali i semireticoli, le algebre di Heyting o le algebre booleane. Il termine reticolo deriva dalla rappresentazione dei diagrammi di Hasse. (it) Решётка (ранее использовался термин структура) — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани. Отсюда вытекает существование этих граней для любых непустых конечных подмножеств. (ru) Em matemática, especialmente na teoria da ordem e em álgebra, um reticulado é uma estrutura L = (L, R) tal que L é parcialmente ordenado por R e para cada dois elementos a, b de L existe supremo (menor limite superior) e ínfimo (maior limite inferior) de {a,b}. (pt) Kraty (ang. lattice) – struktury matematyczne, które można opisywać albo algebraicznie, albo w sensie częściowych porządków. (pl) Ett gitter eller lattice är inom matematiken en partiellt ordnad mängd i vilken varje par av element har en minsta övre gräns och en största undre gräns. De kan även kategoriseras som algebraiska strukturer som uppfyller vissa . Varje gitter kan representeras av ett Hassediagram. (sv) 在数学中，格（英語：Lattice）是其非空有限子集都有一个上确界（称为并）和一个下确界（称为交）的偏序集合（poset）。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的，格理论从序理论和泛代数二者提取内容。半格包括了格，依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。 需要注意的是，本条目介绍的是序理论中的“格”，并非几何与群论中的“格（群论）”（点阵），两者的英文均为“lattice”。虽然在继承自平面的次序中，每个点阵都是格，但是许多格不是点阵。 (zh) Ґратка — частково впорядкована множина, в якій для кожної пари елементів існує супремум та інфімум. «Ґратко-подібними» структурами є напівґратки, ґратки, булеві алгебри, алгебри Гейтінга. Всіх їх можна визначити і як алгебраїчні структури, тому теорія ґраток є частиною як теорії порядку, так і універсальної алгебри. (uk) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Hasse_diagram_of_powerset_of_3.svg?width=300 |
| dbo:wikiPageExternalLink | https://books.google.com/books%3Fid=SoGLVCPuOz0C&pg=PA52 http://www.thoralf.uwaterloo.ca/htdocs/ualg.html http://www.math.hawaii.edu/~jb/books.html http://www1.chapman.edu/~jipsen/JipsenRoseVoL.html http://dml.cz/bitstream/handle/10338.dmlcz/401261/DejinyMat_17-2001-1_31.pdf https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00006737/V.C.1596.pdf http://www.math.hawaii.edu/LatThy/ https://archive.org/details/generallatticeth0000grat https://archive.org/details/in.ernet.dli.2015.166886/ https://web.archive.org/web/20160303170748/http:/www.math.hawaii.edu/~jb/lat7-12.pdf https://web.archive.org/web/20170808093034/http:/tocs.ulb.tu-darmstadt.de/129983330.pdf https://web.archive.org/web/20181025025029/http:/www.math.hawaii.edu/~jb/lat1-6.pdf |
| dbo:wikiPageID | 469304 (xsd:integer) |
| dbo:wikiPageLength | 39836 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1124747996 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Power_set dbr:Pseudo-complement dbr:Quantum_logic dbr:Module_(mathematics) dbr:Monotonic_function dbr:Bloom_filter dbr:Algebraic_structure dbr:Homomorphism dbr:Join-semilattice dbr:Join_(mathematics) dbr:Peter_Johnstone_(mathematician) dbr:Vacuously_true dbr:Induction_of_regular_languages dbr:Information_flow dbr:Invariant_subspace dbr:Universal_algebra dbr:Ranked_poset dbc:Lattice_theory dbr:Analogical_modeling dbr:Mathematical_induction dbr:Median_graph dbr:Meet_(mathematics) dbr:Negation dbr:Normal_subgroup dbr:Order_theory dbr:Spectral_space dbr:Scott_information_system dbr:Closure_operator dbr:Galois_connection dbr:Garrett_Birkhoff dbr:Greatest_common_divisor dbr:Monoid dbr:Morphism dbr:Continuous_poset dbr:Magma_(algebra) dbr:Bijective dbr:Subset_inclusion dbr:Compact_element dbr:Complemented_lattice dbr:Complete_Heyting_algebra dbr:Complete_lattice dbr:Completely_distributive_lattice dbr:Completeness_(order_theory) dbr:Identity_element dbr:Partial_function dbr:Pointless_topology dbr:Mathematical_maturity dbc:Algebraic_structures dbr:Two-sided_ideal dbr:Way-below dbr:Distributivity_(order_theory) dbr:Domain_theory dbr:Duality_(order_theory) dbr:Fuzzy_set dbr:Hasse_diagram dbr:Lattice_Miner dbr:Lattice_of_subgroups dbr:Subsumption_lattice dbr:American_Mathematical_Society dbr:Filter_(mathematics) dbr:First-order_logic dbr:Formal_concept_analysis dbr:Partially_ordered_set dbr:Partition_of_a_set dbr:Directed_set dbr:Graded_poset dbr:Isomorphism dbr:Knowledge_space dbr:Robert_P._Dilworth dbr:Ring_(mathematics) dbr:Group_(mathematics) dbr:Heyting_algebra dbr:Atom_(order_theory) dbr:Intersection_(set_theory) dbr:Inverse_function dbr:Covering_relation dbr:Atomistic_(order_theory) dbr:Absorption_law dbr:Abstract_algebra dbr:Abstract_interpretation dbr:Least_common_multiple dbr:Bijection dbr:Binary_operation dbr:Supremum dbr:George_Grätzer dbr:Distributivity dbr:Automated_reasoning dbr:Axiom dbr:Boolean_algebra_(structure) dbr:Continuous_lattice dbr:Ideal_(order_theory) dbr:Identity_(mathematics) dbr:If_and_only_if dbr:Natural_number dbr:Operation_(mathematics) dbr:Order-theoretic dbr:Ordinal_optimization dbr:Category_theory dbr:Real_number dbr:Real_numbers dbr:Semantics_of_programming_languages dbr:Semilattice dbr:Set_inclusion dbr:Infimum dbr:Mathematical_Association_of_America dbr:Multiple_inheritance dbr:Union_(set_theory) dbr:Category_theoretic dbr:Universal_property dbr:Semimodular_lattice dbr:Partial_order dbr:Philip_M._Whitman dbr:Subset dbr:Mathematical dbr:Limit_preserving_function_(order_theory) dbr:Sublattice dbr:Semigroups dbr:Set_intersection dbr:Set_union dbr:Arithmetic_lattice dbr:Cartesian_square dbr:Ontology_(computer_science) dbr:Divisibility dbr:Atomic_(order_theory) dbr:Partition_(set_theory) dbr:Positive_integers dbr:Algebraic_lattice dbr:Algebraic_poset dbr:Completeness_axiom dbr:Monotone_function dbr:File:M_3_mit_Beschriftung.svg dbr:File:Monotonic_but_nonhomomorphic_map_between_lattices.gif dbr:File:N_5_mit_Beschriftung.svg dbr:File:NoLatticeDiagram.svg dbr:File:Pow3nonlattice.svg dbr:File:KeinVerband.svg |
| dbp:id | p/l057670 (en) |
| dbp:title | Lattice (en) Lattice-ordered group (en) |
| dbp:urlname | Lattice (en) |
| dbp:wikiPageUsesTemplate | dbt:Springer dbt:' dbt:Algebraic_structures dbt:Annotated_link dbt:Authority_control dbt:Citation dbt:Cite_book dbt:Cite_journal dbt:Clear dbt:Cn dbt:Commons dbt:Distinguish dbt:Em dbt:Further dbt:Main dbt:Mathworld dbt:More_footnotes_needed dbt:OEIS_el dbt:Prose dbt:Reflist dbt:See_also dbt:Sfn dbt:Short_description dbt:Visible_anchor dbt:Isbn dbt:Binary_relations dbt:Stack_begin dbt:Stack_end dbt:Use_shortened_footnotes dbt:Dfn dbt:Dfnil dbt:Dfni |
| dcterms:subject | dbc:Lattice_theory dbc:Algebraic_structures |
| gold:hypernym | dbr:Structures |
| rdf:type | owl:Thing yago:WikicatMathematicalStructures yago:Artifact100021939 yago:Object100002684 yago:PhysicalEntity100001930 yago:YagoGeoEntity yago:YagoPermanentlyLocatedEntity dbo:Building yago:Structure104341686 yago:Whole100003553 yago:WikicatAlgebraicStructures |
| rdfs:comment | Svaz je matematický pojem z algebry, konkrétněji z oboru teorie uspořádání, který vymezuje mezi uspořádanými množinami ty, které jsou uspořádány „rozumně“ (to znamená, že zachovávají suprema a infima). (cs) En matemàtica, un reticle és una determinada estructura algebraica amb dues operacions binàries, o bé un conjunt parcialment ordenat amb certes propietats específiques (sent equivalents ambdós enfocaments). El terme "reticle" ve de la forma dels diagrames de Hasse d'aquestes ordres. (ca) Latiso estas aro kun parta ordo, en kiu ĉiu subaro de du elementoj havas la unikan supremon kaj la unikan infimon. (eo) En matemáticas, específicamente en álgebra y teoría del orden, un retículo es una estructura algebraica en un conjunto: con una relación binaria: que es conjunto parcialmente ordenado y dos operaciones binarias, con la propiedad fundamental de que toda pareja de elementos tiene un único supremo (o extremo superior) en y un único ínfimo (o extremo inferior) en . El término «retículo» viene de la forma de los diagramas de Hasse de tales órdenes. Un ejemplo de retículo es el conjunto de particiones de un conjunto finito, ordenado por la relación de inclusión. (es) En mathématiques, un treillis (en anglais : lattice) est une des structures algébriques utilisées en algèbre générale. C'est un ensemble partiellement ordonné dans lequel chaque paire d'éléments admet une borne supérieure et une borne inférieure. Un treillis peut être vu comme le treillis de Galois d'une relation binaire. Il existe en réalité deux définitions équivalentes du treillis, une concernant la relation d'ordre citée précédemment, l'autre algébrique. (fr) 순서론에서 격자(格子, 영어: lattice)는 두 원소의 상한(이음, 영어: join 조인[*])과 하한(만남, 영어: meet 미트[*])이 항상 존재하는 부분 순서 집합이다. (ko) 数学における束（そく、英語: lattice）は、任意の二元集合が一意的な上限（最小上界、二元の結びとも呼ばれる）および下限（最大下界、二元の交わりとも呼ばれる）を持つ半順序集合である。それと同時に、ある種の公理的恒等式を満足する代数的構造としても定義できる。二つの定義が同値であることにより、束論は順序集合と普遍代数学の双方の領域に属することとなる。さらに、半束 (semilattice) の概念は束の概念を含み、さらにハイティング代数やブール代数の概念も含む。これら束に関連する構造は全て順序集合としても代数系としても記述することができるという特徴を持つ。 (ja) In matematica, un reticolo (lattice in inglese) è un insieme parzialmente ordinato in cui ogni coppia di elementi ha sia un estremo inferiore (inf) che un estremo superiore (sup). I reticoli possono anche essere caratterizzati come strutture algebriche che soddisfano determinate identità. Poiché entrambe le definizioni possono essere usate convenientemente, la teoria dei reticoli può essere applicata sia dalla teoria dell'ordine che dalla teoria dell'algebra universale. I reticoli costituiscono uno dei rappresentanti più significativi di strutture che ammettono ordine così come le strutture algebriche, quali i semireticoli, le algebre di Heyting o le algebre booleane. Il termine reticolo deriva dalla rappresentazione dei diagrammi di Hasse. (it) Решётка (ранее использовался термин структура) — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани. Отсюда вытекает существование этих граней для любых непустых конечных подмножеств. (ru) Em matemática, especialmente na teoria da ordem e em álgebra, um reticulado é uma estrutura L = (L, R) tal que L é parcialmente ordenado por R e para cada dois elementos a, b de L existe supremo (menor limite superior) e ínfimo (maior limite inferior) de {a,b}. (pt) Kraty (ang. lattice) – struktury matematyczne, które można opisywać albo algebraicznie, albo w sensie częściowych porządków. (pl) Ett gitter eller lattice är inom matematiken en partiellt ordnad mängd i vilken varje par av element har en minsta övre gräns och en största undre gräns. De kan även kategoriseras som algebraiska strukturer som uppfyller vissa . Varje gitter kan representeras av ett Hassediagram. (sv) 在数学中，格（英語：Lattice）是其非空有限子集都有一个上确界（称为并）和一个下确界（称为交）的偏序集合（poset）。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的，格理论从序理论和泛代数二者提取内容。半格包括了格，依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。 需要注意的是，本条目介绍的是序理论中的“格”，并非几何与群论中的“格（群论）”（点阵），两者的英文均为“lattice”。虽然在继承自平面的次序中，每个点阵都是格，但是许多格不是点阵。 (zh) Ґратка — частково впорядкована множина, в якій для кожної пари елементів існує супремум та інфімум. «Ґратко-подібними» структурами є напівґратки, ґратки, булеві алгебри, алгебри Гейтінга. Всіх їх можна визначити і як алгебраїчні структури, тому теорія ґраток є частиною як теорії порядку, так і універсальної алгебри. (uk) الشبكية (بالإنجليزية: Lattice ) هي بنية مجردة تُدْرَسُ في فرعي الرياضيات: نظرية الترتيب والجبر التجريدي. تتكون من مجموعة مرتبة جزئيا يكون فيها لكل عنصرين حد (supremum) فريد (يعرف كذلك بالحد الأعلى الأدنى)، وحد أدنى أعلى (infimum) فريد. من الأمثلة الأعداد الطبيعية، فهي مرتبة جزئيا بواسطة قابلية القسمة، فيكون فيها العظوم الفريد هو المضاعف المشترك الأصغر والحد الأدنى الأعلى هو القاسم المشترك الأكبر. (ar) Ein Verband ist in der Mathematik eine Struktur, die sowohl als Ordnungsstruktur als auch als algebraische Struktur vollständig beschrieben werden kann.Als Ordnungsstruktur ist ein Verband dadurch gekennzeichnet, dass es zu je zwei Elementen , ein Supremum gibt, d. h. ein eindeutig bestimmtes kleinstes Element, das größer oder gleich und ist, und umgekehrt ein Infimum , ein größtes Element, das kleiner oder gleich und ist.Als algebraische Struktur ist ein Verband dadurch gekennzeichnet, dass es zwei assoziative und kommutative Operationen gibt, für die die Absorptionsgesetze kennzeichnend sind: Für beliebige Elemente gilt (de) A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bound or join) and a unique infimum (also called a greatest lower bound or meet). An example is given by the power set of a set, partially ordered by inclusion, for which the supremum is the union and the infimum is the intersection. Another example is given by the natural numbers, partially ordered by divisibility, for which the supremum is the least common multiple and the infimum is the greatest common divisor. (en) Kisi adalah struktur abstrak digunakan dalam subdisiplin matematika dari teori order dan aljabar abstrak. di mana dua elemen memiliki supremum (juga disebut batas atas terkecil atau ) dan infimum (juga disebut batas bawah terbesar atau ). Contoh dari bilangan asli, dengan diurutkan oleh pembagian, dimana supremum adalah kelipatan persekutuan terkecil dan infimum adalah . (in) In de wiskunde is een tralie een partieel geordende verzameling waarvan elke eindige deelverzameling zowel een supremum als een infimum heeft. Supremum en infimum kunnen buiten de gekozen deelverzameling liggen. De naam is afkomstig van de voorstelling van een tralie in een hasse-diagram, waarin de in de ordening vergelijkbare elementen door een lijn zijn verbonden en het kleinere element lager geplaatst is dan het grotere. De zo ontstane figuur doet in sommige gevallen aan een traliewerk denken. (nl) |
| rdfs:label | شبكية (ترتيب) (ar) Reticle (ordre) (ca) Svaz (matematika) (cs) Verband (Mathematik) (de) Latiso (matematiko) (eo) Retículo (matemáticas) (es) Kekisi (tatanan) (in) Reticolo (matematica) (it) Treillis (ensemble ordonné) (fr) Lattice (order) (en) 격자 (순서론) (ko) 束 (束論) (ja) Tralie (wiskunde) (nl) Krata (matematyka) (pl) Reticulado (pt) Решётка (алгебра) (ru) Gitter (ordning) (sv) 格 (数学) (zh) Ґратка (порядок) (uk) |
| rdfs:seeAlso | dbr:Pseudocomplement |
| owl:differentFrom | dbr:Lattice_(group) |
| owl:sameAs | dbpedia-commons:Lattice (order) freebase:Lattice (order) wikidata:Lattice (order) dbpedia-ar:Lattice (order) dbpedia-ca:Lattice (order) dbpedia-cs:Lattice (order) http://cv.dbpedia.org/resource/Решетке_(алгебра) dbpedia-da:Lattice (order) dbpedia-de:Lattice (order) dbpedia-eo:Lattice (order) dbpedia-es:Lattice (order) dbpedia-et:Lattice (order) dbpedia-fa:Lattice (order) dbpedia-fi:Lattice (order) dbpedia-fr:Lattice (order) dbpedia-he:Lattice (order) dbpedia-hu:Lattice (order) http://hy.dbpedia.org/resource/Կավարի_տեսություն http://ia.dbpedia.org/resource/Reticulo_(algebra) dbpedia-id:Lattice (order) dbpedia-it:Lattice (order) dbpedia-ja:Lattice (order) dbpedia-ko:Lattice (order) dbpedia-nl:Lattice (order) dbpedia-pl:Lattice (order) dbpedia-pms:Lattice (order) dbpedia-pt:Lattice (order) yago-res:Lattice (order) dbpedia-ru:Lattice (order) dbpedia-simple:Lattice (order) dbpedia-sk:Lattice (order) dbpedia-sv:Lattice (order) dbpedia-uk:Lattice (order) dbpedia-zh:Lattice (order) https://global.dbpedia.org/id/4n4s6 |
| prov:wasDerivedFrom | wikipedia-en:Lattice_(order)?oldid=1124747996&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Hasse_diagram_of_powerset_of_3.svg wiki-commons:Special:FilePath/KeinVerband.svg wiki-commons:Special:FilePath/Lattice_of_partitions_of_an_order_4_set.svg wiki-commons:Special:FilePath/M_3_mit_Beschriftung.svg wiki-commons:Special:FilePath/N_5_mit_Beschriftung.svg wiki-commons:Special:FilePath/NoLatticeDiagram.svg wiki-commons:Special:FilePath/Pow3nonlattice.svg wiki-commons:Special:FilePath/Monotonic_but_nonhomomorphic_map_between_lattices.gif wiki-commons:Special:FilePath/N-Quadrat,_gedreht.svg wiki-commons:Special:FilePath/Nat_num.svg wiki-commons:Special:FilePath/Lattice_of_the_divisibility_of_60.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Lattice_(order) |
| is dbo:academicDiscipline of | dbr:Kathleen_Ollerenshaw |
| is dbo:wikiPageDisambiguates of | dbr:Lattice |
| is dbo:wikiPageRedirects of | dbr:Bounded_lattice dbr:Complement_(lattice_theory) dbr:Complementation_(lattice_theory) dbr:Join-irreducible dbr:Join-prime dbr:Lattice_Automorphism dbr:Lattice_Endomorphism dbr:Lattice_Homomorphism dbr:Lattice_Isomorphism dbr:Lattice_automorphism dbr:Lattice_endomorphism dbr:Lattice_homomorphism dbr:Lattice_isomorphism dbr:Lattice_order dbr:Complement_(order_theory) dbr:Conditionally_complete_lattice dbr:Lattice_theory dbr:Partial_lattice dbr:Meet-irreducible dbr:Meet-prime dbr:Jordan-Dedekind_chain_condition dbr:Jordan-Dedekind_lattice dbr:Jordan-Dedekind_property dbr:Jordan-dedekind_lattice dbr:Jordan-dedekind_property dbr:Jordan–Dedekind_chain_condition dbr:Jordan–Dedekind_lattice dbr:Sublattice dbr:Lattice_(algebra) dbr:Lattice_(order_theory) dbr:Separating_lattice_homomorphism |
| is dbo:wikiPageWikiLink of | dbr:Power_set dbr:Product_order dbr:Projective_space dbr:Quantum_logic dbr:Bounded_lattice dbr:List_of_Vanderbilt_University_people dbr:List_of_first-order_theories dbr:Module_(mathematics) dbr:Membership_function_(mathematics) dbr:Mereology dbr:Mereotopology dbr:Monotone_comparative_statics dbr:Monotonic_function dbr:Posetal_category dbr:Supersolvable_arrangement dbr:Semigroup_with_two_elements dbr:Binary_relation dbr:Bloom_filter dbr:Description_logic dbr:Algebra_of_sets dbr:Algebraic_theory dbr:Antimatroid dbr:John_von_Neumann dbr:Jon_Folkman dbr:List_of_important_publications_in_computer_science dbr:List_of_set_identities_and_relations dbr:Atomic_lattice dbr:Reinhold_Baer dbr:Riesz_space dbr:Currying dbr:De_Morgan_algebra dbr:Deformation_mechanism dbr:Descending_wedge dbr:Dominance_order dbr:Induction_of_regular_languages dbr:Infimum_and_supremum dbr:Information_algebra dbr:Information_flow_(information_theory) dbr:Introduction_to_Lattices_and_Order dbr:Invariant_subspace dbr:Inversion_(discrete_mathematics) dbr:Ivan_Rival dbr:Jacques_Riguet dbr:Universal_algebra dbr:Limit-preserving_function_(order_theory) dbr:List_of_mathematical_uses_of_Latin_letters dbr:List_of_order_structures_in_mathematics dbr:List_of_order_theory_topics dbr:Post's_lattice dbr:Pseudocomplement dbr:Timeline_of_category_theory_and_related_mathematics dbr:0 dbr:0,1-simple_lattice dbr:Complement_(lattice_theory) dbr:Complementation_(lattice_theory) dbr:Constant_function dbr:Convex_set dbr:Court_of_the_Lions dbr:Mathematical_logic dbr:Median_graph dbr:Geometric_lattice dbr:Mathematical_object dbr:Normal_subgroup dbr:Optimality_Theory dbr:Order_theory dbr:Spectral_space dbr:Union-closed_sets_conjecture dbr:Upward_planar_drawing dbr:Zero_element dbr:Quantale dbr:Quantaloid dbr:Quotient_(universal_algebra) dbr:Alexandrov_topology dbr:Frederick_Parker-Rhodes dbr:Galois_connection dbr:Gleason's_theorem dbr:Glossary_of_areas_of_mathematics dbr:Glossary_of_group_theory dbr:Gottfried_Köthe dbr:Modular_lattice dbr:Monoid dbr:Möbius_transformation dbr:Congruence-permutable_algebra dbr:Congruence_lattice_problem dbr:Congruence_relation dbr:Continuous_geometry dbr:Convex_polytope dbr:Thoralf_Skolem dbr:Erdős–Gallai_theorem dbr:Ordered_vector_space dbr:Annihilator_(ring_theory) dbr:Arithmetical_ring dbr:Logical_conjunction dbr:Stone–Weierstrass_theorem dbr:Combinatorics dbr:Combinatorics:_The_Rota_Way dbr:Comparative_statics dbr:Complemented_lattice dbr:Complete_Heyting_algebra dbr:Complete_lattice dbr:Completeness_(order_theory) dbr:Compressed_air_dryer dbr:Computably_enumerable_set dbr:Dempster–Shafer_theory dbr:Fréchet_filter dbr:Functional_completeness dbr:Idempotent_(ring_theory) dbr:Leo_Stern_(historian) dbr:Pointless_topology dbr:Steinitz's_theorem dbr:Structure dbr:Structure_(mathematical_logic) dbr:Tamari_lattice dbr:Map_of_lattices dbr:Market_design dbr:Mathematics,_Form_and_Function dbr:Young's_lattice dbr:Active_fluid dbr:Topkis's_theorem dbr:Topology dbr:Total_order dbr:Wedge_(symbol) dbr:Disjunction_property_of_Wallman dbr:Distributive_homomorphism dbr:Distributive_lattice dbr:Distributive_property dbr:Distributivity_(order_theory) dbr:Divisor dbr:Domain_theory dbr:Duality_(order_theory) dbr:Fuzzy_set dbr:Garside_element dbr:HPO_formalism dbr:Hasse_diagram dbr:Is_Logic_Empirical? dbr:Join_and_meet dbr:Jónsson_term dbr:Lattice-based_access_control dbr:Lattice_(group) dbr:Lattice_Miner dbr:Lattice_graph dbr:Lattice_of_stable_matchings dbr:Lattice_of_subgroups dbr:Laws_of_Form dbr:Le_Bail_method dbr:Loewner_order dbr:Logical_matrix dbr:Multidimensional_signal_processing dbr:Minimal_algebra dbr:T-norm dbr:No-justified-envy_matching dbr:Subdirectly_irreducible_algebra dbr:Subsumption_lattice dbr:Stone_duality dbr:Algebraic_logic dbr:Alhambra dbr:222_(number) dbr:Equivalence_relation dbr:Filter_(mathematics) dbr:First-order_logic dbr:Flix_(programming_language) dbr:Formal_concept_analysis dbr:Band_(algebra) dbr:Partition_of_a_set dbr:Differential_poset dbr:Directed_set dbr:Four-valued_logic dbr:Glossary_of_order_theory dbr:Graph_C*-algebra dbr:Graphene_boron_nitride_nanohybrid_materials dbr:History_of_combinatorics dbr:History_of_topos_theory dbr:Scott_continuity dbr:Mai_Gehrke dbr:Prime_(order_theory) dbr:Projection_(linear_algebra) dbr:Relevance_logic dbr:Speech_recognition dbr:Heyting_algebra dbr:Hindley–Milner_type_system dbr:Baer_ring dbr:Łukasiewicz_logic dbr:Associahedron dbr:Absorption_law dbr:Abstract_algebra dbr:Abstract_algebraic_logic dbr:Abstract_interpretation dbr:Charles_Sanders_Peirce dbr:Kathleen_Ollerenshaw dbr:Least_common_multiple dbr:Bicyclic_semigroup dbr:Bipolar_orientation dbr:Hexagonal_fast_Fourier_transform dbr:Hexagonal_sampling dbr:Hideto_Tomabechi dbr:Tolerance_relation dbr:Wilhelmus_Luxemburg dbr:Modal_algebra dbr:Modular_graph dbr:Modus_ponens dbr:Upper_set dbr:Differential_forms_on_a_Riemann_surface dbr:Associative_algebra dbr:Avraham_Trahtman dbr:Axiom_of_countability dbr:BL_(logic) dbr:Marie-Louise_Dubreil-Jacotin dbr:Boolean_algebras_canonically_defined dbr:Boolean_prime_ideal_theorem dbr:C-element dbr:Class-based_programming dbr:Free_lattice dbr:Green's_relations dbr:Guarded_Command_Language dbr:Ideal_(order_theory) dbr:Indicator_function dbr:Algebra_(disambiguation) dbr:Metric_lattice dbr:Metrizable_topological_vector_space dbr:Ontology_(information_science) dbr:Ontology_language dbr:Cartesian_closed_category dbr:Chain-complete_partial_order dbr:Semilattice dbr:Word_problem_(mathematics) dbr:Young_tableau dbr:Knaster–Tarski_theorem dbr:Maximal_set dbr:Monoidal_t-norm_logic dbr:Sparse_conditional_constant_propagation dbr:Sober_space dbr:Join-irreducible dbr:Join-prime dbr:Lattice_Automorphism dbr:Lattice_Endomorphism dbr:Lattice_Homomorphism dbr:Lattice_Isomorphism dbr:Lattice_automorphism dbr:Lattice_endomorphism dbr:Lattice_homomorphism dbr:Lattice_isomorphism dbr:Lattice_order dbr:Eulerian_poset dbr:Exponential_object dbr:F-algebra dbr:Complement_(order_theory) dbr:Conditionally_complete_lattice dbr:List_of_unsolved_problems_in_mathematics dbr:Lattice dbr:Skew_lattice dbr:Two-element_Boolean_algebra dbr:Wallman_compactification dbr:Variation_of_information dbr:Richard_J._Wood dbr:St-planar_graph dbr:Eva-Maria_Feichtner dbr:Existential_theory_of_the_reals dbr:Finite_lattice_representation_problem dbr:Flat_(geometry) dbr:Nakamura_number dbr:Lattice_theory dbr:Residuated_lattice dbr:Port-Royal_Logic dbr:Serial_subgroup dbr:Security_type_system dbr:Semi-continuity dbr:Semimodular_lattice dbr:Simple_theorems_in_the_algebra_of_sets dbr:T-norm_fuzzy_logics dbr:Partial_lattice dbr:Noncrossing_partition dbr:Young–Fibonacci_lattice dbr:Subobject dbr:Slim_lattice dbr:Meet-irreducible dbr:Meet-prime dbr:Turing_degree dbr:Subgroup_series dbr:Uniform-machines_scheduling dbr:Strong_antichain dbr:Jordan-Dedekind_chain_condition dbr:Jordan-Dedekind_lattice dbr:Jordan-Dedekind_property dbr:Jordan-dedekind_lattice dbr:Jordan-dedekind_property dbr:Jordan–Dedekind_chain_condition dbr:Jordan–Dedekind_lattice dbr:Sperner_family dbr:Sublattice dbr:Topological_Boolean_algebra dbr:Lattice_(algebra) dbr:Lattice_(order_theory) dbr:Separating_lattice_homomorphism |
| is dbp:fields of | dbr:Kathleen_Ollerenshaw |
| is foaf:primaryTopic of | wikipedia-en:Lattice_(order) |
