Un escalar es un elemento de un campo que se utiliza para definir un espacio vectorial . En álgebra lineal , los números reales o generalmente elementos de un campo se llaman escalares y se relacionan con vectores en un espacio vectorial asociado mediante la operación de multiplicación escalar (definida en el espacio vectorial), en la que un vector puede multiplicarse por un escalar en el forma definida para producir otro vector. [1] [2] [3] En términos generales, un espacio vectorial se puede definir utilizando cualquier campo en lugar de números reales (como los números complejos ). Entonces los escalares de ese espacio vectorial serán elementos del campo asociado (como los números complejos).
Una operación de producto escalar (que no debe confundirse con la multiplicación escalar) se puede definir en un espacio vectorial, lo que permite multiplicar dos vectores de la forma definida para producir un escalar. Un espacio vectorial equipado con un producto escalar se llama espacio de producto interno .
Una cantidad descrita por múltiples escalares, que tienen dirección y magnitud, se llama vector . [4] El término escalar también se usa a veces de manera informal para referirse a un vector, matriz , tensor u otro valor, generalmente "compuesto", que en realidad se reduce a un solo componente. Así, por ejemplo, a menudo se dice que el producto de una matriz de 1 × n y una matriz de n × 1, que formalmente es una matriz de 1 × 1, es un escalar . La componente real de un cuaternión también se llama parte escalar .
El término matriz escalar se utiliza para denotar una matriz de la forma kI donde k es un escalar e I es la matriz identidad .
La palabra escalar deriva del vocablo latino scalaris , una forma adjetival de scala (en latín "escalera"), de donde también proviene la palabra inglesa escala . El primer uso registrado de la palabra "escalar" en matemáticas ocurre en Arte analítico de François Viète ( In artem anallyticem isagoge ) (1591): [5] [ página necesaria ] [6]
Según una cita en el Oxford English Dictionary, el primer uso registrado del término "escalar" en inglés fue con WR Hamilton en 1846, refiriéndose a la parte real de un cuaternión:
Un espacio vectorial se define como un conjunto de vectores ( grupo abeliano aditivo ), un conjunto de escalares ( campo ) y una operación de multiplicación escalar que toma un escalar k y un vector v para formar otro vector k v . Por ejemplo, en un espacio de coordenadas , la multiplicación escalar produce . En un espacio funcional (lineal) , kf es la función x ↦ k ( f ( x )) .
Los escalares se pueden tomar de cualquier campo, incluidos los números racionales , algebraicos , reales y complejos, así como de campos finitos .
Según un teorema fundamental del álgebra lineal, todo espacio vectorial tiene una base . De ello se deduce que cada espacio vectorial sobre un campo K es isomorfo al espacio vectorial de coordenadas correspondiente donde cada coordenada consta de elementos de K (por ejemplo, coordenadas ( a 1 , a 2 , ..., a n ) donde a i ∈ K y n es la dimensión del espacio vectorial en consideración). Por ejemplo, todo espacio vectorial real de dimensión n es isomorfo al espacio real de n dimensiones R n .
Alternativamente, un espacio vectorial V puede equiparse con una función norma que asigna a cada vector v en V un escalar || v ||. Por definición, multiplicar v por un escalar k también multiplica su norma por | k |. Si || v || se interpreta como la longitud de v , esta operación se puede describir como escalar la longitud de v por k . Un espacio vectorial equipado con una norma se llama espacio vectorial normado (o espacio lineal normado ).
La norma generalmente se define como un elemento del campo escalar K de V , lo que restringe este último a campos que apoyan la noción de signo. Además, si V tiene dimensión 2 o más, K debe ser cerrado bajo raíz cuadrada, así como las cuatro operaciones aritméticas; por tanto, los números racionales Q están excluidos, pero el campo extraño es aceptable. Por esta razón, no todo espacio producto escalar es un espacio vectorial normado.
Cuando el requisito de que el conjunto de escalares forme un campo se relaja de modo que sólo necesita formar un anillo (de modo que, por ejemplo, no es necesario definir la división de escalares, o los escalares no necesitan ser conmutativos ), el resultado más general La estructura algebraica se llama módulo .
En este caso los "escalares" pueden ser objetos complicados. Por ejemplo, si R es un anillo, los vectores del espacio producto R n se pueden convertir en un módulo con las matrices n × n con entradas de R como escalares. Otro ejemplo proviene de la teoría de variedades , donde el espacio de secciones del paquete tangente forma un módulo sobre el álgebra de funciones reales en la variedad.
La multiplicación escalar de espacios vectoriales y módulos es un caso especial de escalamiento , una especie de transformación lineal .
