PhysLean Documentation

PhysLean.QFT.PerturbationTheory.FieldOpFreeAlgebra.NormTimeOrder

Norm-time Ordering in the FieldOpFreeAlgebra #

Norm-time order #

source
def FieldSpecification.FieldOpFreeAlgebra.normTimeOrder {𝓕 : FieldSpecification} :
𝓕.FieldOpFreeAlgebra →ₗ[ℂ] 𝓕.FieldOpFreeAlgebra

The normal-time ordering on FieldOpFreeAlgebra.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def FieldSpecification.FieldOpFreeAlgebra.«term𝓣𝓝ᶠ(_)» :
    Lean.ParserDescr

    The normal-time ordering on FieldOpFreeAlgebra.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      theorem FieldSpecification.FieldOpFreeAlgebra.normTimeOrder_ofCrAnListF {𝓕 : FieldSpecification} (φs : List 𝓕.CrAnFieldOp) :
      normTimeOrder (ofCrAnListF φs) = normTimeOrderSign φs • ofCrAnListF (normTimeOrderList φs)