翻訳と辞書 Words near each other ・ Latvia at the 2000 Summer Olympics ・ Latvia at the 2000 Summer Paralympics ・ Latvia at the 2002 Winter Olympics ・ Latvia at the 2004 Summer Olympics ・ Latvia at the 2004 Summer Paralympics ・ Latvia at the 2006 European Athletics Championships ・ Latvia at the 2006 UCI Road World Championships ・ Lattes (disambiguation) ・ Lattes Platform ・ Lattes, Hérault ・ Lattice ・ Lattice (discrete subgroup) ・ Lattice (group) ・ Lattice (module) ・ Lattice (music) ・ Lattice (order) ・ Lattice (pastry) ・ Lattice Boltzmann methods ・ Lattice C ・ Lattice constant ・ Lattice corneal dystrophy ・ Lattice Cottage ・ Lattice degeneration ・ Lattice density functional theory ・ Lattice diffusion coefficient ・ Lattice energy ・ Lattice Engines ・ Lattice field theory ・ Lattice gas automaton ・ Lattice gauge theory Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Lattice (order) ： ウィキペディア英語版 Lattice (order) In mathematics, a lattice is a partially ordered set in which every two elements have 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 natural numbers, partially ordered by divisibility, for which the unique supremum is the least common multiple and the unique 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. == Lattices as partially ordered sets == If (''L'', ≤) is a partially ordered set (poset), and ''S''⊆''L'' is an arbitrary subset, then an element ''u''∈''L'' is said to be an upper bound of ''S'' if ''s''≤''u'' for each ''s''∈''S''. A set may have many upper bounds, or none at all. An upper bound ''u'' of ''S'' is said to be its least upper bound, or join, or supremum, if ''u''≤''x'' for each upper bound ''x'' of ''S''. A set need not have a least upper bound, but it cannot have more than one. Dually, ''l''∈''L'' is said to be a lower bound of ''S'' if ''l''≤''s'' for each ''s''∈''S''. A lower bound ''l'' of ''S'' is said to be its greatest lower bound, or meet, or infimum, if ''x''≤''l'' for each lower bound ''x'' of ''S''. A set may have many lower bounds, or none at all, but can have at most one greatest lower bound. A partially ordered set (''L'', ≤) is called a join-semilattice and a meet-semilattice if each two-element subset ⊆ ''L'' has a join (i.e. least upper bound) and a meet (i.e. greatest lower bound), denoted by ''a''∨''b'' and ''a''∧''b'', respectively. (''L'', ≤) is called a lattice if it is both a join- and a meet-semilattice. This definition makes ∨ and ∧ binary operations. Both operations are monotone with respect to the order: ''a''1 ≤ ''a''2 and ''b''1 ≤ ''b''2 implies that a1∨ b1 ≤ a2 ∨ b2 and a1∧b1 ≤ a2∧b2. It follows by an induction argument that every non-empty finite subset of a lattice has a join and a meet. With additional assumptions, further conclusions may be possible; ''see'' Completeness (order theory) for more discussion of this subject. That article also discusses how one may rephrase the above definition in terms of the existence of suitable Galois connections between related partially ordered sets — an approach of special interest for the category theoretic approach to lattices. A bounded lattice is a lattice that additionally has a greatest element 1 and a least element 0, which satisfy : 0≤''x''≤1 for every ''x'' in ''L''. The greatest and least element is also called the maximum and minimum, or the top and bottom element, and denoted by ⊤ and ⊥, respectively. Every lattice can be converted into a bounded lattice by adding an artificial greatest and least element, and every non-empty finite lattice is bounded, by taking the join (resp., meet) of all elements, denoted by $\backslash bigvee\; L=a\_1\backslash lor\backslash cdots\backslash lor\; a\_n$ (resp.$\backslash bigwedge\; L=a\_1\backslash land\backslash cdots\backslash land\; a\_n$) where $L=\backslash$. A partially ordered set is a bounded lattice if and only if every finite set of elements (including the empty set) has a join and a meet. For every element ''x'' of a poset it is trivially true (it is a vacuous truth) that $\backslash forall\; a\backslash in\backslash varnothing\; :\; x\; \backslash le\; a$ and $\backslash forall\; a\backslash in\backslash varnothing\; :\; a\; \backslash le\; x$, and therefore every element of a poset is both an upper bound and a lower bound of the empty set. This implies that the join of an empty set is the least element $\backslash bigvee\backslash varnothing=0$, and the meet of the empty set is the greatest element $\backslash bigwedge\backslash varnothing=1$. This is consistent with the associativity and commutativity of meet and join: the join of a union of finite sets is equal to the join of the joins of the sets, and dually, the meet of a union of finite sets is equal to the meet of the meets of the sets, i.e., for finite subsets ''A'' and ''B'' of a poset ''L'', :$\backslash bigvee\; \backslash left(\; A\; \backslash cup\; B\; \backslash right)=\; \backslash left(\; \backslash bigvee\; A\; \backslash right)\; \backslash vee\; \backslash left(\; \backslash bigvee\; B\; \backslash right)$ and :$\backslash bigwedge\; \backslash left(\; A\; \backslash cup\; B\; \backslash right)=\; \backslash left(\backslash bigwedge\; A\; \backslash right)\; \backslash wedge\; \backslash left(\; \backslash bigwedge\; B\; \backslash right)$ hold. Taking ''B'' to be the empty set, :$\backslash bigvee\; \backslash left(\; A\; \backslash cup\; \backslash emptyset\; \backslash right)$ = \left( \bigvee A \right) \vee \left( \bigvee \emptyset \right) = \left( \bigvee A \right) \vee 0 = \bigvee A and :$\backslash bigwedge\; \backslash left(\; A\; \backslash cup\; \backslash emptyset\; \backslash right)$ = \left( \bigwedge A \right) \wedge \left( \bigwedge \emptyset \right) = \left( \bigwedge A \right) \wedge 1 = \bigwedge A which is consistent with the fact that $A\; \backslash cup\; \backslash emptyset\; =\; A$. A lattice element ''y'' is said to cover another element ''x'', if ''y''>''x'', but there does not exist a ''z'' such that ''y''>''z''>''x''. Here, ''y''>''x'' means ''x'' ≤ ''y'' and ''x'' ≠ ''y''. A lattice (''L'',≤) is called graded, sometimes ranked (but see this article for an alternative meaning), if it can be equipped with a rank function ''r'' from ''L'' to ℕ, sometimes to ℤ, compatible with the ordering (so ''r''(''x'')<''r''(''y'') whenever ''x''<''y'') such that whenever ''y'' covers ''x'', then ''r''(''y'')=''r''(''x'')+1. The value of the rank function for a lattice element is called its rank. Given a subset of a lattice, $H\; \backslash subset\; L$, meet and join restrict to partial functions – they are undefined if their value is not in the subset $H$. The resulting structure on $H$ is called a . In addition to this extrinsic definition as a subset of some other algebraic structure (a lattice), a partial lattice can also be intrinsically defined as a set with two partial binary operations satisfying certain axioms. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Lattice (order)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.