กลับไปหน้าบทความ

อ่าน 6 นาที

เคอร์เนลการเปลี่ยนผ่าน

ทฤษฎีความน่าจะเป็น

ใน คณิตศาสตร์ ความน่าจะ เป็น ฟังก์ชัน การเปลี่ยนสถานะหรือเคอร์เนลคือฟังก์ชันทางคณิตศาสตร์ที่มีการประยุกต์ใช้หลากหลาย

เคอร์เนลการเปลี่ยนผ่าน

ใน คณิตศาสตร์ ความน่าจะ เป็น ฟังก์ชัน การเปลี่ยนสถานะหรือเคอร์เนลคือฟังก์ชันทางคณิตศาสตร์ที่มีการประยุกต์ใช้หลากหลาย เคอร์เนลสามารถใช้กำหนดมาตรวัดแบบสุ่มหรือกระบวนการสุ่มได้ตัวอย่างที่สำคัญที่สุดของเคอร์เนลคือเคอร์เนลของมาร์คอ

คำนิยาม

อนุญาต(เอส,เอส){\displaystyle (S,{\mathcal {S}})},(ที,ที){\displaystyle (T,{\mathcal {T}})}เป็นปริภูมิที่วัดได้ สอง ปริภูมิ ฟังก์ชัน

κ:เอส×ที[0,+]{\displaystyle \kappa \colon S\times {\mathcal {T}}\to [0,+\infty ]}

เรียกว่าเคอร์เนล (การเปลี่ยนผ่าน) จากเอส{\displaystyle S}ถึงที{\displaystyle T}หากเงื่อนไขสองข้อต่อไปนี้เป็นจริง: [ 1 ]

  • สำหรับค่าคงที่ใดๆบีที{\displaystyle B\in {\mathcal {T}}}การทำแผนที่
κ(,บี){\displaystyle s\mapsto \kappa (s,B)}
เป็นเอส/บี([0,+]){\displaystyle {\mathcal {S}}/{\mathcal {B}}([0,+\infty ])}- สามารถวัดได้ ;
  • สำหรับค่าคงที่ทุกค่าเอส{\displaystyle s\in S}การทำแผนที่
บีκ(,บี){\displaystyle B\mapsto \kappa (s,B)}
เป็นการวัดผล(ที,ที){\displaystyle (T,{\mathcal {T}})}.

การจำแนกประเภทของเคอร์เนลการเปลี่ยนผ่าน

โดยทั่วไปแล้ว เคอร์เนลการเปลี่ยนสถานะจะถูกจำแนกตามมาตรวัดที่กำหนดไว้ มาตรวัดเหล่านั้นถูกกำหนดไว้ดังนี้

κ:ที[0,+]{\displaystyle \kappa _{s}\colon {\mathcal {T}}\to [0,+\infty ]}

กับ

κ(บี)=κ(,บี){\displaystyle \kappa _{s}(B)=\kappa (s,B)}

สำหรับทุกคนบีที{\displaystyle B\in {\mathcal {T}}}และทั้งหมดเอส{\displaystyle s\in S}ด้วยสัญลักษณ์นี้ เคอร์เนลκ{\displaystyle \kappa }เรียกว่า[ 1 ] [ 2 ]

  • เคอร์เนลย่อยสุ่มเคอร์เนลย่อยความน่าจะเป็นหรือเคอร์เนลย่อยมาร์คอฟถ้าทั้งหมดκ{\displaystyle \kappa _{s}}เป็นการวัดความน่าจะเป็นย่อย
  • เคอร์เนลแบบมาร์คอฟเคอร์เนลแบบสุ่ม หรือเคอร์เนลความน่าจะเป็น ถ้าทั้งหมดκ{\displaystyle \kappa _{s}}เป็นการวัดความน่าจะเป็น
  • เคอร์เนลจำกัดถ้าทั้งหมดκ{\displaystyle \kappa _{s}}เป็นการวัดแบบจำกัด
  • เอσ{\displaystyle \sigma }-เคอร์เนลจำกัดถ้าทั้งหมดκ{\displaystyle \kappa _{s}}เป็นσ{\displaystyle \sigma }การวัดแบบจำกัด
  • เอ{\displaystyle s}-เคอร์เนลจำกัดถ้าκ{\displaystyle \kappa }สามารถเขียนได้เป็นผลรวมที่นับได้ของเคอร์เนลจำกัด (ดังนั้นโดยเฉพาะอย่างยิ่ง ทั้งหมด)κ{\displaystyle \kappa _{s}}เป็น{\displaystyle s}-มาตรการจำกัด )
  • สม่ำเสมอσ{\displaystyle \sigma }-เคอร์เนลจำกัดถ้ามีเซตที่วัดได้ไม่เกินจำนวนนับบี1,บี2,{\displaystyle B_{1},B_{2},\dots }ในที{\displaystyle T}กับκ(บีฉัน)<{\displaystyle \kappa _{s}(B_{i})<\infty }สำหรับทุกคนเอส{\displaystyle s\in S}และทั้งหมดฉันเอ็น{\displaystyle i\in \mathbb {N} }.

