Dejemos que $F,G$ sean dos mapas de Fredholm de un espacio de Hilbert $H$ a sí mismo, y que $Fred(H)$ denotan el espacio de todos los operadores de este tipo. Sé que el espacio de operadores acotados invertibles sobre $H$ es un camino conectado.
Tengo que demostrar con ella que si $F$ y $G$ se encuentran en la misma componente conexa de $Fred(H)$ entonces hay un camino continuo que conecta los operadores. Ya he podido demostrar que $F$ y $G$ tienen el mismo índice si y sólo hay un camino que los conecta, por lo que quizás sea más conveniente demostrar que si están en la misma componente conectada entonces tienen el mismo índice.
Sin embargo, estoy más o menos atascado. Se agradece cualquier sugerencia.