 ##  [Restricción de Escalares](/es/node/63371) 

 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.