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

อ่าน 15 นาที

ไม่มีชื่อบทความ

ในทาง คณิตศาสตร์ การผสม เป็นแนวคิดเชิงนามธรรมที่มาจาก ฟิสิกส์ ซึ่งเป็นความพยายามที่จะอธิบาย กระบวนการทางเทอร์โมไดนามิก ที่ไม่สามารถย้อนกลับได้ ของ การผสม ในโลกแห่งความเป็นจริง...

การผสม (คณิตศาสตร์)

การนำแผนที่ของคนทำขนมปังไปใช้กับจุดที่ระบายสีแดงและสีน้ำเงินแยกกันในตอนแรกซ้ำๆ แผนที่ของคนทำขนมปังแสดงให้เห็นถึงการผสมกันของจุดสีแดงและสีน้ำเงินที่ผสมกันอย่างสมบูรณ์หลังจากทำซ้ำหลายครั้ง

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

แนวคิดนี้ปรากฏในทฤษฎีเออร์โกดิกซึ่งเป็นการศึกษาเกี่ยวกับกระบวนการสุ่มและระบบพลวัตที่รักษาการวัดไว้มีคำจำกัดความของการผสมหลายแบบ รวมถึงการผสมแบบเข้มข้นการผสมแบบอ่อนและการผสมเชิงโทโพโลยีโดยแบบสุดท้ายไม่จำเป็นต้อง กำหนดการ วัดคำจำกัดความของการผสมบางส่วนสามารถจัดเรียงลำดับชั้นได้ ดังนั้น การผสมแบบเข้มข้นจึงหมายถึงการผสมแบบอ่อน ยิ่งไปกว่านั้น การผสมแบบอ่อน (และดังนั้น การผสมแบบเข้มข้นด้วย) หมายถึงความเป็นเออร์โกดิกกล่าวคือ ทุกระบบที่มีการผสมแบบอ่อนก็จะเป็นเออร์โกดิกด้วย (ดังนั้นจึงกล่าวได้ว่า การผสมเป็นเงื่อนไขที่ "เข้มข้นกว่า" ความเป็นเออร์โกดิก)

คำอธิบายแบบไม่เป็นทางการ

นิยามทางคณิตศาสตร์ของการผสมมีจุดมุ่งหมายเพื่ออธิบายกระบวนการผสมในชีวิตประจำวันทั่วไป เช่น การผสมสี เครื่องดื่ม ส่วนผสมในการปรุงอาหารการผสมในกระบวนการทางอุตสาหกรรมควันในห้องที่เต็มไปด้วยควัน และอื่นๆ เพื่อให้เกิดความแม่นยำทางคณิตศาสตร์ คำอธิบายเหล่านี้เริ่มต้นด้วยนิยามของระบบพลวัตที่รักษาการวัดซึ่งเขียนได้ดังนี้(X,เอ,μ,ที){\displaystyle (X,{\mathcal {A}},\mu ,T)} .

ชุดX{\displaystyle X}หมายถึงพื้นที่ทั้งหมดที่จะต้องเติมเต็ม เช่น ชามผสม ห้องที่เต็มไปด้วยควันเป็นต้นหน่วยวัดμ{\displaystyle \mu }เป็นที่เข้าใจกันว่าเป็นการกำหนดปริมาตรตามธรรมชาติของพื้นที่X{\displaystyle X}และของปริภูมิย่อยของมัน กลุ่มของปริภูมิย่อยจะถูกแทนด้วยเอ{\displaystyle {\mathcal {A}}}และขนาดของเซตย่อย ใดๆ ก็ตามเอX{\displaystyle A\subset X}คือμ(เอ){\displaystyle \mu (A)}ขนาดก็คือปริมาตรของมันนั่นเอง หากมองอย่างง่ายๆ เราอาจจินตนาการได้ว่าเอ{\displaystyle {\mathcal {A}}}เพื่อเป็นชุดพลังของX{\displaystyle X};วิธีนี้ใช้ไม่ได้ผลเสียทีเดียว เพราะไม่ใช่ทุกเซตย่อยของปริภูมิจะมีปริมาตร (ดังเช่นปรากฏการณ์ Banach–Tarski ที่เป็นที่รู้จักกันดี ) ดังนั้น ตามธรรมเนียมแล้วเอ{\displaystyle {\mathcal {A}}}ประกอบด้วยเซตย่อยที่วัดได้—เซตย่อยที่มีปริมาตร โดยทั่วไปถือว่าเป็นเซตโบเรล —กลุ่มของเซตย่อยที่สามารถสร้างขึ้นได้โดยการหาจุดตัดการรวมกันและส่วนเติมเต็มของเซตซึ่งเซตเหล่านี้สามารถวัดได้เสมอ

การเปลี่ยนแปลงของระบบตามเวลาจะถูกอธิบายด้วยแผนที่ที:XX{\displaystyle T:X\to X}กำหนดให้เป็นเซตย่อยบางส่วนเอX{\displaystyle A\subset X}แผนที่ของมันที(เอ){\displaystyle T(A)}โดยทั่วไปจะเป็นรูปแบบที่ผิดรูปไปจากเดิมเอ{\displaystyle A}– มันถูกบีบหรือยืด พับหรือตัดเป็นชิ้นๆ ตัวอย่างทางคณิตศาสตร์ ได้แก่แผนที่ของคนทำขนมปังและแผนที่เกือกม้าซึ่งทั้งสองอย่างได้รับแรงบันดาลใจจาก การทำ ขนมปังเซตที(เอ){\displaystyle T(A)}ต้องมีปริมาตรเท่ากับเอ{\displaystyle A}การบีบหรือยืดไม่เปลี่ยนแปลงปริมาตรของพื้นที่ แต่เปลี่ยนเฉพาะการกระจายตัวของปริมาตรเท่านั้น ระบบดังกล่าวเป็นระบบที่ "รักษาขนาด" (รักษาพื้นที่ รักษาปริมาตร)

