Procedimiento de dotar a un objeto algebraico de una sucesión anidada creciente o decreciente de subobjetos indexada por un conjunto ordenado (típicamente Z o N), llamada filtración.

Principio

Especificar una familia {F_i} con F_i ⊆ F_j para i ≤ j (creciente) o F_i ⊇ F_j (decreciente), exigir compatibilidad con las operaciones estructurales (p. ej. la multiplicación envía F_i · F_j a F_{i+j}) y establecer condiciones como exhaustividad o separación cuando proceda.

Demostración

Filtración por grado en el anillo de polinomios k[x]: F_d son polinomios de grado ≤ d (creciente); la filtración I‑ádica en un anillo R usa potencias F_n = I^n (decreciente). Ambas inducen relaciones filtración‑graduación e inducen topologías o completaciones.

Aplicación incorrecta

Tratar una filtración como si fuera una graduación (esperar descomposiciones en suma directa) o asumir que todo morfismo filtrado se divide; descuidar la compatibilidad con la multiplicación de modo que la filtración deje de ser una álgebra filtrada.

Consecuencia

Una filtración bien elegida define topologías, produce sucesiones espectrales, controla completaciones formales y permite pasar al graduado asociado que aísla el comportamiento dominante.

Inversión

Partir de una graduación y formar una filtración por grados acumulados (F_i = ⊕_{j≤i} graded_j) invierte la construcción: una graduación separa las capas que una filtración solo aproxima mediante subespacios anidados.

Límite

Las filtraciones se definen en contextos de módulos, álgebras, Lie y categóricos; no tienen por qué escindirse, pueden estar indexadas por diversos conjuntos ordenados y requieren hipótesis explícitas de compatibilidad para interactuar correctamente con productos y morfismos.

Tensión semántica

Filtración vs graduación vs topología: las filtraciones son aproximaciones anidadas que suelen inducir una topología, las graduaciones son descomposiciones en suma directa, y a veces se confunden fenómenos filtrados con graduados cuando se producen escindidos.

Síntesis

La construcción de una filtración produce una familia anidada de subobjetos que respeta un orden y las operaciones algebraicas, creando una aproximación en capas del objeto útil para completaciones, métodos espectrales y el estudio del graduado asociado.