Дифференцирования со значениями в идеальных F-пространствах измеримых функций

Известно, что на любой коммутативной алгебре фон Неймана L∞(Ω,μ) каждое дифференцирование тождественно равно нулю. В то же время, на коммутативной алгебре L0(Ω,μ) всех комплексных измеримых функций, заданных на неатомическом пространстве с мерой (Ω,μ), всегда существуют ненулевые дифференцирования. При этом каждое дифференцирование на L∞(Ω,μ), принимающее значения в нормированном идеальном подпространстве X⊂L0(Ω,μ), обязательно является нулевым. Аналогичный факт остается верным и для квазинормированных идеальных подпространств X⊂L0(Ω,μ). Естественно возникает вопрос о существовании ненулевых дифференцирований, определенных на L∞(Ω,μ), со значениями в F-нормируемом идеальном пространстве X⊂L0(Ω,μ), т. е. идеальном пространстве, снабженном монотонной F-нормой. Мы даем необходимые и достаточные условия для полных F-нормируемых идеальных пространств X, обеспечивающие наличие ненулевых дифференцирований δ:L∞(Ω,μ)→X. В частности, показано, что в случае порядковой полунепрерывности F-нормы ∥⋅∥X каждое дифференцирование δ:L∞(Ω,μ)→(X,∥⋅∥X) является нулевым. В то же время, наличие неатомического идемпотента 0≠e∈X, μ(e)