El índice de Fredholm generaliza el teorema de rango-nulidad a espacios de dimensión infinita como los espacios de Banach. Para un operador de Fredholm [latex]T: X to Y[/latex], su índice se define como [latex]text{ind}(T) = dim(ker(T)) – dim(text{coker}(T))[/latex], donde la dimensión del Cokernel’s mide qué tan lejos está la imagen de ser todo el espacio. Este índice es un valor entero estable bajo pequeñas perturbaciones del operador.
El teorema de rango-nulidad, [latex]dim(V) – text{rank}(T) = text{nullity}(T)[/latex], se cumple para aplicaciones lineales entre espacios vectoriales de dimensión finita. En este contexto, [latex]dim(V) – text{rank}(T)[/latex] es la dimensión del conúcleo, [latex]text{coker}(T) = W/text{im}(T)[/latex]. Por lo tanto, el teorema se puede escribir como [latex]dim(ker(T)) – dim(text{coker}(T)) = 0[/latex]. El índice de Fredholm extiende esta idea a los operadores de Fredholm, que son operadores lineales acotados entre espacios de Banach cuyo núcleo y conúcleo son ambos de dimensión finita.
Para un operador de este tipo [latex]T: X to Y[/latex], el índice de Fredholm es [latex]text{ind}(T) = dim(ker(T)) – dim(text{coker}(T))[/latex]. A diferencia del caso de dimensión finita, donde esta diferencia siempre es cero, para espacios de dimensión infinita, el índice puede ser cualquier entero. Una propiedad clave del índice es su estabilidad: no cambia bajo perturbaciones compactas del operador. Esto significa que si [latex]K[/latex] es un operador compacto, entonces [latex]text{ind}(T+K) = text{ind}(T)[/latex].
El concepto de conúcleo es crucial para esta generalización. Para una aplicación [latex]T: X to Y[/latex], la imagen [latex]text{im}(T)[/latex] es un subespacio del codominio [latex]Y[/latex]. El conúcleo, [latex]text{coker}(T)[/latex], es el espacio cociente [latex]Y / text{im}(T)[/latex]. Su dimensión mide el "número de direcciones independientes" en [latex]Y[/latex] que no son alcanzadas por [latex]T[/latex]. En dimensiones finitas, el teorema de rango-nulidad implica [latex]dim(ker(T)) = dim(text{coker}(T))[/latex]. En dimensiones infinitas, esta igualdad se rompe, pero la diferencia entre estas dos dimensiones finitas sigue siendo un entero estable, el índice de Fredholm.
This stability makes the index a powerful topological invariant. It plays a central role in the Atiyah-Singer index theorem, one of the most profound results of 20th-century mathematics, which connects the analytical index of a differential operator on a compact manifold to topological invariants of that manifold. This bridges the gap between analysis and topology, with far-reaching consequences in theoretical physics and geometry.
Debido al bloqueo del tráfico generado por bots, que actualmente supera los 40.000 al día, este contenido está reservado para los miembros de la comunidad.
> Iniciar sesión < o > Registrarse < (100% gratis) para acceder a esto, al igual que a todo el demás contenido y herramientas restringidos.
Relacionado con: índice de Fredholm, análisis funcional, espacio de Banach, operador de Fredholm, núcleo, conúcleo, teorema del índice de Atiyah-Singer, teoría de operadores, invariante topológico, dimensión infinita.