การดำเนินงาน

ในส่วนนี้ ให้...(เอส,เอส){\displaystyle (S,{\mathcal {S}})}, (ที,ที){\displaystyle (T,{\mathcal {T}})}และ (ยู,ยู){\displaystyle (U,{\mathcal {U}})}เป็นปริภูมิที่วัดได้ และ แทนพีชคณิตผลคูณ σของเอส{\displaystyle {\mathcal {S}}}และที{\displaystyle {\mathcal {T}}}กับเอสที{\displaystyle {\mathcal {S}}\otimes {\mathcal {T}}}

ผลิตภัณฑ์จากเมล็ดพืช

คำนิยาม

อนุญาตκ1{\displaystyle \kappa ^{1}}เป็นเคอร์เนล s-finite จากเอส{\displaystyle S}ถึงที{\displaystyle T}และκ2{\displaystyle \kappa ^{2}}เป็นเคอร์เนล s-finite จากเอส×ที{\displaystyle S\times T}ถึงยู{\displaystyle U}จากนั้นผลิตภัณฑ์κ1κ2{\displaystyle \kappa ^{1}\otimes \kappa ^{2}}ของเคอร์เนลทั้งสองถูกกำหนดเป็น[ 3 ] [ 4 ]

κ1κ2:เอส×(ทียู)[0,]{\displaystyle \kappa ^{1}\otimes \kappa ^{2}\colon S\times ({\mathcal {T}}\otimes {\mathcal {U}})\to [0,\infty ]}
κ1κ2(,เอ)=ทีκ1(,ที)ยูκ2((,ที),คุณ)1เอ(ที,คุณ){\displaystyle \kappa ^{1}\otimes \kappa ^{2}(s,A)=\int _{T}\kappa ^{1}(s,\mathrm {d} t)\int _{U}\kappa ^{2}((s,t),\mathrm {d} u)\mathbf {1} _{A}(t,u)}

สำหรับทุกคนเอทียู{\displaystyle A\in {\mathcal {T}}\otimes {\mathcal {U}}}.

คุณสมบัติและความคิดเห็น

ผลคูณของเคอร์เนลสองตัวคือเคอร์เนลจากเอส{\displaystyle S}ถึงที×ยู{\displaystyle T\times U}มันเป็นเคอร์เนล s-finite อีกครั้งและเป็นσ{\displaystyle \sigma }-เคอร์เนลจำกัด ถ้าκ1{\displaystyle \kappa ^{1}}และκ2{\displaystyle \kappa ^{2}}เป็นσ{\displaystyle \sigma }-เคอร์เนลจำกัด ผลคูณของเคอร์เนลยังมีคุณสมบัติการสลับที่ หมายความว่ามันสอดคล้องกับ

(κ1κ2)κ3=κ1(κ2κ3){\displaystyle (\kappa ^{1}\otimes \kappa ^{2})\otimes \kappa ^{3}=\kappa ^{1}\otimes (\kappa ^{2}\otimes \kappa ^{3})}

สำหรับเคอร์เนล s-finite ที่เหมาะสมทั้งสามตัวใดๆκ1,κ2,κ3{\displaystyle \kappa ^{1},\kappa ^{2},\kappa ^{3}}.

ผลิตภัณฑ์นั้นได้รับการกำหนดไว้อย่างชัดเจนเช่นกัน หากκ2{\displaystyle \kappa ^{2}}เป็นแกนหลักจากที{\displaystyle T}ถึงยู{\displaystyle U}ในกรณีนี้ จะถูกมองว่าเป็นแกนหลักจากเอส×ที{\displaystyle S\times T}ถึง ยู{\displaystyle U}ซึ่งเป็นอิสระจากเอส{\displaystyle S}นี่เทียบเท่ากับการตั้งค่า

κ((,ที),เอ):=κ(ที,เอ){\displaystyle \kappa ((s,t),A):=\kappa (t,A)}

สำหรับทุกคนเอยู{\displaystyle A\in {\mathcal {U}}}และทั้งหมดเอส{\displaystyle s\in S}[ 4 ] [ 3 ]

องค์ประกอบของเมล็ดพืช

คำนิยาม

อนุญาตκ1{\displaystyle \kappa ^{1}}เป็นเคอร์เนล s-finite จากเอส{\displaystyle S}ถึงที{\displaystyle T}และκ2{\displaystyle \kappa ^{2}}เคอร์เนล s-finite จากเอส×ที{\displaystyle S\times T}ถึงยู{\displaystyle U}จากนั้นก็เป็นการเรียบเรียงκ1κ2{\displaystyle \kappa ^{1}\cdot \kappa ^{2}}ของเคอร์เนลทั้งสองถูกกำหนดเป็น[ 5 ] [ 3 ]

