Dada una matriz por bloques M = [[A, B],[C, D]] con A invertible, el complemento de Schur de A en M es S = D − C A^{-1} B; condensa la eliminación por bloques y expresa determinantes e inversas mediante fórmulas por bloques.

Principio

Codifica el efecto de eliminar el bloque A por eliminación de Gauss o de condicionar en distribuciones gaussianas; conecta la inversión por bloques, la factorización del determinante det(M)=det(A)det(S) y la positividad del complemento de Schur con la definitud de la matriz.

Demostración

Para M = [[A, B],[C, D]] con A invertible, la inversa por bloques es [[A^{-1}+A^{-1} B S^{-1} C A^{-1}, −A^{-1} B S^{-1}],[−S^{-1} C A^{-1}, S^{-1}]]. En una covarianza gaussiana multivariante Σ particionada como [[Σ_11, Σ_12],[Σ_21, Σ_22]], la covarianza condicional del segundo bloque dado el primero es el complemento de Schur Σ_22 − Σ_21 Σ_11^{-1} Σ_12.

Aplicación incorrecta

Usar la fórmula del complemento de Schur cuando el bloque pivote A es singular sin sustituir A^{-1} por una pseudoinversa o sin reordenar los bloques, lo que produce manipulaciones algebraicas inválidas.

Consecuencia

Proporciona solvers por bloques eficientes, criterios de (semi)definida positividad mediante complementos de Schur e interpretaciones probabilísticas como covarianzas condicionales que permiten reducción de dimensión y análisis de estabilidad.

Inversión

Formar el complemento de Schur de D en lugar de A (cuando D es invertible) produce S' = A − B D^{-1} C; elegir el pivote opuesto invierte el orden de eliminación y conduce a fórmulas por bloques complementarias.

Límite

Requiere invertibilidad del bloque pivote elegido para la fórmula estándar; las extensiones usan pseudoinversas, límites o factorizaciones por rango para bloques singulares. La aplicabilidad es a matrices por bloques en dimensión finita y operadores donde tiene sentido la inversión por bloques.

Tensión semántica

A menudo se confunde con la descomposición de Schur (triangularización unitaria) o con menores de matriz; el complemento de Schur es una reducción algebraica por bloques, distinto de factorizaciones espectrales o de similitud que llevan el mismo nombre.

Síntesis

El complemento de Schur es el residuo a nivel de bloques tras eliminar un bloque pivote: una construcción algebraica que codifica estructura condicional, permite inversión y factorización de determinantes por bloques y sustenta pruebas de definitud y eliminación de Gauss por bloques.