ความยากลำบากเชิงรูปแบบเกิดขึ้นเมื่อพยายามที่จะประสานปริมาณของเซตกับความจำเป็นในการรักษาขนาดของเซตไว้ภายใต้การแมป ปัญหานี้เกิดขึ้นเนื่องจากโดยทั่วไปแล้ว จุดหลายจุดที่แตกต่างกันในโดเมนของฟังก์ชันสามารถแมปไปยังจุดเดียวกันในเรนจ์ของฟังก์ชันได้ กล่าวคือ อาจมีxy{\displaystyle x\neq y}กับที(x)=ที(y){\displaystyle T(x)=T(y)}ที่แย่กว่า นั้นคือได้แค่แต้มเดียวxX{\displaystyle x\in X}ไม่มีขนาด ปัญหาเหล่านี้สามารถหลีกเลี่ยงได้โดยการใช้แผนที่ผกผันที1:เอเอ{\displaystyle T^{-1}:{\mathcal {A}}\to {\mathcal {A}}}มันจะแมปเซตย่อยใดๆ ที่กำหนดเอX{\displaystyle A\subset X}สำหรับชิ้นส่วนที่นำมาประกอบกันเพื่อให้ได้มาซึ่งสิ่งนี้: ชิ้นส่วนเหล่านี้คือที1(เอ)เอ{\displaystyle T^{-1}(A)\in {\mathcal {A}}}มันมีคุณสมบัติที่สำคัญคือไม่ "หลงลืม" ว่าสิ่งต่างๆ มาจากไหน ที่สำคัญกว่านั้นคือ มันมีคุณสมบัติที่สำคัญว่าแผนที่ใดๆ (ที่รักษาการวัด)เอเอ{\displaystyle {\mathcal {A}}\to {\mathcal {A}}}คือส่วนกลับของแผนที่บางอย่างXX{\displaystyle X\to X}นิยามที่ถูกต้องของแผนที่รักษาปริมาตรคือแผนที่ซึ่งμ(เอ)=μ(ที1(เอ)){\displaystyle \mu (A)=\mu (T^{-1}(A))}เพราะที1(เอ){\displaystyle T^{-1}(A)}อธิบายชิ้นส่วนทั้งหมดที่เอ{\displaystyle A}มาจาก.

