ในโทโพโลยีเชิงพีชคณิตทฤษฎีบทการตัดออกของโฮโมโทปีเสนอสิ่งทดแทนการขาดการตัดออกในทฤษฎีโฮโมโทปีกล่าวคือ ให้เป็นไตรแอดแบบตัดออกที่มี ไม่ว่าง และสมมติว่าคู่เป็น( )-เชื่อมต่อ , , และคู่เป็น ( ) -เชื่อมต่อ แล้วแผนที่ที่เกิดจากการรวม, ${\displaystyle (X;A,B)}$${\displaystyle C=A\cap B}$${\displaystyle (A,C)}$${\displaystyle m-1}$${\displaystyle m\geq 2}$${\displaystyle (B,C)}$${\displaystyle n-1}$${\displaystyle n\geq 1}$${\displaystyle i\colon (A,C)\to (X,B)}$

${\displaystyle i_{*}\colon \pi _{q}(A,C)\to \pi _{q}(X,B)}$,

เป็นฟังก์ชันหนึ่งต่อหนึ่งทั่วถึงสำหรับและเป็นฟังก์ชันทั่วถึงสำหรับ ${\displaystyle q<m+n-2}$${\displaystyle q=m+n-2}$

มีการให้การพิสูจน์ทางเรขาคณิตในหนังสือของTammo tom Dieck ^{[ 1 ]}

ผลลัพธ์นี้ควรได้รับการพิจารณาว่าเป็นผลสืบเนื่องมาจาก ทฤษฎีบท Blakers–Masseyในรูปแบบทั่วไปที่สุดซึ่งเกี่ยวข้องกับกรณีที่ไม่เชื่อมต่อกันอย่างง่าย^{[ 2 ]}

ผลที่ตามมาที่สำคัญที่สุดคือทฤษฎีการแขวนลอยของฟรอยเดนทัล

• เจ. ปีเตอร์ เมย์ , หลักสูตรย่อเกี่ยวกับโทโพโลยีเชิงพีชคณิต , สำนักพิมพ์มหาวิทยาลัยชิคาโก

บทความเกี่ยวกับโทโพโลยีนี้ ยัง ไม่สมบูรณ์คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี