• Study Resource
  • Explore
    • Arts & Humanities
    • Business
    • Engineering & Technology
    • Foreign Language
    • History
    • Math
    • Science
    • Social Science

    Top subcategories

    • Advanced Math
    • Algebra
    • Basic Math
    • Calculus
    • Geometry
    • Linear Algebra
    • Pre-Algebra
    • Pre-Calculus
    • Statistics And Probability
    • Trigonometry
    • other →

    Top subcategories

    • Astronomy
    • Astrophysics
    • Biology
    • Chemistry
    • Earth Science
    • Environmental Science
    • Health Science
    • Physics
    • other →

    Top subcategories

    • Anthropology
    • Law
    • Political Science
    • Psychology
    • Sociology
    • other →

    Top subcategories

    • Accounting
    • Economics
    • Finance
    • Management
    • other →

    Top subcategories

    • Aerospace Engineering
    • Bioengineering
    • Chemical Engineering
    • Civil Engineering
    • Computer Science
    • Electrical Engineering
    • Industrial Engineering
    • Mechanical Engineering
    • Web Design
    • other →

    Top subcategories

    • Architecture
    • Communications
    • English
    • Gender Studies
    • Music
    • Performing Arts
    • Philosophy
    • Religious Studies
    • Writing
    • other →

    Top subcategories

    • Ancient History
    • European History
    • US History
    • World History
    • other →

    Top subcategories

    • Croatian
    • Czech
    • Finnish
    • Greek
    • Hindi
    • Japanese
    • Korean
    • Persian
    • Swedish
    • Turkish
    • other →
 
Profile Documents Logout
Upload
Elementary Abstract Algebra - USF :: Department of Mathematics
Elementary Abstract Algebra - USF :: Department of Mathematics

A Construction of the Real Numbers - Math
A Construction of the Real Numbers - Math

... Suppose that x ∈ R · (S + T ). Then there are u ∈ R and v ∈ S + T such that u · v = x. Further, there are a ∈ S and b ∈ T such that a + b = v. So u · (a + b) = x, so u · a + u · b = x, and, since u · a ∈ R · S and u · b ∈ R · T , we have x ∈ R · S + R · T . Now suppose that x ∈ R · S + R · T . It f ...
Geometry and Statistics: Problems at the Interface
Geometry and Statistics: Problems at the Interface

Littlewood-Richardson rule
Littlewood-Richardson rule

Modules I: Basic definitions and constructions
Modules I: Basic definitions and constructions

Undergraduate algebra
Undergraduate algebra

eigenvalue theorems in topological transformation groups
eigenvalue theorems in topological transformation groups

... closed neighborhood of/(x) disjoint from f(y), f~1(U)~ is a proper closed invariant set with nonempty interior. Hence (X, T, -n) is not ergodic. If, on the other hand, (X, T, n) is not ergodic, then the indicator function of a proper closed invariant set with nonempty interior is an invariant functi ...
Theory of a General Class of Dissipative Processes
Theory of a General Class of Dissipative Processes

... dynamical systems and Dafermos in [3] gave in invariance principle for compact processes which include periodic processes. Recent applications of this stability theory can be found in [4-71. The purpose here is to develop in the spirit of the work above a general and meaningful theory of dissipative ...
Full Groups of Equivalence Relations
Full Groups of Equivalence Relations

... and therefore Polish. It also has a two-sided invariant metric. ...
Turing Machines with Atoms, Constraint Satisfaction Problems, and
Turing Machines with Atoms, Constraint Satisfaction Problems, and

ON QUILLEN`S THEOREM A FOR POSETS 1. Introduction In his
ON QUILLEN`S THEOREM A FOR POSETS 1. Introduction In his

On Rule Formats for Zero and Unit Elements
On Rule Formats for Zero and Unit Elements

WANDERING OUT TO INFINITY OF DIFFUSION PROCESSES
WANDERING OUT TO INFINITY OF DIFFUSION PROCESSES

... ABSTRACT. Let g(t) be a diffusion process in R", given by d¿¡ - U¿)dt + cr(£)dw. ...
Semisimple Varieties of Modal Algebras
Semisimple Varieties of Modal Algebras

Physical states on a
Physical states on a

Sums of Fractions and Finiteness of Monodromy
Sums of Fractions and Finiteness of Monodromy

... 2.3. Relation of Condition (2) with a skew-Hermitian form. Notation. Let E/F be a totally imaginary quadratic extension of a totally real number field. Then E = F [t]/(t2 + α) for some totally positive element a in the real subfield F . E/F is called a CM extension. Denote by z 7→ z (∀z ∈ E) the act ...
8. Commutative Banach algebras In this chapter, we analyze
8. Commutative Banach algebras In this chapter, we analyze

... This is a commutative Banach algebra if we use matrix multiplication and an arbitrary operator norm on A; in fact, A is a (commutative) subalgebra of C2×2 = B(C2 ). Exercise 8.5. Find all complex homomorphisms. Then show that there are T ∈ A, T 6= 0 with φ(T ) = 0 for all φ ∈ ∆. In other words, Tb = ...
Number Fields
Number Fields

Lecture Notes for Chap 6
Lecture Notes for Chap 6

Hopfian $\ell $-groups, MV-algebras and AF C $^* $
Hopfian $\ell $-groups, MV-algebras and AF C $^* $

Invariant means on CHART groups
Invariant means on CHART groups

compact-open topology - American Mathematical Society
compact-open topology - American Mathematical Society

... convex spaces, intermediate between infrabarrelled and Mackey, and for certain T (in particular, for first countable spaces and scattered spaces) we obtain a necessary and sufficient condition on T for CC(T) to possess CSMP. Throughout the emphasis is on subsets of the dual of CC(T) with various com ...
MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby
MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby

Categories
Categories

... We can enrich in sets with cardinality at most one! The result preorders! When there is at most one arrow between any two objects the value of the composite of any two maps is forced! Thus, it is simply a matter of whether maps exists between objects or not. A (small) preorder is a set with a reflex ...
LOCAL ALGEBRA IN ALGEBRAIC GEOMETRY Contents
LOCAL ALGEBRA IN ALGEBRAIC GEOMETRY Contents

< 1 ... 33 34 35 36 37 38 39 40 41 ... 98 >

Birkhoff's representation theorem



This is about lattice theory. For other similarly named results, see Birkhoff's theorem (disambiguation).In mathematics, Birkhoff's representation theorem for distributive lattices states that the elements of any finite distributive lattice can be represented as finite sets, in such a way that the lattice operations correspond to unions and intersections of sets. The theorem can be interpreted as providing a one-to-one correspondence between distributive lattices and partial orders, between quasi-ordinal knowledge spaces and preorders, or between finite topological spaces and preorders. It is named after Garrett Birkhoff, who published a proof of it in 1937.The name “Birkhoff's representation theorem” has also been applied to two other results of Birkhoff, one from 1935 on the representation of Boolean algebras as families of sets closed under union, intersection, and complement (so-called fields of sets, closely related to the rings of sets used by Birkhoff to represent distributive lattices), and Birkhoff's HSP theorem representing algebras as products of irreducible algebras. Birkhoff's representation theorem has also been called the fundamental theorem for finite distributive lattices.
  • studyres.com © 2025
  • DMCA
  • Privacy
  • Terms
  • Report