Espacio vectorial conjugado complejo


En matemáticas , el conjugado complejo de un espacio vectorial complejo es un espacio vectorial complejo , que tiene los mismos elementos y estructura de grupo aditivo que, pero cuya multiplicación escalar implica la conjugación de los escalares. En otras palabras, la multiplicación escalar de satisface

Más concretamente, el espacio vectorial complejo conjugado es el mismo espacio vectorial real subyacente (mismo conjunto de puntos, misma suma vectorial y multiplicación escalar real) con la estructura compleja lineal conjugada (multiplicación diferente por ).

Si y son espacios vectoriales complejos, una función es antilineal si

Este es el mismo principio subyacente que al definir el anillo opuesto, de modo que un módulo derecho se puede considerar como un módulo izquierdo, o el de una categoría opuesta, de modo que un funtor contravariante se puede considerar como un funtor ordinario de tipo .

Un mapa lineal da lugar a un mapa lineal correspondiente que tiene la misma acción que Note que conserva la multiplicación escalar porque