Không gian khả ly (trong tiếng Anh: separable space) là một khái niệm của ngành tôpô. Một không gian mêtric X (tổng quát hơn: không gian tôpô) được gọi là khả ly nếu nó có một tập con hữu hạn hoặc đếm được trù mật trong X.[1]Khái niệm không gian (mêtric, tôpô) khả ly là một trong những khái niệm quan trọng của giải tích.Các không gian khả ly dễ xử lý và kiểm soát. Chỉ cần thu thập, kiểm soát những thông tin trên một tập khá nhỏ (tập hữu hạn hoặc đếm được các phần tử), trù mật trong không gian đã cho thì sẽ thu thập, kiểm soát được thông tin trên toàn thể không gian. Từ đó có thể lý luận, chứng minh hay xây dựng các đối tượng toán học liên quan bằng phép quy nạp.