В математике, в частности линейной алгебре, ортогональный базис для внутреннего пространства продукта V является базисом для V, векторы которого взаимно ортогональны. Если векторы ортогонального базиса нормализованы, результирующим базисом будет ортонормированный базис.
Для определения системы ортогональных координат V. может использоваться любой ортогональный базис. Ортогональные (не обязательно ортонормированные) базисы важны из-за того, что они появляются из криволинейных ортогональных координат в евклидовых пространствах, а также в римановых и псевдо- Римановы многообразия.
В функциональном анализе ортогональный базис - это любой базис, полученный из ортонормированного базиса (или базиса Гильберта) с помощью умножения на ненулевые скаляры.
Концепция ортогонального (но не ортонормированного) базиса применима к векторному пространству V (над любым полем ), снабженным симметричная билинейная форма ⟨·, ·⟩, где ортогональность двух векторов v и w означает ⟨v, w⟩ = 0. Для ортогональный базис {ek}:
где q - квадратичная форма, связанная с ⟨·, ·⟩: q (v ) = ⟨v, v⟩ (во внутреннем пространстве продукта q (v ) = | v |).
Следовательно, для ортогонального базиса {ek},
где v и w - компоненты v и w в основе.