Una forma bilineal simétrica en un espacio vectorial V sobre un cuerpo F es una aplicación bilineal B: V × V → F que satisface B(u,v) = B(v,u) para todos u,v ∈ V.

Principio

La simetría impone que el emparejamiento bilineal no distinga el orden de los argumentos; en coordenadas dicha forma se representa por una matriz simétrica y define formas cuadráticas x ↦ B(x,x).

Demostración

En R^n el producto escalar estándar B(u,v) = u^T v es una forma bilineal simétrica; su matriz es la identidad y B(x,x) = ||x||^2 es la forma cuadrática asociada.

Aplicación incorrecta

Suponer que toda forma bilineal simétrica es un producto interno: una forma simétrica puede ser degenerada o indefinida (no positiva definida), por lo que no necesariamente induce una norma.

Consecuencia

Una forma bilineal simétrica no degenerada ofrece un isomorfismo V → V* y permite descomposiciones ortogonales; una positiva definida dota a V de geometría euclidiana/Hilbertiana (al completarla).

Inversión

Una forma bilineal antisimétrica satisface B(u,v) = −B(v,u) y, en característica ≠ 2, se anula en la diagonal, conduciendo a invariantes distintos (por ejemplo, estructuras simplécticas) que las formas simétricas.

Límite

La definición depende de la característica del cuerpo: en característica 2 la simetría y la antisimetría pueden coincidir para formas bilineales, por lo que se requiere un tratamiento separado; sobre anillos generales hay complicaciones de tipo módulo.

Tensión semántica

Simétrico frente a hermítico: sobre campos complejos las formas hermíticas satisfacen B(u,v)=overline{B(v,u)} y son la generalización adecuada del producto interno; llamar producto interno a una forma bilineal simétrica compleja es un error de categoría.

Síntesis

Una forma bilineal simétrica es un emparejamiento lineal en dos argumentos invariante por permutación, representable por una matriz simétrica, que genera formas cuadráticas y, si no es degenerada y es positiva, proporciona la estructura geométrica de producto interno.