ตอนนี้ฉันจะดูวิธีการกำหนดอีควอไลเซอร์สำหรับช่องว่างที่เชื่อมโยงกันซึ่งหมายถึง pullbacks อยู่เสมอ (ตั้งแต่ผลิตภัณฑ์มี) ฉันไม่รู้วิธีการทำเช่นนี้จริง ๆ แล้ว ....
จงระลึกไว้ว่าองค์ประกอบนั้นเป็นองค์ประกอบเชิงสัมพันธ์ตามปกติดังนั้นหากและดังนั้น:f:A→Bg:B→C
f;g={(a,c)∈A×C|∃b∈B.(a,b)∈f∧(b,c)∈g}
(ในคำจำกัดความนี้อัตถิภาวนิยมหมายถึงการดำรงอยู่ที่เป็นเอกลักษณ์สมมติว่าเรามีเช่นนั้นและเนื่องจากเรารู้ว่านี่หมายความว่าจากนั้นนี่หมายความว่าเรามีและและดังนั้น )b′∈B(a,b′)∈f(b′,c)∈ga≎Aab≎Bb′b≎Bb′(b,c)∈g(b′,c)∈gb=b′
ตอนนี้เราสร้างอีควอไลเซอร์ สมมติว่าเรามีพื้นที่เชื่อมโยงกันและและ morphismsB ตอนนี้กำหนดอีควอไลเซอร์ดังนี้ABf,g:A→B(E,e:E→A)
สำหรับเว็บใช้
สิ่งนี้เลือกชุดย่อยของโทเค็นของที่และเห็นด้วย (ขึ้นอยู่กับการเชื่อมโยงกัน - ฉันผิดในรุ่นแรกของฉัน ) หรือทั้งคู่ไม่ได้กำหนด
E=⎧⎩⎨⎪⎪⎪⎪a∈A∀b.(a,b)∈f⟹∃a′≎Aa.(a′,b)∈g∧∀b.(a,b)∈g⟹∃a′≎Aa.(a′,b)∈f⎫⎭⎬⎪⎪⎪⎪
Afg
กำหนดความสัมพันธ์ที่สอดคล้องกันใน\} นี่เป็นเพียงข้อ จำกัด ของความสัมพันธ์เชื่อมโยงกันในกับเซตEสิ่งนี้จะสะท้อนกลับและสมมาตรเนื่องจากคือ≎E={(a,a′)∈≎A|a∈E∧a′∈E}AE≎A
- แผนที่ของควอไลเซอร์เป็นเพียงเส้นทแยงมุม\}ee:E→A={(a,a)|a∈E}
ตั้งแต่ฉันทำข้อพิสูจน์รุ่นแรกของฉันฉันจะให้คุณสมบัติความเป็นสากลอย่างชัดเจน สมมติว่าเรามีวัตถุอื่น ๆและซึ่มส์เช่นที่กรัมXm:X→Am;f=m;g
ตอนนี้กำหนดเป็น\} เห็นได้ชัดว่าแต่เพื่อแสดงความเสมอภาคที่เราต้องการที่จะแสดงการสนทนาฉันh:X→E{(x,a)|a∈E}h;i⊆mm⊆h;i
ดังนั้นสมมติm ตอนนี้เราต้องแสดงให้เห็นว่าและF(x,a)∈m∀b.(a,b)∈f⟹∃a′≎Aa.(a′,b)∈g∀b.(a,b)∈g⟹∃a′≎Aa.(a′,b)∈f
แรกสมมติและF ดังนั้นเรารู้ว่าและดังนั้นฉ ดังนั้นและเพื่อให้มีเป็นดังกล่าวว่าและกรัม ตั้งแต่เรารู้ว่าและเพื่อให้มีเป็นดังกล่าวว่ากรัมb∈B(a,b)∈f(x,a)∈m(a,b)∈f(x,b)∈m;f(x,b)∈m;ga′∈A(x,a′)∈m(a′,b)∈gx≎xa≎a′a′≎a(a′,b)∈g
แฟ่สมมติและกรัม ดังนั้นเรารู้ว่าและดังนั้นกรัม ดังนั้นและเพื่อให้มีเป็นดังกล่าวว่าและF ตั้งแต่เรารู้ว่าและเพื่อให้มีเป็นดังกล่าวว่าFb∈B(a,b)∈g(x,a)∈m(a,b)∈g(x,b)∈m;g(x,b)∈m;fa′∈A(x,a′)∈m(a′,b)∈fx≎xa≎a′a′≎a(a′,b)∈f