Estoy teniendo problemas para entender lo que la topología es dado a la tangente del paquete de un buen colector que permite un suave colector de sí mismo. A mi entender, entre otras cosas, la topología debe ser el segundo contables y Hausdorff. La definición de la tangente bundle $TM$ de un buen colector $M$ estoy usando es
$TM = \bigsqcup_{p\in M} T_pM$,
que es distinto de la unión de todos los $T_pM$ donde $T_pM$ es el espacio de la tangente en $p$ que consta de todas las derivaciones en $p$. Ya que no hay más especificaciones sobre lo que la topología de este espacio está dada supongo tomamos el natural distinto de la unión de la topología.
Sin embargo, en ese caso, no parece que $TM$ no es segundo contable, porque entonces cada conjunto $(O,p)$ donde $O$ es un subconjunto abierto de $T_pM$ abierto y discontinuo de cualquier $(O,q)$$q \neq p$. Así que a menos $M$ es contable, habría un número incontable de distintos bloques abiertos que contradice la segunda countability.
La única alternativa que se me ocurre es usar la natural suave estructura de $TM$ como la topología. Que es para cada subconjunto abierto $O$ $M$ el abierto de conjuntos de $TM$ se definen como $\pi^{-1}(O)$ donde $\pi$ es la natural proyección de $TM \rightarrow M$. Pero, a continuación, $TM$ no puede ser Hausdorff, desde cualquiera de los dos elementos de la misma fibra de $\pi$ podría no ser separados por bloques abiertos.
En conclusión, en ambos casos $TM$ podría no ser un colector, así que me debe faltar algo muy obvio. Por lo tanto, realmente apreciaría si alguien podría señalar mis errores.