ในสาขาคณิตศาสตร์โทโพโลยีพื้นที่ไฮเปอร์คอนเน็กเต็ด^{[ 1 ] [ 2 ]}หรือพื้นที่ที่ไม่สามารถลดทอนได้^{[ 2 ]}คือพื้นที่โทโพโลยีXที่ไม่สามารถเขียนเป็นผลรวมของเซตย่อยปิดสองเซต (ไม่ว่าจะแยกกันหรือไม่แยกกัน) ชื่อพื้นที่ที่ไม่สามารถลดทอนได้เป็นที่นิยมในเรขาคณิตเชิงพีชคณิต

สำหรับปริภูมิเชิงทอพอโลยีXเงื่อนไขต่อไปนี้ถือว่าเทียบเท่ากัน:

• ไม่มีเซตเปิด สองเซตใดที่ไม่มี ส่วนร่วมกัน
• Xไม่สามารถเขียนได้ในรูปของการรวมกันของเซตย่อยปิด แท้สอง เซต
• เซตเปิดที่ไม่ว่างทุกเซตมีความหนาแน่นในX
• ชุดเปิดทุกชุดเชื่อมต่อกัน
• ภายในของเซตย่อยปิดแท้ทุกเซตของXนั้นว่างเปล่า
• เซต ย่อยทุกเซตมีความหนาแน่นหรือไม่มีความหนาแน่นในX
• ไม่สามารถแยกจุดสองจุดออกจากกันได้ด้วยย่านใกล้เคียงที่ไม่ทับซ้อนกัน

พื้นที่ที่ตรงตามเงื่อนไขใดเงื่อนไขหนึ่งเหล่านี้เรียกว่าไฮเปอร์คอนเน็กเต็ดหรือไม่สามารถย่อได้เนื่องจากเงื่อนไขเกี่ยวกับย่านใกล้เคียงของจุดที่แตกต่างกันนั้นในแง่หนึ่งเป็นสิ่งที่ตรงกันข้ามกับคุณสมบัติของเฮาส์ดอร์ฟผู้เขียนบางคนจึงเรียกพื้นที่ดังกล่าวว่าแอนตี้เฮาส์ดอร์ฟ^{[ 3 ]}

เซตว่างเป็นปริภูมิไฮเปอร์คอนเน็กเต็ดหรือปริภูมิลดทอนไม่ได้โดยปริยายภายใต้นิยามข้างต้น (เนื่องจากไม่มีเซตเปิดที่ไม่ว่าง) อย่างไรก็ตาม ผู้เขียนบางคน^{[ 4 ]}โดยเฉพาะผู้ที่สนใจการประยุกต์ใช้กับเรขาคณิตเชิงพีชคณิตได้เพิ่มเงื่อนไขที่ชัดเจนว่าปริภูมิลดทอนไม่ได้จะต้องไม่ว่าง

เซตที่ไม่สามารถลดทอนได้คือเซตย่อยของปริภูมิเชิงทอพอโลยี ซึ่งทอพอโลยีของปริภูมิย่อยนั้นไม่สามารถลดทอนได้

ตัวอย่างสองประการของ ปริภูมิไฮเปอร์คอนเน็กเต็ดจากโทโพโลยีเซตจุดได้แก่โทโพโลยีโคไฟไนต์บนเซตอนันต์ ใดๆ และโทโพโลยีลำดับขวาบน${\displaystyle \mathbb {R} }$

ในเรขาคณิตเชิงพีชคณิต การหาค่าสเปกตรัมของวงแหวนที่มีวงแหวนลดรูปเป็นโดเมนจำนวนเต็มจะทำให้ได้ปริภูมิเชิงทอพอโลยีที่ไม่สามารถลดรูปได้—โดยการใช้ทฤษฎีบทแลตติสกับนิลราดิคัลซึ่งอยู่ภายในจำนวนเฉพาะทุกตัว เพื่อแสดงว่าสเปกตรัมของแผนที่ผลหารเป็นโฮมีโอเมอร์ฟิซึมซึ่งจะลดลงเหลือเพียงความไม่สามารถลดรูปได้ของสเปกตรัมของโดเมนจำนวนเต็ม ตัวอย่างเช่นแผนผัง

