{"schema":"https://ver.cy/schemas/card/1.0.0","id":"vr.tr.dynkin-system","code":"thing-q1935689","url":"https://ver.cy/models/thing/q1935689/","name":"Dynkin system","alternateNames":[],"kind":"thing","status":"published","version":"0.1.0-research.1","language":"en","classifiers":{"family":"Thing Registry","category":"Cross-cutting context","entryKind":"thing","plane":"XCT","domain":["XCT.QLT"],"industry":[],"navPath":"","tags":[],"facets":{}},"whatItIs":"A Dynkin system on a set Ω is a family of subsets of Ω that contains Ω, is closed under complements relative to Ω, and is closed under countable unions of pairwise disjoint members.","purpose":"Enable an agent to recognise a Dynkin system, verify its closure properties, and determine when it supports extending setwise claims to a generated sigma-algebra.","scope":{"in":["The ambient universe, family membership, and equivalent Dynkin-system axiom formulations","Evidence establishing or refuting the defining closure properties","Generated Dynkin systems and their relationship to generating families","Boundaries with pi-systems, monotone classes, and sigma-algebras","Conditions for applying the pi-lambda theorem and measure-uniqueness arguments"],"out":["Dynkin diagrams, root systems, and Lie-theoretic classifications","Construction and classification of measures as independent objects","General integration theory and convergence theorems for functions","The Doob-Dynkin lemma concerning measurable factorisation","General topology and the independent construction of Borel sigma-algebras"],"boundaries":[]},"distinguishingFeatures":["An instance is a family D ⊆ P(Ω) containing Ω; merely containing the empty set is insufficient.","Complements are taken relative to the recorded Ω and must remain in D.","Closure under countable unions is required for pairwise-disjoint members; arbitrary overlapping unions require additional justification.","A Dynkin system becomes a sigma-algebra precisely when it also has binary-intersection closure. [LSU lecture notes](https://www.math.lsu.edu/~sengupta/7360f09/DynkinPiLambda.pdf)","Being a pi-system alone does not establish the universe, complement, or disjoint-union axioms."],"structure":{"bundles":[{"id":"universe-and-definition","name":"Universe and definition","description":"Fix the mathematical object and the convention used to recognise it.","layers":[{"id":"ambient-set-and-membership","name":"Ambient set and membership","description":"Identify Ω and how subsets qualify as members of D.","findings":[{"id":"family-over-fixed-universe","name":"Family over a fixed universe","description":"Record D as a family of subsets of one explicitly identified Ω, including the empty-universe case when relevant.","questions":[{"text":"What is Ω, and how is D ⊆ P(Ω) established?","id":"family-over-fixed-universe-q01","kind":"definition"},{"text":"Is membership in D given by enumeration, a predicate, or a generation rule?","id":"family-over-fixed-universe-q02","kind":"definition"}]}]},{"id":"axiom-convention","name":"Axiom convention","description":"Record terminology and the precise equivalent formulation being used.","findings":[{"id":"lambda-system-convention","name":"Lambda-system convention","description":"Use Dynkin system and lambda-system for the standard measure-theoretic notion; formulations using nested differences and increasing unions require their own equivalence justification. [Oxford definition](https://ora.ox.ac.uk/objects/uuid%3A743530c5-135f-4a16-b127-18a72939462a/files/d2r36tz46z)","questions":[{"text":"Which reference supplies the adopted definition and terminology?","id":"lambda-system-convention-q01","kind":"provenance"},{"text":"If another axiom formulation is used, what proves its equivalence over the same Ω?","id":"lambda-system-convention-q02","kind":"definition"}]}]}]},{"id":"closure-verification","name":"Closure verification","description":"Establish the defining properties with proofs or failure witnesses.","layers":[{"id":"universe-and-complements","name":"Universe and complements","description":"Check the distinguished member and relative-complement operation.","findings":[{"id":"universe-complement-obligations","name":"Universe and complement obligations","description":"Verify Ω ∈ D and A ∈ D implies Ω \\ A ∈ D; together these also give ∅ ∈ D.","questions":[{"text":"What establishes Ω ∈ D?","id":"universe-complement-obligations-q01","kind":"definition"},{"text":"What general argument proves complement closure, or which member has a complement outside D?","id":"universe-complement-obligations-q02","kind":"boundary"}]}]},{"id":"disjoint-countable-unions","name":"Disjoint countable unions","description":"Check union closure with its exact disjointness and countability conditions.","findings":[{"id":"disjoint-sequence-obligation","name":"Disjoint sequence obligation","description":"For every sequence of pairwise-disjoint members, establish that its union belongs to D; finitely many successful examples do not establish this universal claim.","questions":[{"text":"How are membership and pairwise disjointness established for the sequence under consideration?","id":"disjoint-sequence-obligation-q01","kind":"definition"},{"text":"What proves closure for every such sequence, or supplies a sequence whose union fails membership?","id":"disjoint-sequence-obligation-q02","kind":"boundary"},{"text":"If checking a finite presentation exhaustively, why does the check cover the countable-union obligation?","id":"disjoint-sequence-obligation-q03","kind":"action"}]}]}]},{"id":"derived-operations-and-boundaries","name":"Derived operations and boundaries","description":"Separate operations licensed by the axioms from stronger closure assumptions.","layers":[{"id":"licensed-set-operations","name":"Licensed set operations","description":"Track deductions that follow without assuming sigma-algebra structure.","findings":[{"id":"nested-differences-and-monotone-limits","name":"Nested differences and monotone limits","description":"A Dynkin system supports A \\ B when B ⊆ A are members, increasing countable unions, and decreasing countable intersections. Nested differences enable the disjoint decomposition used for increasing unions.","questions":[{"text":"For a proposed difference A \\ B, are both sets members and is B ⊆ A established?","id":"nested-differences-and-monotone-limits-q01","kind":"action"},{"text":"For a proposed limit operation, is the sequence increasing or decreasing as required?","id":"nested-differences-and-monotone-limits-q02","kind":"action"}]}]},{"id":"stronger-closure-boundary","name":"Stronger closure boundary","description":"Determine whether this instance has closure beyond the Dynkin axioms.","findings":[{"id":"intersection-witness-or-proof","name":"Intersection witness or proof","description":"Record either a proof of binary-intersection closure or a witness against it. For example, on Ω = {1,2,3,4}, the family consisting of ∅, Ω, and all two-element subsets is a Dynkin system but excludes {1,2} ∩ {1,3} = {1}.","questions":[{"text":"Can binary-intersection closure be proved for this D, or can two members with an excluded intersection be exhibited?","id":"intersection-witness-or-proof-q01","kind":"boundary"},{"text":"Does a proposed overlapping union rely on an extra property that has actually been established?","id":"intersection-witness-or-proof-q02","kind":"action"}]}]}]},{"id":"generation-and-pi-lambda-extension","name":"Generation and pi-lambda extension","description":"Represent the smallest closed family and the hypotheses that identify it with a generated sigma-algebra.","layers":[{"id":"minimal-dynkin-closure","name":"Minimal Dynkin closure","description":"Record λ(C) and establish its minimality.","findings":[{"id":"generated-family-characterisation","name":"Generated family characterisation","description":"For C ⊆ P(Ω), λ(C) is the intersection of all Dynkin systems on Ω containing C. Identifying a candidate D with λ(C) requires both containment directions.","questions":[{"text":"What is the initial family C, and does every member lie in P(Ω)?","id":"generated-family-characterisation-q01","kind":"definition"},{"text":"What establishes D = λ(C), rather than merely C ⊆ D?","id":"generated-family-characterisation-q02","kind":"boundary"}]}]},{"id":"pi-lambda-hypotheses","name":"Pi-lambda hypotheses","description":"Check the generator condition before extending to sigma(C).","findings":[{"id":"sigma-algebra-extension","name":"Sigma-algebra extension","description":"If P is closed under binary intersections and P ⊆ D for a Dynkin system D, then σ(P) ⊆ D; consequently λ(P) = σ(P). [LSU pi-lambda theorem](https://www.math.lsu.edu/~sengupta/7360f09/DynkinPiLambda.pdf)","questions":[{"text":"What proves that P is a pi-system and that P ⊆ D?","id":"sigma-algebra-extension-q01","kind":"action"},{"text":"Which target sigma-algebra is known to equal σ(P)?","id":"sigma-algebra-extension-q02","kind":"boundary"},{"text":"Does the conclusion establish containment in D or equality with D, and what justifies any equality?","id":"sigma-algebra-extension-q03","kind":"action"}]}]}]},{"id":"property-transfer-and-measure-uniqueness","name":"Property transfer and measure uniqueness","description":"Use Dynkin systems as proof devices for extending properties of sets.","layers":[{"id":"truth-family-construction","name":"Truth-family construction","description":"Turn a proposed setwise property into a candidate Dynkin system.","findings":[{"id":"property-closure-obligations","name":"Property closure obligations","description":"Define D_Q as the sets in a specified ambient sigma-algebra satisfying Q, then prove the universe, complement, and disjoint-union obligations for Q.","questions":[{"text":"What exact property Q defines D_Q, and on which sets is Q meaningful?","id":"property-closure-obligations-q01","kind":"definition"},{"text":"Which arguments show that Q survives complements and countable disjoint unions and holds on Ω?","id":"property-closure-obligations-q02","kind":"action"}]}]},{"id":"agreement-of-measures","name":"Agreement of measures","description":"Track the assumptions that make an equality family suitable for extension.","findings":[{"id":"finite-measure-agreement","name":"Finite measure agreement","description":"For finite measures μ and ν on the same sigma-algebra with equal total mass, the family {A : μ(A) = ν(A)} is a Dynkin system. Agreement on a generating pi-system then extends to that sigma-algebra. Infinite-measure applications need separately verified hypotheses.","questions":[{"text":"Are μ and ν defined on the same sigma-algebra, finite, and equal on Ω?","id":"finite-measure-agreement-q01","kind":"boundary"},{"text":"On which generating pi-system has their agreement been proved?","id":"finite-measure-agreement-q02","kind":"provenance"},{"text":"If total mass is infinite, what precise uniqueness theorem and localisation assumptions replace the finite-measure argument?","id":"finite-measure-agreement-q03","kind":"action"}]}]}]},{"id":"evidence-and-external-alignment","name":"Evidence and external alignment","description":"What the world already says about this thing, gathered so the model can be checked against it.","layers":[{"id":"reported-evidence","name":"Reported evidence","description":"Findings from the breadth pass, kept separate from the structural claims.","findings":[{"id":"evidence-confidence-notes","name":"Check these first","description":"Recalled without web access and unsourced; every item is a lead to verify.","questions":[{"text":"Which of these check these first hold for the sense of Dynkin system this model covers, and on what evidence?","id":"evidence-confidence-notes-q01","kind":"provenance"}]},{"id":"evidence-real-world-use","name":"Real-world use","description":"Recalled without web access and unsourced; every item is a lead to verify.","questions":[{"text":"Which of these real-world use hold for the sense of Dynkin system this model covers, and on what evidence?","id":"evidence-real-world-use-q01","kind":"provenance"}]},{"id":"evidence-failure-modes-and-hazards","name":"Failure modes and hazards","description":"Recalled without web access and unsourced; every item is a lead to verify.","questions":[{"text":"Which of these failure modes and hazards hold for the sense of Dynkin system this model covers, and on what evidence?","id":"evidence-failure-modes-and-hazards-q01","kind":"provenance"}]},{"id":"evidence-neighbours","name":"Neighbouring kinds and how to tell them apart","description":"Recalled without web access and unsourced; every item is a lead to verify.","questions":[{"text":"Which of these neighbouring kinds and how to tell them apart hold for the sense of Dynkin system this model covers, and on what evidence?","id":"evidence-neighbours-q01","kind":"provenance"}]}]}]}]},"agentConduct":{"may":["Explain Dynkin systems and their use in measure theory from mathematical sources.","Check proofs that use a Dynkin system for correct application."],"mustNot":["Present a Dynkin system as a sigma-algebra without the extra condition that makes it one.","Attribute results to the wrong mathematicians.","Present a flawed proof as correct to a student."],"requiresHuman":["Accepting a proof that will be relied on in published research."]},"ethics":{"considerations":["Mathematical errors can spread through work that depends on them.","Credit for results matters to researchers."],"affectedParties":["Students","Researchers","Users of probability results"]},"owners":{"steward":"Nobody owns the concept.","roles":[],"masterSystems":[]},"relations":[{"target":"Q18411691","type":"parent","note":"registry parent class"}],"interaction":{"identity":{"applicability":"required","items":["Vercy registry: vr.tr.dynkin-system","Wikidata: Q1935689 (https://www.wikidata.org/wiki/Q1935689)"]},"properties":{"applicability":"not-applicable","items":["Ambient universe: A specified set Ω","Family presentation: Explicit enumeration; membership predicate; generated family; constructive description","Axiom verification: For each axiom: proved; refuted with witness; unresolved","Universe cardinality: Nonnegative integer for finite Ω; specified infinite cardinality; unknown","Binary-intersection closure: Proved; refuted with a pair of members; unresolved","Generator relationship: C ⊆ D; D = λ(C); D = σ(C); relationship unresolved","Application premises: Established; missing; contradicted, recorded separately for each theorem premise"]},"recognition":{"applicability":"not-applicable","items":[]},"capabilities":{"applicability":"required","items":["Check the defining axioms and produce a concrete counterexample when a candidate fails.","Derive membership using complements, nested differences, and countable disjoint unions.","Form the smallest Dynkin system containing a specified family.","Determine whether additional intersection closure permits sigma-algebra reasoning.","Extend a setwise property from a pi-system after verifying that its truth family is a Dynkin system.","Audit a measure-uniqueness proof for generator and finiteness assumptions."]},"hazards":{"applicability":"required","items":["Confusing it with a sigma-algebra leads to invalid proofs.","Missing the disjointness condition gives wrong arguments."]},"interfaces":{"applicability":"not-applicable","items":[]},"context":{"applicability":"required","items":["Dynkin systems are used in measure theory and probability to organise families of sets with specified closure properties.","They are especially useful in proofs that extend agreement of finite measures from a generating family to a generated sigma-algebra.","The pi-lambda theorem connects this use to generating families closed under finite intersections."]}},"sources":[{"title":"Wikidata item Q1935689: Dynkin system","url":"https://www.wikidata.org/wiki/Q1935689","note":"identity and sense of the item"},{"title":"Wikipedia: Dynkin system","url":"https://en.wikipedia.org/wiki/Dynkin_system","note":"general description of the item"}],"openQuestions":["Does the existing Vercy catalogue already cover this concept under lambda-system, requiring a link to that model?","Which authoritative definition and equivalent formulations should the completed publication adopt?","Which registry-relevant instances require finite enumeration, symbolic membership predicates, or formal proof certificates?","Which infinite-measure uniqueness applications belong in the publication, and what exact localisation hypotheses do their sources require?"],"resources":{"spec":"/models/things/publications/thing-q1935689/spec.json"},"provenance":{"origin":"thing registry research (pass 2)","builtFrom":["models/things/publications/thing-q1935689/spec.json"],"providers":["Codex"],"researchStatus":"unreviewed","generatedAt":"2026-09-12T09:22:12Z","builder":"tools/build_cards.py@1.0.0"},"completeness":{"sections":{"classifiers":"filled","whatItIs":"filled","purpose":"filled","distinguishingFeatures":"filled","structure":"filled","agentConduct":"filled","ethics":"filled","owners":"filled","relations":"filled","interaction.identity":"filled","interaction.properties":"not-applicable","interaction.recognition":"not-applicable","interaction.capabilities":"filled","interaction.hazards":"filled","interaction.interfaces":"not-applicable","interaction.context":"filled","sources":"filled"},"notes":{"_gate":"Published through the thing publication gate 1.0 on 2026-10-07T10:10:28+00:00: completeness 1.00; sense: Wikidata description; 2 live sources; review by codex: pass","interaction.properties":"Plane XCT: no invented physical properties.","interaction.interfaces":"No standard, law or official classification governs a Dynkin system as an abstract mathematical family of sets.","interaction.recognition":"A Dynkin system is an abstract mathematical structure identified by its defining properties rather than visual cues."},"score":1.0}}