ขณะนี้เราสนใจที่จะศึกษาการเปลี่ยนแปลงของระบบตามเวลา หากชุดหนึ่งเอเอ{\displaystyle A\in {\mathcal {A}}}ในที่สุดก็ได้ไปเยือนทุกแห่งX{\displaystyle X}ในช่วงระยะเวลาที่ยาวนาน (นั่นคือ ถ้าเค=1nทีเค(เอ){\displaystyle \cup _{k=1}^{n}T^{k}(A)}เข้าถึงทุกแนวทางX{\displaystyle X}สำหรับขนาดใหญ่n{\displaystyle n}ระบบดังกล่าวเรียกว่าระบบเออร์โกดิก (ergodic ) ถ้าทุกเซตเอ{\displaystyle A}เมื่อระบบมีพฤติกรรมเช่นนี้ ระบบนั้นก็จะเป็นระบบอนุรักษ์พลังงานซึ่งตรงกันข้ามกับระบบกระจายพลังงานที่ซึ่งเซตย่อยบางส่วนเอ{\displaystyle A}ล่องลอยหายไปไม่หวนกลับมาอีก ตัวอย่างเช่น น้ำที่ไหลลงเนิน เมื่อไหลลงไปแล้ว มันจะไม่ไหลกลับขึ้นมาอีก อย่างไรก็ตาม ทะเลสาบที่ก่อตัวขึ้นที่ก้นแม่น้ำนี้สามารถผสมผสานกันได้อย่างทั่วถึง ทฤษฎีบท การแยกส่วนของฮอปฟ์กล่าวว่า พื้นที่การวัดทุกแห่งสามารถแบ่งออกเป็นสองส่วน คือ ส่วนอนุรักษ์ และส่วนที่สูญเสียไป

การผสมผสานเป็นข้อความที่แข็งแกร่งกว่าความเป็นเออร์โกดิก การผสมผสานต้องการให้คุณสมบัติเออร์โกดิกนี้เป็นจริงระหว่างเซตสองเซตใดเอ,บี{\displaystyle A,B}และไม่ใช่แค่ระหว่างกลุ่มใดกลุ่มหนึ่งเท่านั้นเอ{\displaystyle A}และX{\displaystyle X}นั่นคือ เมื่อกำหนดเซตสองเซตใดเอ,บีเอ{\displaystyle A,B\in {\mathcal {A}}}กล่าวได้ว่าระบบนั้นมีการผสม (ในเชิงโทโพโลยี) หากมีจำนวนเต็มอยู่เอ็น{\displaystyle N}โดยที่สำหรับทุก ๆเอ,บี{\displaystyle A,B}และn>เอ็น{\displaystyle n>N}คนหนึ่งมีสิ่งนั้นทีn(เอ)บี{\displaystyle T^{n}(A)\cap B\neq \varnothing }. ที่นี่,{\displaystyle \cap }หมายถึงจุดตัดของเซตและ{\displaystyle \varnothing }คือเซตว่าง

คำจำกัดความของการผสมเชิงทอพอโลยีข้างต้นน่าจะเพียงพอที่จะให้แนวคิดอย่างไม่เป็นทางการเกี่ยวกับการผสม (ซึ่งเทียบเท่ากับคำจำกัดความอย่างเป็นทางการที่กล่าวไว้ด้านล่าง) อย่างไรก็ตาม คำจำกัดความดังกล่าวไม่ได้กล่าวถึงปริมาตรของเอ{\displaystyle A}และบี{\displaystyle B}และที่จริงแล้ว ยังมีคำจำกัดความอื่นที่ทำงานร่วมกับปริมาตรได้อย่างชัดเจน มีหลายคำจำกัดความด้วยกัน คำจำกัดความหนึ่งมีทั้งการผสมแบบเข้มข้นและการผสมแบบอ่อน ซึ่งทั้งสองอย่างนี้ไม่เท่ากัน ถึงแม้ว่าระบบที่มีการผสมแบบเข้มข้นจะมีการผสมแบบอ่อนเสมอ คำจำกัดความที่อิงตามการวัดนั้นไม่สอดคล้องกับคำจำกัดความของการผสมเชิงโทโพโลยี มีระบบบางระบบที่เป็นแบบหนึ่งแต่ไม่ใช่แบบอื่น สถานการณ์โดยทั่วไปยังคงคลุมเครือ ตัวอย่างเช่น เมื่อกำหนดเซตสามเซตเอ,บี,ซีเอ{\displaystyle A,B,C\in {\mathcal {A}}}เราสามารถกำหนด 3-mixing ได้ ณ ปี 2020 ยังไม่เป็นที่ทราบแน่ชัดว่า 2-mixing หมายถึง 3-mixing หรือไม่ (หากเรามองว่าภาวะเออร์โกดิกเป็น "1-mixing" แล้ว ก็จะเห็นได้ชัดว่า 1-mixing ไม่ได้หมายถึง 2-mixing เสมอไป เพราะมีระบบบางระบบที่เป็นเออร์โกดิกแต่ไม่เกิดการผสม)

แนวคิดเรื่องการผสมอย่างเข้มข้นนั้นกล่าวถึงปริมาตรของเซตสองเซต ตัวอย่างเช่น พิจารณาเซตหนึ่งเอ{\displaystyle A}เป็นการผสมสีลงในของเหลวเหนียวๆ เช่น น้ำเชื่อมข้าวโพด หรือแชมพู หรืออื่นๆ ประสบการณ์จริงแสดงให้เห็นว่าการผสมของเหลวเหนียวๆ นั้นค่อนข้างยาก มักจะมีบางมุมของภาชนะที่ยากต่อการผสมสีเข้าไป เลือกตามที่กำหนดบี{\displaystyle B}มุมที่เข้าถึงยากนั้น คำถามเกี่ยวกับการผสมผสานก็คือ สามารถทำได้หรือไม่เอ{\displaystyle A}หลังจากผ่านไประยะเวลานานพอสมควร ไม่เพียงแต่จะแทรกซึมเข้าไปเท่านั้นบี{\displaystyle B}แต่ยังเติมเต็มอีกด้วยบี{\displaystyle B}ในสัดส่วนเดียวกับที่อื่น ๆ ใช่หรือไม่?

นิยามหนึ่งของการผสมที่แข็งแกร่งคือข้อกำหนดที่ว่า

ลิมnμ(ทีnเอบี)=μ(เอ)μ(บี).{\displaystyle \lim _{n\to \infty }\mu \left(T^{-n}A\cap B\right)=\mu (A)\mu (B).}

พารามิเตอร์เวลาn{\displaystyle n}ทำหน้าที่แยกเอ{\displaystyle A}และบี{\displaystyle B}เมื่อเวลาผ่านไป จึงทำให้เกิดการผสมผสานขึ้นเอ{\displaystyle A}ขณะถือปริมาตรทดสอบบี{\displaystyle B}แก้ไขแล้ว ผลิตภัณฑ์μ(เอ)μ(บี){\displaystyle \mu (A)\mu (B)}มันละเอียดอ่อนกว่าเล็กน้อย ลองนึกภาพว่าระดับเสียงบี{\displaystyle B}คิดเป็น 10% ของปริมาตรทั้งหมด และปริมาตรของสีย้อมนั้นเอ{\displaystyle A}นอกจากนี้ยังคิดเป็น 10% ของยอดรวมทั้งหมดด้วย หากเอ{\displaystyle A}หากมีการกระจายตัวอย่างสม่ำเสมอ แสดงว่ามันครอบครองพื้นที่ 10% ของบี{\displaystyle B}ซึ่งคิดเป็น 10% ของทั้งหมด ดังนั้น ในท้ายที่สุด หลังจากผสมแล้ว ส่วนของเอ{\displaystyle A}นั่นคือในบี{\displaystyle B}คิดเป็น 1% ของปริมาตรทั้งหมด นั่นคือμ(หลังการผสม(เอ)บี)=μ(เอ)μ(บี).{\displaystyle \mu \left({\mbox{after-mixing}}(A)\cap B\right)=\mu (A)\mu (B).}ผลคูณของปริมาตรนี้มีความคล้ายคลึงกับ ทฤษฎีบทของเบย์ส ในความน่าจะเป็นอย่าง มากนี่ไม่ใช่เรื่องบังเอิญ แต่เป็นผลสืบเนื่องมาจากทฤษฎีการวัดและทฤษฎีความน่าจะเป็นเป็นทฤษฎีเดียวกัน กล่าวคือ ทั้งสองทฤษฎีมีสัจพจน์เดียวกัน ( สัจพจน์ของโคลโมโกโรฟ ) แม้ว่าจะใช้สัญลักษณ์ที่แตกต่างกันก็ตาม

เหตุผลในการใช้งานทีnเอ{\displaystyle T^{-n}A}แทนที่จะทีnเอ{\displaystyle T^{n}A}ในคำจำกัดความนั้นค่อนข้างคลุมเครือ แต่ก็มาจากเหตุผลเดียวกันกับที่ว่า... ที1เอ{\displaystyle T^{-1}A}ใช้เพื่อกำหนดแนวคิดของแผนที่ที่รักษาการวัด เมื่อพิจารณาว่าสีผสมเข้าไปในมุมมากน้อยเพียงใดบี{\displaystyle B}เราต้องตรวจสอบว่าสีนั้น "มาจากไหน" (สันนิษฐานว่ามันถูกเทลงไปจากด้านบนในอดีต) เราต้องแน่ใจว่าทุกแหล่งที่มาของสีนั้นจะถูกผสมเข้าด้วยกันในที่สุดบี{\displaystyle B}.

การผสมในระบบพลวัต

อนุญาต(X,เอ,μ,ที){\displaystyle (X,{\mathcal {A}},\mu ,T)}ให้ เป็นระบบพลวัตที่รักษาการวัดโดยที่Tเป็นตัวดำเนินการวิวัฒนาการหรือตัวดำเนินการเลื่อนตาม เวลา ระบบนี้เรียกว่ามีการผสมอย่างเข้มข้นถ้าสำหรับใดๆเอ,บีเอ{\displaystyle A,B\in {\mathcal {A}}}หนึ่งมี

ลิมnμ(เอทีnบี)=μ(เอ)μ(บี).{\displaystyle \lim _{n\to \infty }\mu \left(A\cap T^{-n}B\right)=\mu (A)\mu (B).}

สำหรับการเลื่อนที่กำหนดพารามิเตอร์ด้วยตัวแปรต่อเนื่องแทนที่จะเป็นจำนวนเต็มไม่ต่อเนื่องnนิยามเดียวกันนี้ยังคงใช้ได้ โดยมีทีn{\displaystyle T^{-n}}แทนที่ด้วยทีจี{\displaystyle T_{g}}โดยที่gเป็นพารามิเตอร์เวลาต่อเนื่อง

กล่าวได้ว่าระบบพลวัตนั้นมีการผสมแบบอ่อนหากมีคุณสมบัติดังต่อไปนี้

ลิมn1nเค=0n1|μ(เอทีเคบี)μ(เอ)μ(บี)|=0.{\displaystyle \lim _{n\to \infty }{\frac {1}{n}}\sum _{k=0}^{n-1}\left|\mu (A\cap T^{-k}B)-\mu (A)\mu (B)\right|=0.}

กล่าวอีกนัยหนึ่งคือที{\displaystyle T}เป็นการผสมที่เข้มข้นถ้าμ(เอทีnบี)μ(เอ)μ(บี)0{\displaystyle \mu (A\cap T^{-n}B)-\mu (A)\mu (B)\to 0}ในความหมายทั่วไป การผสมที่ไม่เข้มข้น ถ้า

|μ(เอทีnบี)μ(เอ)μ(บี)|0,{\displaystyle \left|\mu (A\cap T^{-n}B)-\mu (A)\mu (B)\right|\to 0,}

ใน ความหมาย ของ Cesàroและเป็นแบบเออร์โกดิกหากμ(เอทีnบี)μ(เอ)μ(บี){\displaystyle \mu \left(A\cap T^{-n}B\right)\to \mu (A)\mu (B)}ในความหมายของ Cesàro ดังนั้น การผสมที่แข็งแกร่งหมายถึงการผสมที่อ่อนแอ ซึ่งหมายถึงความเป็นเออร์โกดิก อย่างไรก็ตาม ในทางกลับกันนั้นไม่เป็นจริง กล่าวคือ มีระบบพลวัตแบบเออร์โกดิกที่ไม่ผสมที่อ่อนแอ และระบบพลวัตแบบผสมที่อ่อนแอที่ไม่ผสมที่แข็งแกร่งระบบ Chaconเป็นตัวอย่างแรกในประวัติศาสตร์ของระบบที่ผสมที่อ่อนแอแต่ไม่ผสมที่แข็งแกร่ง[ 1 ]

ทฤษฎีบท.การผสมแบบอ่อนบ่งชี้ถึงภาวะเออร์โกดิก

บทพิสูจน์ถ้าการกระทำของแผนที่แยกออกเป็นสององค์ประกอบเอ,บี{\displaystyle A,B}จากนั้นเราก็มีμ(ทีn(เอ)บี)=μ(เอบี)=μ()=0{\displaystyle \mu (T^{-n}(A)\cap B)=\mu (A\cap B)=\mu (\emptyset )=0}ดังนั้นการผสมที่อ่อนแอจึงหมายถึง|μ(เอบี)μ(เอ)μ(บี)|=0{\displaystyle \vert \mu (A\cap B)-\mu (A)\mu (B)\vert =0}ดังนั้นหนึ่งในเอ,บี{\displaystyle A,B}อันหนึ่งมีหน่วยเป็นศูนย์ ส่วนอีกอันมีหน่วยเต็ม

การคุ้มครองครอบครัว

เมื่อกำหนดปริภูมิเชิงทอพอโลยี เช่น ช่วงหน่วย (ไม่ว่าจะมีจุดปลายหรือไม่ก็ตาม) เราสามารถสร้างมาตรบนปริภูมินั้นได้โดยการเลือกเซตเปิด จากนั้นนำเซตเหล่านั้นมารวมกัน เติมเต็ม รวมกัน เติมเต็ม และต่อไปเรื่อยๆ จนถึงอนันต์เพื่อให้ได้เซตบอเรล ทั้งหมด ต่อไป เราจะกำหนดมาตรμ{\displaystyle \mu }บนเซตของบอเรล จากนั้นเพิ่มเซตย่อยทั้งหมดที่มีมาตรเป็นศูนย์ ("เซตที่ไม่สำคัญ") เข้าไป นี่คือวิธีที่เราได้มาตรของเลเบสและเซตที่วัดได้ของเลเบส

ในการประยุกต์ใช้ทฤษฎีเออร์โกดิกส่วนใหญ่ พื้นที่พื้นฐานมักจะสมมาตรกับเซตย่อยเปิดของบางเซตเกือบทุกที่อาร์n{\displaystyle \mathbb {R} ^{n}}และด้วยเหตุนี้จึงเป็นปริภูมิการวัดแบบเลเบส การตรวจสอบการผสมแบบเข้มข้นสามารถทำได้ง่ายขึ้นหากเราจำเป็นต้องตรวจสอบเพียงเซตที่วัดได้จำนวนน้อยลง

ครอบครัวที่ปกคลุมซี{\displaystyle {\mathcal {C}}}เซตของเซตที่วัดได้ คือเซตของเซตเปิดใดๆ ที่เป็นผลรวมที่ไม่ซ้ำกันของเซตในเซตเปิดนั้น ลองเปรียบเทียบกับฐานในทางโทโพโลยีซึ่งมีความเข้มงวดน้อยกว่า เพราะอนุญาตให้มีผลรวมที่ไม่ซ้ำกันได้

ทฤษฎีบทสำหรับปริภูมิการวัดแบบเลเบส ถ้าที{\displaystyle T}เป็นการรักษามาตรวัด และลิมnμ(ทีn(เอ)บี)=μ(เอ)μ(บี){\displaystyle \lim _{n}\mu (T^{-n}(A)\cap B)=\mu (A)\mu (B)}สำหรับทุกคนเอ,บี{\displaystyle A,B}ในกลุ่มที่ครอบคลุมแล้วที{\displaystyle T}เป็นการผสมที่มีประสิทธิภาพสูง

บทพิสูจน์ขยายสมการการผสมจากทั้งหมดเอ,บี{\displaystyle A,B}ในตระกูลการปกคลุม สามารถครอบคลุมเซตเปิดทั้งหมดได้โดยการรวมกันแบบไม่ทับซ้อนกัน สามารถครอบคลุมเซตปิดทั้งหมดได้โดยการหาเซตส่วนเติมเต็ม และสามารถครอบคลุมเซตที่วัดได้ทั้งหมดได้โดยใช้ความสม่ำเสมอของการวัดแบบเลเบสเพื่อประมาณเซตใดๆ ด้วยเซตเปิดและเซตปิด ดังนั้นลิมnμ(ทีn(เอ)บี)=μ(เอ)μ(บี){\displaystyle \lim _{n}\mu (T^{-n}(A)\cap B)=\mu (A)\mu (B)}สำหรับสิ่งที่วัดได้ทั้งหมดเอ,บี{\displaystyle A,B} .

สูตรL 2

คุณสมบัติของภาวะเออร์โกดิก การผสมแบบอ่อน และการผสมแบบแข็งของระบบพลวัตที่รักษาการวัด สามารถอธิบายได้ด้วยค่าเฉลี่ยของตัวแปรที่สังเกตได้ ตามทฤษฎีบทเออร์โกดิกของฟอน นอยมันน์ ภาวะเออร์โกดิกของระบบพลวัต(X,เอ,μ,ที){\displaystyle (X,{\mathcal {A}},\mu ,T)}เทียบเท่ากับคุณสมบัติที่ว่า สำหรับฟังก์ชันใดๆเอฟแอล2(X,μ){\displaystyle f\in L^{2}(X,\mu )}ลำดับ(เอฟทีn)n0{\displaystyle (f\circ T^{n})_{n\geq 0}}บรรจบกันอย่างแข็งแกร่งและในความหมายของ Cesàro ถึงXเอฟμ{\displaystyle \int _{X}f\,d\mu }กล่าวคือ

ลิมเอ็น1เอ็นn=0เอ็น1เอฟทีnXเอฟμแอล2(X,μ)=0.{\displaystyle \lim _{N\to \infty }\left\|{1 \over N}\sum _{n=0}^{N-1}f\circ T^{n}-\int _{X}f\,d\mu \right\|_{L^{2}(X,\mu )}=0.}

ระบบพลวัต(X,เอ,μ,ที){\displaystyle (X,{\mathcal {A}},\mu ,T)}เรียกว่าการผสมแบบอ่อน ถ้าสำหรับฟังก์ชันใดๆเอฟ{\displaystyle f}และจีแอล2(X,μ),{\displaystyle g\in L^{2}(X,\mu ),}

ลิมเอ็น1เอ็นn=0เอ็น1|XเอฟทีnจีμXเอฟμXจีμ|=0.{\displaystyle \lim _{N\to \infty }{1 \over N}\sum _{n=0}^{N-1}\left|\int _{X}f\circ T^{n}\cdot g\,d\mu -\int _{X}f\,d\mu \cdot \int _{X}g\,d\mu \right|=0.}

ระบบพลวัต(X,เอ,μ,ที){\displaystyle (X,{\mathcal {A}},\mu ,T)}เป็นการผสมอย่างเข้มข้นหากสำหรับฟังก์ชันใดเอฟแอล2(X,μ){\displaystyle f\in L^{2}(X,\mu )}ลำดับ(เอฟทีn)n0{\displaystyle (f\circ T^{n})_{n\geq 0}}ลู่เข้าอย่างอ่อนไปยังXเอฟμ{\displaystyle \int _{X}f\,d\mu }กล่าวคือ สำหรับฟังก์ชันใดๆจีแอล2(X,μ),{\displaystyle g\in L^{2}(X,\mu ),}

ลิมnXเอฟทีnจีμ=XเอฟμXจีμ.{\displaystyle \lim _{n\to \infty }\int _{X}f\circ T^{n}\cdot g\,d\mu =\int _{X}f\,d\mu \cdot \int _{X}g\,d\mu .}

เนื่องจากระบบนี้ถือว่ารักษาค่าการวัดไว้ บรรทัดสุดท้ายนี้จึงเทียบเท่ากับการกล่าวว่าค่าความแปรปรวนร่วมลิมnโควิด(เอฟทีn,จี)=0{\displaystyle \lim _{n\to \infty }\operatorname {Cov} (f\circ T^{n},g)=0}ดังนั้นตัวแปรสุ่มเอฟทีn{\displaystyle f\circ T^{n}}และจี{\displaystyle g}กลายเป็นตั้งฉากกันเมื่อn{\displaystyle n}เติบโตขึ้น จริงๆ แล้ว เนื่องจากวิธีนี้ใช้ได้กับฟังก์ชันใดๆก็ตามจี{\displaystyle g}โดยทั่วไป แล้วเราอาจมองว่าการผสมเป็นคุณสมบัติที่ตัวแปรสุ่มเอฟทีn{\displaystyle f\circ T^{n}}และจี{\displaystyle g}เป็นอิสระเมื่อn{\displaystyle n}เติบโตขึ้น

ผลิตภัณฑ์ของระบบพลวัต

เมื่อกำหนดระบบพลวัตที่วัดได้สองระบบ(X,μ,ที){\displaystyle (X,\mu ,T)}และ(วาย,ν,เอส),{\displaystyle (Y,\nu ,S),}เราสามารถสร้างระบบพลวัตได้(X×วาย,μν,ที×เอส){\displaystyle (X\times Y,\mu \otimes \nu ,T\times S)}บนผลคูณคาร์ทีเซียนโดยการกำหนด(ที×เอส)(x,y)=(ที(x),เอส(y)).{\displaystyle (T\times S)(x,y)=(T(x),S(y)).}จากนั้นเราจะมีลักษณะเฉพาะของการผสมแบบอ่อนดังต่อไปนี้: [ 2 ]

ข้อเสนอ.ระบบพลวัต(X,μ,ที){\displaystyle (X,\mu ,T)}จะเป็นการผสมแบบอ่อนก็ต่อเมื่อสำหรับระบบพลวัตแบบเออร์โกดิกใด(วาย,ν,เอส){\displaystyle (Y,\nu ,S)}ระบบ(X×วาย,μν,ที×เอส){\displaystyle (X\times Y,\mu \otimes \nu ,T\times S)}เป็นแบบเออร์โกดิกเช่นกัน
ข้อเสนอ.ระบบพลวัต(X,μ,ที){\displaystyle (X,\mu ,T)}มีการผสมที่อ่อนแอ ก็ต่อเมื่อ(X2,μμ,ที×ที){\displaystyle (X^{2},\mu \otimes \mu ,T\times T)}ก็เป็นแบบเออร์โกดิกเช่นกัน ถ้าเป็นเช่นนั้นแล้ว(X2,μμ,ที×ที){\displaystyle (X^{2},\mu \otimes \mu ,T\times T)}นอกจากนี้ยังมีการผสมที่อ่อนแออีกด้วย

การสรุปโดยทั่วไป

นิยามที่กล่าวมาข้างต้นบางครั้งเรียกว่าการผสมแบบ 2 ระดับที่เข้มข้นเพื่อแยกความแตกต่างจากการผสมในลำดับที่สูงกว่าระบบการผสมแบบ 3 ระดับที่เข้มข้นอาจนิยามได้ว่าเป็นระบบที่

ลิม,nμ(เอทีบีทีnซี)=μ(เอ)μ(บี)μ(ซี){\displaystyle \lim _{m,n\to \infty }\mu (A\cap T^{-m}B\cap T^{-m-n}C)=\mu (A)\mu (B)\mu (C)}

ใช้ได้กับเซตที่วัดได้ทั้งหมดA , B , Cเราสามารถกำหนดk-mixing ที่แข็งแกร่งได้ในทำนองเดียวกัน ระบบที่มีk - mixing ที่แข็งแกร่ง สำหรับทุกk = 2, 3, 4, ... เรียกว่าการผสมทุกอันดับ  

ยังไม่ทราบแน่ชัดว่าการผสมแบบ 2 ที่แข็งแกร่งจะหมายถึงการผสมแบบ 3 ที่แข็งแกร่งหรือไม่ แต่เป็นที่ทราบกันว่าการผสมแบบm ที่แข็งแกร่งจะหมายถึง ภาวะเออร์โกดิก

ตัวอย่าง

การหมุนที่ไม่สมเหตุสมผลของวงกลม และโดยทั่วไปแล้ว การเลื่อนที่ไม่สามารถลดทอนได้บนทอรัส เป็นแบบเออร์โกดิก แต่ไม่มีการผสมแบบเข้มแข็งหรือแบบอ่อนแอเมื่อเทียบกับมาตรวัดเลเบส

แผนที่หลายแบบที่ถือว่าอลวนนั้นมีการผสมผสานกันอย่างมากสำหรับมาตรวัดคงที่ ที่เลือกไว้อย่างดี ซึ่งรวมถึง: แผนที่ไดอะดิกแผนที่แมวของอาร์โนลด์แผนที่เกือกม้าออโตมอร์ฟิซึมของโคลโมโกรอฟและการไหลของอโนซอฟ ( การไหลของเส้นจีโอเดสิกบนมัดสัมผัส หน่วย ของแมนิโฟลด์ขนาดกะทัดรัดที่มีความโค้งเป็นลบ )

แผนที่แบบไดอะดิกคือ "การเลื่อนไปทางซ้ายในระบบเลขฐานสอง" โดยทั่วไปแล้ว สำหรับใดๆn{2,3,}{\displaystyle n\in \{2,3,\dots \}}การ "เลื่อนไปทางซ้ายในฐาน"n{\displaystyle n}"แผนที่"ที(x)=nxม็อด1{\displaystyle T(x)=nx{\bmod {1}}}มีการผสมผสานอย่างมากในกลุ่มสารประกอบหลัก{(เคn,เค+1n)คิว:0,เค<n}{\displaystyle \left\{\left({\tfrac {k}{n^{s}}},{\tfrac {k+1}{n^{s}}}\right)\smallsetminus \mathbb {Q} :s\geq 0,\leq k<n^{s}\right\}}ดังนั้นจึงมีการผสมผสานอย่างเข้มข้นบน(0,1)คิว{\displaystyle (0,1)\smallsetminus \mathbb {Q} }และด้วยเหตุนี้จึงเกิดการผสมผสานอย่างเข้มข้นบน[0,1]{\displaystyle [0,1]} .

ในทำนองเดียวกัน สำหรับตัวอักษรใดๆ ที่มีจำนวนจำกัดหรือนับได้Σ{\displaystyle \Sigma }เราสามารถกำหนดการแจกแจงความน่าจะเป็นแบบไม่ต่อเนื่องลงไป จาก นั้นพิจารณาการแจกแจงความน่าจะเป็นในพื้นที่ "การโยนเหรียญ" โดยที่ "การโยนเหรียญ" แต่ละครั้งสามารถให้ผลลัพธ์ได้จากΣ{\displaystyle \Sigma }เราสามารถสร้างปริภูมิอนันต์เดี่ยวได้Σเอ็น{\displaystyle \Sigma ^{\mathbb {N} }}หรือพื้นที่อนันต์สองเท่าΣ{\displaystyle \Sigma ^{\mathbb {Z} }}ในทั้งสองกรณีแผนที่การเลื่อน (เลื่อนไปทางซ้ายหนึ่งตัวอักษร) มีการผสมอย่างเข้มข้น เนื่องจากมีการ ผสมอย่างเข้มข้นบนตระกูลปกคลุมของเซตทรงกระบอกแผนที่ของเบเกอร์มีโครงสร้างเหมือนกับแผนที่การเลื่อน ดังนั้นจึงมีการผสมอย่างเข้มข้น

การผสมเชิงทอพอโลยี

รูปแบบของการผสมอาจถูกกำหนดได้โดยไม่ต้องอ้างอิงถึงมาตรวัดใดๆโดยใช้เพียงโทโพโลยีของระบบ เท่านั้น แผนที่ต่อเนื่องเอฟ:XX{\displaystyle f:X\to X}กล่าวได้ว่ามีคุณสมบัติการถ่ายทอดเชิงทอพอโลยี ถ้าสำหรับทุกคู่ของ เซตเปิดที่ไม่ว่างเปล่าเอ,บีX{\displaystyle A,B\subset X}มีจำนวนเต็มn อยู่จำนวน หนึ่งซึ่ง

เอฟn(เอ)บี{\displaystyle f^{n}(A)\cap B\neq \varnothing }

ที่ไหนเอฟn{\displaystyle f^{n}}คือค่าวนซ้ำลำดับที่nของfในทฤษฎีตัว ดำเนินการ ตัวดำเนินการเชิงเส้นแบบจำกัด ที่มี การส่งผ่านเชิงโทโพโลยี(แผนที่เชิงเส้นต่อเนื่องบนปริภูมิเวกเตอร์เชิงโท โพโลยี ) มักเรียกว่าตัวดำเนินการไฮเปอร์ไซคลิก

แนวคิดที่เกี่ยวข้องอีกประการหนึ่งคือเซตที่เคลื่อนที่ได้ กล่าว คือ จุดหนึ่งจะไม่เคลื่อนที่หาก...

n>เอ็น0:เอฟn(ยู)ยู{\displaystyle \exists n>N\geq 0:f^{n}(U)\cap U\neq \varnothing }

กล่าวคือ ภาพที่ n ไม่ได้ "อยู่ไกลเกินไปจาก" และ "ยังคงตัดกับ" บริเวณใกล้เคียงเริ่มต้น U ในกรณีที่ผ่านมา "มันเคลื่อนที่ไปมา" เพราะเซต B สามารถเป็นเซตย่อยใดๆ ก็ได้ในΩ{\displaystyle \Omega }[ 3 ] [ 4 ]

บทตั้ง:ถ้าXเป็นปริภูมิเมตริกสมบูรณ์ที่ไม่มีจุดโดดเดี่ยวแล้วfจะเป็นฟังก์ชันถ่ายทอดเชิงทอพอโลยีก็ต่อเมื่อมีจุดไฮเปอร์ไซคลิก อยู่xX{\displaystyle x\in X}นั่นคือ จุดxที่วงโคจรของมัน{เอฟn(x):nเอ็น}{\displaystyle \{f^{n}(x):n\in \mathbb {N} \}}มีความหนาแน่นในX

กล่าวได้ว่าระบบนั้นมีการผสมเชิงทอพอโลยีถ้ากำหนดให้เซตเปิดเอ{\displaystyle A}และบี{\displaystyle B}มี จำนวนเต็ม Nอยู่จำนวนหนึ่งซึ่งสำหรับทุกn>เอ็น{\displaystyle n>N}หนึ่งมี

เอฟn(เอ)บี.{\displaystyle f^{n}(A)\cap B\neq \varnothing .}[ 5 ]

สำหรับระบบเวลาต่อเนื่องเอฟn{\displaystyle f^{n}}ถูกแทนที่ด้วยการไหลφจี{\displaystyle \varphi _{g}}โดยที่ gเป็นพารามิเตอร์ต่อเนื่อง และมีข้อกำหนดว่าจุดตัดที่ไม่ว่างเปล่าจะต้องเป็นจริงสำหรับทุกจี>เอ็น{\displaystyle \Vert g\Vert >N} .

การผสมเชิงทอพอโลยีแบบอ่อนคือการผสมที่ไม่มี ฟังก์ชัน เฉพาะต่อเนื่อง ที่ไม่คงที่ (เมื่อเทียบกับทอพอโลยี) ของตัวดำเนินการเลื่อน

การผสมเชิงทอพอโลยีไม่ได้หมายความถึงการผสมแบบอ่อนหรือแบบแข็ง และการผสมแบบอ่อนหรือแบบแข็งก็ไม่ได้หมายความถึงเช่นกัน: มีตัวอย่างของระบบที่เกิดการผสมแบบอ่อนแต่ไม่เกิดการผสมเชิงทอพอโลยี และมีตัวอย่างที่เกิดการผสมเชิงทอพอโลยีแต่ไม่เกิดการผสมแบบแข็ง

การผสมผสานในกระบวนการสุ่ม

อนุญาต(Xที)<ที<{\displaystyle (X_{t})_{-\infty <t<\infty }}เป็นกระบวนการสุ่มบนปริภูมิความน่าจะเป็น(Ω,เอฟ,พี){\displaystyle (\Omega ,{\mathcal {F}},\mathbb {P} )}ปริภูมิของลำดับที่กระบวนการแมปสามารถกำหนดโทโพโลยีได้ เรียกว่า โทโพโลยีผลคูณเซตเปิดของโทโพโลยีนี้เรียกว่าเซตทรงกระบอกเซตทรงกระบอกเหล่านี้สร้างพีชคณิต σ ขึ้น มา เรียกว่าพีชคณิต σ ของโบเรลซึ่งเป็นพีชคณิต σ ที่เล็กที่สุดที่บรรจุโทโพโลยีนี้ไว้

กำหนดฟังก์ชันα{\displaystyle \alpha }เรียกว่าสัมประสิทธิ์การผสมที่แข็งแกร่งดังนี้

α()=จีบ{|พี(เอบี)พี(เอ)พี(บี)|:<ที<,เอXที,บีXที+}{\displaystyle \alpha (s)=\sup \left\{|\mathbb {P} (A\cap B)-\mathbb {P} (A)\mathbb {P} (B)|:-\infty <t<\infty ,A\in X_{-\infty }^{t},B\in X_{t+s}^{\infty }\right\}}

สำหรับทุกคน<<{\displaystyle -\infty <s<\infty }สัญลักษณ์Xเอ{\displaystyle X_{a}^{b}}, กับเอ{\displaystyle -\infty \leq a\leq b\leq \infty }หมายถึงพีชคณิตย่อยของพีชคณิต σ; มันคือเซตของเซตทรงกระบอกที่ระบุระหว่างเวลาaและbกล่าวคือ พีชคณิต σ ที่สร้างขึ้นโดย{Xเอ,Xเอ+1,,X}{\displaystyle \{X_{a},X_{a+1},\ldots ,X_{b}\}} .

กระบวนการ(Xที)<ที<{\displaystyle (X_{t})_{-\infty <t<\infty }}กล่าวกันว่ามีการผสมผสานกันอย่างมากหากα()0{\displaystyle \alpha (s)\to 0}ในฐานะ{\displaystyle s\to \infty }กล่าวคือ กระบวนการผสมที่เข้มข้นนั้นเป็นไปในลักษณะที่สม่ำเสมอในทุกช่วงเวลาที{\displaystyle t}และเหตุการณ์ทั้งหมด เหตุการณ์ก่อนกาลเวลาที{\displaystyle t}และเหตุการณ์หลังจากกาลเวลาที+{\displaystyle t+s}มีแนวโน้ม ที่จะเป็นอิสระ{\displaystyle s\to \infty }หรือพูดให้เข้าใจง่ายกว่านั้น กระบวนการนี้ในแง่ที่รุนแรงนั้น ลืมประวัติศาสตร์ของตัวเองไป

การผสมผสานในกระบวนการมาร์คอฟ

สมมติ(Xที){\displaystyle (X_{t})}เป็นกระบวนการมาร์คอฟ แบบสถิต ที่มีการกระจายแบบสถิตคิว{\displaystyle \mathbb {Q} }และปล่อยให้แอล2(คิว){\displaystyle L^{2}(\mathbb {Q} )}แทนปริภูมิของฟังก์ชันที่วัดได้แบบบอเรลและสามารถหาปริพันธ์กำลังสองได้เมื่อเทียบกับมาตรวัดคิว{\displaystyle \mathbb {Q} }นอกจากนี้ ให้

อีทีφ(x)=อี[φ(Xที)X0=x]{\displaystyle {\mathcal {E}}_{t}\varphi (x)=\mathbb {E} [\varphi (X_{t})\mid X_{0}=x]}

แทน ตัวดำเนินการ ความคาดหวังแบบมีเงื่อนไขบนแอล2(คิว).{\displaystyle L^{2}(\mathbb {Q} ).}สุดท้ายนี้ ขอให้

={φแอล2(คิว):φคิว=0}{\displaystyle Z=\left\{\varphi \in L^{2}(\mathbb {Q} ):\int \varphi \,d\mathbb {Q} =0\right\}}

หมายถึงปริภูมิของฟังก์ชันที่สามารถหาปริพันธ์กำลังสองได้ โดยมีค่าเฉลี่ยเป็นศูนย์

สัมประสิทธิ์การผสมρของกระบวนการ { x } คือ

ρที=จีบφ:φ2=1อีทีφ2.{\displaystyle \rho _{t}=\sup _{\varphi \in Z:\,\|\varphi \|_{2}=1}\|{\mathcal {E}}_{t}\varphi \|_{2}.}

กระบวนการนี้เรียกว่าρ -mixingหากสัมประสิทธิ์เหล่านี้ลู่เข้าสู่ศูนย์เมื่อt → ∞และเรียกว่า “ ρ -mixing ที่มี อัตรา การลดลงแบบเอกซ์ponential ” หากρ < e δtสำหรับδ > 0 บางค่า สำหรับกระบวนการ Markov แบบอยู่ตัว สัมประสิทธิ์ρ อาจลดลงในอัตราเอกซ์ponential หรืออาจเท่ากับหนึ่งเสมอ[ 6 ]

สัมประสิทธิ์การผสมαของกระบวนการ{ x }คือ

αที=จีบφ:φ=1อีทีφ1.{\displaystyle \alpha _{t}=\sup _{\varphi \in Z:\|\varphi \|_{\infty }=1}\|{\mathcal {E}}_{t}\varphi \|_{1}.}

กระบวนการนี้เรียกว่าα -mixingถ้าสัมประสิทธิ์เหล่านี้ลู่เข้าสู่ศูนย์เมื่อt → ∞เรียกว่า " α -mixing ที่มีอัตราการลดลงแบบเอกซ์ponential" ถ้าαt γe δtสำหรับδ > 0 บางค่า และเรียกว่าα -mixing ที่มีอัตราการลดลงแบบ sub-exponentialถ้าαt ξ ( t ) สำหรับ ฟังก์ชันที่ไม่เพิ่มขึ้นบางฟังก์ชันξ{\displaystyle \xi }น่าพอใจ

lnξ(ที)ที0{\displaystyle {\frac {\ln \xi (t)}{t}}\to 0}

ในฐานะที{\displaystyle t\to \infty }[ 6 ]

ค่า สัมประสิทธิ์การผสมแบบ αจะมีค่าน้อยกว่าค่าสัมประสิทธิ์การผสมแบบρ เสมอ กล่าวคือ α ρ ดังนั้น หากกระบวนการเป็นการ ผสมแบบ ρก็จะเป็นการ ผสมแบบ αด้วยเช่นกัน อย่างไรก็ตาม เมื่อρ = 1กระบวนการนั้นอาจยังคงเป็นการ ผสมแบบ α อยู่ โดยมีอัตราการลดลงแบบต่ำกว่าเลขชี้กำลัง

ค่าสัมประสิทธิ์การผสมβกำหนดโดย

เบต้าที=จีบ0φ1|อีทีφ(x)φคิว|คิว.{\displaystyle \beta _{t}=\int \sup _{0\leq \varphi \leq 1}\left|{\mathcal {E}}_{t}\varphi (x)-\int \varphi \,d\mathbb {Q} \right|\,d\mathbb {Q} .}

กระบวนการนี้เรียกว่าβ -mixingถ้าสัมประสิทธิ์เหล่านี้ลู่เข้าสู่ศูนย์เมื่อt → ∞เรียกว่าβ -mixing ที่มีอัตราการลดลงแบบเอกซ์ponentialถ้าβ < γe δtสำหรับδ > 0 บางค่า และเรียกว่าβ -mixing ที่มีอัตราการลดลงแบบ sub-เอกซ์ponentialถ้าβ ξ ( t ) → 0เมื่อt → ∞สำหรับฟังก์ชันที่ไม่เพิ่มขึ้นบางฟังก์ชันξ{\displaystyle \xi }น่าพอใจ

lnξ(ที)ที0{\displaystyle {\frac {\ln \xi (t)}{t}}\to 0}

เช่นที{\displaystyle t\to \infty }[ 6 ]

กระบวนการมาร์คอฟที่อยู่กับที่อย่างเคร่งครัดจะเป็นแบบβ -mixing ก็ต่อเมื่อเป็นลูกโซ่แฮร์ริสแบบ เวียนเกิดที่ไม่เป็นคาบเท่านั้น สัมประสิทธิ์β -mixing จะมีค่ามากกว่า สัมประสิทธิ์ α -mixing เสมอ ดังนั้นหากกระบวนการใดเป็นแบบβ -mixing ก็จะเป็นแบบα -mixing ด้วยเช่นกัน ไม่มีความสัมพันธ์โดยตรงระหว่างβ -mixing และρ -mixing: อย่างใดอย่างหนึ่งไม่ได้หมายความว่าอีกอย่างหนึ่งจะเป็นแบบเดียวกัน

สรุปเนื้อหา

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

ข้อมูลสำคัญเกี่ยวกับ ไม่มีชื่อบทความ

ในทาง คณิตศาสตร์ การผสม เป็นแนวคิดเชิงนามธรรมที่มาจาก ฟิสิกส์ ซึ่งเป็นความพยายามที่จะอธิบาย กระบวนการทางเทอร์โมไดนามิก ที่ไม่สามารถย้อนกลับได้ ของ การผสม ในโลกแห่งความเป็นจริง...

คำอธิบายแบบไม่เป็นทางการ

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

การผสมในระบบพลวัต

อนุญาต ( X , เอ , μ , ที ) {\displaystyle (X,{\mathcal {A}},\mu ,T)} ให้ เป็น ระบบพลวัตที่รักษาการวัด โดยที่ T เป็นตัวดำเนินการวิวัฒนาการหรือ ตัวดำเนินการเลื่อนตาม เวลา ระบบนี้เรียกว่ามี การผสมอย่างเข้มข้น ถ้าสำหรับใดๆ เอ , บี ∈ เอ {\displaystyle A,B\in...

การคุ้มครองครอบครัว

เมื่อกำหนดปริภูมิเชิงทอพอโลยี เช่น ช่วงหน่วย (ไม่ว่าจะมีจุดปลายหรือไม่ก็ตาม) เราสามารถสร้างมาตรบนปริภูมินั้นได้โดยการเลือกเซตเปิด จากนั้นนำเซตเหล่านั้นมารวมกัน เติมเต็ม รวมกัน เติมเต็ม และต่อไปเรื่อยๆ จนถึง อนันต์ เพื่อให้ได้ เซตบอเรล ทั้งหมด ต่อไป...