${\displaystyle {\text{Spec}}\left({\frac {\mathbb {Z} [x,y,z]}{x^{4}+y^{3}+z^{2}}}\right)}$,${\displaystyle {\text{Proj}}\left({\frac {\mathbb {C} [x,y,z]}{(y^{2}zx(xz)(x-2z))}}\right)}$

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

${\displaystyle {\text{Spec}}\left({\frac {\mathbb {C} [x,y,z]}{(xyz)}}\right)}$

เนื่องจากปริภูมิพื้นฐานเป็นผลรวมของระนาบเชิงเส้น, , และอีกตัวอย่างที่ไม่ใช่ตัวอย่างที่กำหนดคือแผนผัง${\displaystyle \mathbb {A} _{x,y}^{2}}$${\displaystyle \mathbb {A} _{x,z}^{2}}$${\displaystyle \mathbb {A} _{y,z}^{2}}$

${\displaystyle {\text{Proj}}\left({\frac {\mathbb {C} [x,y,z,w]}{(xy,f_{4})}}\right)}$

โดยที่ เป็น พหุนามเอกพันธุ์ดีกรี 4 ที่ไม่สามารถแยก ตัวประกอบได้ นี่คือการรวมกันของเส้นโค้งสองเส้นที่มีจีนัส 3 (ตามสูตรจีนัส-ดีกรี )${\displaystyle f_{4}}$

${\displaystyle {\text{Proj}}\left({\frac {\mathbb {C} [y,z,w]}{(f_{4}(0,y,z,w))}}\right),{\text{ }}{\text{Proj}}\left({\frac {\mathbb {C} [x,z,w]}{(f_{4}(x,0,z,w))}}\right)}$

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

โปรดสังเกตว่าในนิยามของไฮเปอร์คอนเน็กเต็ดเนส เซตปิดไม่จำเป็นต้องเป็นเซตที่ไม่ทับซ้อนกัน ซึ่งแตกต่างจากนิยามของคอนเน็กเต็ดเนส ที่เซตเปิดจะต้องไม่ทับซ้อนกัน

ตัวอย่างเช่น ปริภูมิของจำนวนจริงที่มีโทโพโลยีมาตรฐานนั้นเชื่อมต่อกัน แต่ไม่ใช่ไฮเปอร์คอนเน็กเต็ด เนื่องจากไม่สามารถเขียนได้ในรูปของการรวมกันของเซตเปิดสองเซตที่ไม่ทับซ้อนกัน แต่สามารถเขียนได้ในรูปของการรวมกันของเซตปิดสองเซต (ที่ไม่ทับซ้อนกัน)

• เซตย่อยเปิดที่ไม่ว่างเปล่าของปริภูมิไฮเปอร์คอนเน็กเต็ดนั้น "ใหญ่" ในแง่ที่ว่าแต่ละเซตย่อยมีความหนาแน่นในXและเซตย่อยใดๆ สองเซตจะตัดกัน ดังนั้น ปริภูมิไฮเปอร์คอนเน็กเต็ดจึงไม่สามารถเป็นปริภูมิเฮาส์ดอร์ฟได้เว้นแต่ว่าจะมีจุดเพียงจุดเดียว
• พื้นที่ที่มีการเชื่อมต่อสูงทุกแห่งนั้น ทั้งมีการเชื่อมต่อและเชื่อมต่อในระดับท้องถิ่น (แม้ว่าจะไม่จำเป็นต้องเชื่อมต่อผ่านเส้นทางหรือเชื่อมต่อผ่านเส้นทางในระดับท้องถิ่นก็ตาม )
• เนื่องจากการปิดของเซตเปิดที่ไม่ว่างเปล่าทุกเซตในปริภูมิไฮเปอร์คอนเน็กเต็ดคือปริภูมิทั้งหมด ซึ่งเป็นเซตเปิด ดังนั้นปริภูมิไฮเปอร์คอนเน็กเต็ดทุกปริภูมิจึงเป็นปริภูมิที่ไม่เชื่อมต่อกันอย่างสุดขั้ว
• ภาพของพื้นที่ไฮเปอร์คอนเน็กเต็ดภายใต้ฟังก์ชันต่อเนื่องคือไฮเปอร์คอนเน็กเต็ด^{[ 5 ]}โดยเฉพาะอย่างยิ่ง ฟังก์ชันต่อเนื่องใดๆ จากพื้นที่ไฮเปอร์คอนเน็กเต็ดไปยังพื้นที่เฮาส์ดอร์ฟจะต้องคงที่ ส่งผลให้พื้นที่ไฮเปอร์คอนเน็กเต็ดทุกพื้นที่เป็นซูโดคอมแพ็กต์
• พื้นที่ย่อยที่เปิดอยู่ทุกแห่งของพื้นที่ไฮเปอร์คอนเน็กเต็ดล้วนเป็นไฮเปอร์คอนเน็กเต็ด^{[ 6 ]}

