ในทางคณิตศาสตร์พื้นที่ba ของพีชคณิตของเซตคือพื้นที่ Banachที่ประกอบด้วยมาตรวัดที่มีขอบเขตและบวกได้จำกัด ทั้งหมด บนบรรทัดฐานถูกกำหนดให้เป็นการแปรผันนั่นคือ^{[ 1 ]}${\displaystyle ba(\Sigma )}$${\displaystyle \Sigma }$${\displaystyle \Sigma }$${\displaystyle \|\nu \|=|\nu |(X)}$

ถ้า Σ เป็นซิกมา-แอลจีบราพื้นที่จะถูกกำหนดเป็นเซตย่อยของที่ประกอบด้วยการวัดแบบบวกที่นับได้ [ ^{2 ] สัญลักษณ์} ba เป็นตัวย่อสำหรับแบบบวกที่มีขอบเขตและcaเป็นตัวย่อสำหรับแบบบวกที่นับได้ ${\displaystyle ca(\Sigma )}$${\displaystyle ba(\Sigma )}$

ถ้าXเป็นปริภูมิเชิงทอพอโลยีและ Σ เป็นซิกมาแอลเจบราของเซตโบเรลในXแล้วจะเป็นปริภูมิย่อยของที่ประกอบด้วยมาตรวัดโบเรล^ปกติทั้งหมดบนX [ ^{3 ]}${\displaystyle rca(X)}$${\displaystyle ca(\Sigma )}$

ทั้งสามปริภูมิสมบูรณ์ (เป็นปริภูมิบานาค ) เมื่อเทียบกับบรรทัดฐานเดียวกันที่กำหนดโดยความแปรผันรวม ดังนั้น จึงเป็นเซตย่อยปิดของและเป็นเซตปิดของ สำหรับ Σ ซึ่ง เป็น พีชคณิตของเซตบอเรลบนXปริภูมิของฟังก์ชันเชิงเดี่ยวบนมีความหนาแน่นใน${\displaystyle ca(\Sigma )}$${\displaystyle ba(\Sigma )}$${\displaystyle rca(X)}$${\displaystyle ca(\Sigma )}$${\displaystyle \Sigma }$${\displaystyle ba(\Sigma )}$

ปริภูมิ ba ของเซตกำลังของจำนวนธรรมชาติ ba (2 ^N ) มักจะ ถูก แสดงด้วย สัญลักษณ์ง่ายๆ ว่าและมีลักษณะสมมาตรกับปริภูมิคู่ของปริภูมิℓ ^∞${\displaystyle ba}$

ให้ B(Σ) เป็นปริภูมิของฟังก์ชันที่วัดได้ Σ ที่มีขอบเขต พร้อมด้วยบรรทัดฐานสม่ำเสมอแล้วba (Σ) = B(Σ)* คือปริภูมิคู่ต่อเนื่องของ B(Σ) สิ่งนี้เป็นผลมาจาก Hildebrandt ^{[ 4 ]}และ Fichtenholtz & Kantorovich ^{[ 5 ]} นี่ เป็นทฤษฎีบทการแสดงแทนแบบ Riesz ชนิดหนึ่งที่อนุญาตให้แสดงการวัดเป็นฟังก์ชันเชิงเส้นบนฟังก์ชันที่วัดได้ โดยเฉพาะอย่างยิ่ง ไอโซมอร์ฟิซึมนี้อนุญาตให้กำหนดปริพันธ์โดยสัมพันธ์กับการวัดแบบบวกจำกัด (โปรดทราบว่าปริพันธ์ Lebesgue ปกติต้องการ การบวก แบบนับได้ ) สิ่งนี้เป็นผลมาจาก Dunford & Schwartz ^{[ 6 ]}และมักใช้เพื่อกำหนดปริพันธ์โดยสัมพันธ์กับการวัดเวกเตอร์^{[ 7 ]}และ โดยเฉพาะอย่างยิ่ง การวัด Radonที่มีค่าเป็นเวกเตอร์