κ1κ2:เอส×ยู[0,]{\displaystyle \kappa ^{1}\cdot \kappa ^{2}\colon S\times {\mathcal {U}}\to [0,\infty ]}
(,บี)ทีκ1(,ที)ยูκ2((,ที),คุณ)1บี(คุณ){\displaystyle (s,B)\mapsto \int _{T}\kappa ^{1}(s,\mathrm {d} t)\int _{U}\kappa ^{2}((s,t),\mathrm {d} u)\mathbf {1} _{B}(u)}

สำหรับทุกคนเอส{\displaystyle s\in S}และทั้งหมดบียู{\displaystyle B\in {\mathcal {U}}}.

คุณสมบัติและความคิดเห็น

องค์ประกอบนี้เป็นแก่นหลักจากเอส{\displaystyle S}ถึงยู{\displaystyle U}ซึ่งก็คือ s-finite อีกครั้ง การประกอบเคอร์เนลเป็นแบบสมาคมหมายความว่ามันสอดคล้องกับ

(κ1κ2)κ3=κ1(κ2κ3){\displaystyle (\kappa ^{1}\cdot \kappa ^{2})\cdot \kappa ^{3}=\kappa ^{1}\cdot (\kappa ^{2}\cdot \kappa ^{3})}

สำหรับเคอร์เนล s-finite ที่เหมาะสมทั้งสามตัวใดๆκ1,κ2,κ3{\displaystyle \kappa ^{1},\kappa ^{2},\kappa ^{3}}เช่นเดียวกับผลผลิตของเมล็ดพืช องค์ประกอบก็ถูกกำหนดไว้อย่างชัดเจนเช่นกันκ2{\displaystyle \kappa ^{2}}เป็นแกนหลักจากที{\displaystyle T}ถึงยู{\displaystyle U}.

สัญลักษณ์อีกแบบหนึ่งสำหรับการแต่งเพลงคือκ1κ2{\displaystyle \kappa ^{1}\kappa ^{2}}[ 3 ]

เคอร์เนลในฐานะตัวดำเนินการ

อนุญาตที+,เอส+{\displaystyle {\mathcal {T}}^{+},{\mathcal {S}}^{+}}เป็นเซตของฟังก์ชันที่วัดได้ที่เป็นบวกบน(เอส,เอส),(ที,ที){\displaystyle (S,{\mathcal {S}}),(T,{\mathcal {T}})}.

เมล็ดทุกเมล็ดκ{\displaystyle \kappa }จากเอส{\displaystyle S}ถึงที{\displaystyle T}สามารถเชื่อมโยงกับตัวดำเนินการเชิงเส้น ได้

เอκ:ที+เอส+{\displaystyle A_{\kappa }\colon {\mathcal {T}}^{+}\to {\mathcal {S}}^{+}}

กำหนดโดย[ 6 ]

(เอκเอฟ)()=ทีκ(,ที)เอฟ(ที).{\displaystyle (A_{\kappa }f)(s)=\int _{T}\kappa (s,\mathrm {d} t)\;f(t).}

องค์ประกอบของตัวดำเนินการเหล่านี้เข้ากันได้กับองค์ประกอบของเคอร์เนล หมายความว่า[ 3 ]

เอκ1เอκ2=เอκ1κ2{\displaystyle A_{\kappa ^{1}}A_{\kappa ^{2}}=A_{\kappa ^{1}\cdot \kappa ^{2}}}
ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Transition_kernel&oldid=1331103614 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ เคอร์เนลการเปลี่ยนผ่าน

ใน คณิตศาสตร์ ความน่าจะ เป็น ฟังก์ชัน การเปลี่ยนสถานะหรือเคอร์เนลคือฟังก์ชันทางคณิตศาสตร์ที่มีการประยุกต์ใช้หลากหลาย

คำนิยาม

อนุญาต ( เอส , เอส ) {\displaystyle (S,{\mathcal {S}})} , ( ที , ที ) {\displaystyle (T,{\mathcal {T}})} เป็น ปริภูมิที่วัดได้ สอง ปริภูมิ ฟังก์ชัน

การจำแนกประเภทของเคอร์เนลการเปลี่ยนผ่าน

โดยทั่วไปแล้ว เคอร์เนลการเปลี่ยนสถานะจะถูกจำแนกตามมาตรวัดที่กำหนดไว้ มาตรวัดเหล่านั้นถูกกำหนดไว้ดังนี้

การดำเนินงาน

ในส่วนนี้ ให้... ( เอส , เอส ) {\displaystyle (S,{\mathcal {S}})} , ( ที , ที ) {\displaystyle (T,{\mathcal {T}})} และ ( ยู , ยู ) {\displaystyle (U,{\mathcal {U}})} เป็นปริภูมิที่วัดได้ และ แทน พีชคณิตผลคูณ σ ของ เอส {\displaystyle {\mathcal {S}}} และ ที...