Definición
El funtor que considera un objeto definido sobre una base mayor S como objeto sobre una base menor R mediante un mapa de bases f: R → S, normalmente realizado olvidando la estructura S-lineal adicional y considerando el módulo, álgebra o representación subyacente como R-lineal por f.
Principio
Principio
La restricción de escalares es la operación de olvido/adjunto por la derecha a la extensión o inducción: retrae la estructura algebraica a la base menor precomponiendo la acción de escalares con el mapa de bases; preserva límites y muchas propiedades de finitud pero puede no preservar colímites o la libertad de módulos.
Demostración
Demostración
Dada una extensión de cuerpos k ⊂ K, cualquier espacio vectorial sobre K puede verse como espacio vectorial sobre k por restricción de escalares; un espacio vectorial complejo de dimensión n pasa a ser un espacio real de dimensión 2n al restringir de C a R.
Aplicación incorrecta
Aplicación incorrecta
Suponer que la restricción de escalares preserva uniformemente propiedades como la simplicidad o la libertad: un módulo simple sobre S no tiene por qué ser simple sobre R, y un módulo libre sobre S puede dejar de serlo o cambiar su rango al verse como módulo sobre R si no se comprueba la estructura.
Consecuencia
Consecuencia
La restricción de escalares proporciona una forma conservadora de comparar estructuras sobre distintas bases, sustenta adjunciones usadas en descenso y cambio de base, y es exacta como funtor de olvido en categorías abelianas, lo que la hace fiable para construir límites y núcleos.
Inversión
Inversión
La construcción inversa natural es la extensión de escalares (o inducción), que intenta producir un objeto sobre S desde uno sobre R; la restricción pierde información S-lineal que en general no puede recuperarse sin estructura adicional o construcciones universales.
Límite
Límite
Se aplica siempre que exista un morfismo de bases y un objeto algebraico con acción de S; no crea nuevos escalares ni relaciones algébricas y no puede sustituir a localización, completación o construcciones derivadas que alteren fenómenos de torsión.
Tensión semántica
Tensión semántica
La tensión surge entre la restricción de escalares como funtor de olvido y operaciones aparentemente similares que cambian coeficientes de forma más sustantiva (p. ej., cambio de base por tensorizacion); la restricción preserva límites mientras que la extensión preserva colímites, desempeñando roles complementarios pero en tensión.
Síntesis
Síntesis
La restricción de escalares es el proceso de olvido adjunto por la derecha que considera objetos sobre S como objetos sobre R precomponiendo la acción de escalares con el mapa de base; es una herramienta conservadora y preservadora de límites que hace perder refinamientos S-lineales y debe complementarse con extensión o inducción para recuperar estructuras más ricas.