ความเป็นคู่เชิงโทโพโลยีba (Σ) = B(Σ)* นั้นเห็นได้ง่าย มี ความเป็นคู่ เชิงพีชคณิต ที่ชัดเจน ระหว่างปริภูมิเวกเตอร์ของ การวัดแบบบวกจำกัด ทั้งหมด σ บน Σ และปริภูมิเวกเตอร์ของฟังก์ชันเชิงเดี่ยว ( ) ตรวจสอบได้ง่ายว่ารูปแบบเชิงเส้นที่เกิดจาก σ นั้นต่อเนื่องในนอร์มสูงสุดหาก σ มีขอบเขต และผลลัพธ์นี้เป็นผลมาจากรูปแบบเชิงเส้นบนปริภูมิย่อยหนาแน่นของฟังก์ชันเชิงเดี่ยวขยายไปยังองค์ประกอบของ B(Σ)* หากมันต่อเนื่องในนอร์มสูงสุด ${\displaystyle \mu (A)=\zeta \left(1_{A}\right)}$

ถ้า Σ เป็นซิกมาแอลเจบราและμเป็น มาตรวัดบวก แบบซิกมาแอดดิทีฟบน Σ แล้ว ปริภูมิ Lp L ^∞ ( μ ) ที่มี นอร์ม สูงสุดที่จำเป็น จะเป็น ปริภูมิผลหารของ B(Σ) โดยปริภูมิย่อยปิดของฟังก์ชัน μ -null ที่มีขอบเขต ตามคำนิยาม :

${\displaystyle N_{\mu }:=\{f\in B(\Sigma ):f=0\ \mu {\text{-เกือบทุกที่}}\}.}$

ดังนั้น ปริภูมิบานาคคู่L ^∞ ( μ )* จึงสมสัณฐานกับ

${\displaystyle N_{\mu }^{\perp }=\{\sigma \in ba(\Sigma ):\mu (A)=0\Rightarrow \sigma (A)=0{\text{ สำหรับ }}A\in \Sigma \},}$

กล่าวคือ ปริภูมิของ มาตรวัด แบบมีเครื่องหมายที่เพิ่มได้แบบจำกัดบนΣซึ่งมีความต่อเนื่องสัมบูรณ์เทียบกับμ ( เรียกสั้น ๆ ว่า μ -ac)

เมื่อปริภูมิการวัดเป็นซิกมาไฟไนต์แล้วL ^∞ ( μ ) จะเป็นคู่ตรงข้ามกับL ¹ ( μ ) ซึ่งตามทฤษฎีบทของ Radon–Nikodymจะถูกระบุว่าเป็นเซตของ การวัด μ -ac ที่นับได้ ทั้งหมด กล่าวอีกนัยหนึ่งคือ การรวมอยู่ในคู่ตรงข้าม

${\displaystyle L^{1}(\mu )\subset L^{1}(\mu )^{**}=L^{\infty }(\mu )^{*}}$

มีโครงสร้างสมมาตรกับการรวมพื้นที่ของการวัดแบบμ -ac ที่มีขอบเขตแบบนับได้เข้าไปภายในพื้นที่ของการวัด แบบ μ -ac ที่มีขอบเขตแบบบวกจำกัดทั้งหมด

• รายการช่องว่างบานาค

• ดีสเทล, โจเซฟ (1984). ลำดับและอนุกรมในปริภูมิบานาค . สปริงเกอร์-เวอร์แลก. ISBN 0-387-90859-5. OCLC  9556781 .
• Yosida, K.; Hewitt, E. (1952). "การวัดแบบบวกจำกัด" . ธุรกรรมของสมาคมคณิตศาสตร์อเมริกัน . 72 (1): 46– 66. doi : 10.2307/1990654 . JSTOR  1990654 .
• Kantorovitch, Leonid V.; Akilov, Gleb P. (1982). การวิเคราะห์เชิงฟังก์ชัน . Pergamon. doi : 10.1016/C2013-0-03044-7 . ISBN 978-0-08-023036-8.