• 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
Restricted versions of the Tukey-Teichmüller Theorem that are
Restricted versions of the Tukey-Teichmüller Theorem that are

... The Tukey-Teichmüller Theorem seems tailor-made for certain applications. For example, it can be used to prove that every vector space has a basis by simply noting that the property of being linearly independent has finite character. Another nice application is a proof of the Alexander Subbase Theo ...
Relational semantics for full linear logic
Relational semantics for full linear logic

MATH 103B Homework 3 Due April 19, 2013
MATH 103B Homework 3 Due April 19, 2013

Hecke algebras
Hecke algebras

Ringoids (Pre%Talk Notes) By Edward Burkard Question: Consider
Ringoids (Pre%Talk Notes) By Edward Burkard Question: Consider

Linear operators whose domain is locally convex
Linear operators whose domain is locally convex

AN EMPIRICAL CENTRAL LIMIT THEOREM FOR INTERMITTENT
AN EMPIRICAL CENTRAL LIMIT THEOREM FOR INTERMITTENT

A NOTE ON PRE
A NOTE ON PRE

1. Affinoid algebras and Tate`s p-adic analytic spaces : a brief survey
1. Affinoid algebras and Tate`s p-adic analytic spaces : a brief survey

... Definition-Proposition 1.14. Admissible opens and admissible covering form a G-topology on Max(A). U 7→ O(U ), for U ⊂ X an affinoid subdomain, extends uniquely to a sheaf of Qp -algebra on Max(A) for this G-topology above. The obtained locally ringed G-space is the affinoid Sp(A). Note that if (X, ...
Recognisable Languages over Monads
Recognisable Languages over Monads

Intro to Lattice-Based Encryption
Intro to Lattice-Based Encryption

... Pseudorandom based on Decision Ring-LWE!! ...
Algebra_Aug_2008
Algebra_Aug_2008

α-Scattered Spaces II
α-Scattered Spaces II

... Proposition 2.16 If X is α-scattered, then P(X) = LC(X, τ α ), where τ α = τ ∗ (N (τ )). 2 Recall that a family W of subsets of a topological space (X, τ ) is chain-countable [16] if every disjoint subfamily of W is countable. It is proved in [16] that if the family of all open non-meager sets of a ...
Sec 5: Affine schemes
Sec 5: Affine schemes

... But the whole diagram below commutes. So the diagram above commutes. ...
PDF Section 3.11 Polynomial Rings Over Commutative Rings
PDF Section 3.11 Polynomial Rings Over Commutative Rings

2008 Final Exam Answers
2008 Final Exam Answers

... Read each question carefully. Organize your answers clearly. Write your answers using complete sentences starting on a right hand page of the blue book. Problem 1. (1) Prove that (0, 1] is not a compact subspace of R. Ans: (1/n, 1] is a cover that does not have any finite refinement (or part (2)). ( ...
Here is a summary of concepts involved with vector spaces. For our
Here is a summary of concepts involved with vector spaces. For our

(pdf)
(pdf)

Document
Document

... if f(x1) and f(x2) are distinct whenever x1 and x2 are distinct points of Df. Example: The linear map f(x,y)=(x-y, x+y) is one-to-one in the domain Df=ℝ2. Example: The map f(x,y)=(x2-y2, 2xy) is not one-to-one in the domain Df=ℝ2, since f(x,y)=f(-x,-y). Definition: A function f may fail to be one-to ...
Dynamical systems: Multiply recurrent points
Dynamical systems: Multiply recurrent points

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL
AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL

Full text
Full text

LINEAR DEPENDENCE OF POWERS OF LINEAR FORMS Andrzej
LINEAR DEPENDENCE OF POWERS OF LINEAR FORMS Andrzej

... Remark. The statement (c) in Corollary 2.2 was proved by A. BiałynickiBirula and A. Schinzel [1, Theorem 2] for fields of characteristic 0 or greater than d. Moreover, they showed an example that the statement is no longer true when r = d(n − 1) + 2 ≤ #K + 1. The lower bound for the difference of tw ...
1 Localization
1 Localization

Distances between the conjugates of an algebraic number
Distances between the conjugates of an algebraic number

... Theorem 1.1. Let K be a number field of degree 3, and Σ a subset of {1, 2, 3}. (i) Suppose that either Σ = {1, 2, 3}, or K is totally real and |Σ| = 2, or Σ = {i, j} where ξ 7→ ξ (i) and ξ 7→ ξ (j) are complex conjugate. Then κ(Σ) = 2. (ii) Suppose that Σ = {i, j}, where one of the embeddings ξ 7→ ξ ...
< 1 ... 49 50 51 52 53 54 55 56 57 ... 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