¿Existe una definición canónica del concepto de productos internos para espacios vectoriales sobre campos arbitrarios, es decir, otros campos que no sean $\mathbb R$ o $\mathbb C$??
Respuestas
¿Demasiados anuncios?No. El axioma que falla es la definición positiva, que no significa nada para un campo arbitrario. Pero todavía se pueden definir formas bilineales simétricas.
Para obtener un análogo de los productos internos hermitianos, generalizando el producto interno de espacios vectoriales complejos, generalmente se consideran campos dotados de una involución (al igual que la conjugación compleja) y se usa de la manera más o menos obvia. Así es como se pueden definir los grupos unitarios, por ejemplo; véase Sur les groupes classiquesde Dieudonné.