Hey everybody, I was hoping if somebody could help me out with the terminology. I've found that the "end of a manifold" is a function asigning to each compact set K a conected component e(K) of the complement of K. I am trying to understand Gompf's article "three exotic $R^{4}$ 's and other anomalies" and he quotes a theorem of Freedman (Corollary 1.2 in "The topology of 4dimensional manifolds) saying "Any open 4manifold M with $\pi_{1}(M)$, $H_{1}(M)$ and end collared (topologically) by $S^{3}\times R$ is homeomorphic to $R^{4}$". How can a function be homeomorphic to something? Im interpreting this as end meaning the "hypothetical boundary" of the manifold. Thanks in advance.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

As algori points out in the comments, the definition of end may be found here. Also there you will find the definition of the neighborhood of an end. When he says "end collared (topologically) by $S^3 \times R$" he means that the end has a neighborhood homeomorphic to $S^3 \times R$. Since he's assuming that $M$ has only one end, this simply means that there is a compact set whose complement is homeomorphic to $S^3 \times R$ (as Mariano said in the comments). For future reference, it's pretty common in the literature to blur the distinction between an end and a neighborhood of an end. Especially if when there are neighborhoods of the end that are products, as is the case here. 