บทพิสูจน์: ให้เป็นเซตเปิด เซตเปิดสองเซตใดๆ ของ ที่ไม่ซ้อนทับกันจะเป็นเซตเปิดสองเซตที่ไม่ซ้อนทับกันของ เช่นกันดังนั้นอย่างน้อยหนึ่งในสองเซตนั้นจะต้องเป็นเซตว่าง${\displaystyle U\subset X}$${\displaystyle U}$${\displaystyle X}$

• โดยทั่วไปแล้ว เซตย่อยที่มีความหนาแน่นสูงทุกเซตในพื้นที่ที่มีการเชื่อมต่อสูง ล้วนเป็นพื้นที่ที่มีการเชื่อมต่อสูงเช่นกัน

บทพิสูจน์: สมมติว่าเป็นเซตย่อยหนาแน่นของและโดยที่ปิดในแล้วเนื่องจากเป็นไฮเปอร์คอนเน็กเต็ด หนึ่งในสองส่วนปิดจะเป็นปริภูมิทั้งหมดสมมติว่าเป็น ซึ่งหมายความว่ามีความหนาแน่นในและเนื่องจาก เป็นเซตปิดในจึงต้องเท่ากับ${\displaystyle S}$${\displaystyle X}$${\displaystyle S=S_{1}\cup S_{2}}$${\displaystyle S_{1}}$${\displaystyle S_{2}}$${\displaystyle S}$${\displaystyle X={\overline {S}}={\overline {S_{1}}}\cup {\overline {S_{2}}}}$${\displaystyle X}$${\displaystyle X}$${\displaystyle {\overline {S_{1}}}=X}$${\displaystyle S_{1}}$${\displaystyle S}$${\displaystyle S}$${\displaystyle S}$

• พื้นที่ย่อยปิดของพื้นที่ไฮเปอร์คอนเน็กชันไม่จำเป็นต้องเป็นพื้นที่ไฮเปอร์คอนเน็กชันเสมอไป

ตัวอย่างคัดค้าน: ด้วยฟิลด์ที่ปิดทางพีชคณิต (ดังนั้นจึงเป็นอนันต์) จะเป็นไฮเปอร์คอนเน็กเต็ด^{[ 7 ]}ในโทโพโลยี Zariskiในขณะที่ปิดและไม่ใช่ไฮเปอร์คอนเน็กเต็ด${\displaystyle \Bbbk ^{2}}$${\displaystyle \Bbbk }$${\displaystyle V=Z(XY)=Z(X)\cup Z(Y)\subset \Bbbk ^{2}}$

• การปิดของเซตที่ไม่สามารถลดทอนได้ใดๆ ก็ตามนั้นไม่สามารถลดทอนได้^{[ 8 ]}

บทพิสูจน์: สมมติว่าเซตไม่สามารถแยกย่อยได้ และเขียนแทนเซตปิดสองเซต(และดังนั้นใน) เป็นเซตปิดในและซึ่งหมายความว่า หรือแต่แล้วหรือตามนิยามของการปิด${\displaystyle S\subseteq X}$${\displaystyle S}$${\displaystyle \operatorname {Cl} _{X}(S)=F\cup G}$${\displaystyle F,G\subseteq \operatorname {Cl} _{X}(S)}$${\displaystyle X}$${\displaystyle F':=F\cap S,\,G':=G\cap S}$${\displaystyle S}$${\displaystyle S=F'\cup G'}$${\displaystyle S\subseteq F}$${\displaystyle S\subseteq G}$${\displaystyle \operatorname {Cl} _{X}(S)=F}$${\displaystyle \operatorname {Cl} _{X}(S)=G}$

• พื้นที่ซึ่งสามารถเขียนได้เป็นโดยเปิดและไม่สามารถแยกย่อยได้ โดยที่ไม่สามารถแยกย่อยได้^{[ 9 ]}${\displaystyle X}$${\displaystyle X=U_{1}\cup U_{2}}$${\displaystyle U_{1},U_{2}\subset X}$${\displaystyle U_{1}\cap U_{2}\neq \emptyset }$

