• 1 WStarAlgebras and their Topologies ▶
    • 1.1 Basic Definitions and Results
    • 1.2 The Ultraweak (Sigma) Topology
    • 1.3 Other Topologies on WStarAlgebras
  • 2 Order Lemmas
  • 3 Projection Lemmas
  • 4 Positive Linear Functionals and States
  • 5 Stonean Spaces and Maximal Commutative Subalgebras
  • 6 Normality and Ultraweak Continuity for Positive Functionals ▶
    • 6.1 Ultraweakly Continuous Implies Normal
    • 6.2 Normal Implies Ultraweakly Continuous
  • Dependency graph

WStarAlgebras have Unique Preduals

Lean OA team

  • 1 WStarAlgebras and their Topologies
    • 1.1 Basic Definitions and Results
    • 1.2 The Ultraweak (Sigma) Topology
    • 1.3 Other Topologies on WStarAlgebras
  • 2 Order Lemmas
  • 3 Projection Lemmas
  • 4 Positive Linear Functionals and States
  • 5 Stonean Spaces and Maximal Commutative Subalgebras
  • 6 Normality and Ultraweak Continuity for Positive Functionals
    • 6.1 Ultraweakly Continuous Implies Normal
    • 6.2 Normal Implies Ultraweakly Continuous