ในคณิตศาสตร์เชิงวิเคราะห์เชิงซ้อนแนวคิดเรื่องการแยกตัวแบบโฮโลมอร์ฟิก (holomorphic separability)คือ การวัดความสมบูรณ์ของเซตของฟังก์ชันโฮโลมอร์ฟิกบนแมนิโฟลด์เชิงซ้อนหรือปริภูมิเชิงวิเคราะห์เชิงซ้อน

เรียกว่า แมนิโฟลด์เชิงซ้อนหรือปริภูมิเชิงซ้อนสามารถแยกได้ด้วยฟังก์ชันโฮโลมอร์ฟิก หากเมื่อใดก็ตามที่x ≠ y เป็นจุดสองจุดใน จะมี ฟังก์ชันโฮโลมอร์ฟิกอยู่ซึ่งf ( x ) ≠ f ( y ) ^{[ 1 ]}${\displaystyle X}$${\displaystyle X}$${\displaystyle f\in {\mathcal {O}}(X)}$

บ่อยครั้งที่เรากล่าวว่าฟังก์ชันโฮโลมอร์ฟิกแยกจุดต่างๆ ออกจากกัน

• แมนิโฟลด์เชิงซ้อนทั้งหมดที่สามารถแมปแบบหนึ่งต่อหนึ่งไปยังบางส่วนได้ นั้น สามารถแยกได้ด้วยฟังก์ชันโฮโลมอร์ฟิก โดยเฉพาะอย่างยิ่งโดเมน ทั้งหมด ใน และ แมนิโฟลด์สไตน์ทั้งหมด${\displaystyle \mathbb {C} ^{n}}$${\displaystyle \mathbb {C} ^{n}}$
• แมนิโฟลด์เชิงซ้อนที่แยกได้ด้วยฟังก์ชันโฮโลมอร์ฟิกจะไม่ถือว่ากะทัดรัด เว้นแต่ว่ามันจะเป็นแบบไม่ต่อเนื่องและมีขนาดจำกัด
• เงื่อนไขดังกล่าวเป็นส่วนหนึ่งของคำจำกัดความของแมนิโฟลด์สไตน์