Topoloji, iki nesne sürekli olarak birbirine dönüştürülebiliyorsa nesnelerin eşdeğer kabul edildiği bir matematik dalıdır. Parçalar uzayda; bükülme, dönme, gerilme ve büzülme gibi hareketlerle birbirine dönüşürken yırtılma veya birbirine yapışma gibi durumlara izin vermezler. Topolojinin temel ilgi alanları, sürekli deformasyonlar sonucunda değişmeden kalan bu özelliklerdir. Topoloji, geometrik olarak eşdeğer nesnelerin uzunluk veya açı gibi sayısal olarak ölçülebilen nicelikleri yönüyle geometriye benzer olmakla birlikte topolojik olarak eşdeğer nesnelerin daha fazla niteliksel olarak birbirine benzemesi yönüyle geometriden ayrılır. Topoloji ve ilgili kavramlara daha sonra detaylıca değinmek üzere Poincaré Varsayımı'ndan bahsedelim.

Öncelikle, 20. yüzyılın büyük bir bölümünde Poincaré sanısı, topoloji alanına yön vermiştir. Bu varsayım temelde, bir şeklin topolojik bir 3-küre olup olmadığını nasıl belirleyeceğimizle ilgilidir. 1904 yılında Fransız matematikçi Henri Poincaré, üç boyutlu kürenin; tek ve basitçe bağlantılı üç boyutlu manifold olarak nitelendirilip nitelendirilmediğini sordu. Soruya göre; her kapalı üç boyutlu manifoldun, üç boyutlu küreye homeomorfik olduğu varsayılır. Poincaré varsayımı olarak bilinen bu soru, Thurston'ın geometrileştirme varsayımının özel bir durumuydu.