บทพิสูจน์: ขั้นแรก เราสังเกตว่า ถ้าเป็นเซตเปิดที่ไม่ว่างในแล้วมันจะตัดกับทั้งและ; อันที่จริง สมมติว่าแล้วเป็นเซตหนาแน่นในดังนั้นและเป็นจุดปิดของซึ่งหมายความว่าและโดยเฉพาะอย่างยิ่งทีนี้และเมื่อพิจารณาจุดปิดแล้วดังนั้น จึงเป็นเซตย่อยเปิดที่ไม่ว่างและหนาแน่นของเนื่องจากสิ่งนี้เป็นจริงสำหรับทุกเซตย่อยเปิดที่ไม่ว่าง ดังนั้นจึงเป็นเซตที่ไม่สามารถแยกย่อยได้${\displaystyle V}$${\displaystyle X}$${\displaystyle U_{1}}$${\displaystyle U_{2}}$${\displaystyle V_{1}:=U_{1}\cap V\neq \emptyset }$${\displaystyle V_{1}}$${\displaystyle U_{1}}$${\displaystyle \exists x\in \operatorname {Cl} _{U_{1}}(V_{1})\cap U_{2}=U_{1}\cap U_{2}\neq \emptyset }$${\displaystyle x\in U_{2}}$${\displaystyle V_{1}}$${\displaystyle V_{1}\cap U_{2}\neq \emptyset }$${\displaystyle V_{2}:=V\cap U_{2}\neq \emptyset }$${\displaystyle V=V\cap (U_{1}\cup U_{2})=V_{1}\cup V_{2}}$${\displaystyle \operatorname {Cl} _{X}(V)\supseteq {\operatorname {Cl} }_{U_{1}}(V_{1})\cup {\operatorname {Cl} }_{U_{2}}(V_{2})=U_{1}\cup U_{2}=X,}$${\displaystyle V}$${\displaystyle X}$${\displaystyle X}$

ส่วนประกอบที่ไม่สามารถลดทอนได้^{[ 10 ]}ในปริภูมิเชิงทอพอโลยีคือเซตย่อยที่ไม่สามารถลดทอนได้สูงสุด (กล่าวคือเซตที่ไม่สามารถลดทอนได้ซึ่งไม่ได้อยู่ในเซตที่ไม่สามารถลดทอนได้ขนาดใหญ่กว่า) ส่วนประกอบที่ไม่สามารถลดทอนได้นั้นปิดเสมอ

เซตย่อยที่ไม่สามารถลดทอนได้ทุกเซตของปริภูมิXจะบรรจุอยู่ในส่วนประกอบที่ไม่สามารถลดทอนได้ (ไม่จำเป็นต้องมีเพียงหนึ่งเดียว) ของX [ ^{11 ] โดย} เฉพาะอย่างยิ่ง จุดทุกจุดของXจะบรรจุอยู่ในส่วนประกอบที่ไม่สามารถลดทอนได้บางส่วนของX ซึ่ง แตกต่างจากส่วนประกอบที่เชื่อมต่อกันของปริภูมิ ส่วนประกอบที่ไม่สามารถลดทอนได้ไม่จำเป็นต้องแยกจากกัน (กล่าวคือ ไม่จำเป็นต้องสร้างพาร์ติชัน ) โดยทั่วไป ส่วนประกอบที่ไม่สามารถลดทอนได้จะทับซ้อนกัน

ส่วนประกอบที่ไม่สามารถลดทอนได้ของปริภูมิเฮาส์ดอร์ฟก็คือเซตที่มีสมาชิก เพียงตัว เดียว

เนื่องจากปริภูมิที่ไม่สามารถลดทอนได้ทุกปริภูมิล้วนเชื่อมต่อกัน ดังนั้นส่วนประกอบที่ไม่สามารถลดทอนได้จึงจะอยู่ในส่วนประกอบที่เชื่อมต่อกันเสมอ

พื้นที่โทโพโลยี Noetherianทุกแห่งมีส่วนประกอบที่ไม่สามารถลดทอนได้จำนวนจำกัด^{[ 12 ]}

• พื้นที่ที่เชื่อมต่ออย่างล้ำลึก
• พื้นที่ปลอดแอลกอฮอล์
• ไม่สามารถลดรูปทางเรขาคณิตได้