The Poincaré conjecture is this: the set of points at an equal radius from the center in four-dimensional space (known as a "three-dimensional sphere") is the only finite, bounded, simply connected object that [[manifold|locally looks like three-dimensional space]] and has the property that all loops and spheres within it can be shrunk to points. | The Poincaré conjecture is this: the set of points at an equal radius from the center in four-dimensional space (known as a "three-dimensional sphere") is the only finite, bounded, simply connected object that [[manifold|locally looks like three-dimensional space]] and has the property that all loops and spheres within it can be shrunk to points. |