{"title":"论有界可测函数空间上的波克纳可表示算子的踪迹","authors":"Marian Nowak, Juliusz Stochmal","doi":"10.1017/s0013091523000779","DOIUrl":null,"url":null,"abstract":"<p>Let Σ be a <span>σ</span>-algebra of subsets of a set Ω and <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$B(\\Sigma)$</span></span></img></span></span> be the Banach space of all bounded Σ-measurable scalar functions on Ω. Let <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$\\tau(B(\\Sigma),ca(\\Sigma))$</span></span></img></span></span> denote the natural Mackey topology on <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$B(\\Sigma)$</span></span></img></span></span>. It is shown that a linear operator <span>T</span> from <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$B(\\Sigma)$</span></span></img></span></span> to a Banach space <span>E</span> is Bochner representable if and only if <span>T</span> is a nuclear operator between the locally convex space <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$(B(\\Sigma),\\tau(B(\\Sigma),ca(\\Sigma)))$</span></span></img></span></span> and the Banach space <span>E</span>. We derive a formula for the trace of a Bochner representable operator <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$T:B({\\cal B} o)\\rightarrow B({\\cal B} o)$</span></span></img></span></span> generated by a function <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$f\\in L^1({\\cal B} o, C(\\Omega))$</span></span></img></span></span>, where Ω is a compact Hausdorff space.</p>","PeriodicalId":20586,"journal":{"name":"Proceedings of the Edinburgh Mathematical Society","volume":"9 1","pages":""},"PeriodicalIF":0.7000,"publicationDate":"2024-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On traces of Bochner representable operators on the space of bounded measurable functions\",\"authors\":\"Marian Nowak, Juliusz Stochmal\",\"doi\":\"10.1017/s0013091523000779\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let Σ be a <span>σ</span>-algebra of subsets of a set Ω and <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline1.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$B(\\\\Sigma)$</span></span></img></span></span> be the Banach space of all bounded Σ-measurable scalar functions on Ω. Let <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline2.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$\\\\tau(B(\\\\Sigma),ca(\\\\Sigma))$</span></span></img></span></span> denote the natural Mackey topology on <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline3.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$B(\\\\Sigma)$</span></span></img></span></span>. It is shown that a linear operator <span>T</span> from <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline4.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$B(\\\\Sigma)$</span></span></img></span></span> to a Banach space <span>E</span> is Bochner representable if and only if <span>T</span> is a nuclear operator between the locally convex space <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline5.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$(B(\\\\Sigma),\\\\tau(B(\\\\Sigma),ca(\\\\Sigma)))$</span></span></img></span></span> and the Banach space <span>E</span>. We derive a formula for the trace of a Bochner representable operator <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline6.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$T:B({\\\\cal B} o)\\\\rightarrow B({\\\\cal B} o)$</span></span></img></span></span> generated by a function <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110130638066-0304:S0013091523000779:S0013091523000779_inline7.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$f\\\\in L^1({\\\\cal B} o, C(\\\\Omega))$</span></span></img></span></span>, where Ω is a compact Hausdorff space.</p>\",\"PeriodicalId\":20586,\"journal\":{\"name\":\"Proceedings of the Edinburgh Mathematical Society\",\"volume\":\"9 1\",\"pages\":\"\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2024-01-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Edinburgh Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1017/s0013091523000779\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Edinburgh Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/s0013091523000779","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
摘要
让 Σ 是一个集合 Ω 的子集的 σ 代数,$B(\Sigma)$ 是 Ω 上所有有界 Σ 可测标量函数的巴纳赫空间。让 $\tau(B(\Sigma),ca(\Sigma))$ 表示 $B(\Sigma)$ 上的自然麦基拓扑。研究表明,当且仅当 T 是局部凸空间 $(B(\Sigma),\tau(B(\Sigma),ca(\Sigma)))$ 和巴拿赫空间 E 之间的核算子时,从 $B(\Sigma)$ 到巴拿赫空间 E 的线性算子 T 才是 Bochner 可表示的。我们推导出了由函数 $f\in L^1({\cal B} o, C(\Omega))$ 生成的波赫纳可表示算子 $T:B({\cal B} o)\rightarrow B({\cal B} o)$ 的迹的公式,其中 Ω 是一个紧凑的豪斯多夫空间。
On traces of Bochner representable operators on the space of bounded measurable functions
Let Σ be a σ-algebra of subsets of a set Ω and $B(\Sigma)$ be the Banach space of all bounded Σ-measurable scalar functions on Ω. Let $\tau(B(\Sigma),ca(\Sigma))$ denote the natural Mackey topology on $B(\Sigma)$. It is shown that a linear operator T from $B(\Sigma)$ to a Banach space E is Bochner representable if and only if T is a nuclear operator between the locally convex space $(B(\Sigma),\tau(B(\Sigma),ca(\Sigma)))$ and the Banach space E. We derive a formula for the trace of a Bochner representable operator $T:B({\cal B} o)\rightarrow B({\cal B} o)$ generated by a function $f\in L^1({\cal B} o, C(\Omega))$, where Ω is a compact Hausdorff space.
期刊介绍:
The Edinburgh Mathematical Society was founded in 1883 and over the years, has evolved into the principal society for the promotion of mathematics research in Scotland. The Society has published its Proceedings since 1884. This journal contains research papers on topics in a broad range of pure and applied mathematics, together with a number of topical book reviews.