Formas Lineales: Los termómetros matemáticos

Formas Lineales: Los termómetros matemáticos del espacio

A lo largo de todas las fases anteriores, nos hemos acostumbrado a una mecánica concreta: introducíamos un vector espacial en una máquina (aplicación lineal) y la máquina nos devolvía otro vector espacial. Movíamos geometría para obtener más geometría.

Pero, ¿qué ocurre cuando no queremos mover el espacio, sino simplemente medirlo? Piensa en un termómetro sumergido en una habitación. La habitación es un espacio tridimensional complejo lleno de partículas en movimiento (vectores), pero el termómetro absorbe toda esa complejidad y te devuelve un único número: 24ºC. Toma vectores y escupe un escalar.

En el Álgebra Lineal, a estas máquinas diseñadas exclusivamente para extraer una medición numérica de un espacio geométrico se las conoce como Formas Lineales[cite: 1].

1. La Definición: De la Geometría a la Aritmética

Según la Definición 4.45 del temario universitario, una forma lineal de un K-espacio vectorial V no es más que una aplicación lineal que va desde el espacio vectorial V hacia el propio cuerpo de escalares K (los números reales o complejos con los que estamos trabajando)[cite: 1].

Como K es en sí mismo un espacio vectorial de dimensión 1, las formas lineales cumplen estrictamente las mismas reglas de oro que ya conocemos[cite: 1]:

• Suman mediciones: f(u + w) = f(u) + f(w). (Pesar dos manzanas juntas da el mismo número que pesar cada manzana por separado y sumar los resultados).
• Escalan mediciones: f(α · u) = α · f(u). (Si duplicas la masa del objeto, la medición final que devuelve la máquina se duplica).

2. La Matriz Fila: El diseño del sensor

Si todas las aplicaciones lineales se pueden empaquetar en una matriz de tamaño m × n (donde m es la dimensión de llegada y n la dimensión de salida), ¿qué aspecto tiene la matriz de una forma lineal?

Como el espacio de llegada (el cuerpo K) tiene dimensión m = 1, la matriz quedará aplastada verticalmente[cite: 1]. La matriz de una forma lineal es siempre una única matriz fila[cite: 1].

El Ejemplo 4.50 (simplificado) del texto ilustra perfectamente esto. Considera la máquina f que toma un vector de dos dimensiones y calcula su medición sumando el doble de su primera coordenada y el triple de la segunda[cite: 1]:

f(x₁, x₂) = 2x₁ + 3x₂[cite: 1]

Su matriz asociada respecto a las bases canónicas es simplemente[cite: 1]:

Cuando la máquina procesa un vector columna, la regla de "fila por columna" ejecuta automáticamente la medición condensada, devolviendo un solo número.

3. El Núcleo de la Medición: Los Hiperplanos

Toda máquina tiene su "agujero negro" (el núcleo). ¿Qué es el núcleo de una forma lineal? Son todos aquellos vectores que, al ser introducidos en la máquina, marcan cero absoluto en la pantalla (f(x) = 0)[cite: 1].

Dado que la imagen de una forma lineal (salvo la nula) es todo el cuerpo K (dimensión 1)[cite: 1], podemos aplicar el glorioso Teorema de las Dimensiones para descubrir qué tamaño tiene el núcleo:

dim(V) = dim(Ker) + dim(Im)   ➔   n = dim(Ker) + 1   ➔   dim(Ker) = n − 1

4. Introducción al Universo Dual (V*)

Si la matriz de una forma lineal es simplemente una fila de números... ¡es casi como si fuera un vector en sí mismo, pero tumbado!

Aquí es donde la abstracción del Álgebra Lineal roza la filosofía. Si agrupamos todas las formas lineales posibles que se pueden construir para medir un espacio V, obtenemos un nuevo conjunto matemático. A este conjunto de todos los termómetros matemáticos se le bautiza como El Espacio Dual de V, y se representa con una estrella: V*[cite: 1].

Como las matrices que lo forman son de tamaño 1 × n, la dimensión de este nuevo Universo Dual es exactamente igual a la dimensión del espacio original (n × 1 = n)[cite: 1]. Son espacios de la misma magnitud, pero habitados por entidades distintas: el espacio V está poblado por los objetos físicos, y el espacio Dual V* está poblado por los instrumentos que miden a esos objetos.

Para medir con precisión milimétrica cualquier aspecto de un vector en V, necesitaremos un conjunto base de termómetros perfectamente calibrados en V*. A esa caja de herramientas de medición perfecta la llamaremos La Base Dual, y será el último concepto que abordaremos para cerrar definitivamente este inmenso bloque del Álgebra Lineal.