В математике, элемент x из * - алгебра является самосопряженной, если .
Набор C элементов звездной алгебры является самосопряженным, если он закрыт операцией инволюции. Например, если , то, поскольку в звездной алгебре набор {x, y} является самосопряженным набором, хотя x и y не обязательно должны быть самосопряженными элементами.
В функциональном анализе, линейный оператор A в гильбертовом пространстве называется самосопряженным, если он равен своему собственному сопряженному A, и что область действия A такая же, как у A. См. самосопряженный оператор для подробного обсуждения. Если гильбертово пространство конечномерно и выбран ортонормированный базис , то оператор A является самосопряженным тогда и только тогда, когда матрица , описывающая A относительно этого базиса, является Эрмитов, т.е. если он равен своему собственному сопряженному транспонированию. Эрмитовы матрицы также называются самосопряженными .
В категории кинжала вызывается морфизм самосопряженный if ; это возможно только для эндоморфизма .