Ортонормированный кортеж векторов

Ортонормированный кортеж векторов нормированного векторного пространства со скалярным умножением векторов

 * $$a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t$$ - множества,
 * $$f = \mathrm{\Sigma}(g,h,i)$$ - сигнатура,
 * $$\left|\circ\right| \in h \ \land \ i(\left|\circ\right|) = 1_\mathrm{N}$$ - символ унарной операции,
 * $$j\in h \ \land \ i(j) = 2_\mathrm{N} \ \land \ k\in h \ \land \ i(k) = 2_\mathrm{N}$$ - символы бинарных операций,
 * $$l\in g \ \land \ i(l) = 2_\mathrm{N}$$ - символ бинарного отношения,
 * $$c = \mathrm{AlgStruct}(d,e,f)$$ - алгебраическая структура,
 * $$c\in \mathrm{Field}(d;j,k)$$ - поле,
 * $$c\in \mathrm{LinOrdStruct}(d;l)$$ - линейно упорядоченная структура,
 * $$q = \left|\circ\right|_{j_c}^{l_c}$$ - операция взятия модуля,
 * $$m\in \mathrm{Op}^2(b)$$ - бинарная операция,
 * $$o = \mathrm{CartProd}(\langle d,b\rangle)$$ - прямое произведение двух множеств,
 * $$n\in \mathrm{Function}(o,b)$$ - функция,
 * $$q = \langle b,c,m,n \rangle$$ - упорядоченная четвёрка множеств,
 * $$q = \mathrm{VectorSpace}(b,c;m,n)$$ - векторное пространство,
 * $$s = \mathrm{CartPower}^2(b)$$ - декартов квадрат носителя векторного пространства,
 * $$r\in \mathrm{Function}(s,d)$$ - функция,
 * $$p = \langle q,r \rangle$$ - упорядоченная пара множеств,
 * $$p = \mathrm{VectorSpaceWithSMoV}(b,c;m,n,r)$$ - векторное пространство со скалярным умножением векторов,
 * $$t = \left|\circ\right|_{j_c}^{l_c}$$ - операция взятия модуля.
 * $$v\in \mathrm{Functional}(p)$$ - функционал,
 * $$u = \langle p,v \rangle$$ - упорядоченная пара векторного пространства со скалярным умножением и функционала ,
 * $$u = \mathrm{NormedVectorSpaceWithSMoV}(b,c;m,n,r,v)$$ - нормированное векторное пространство со скалярным умножением векторов,
 * $$w\in \mathbb{N}$$ - натуральное число,
 * $$a\in \mathrm{Function}(w,b)$$ - кортеж векторов.

Кортеж $$a$$ — ортонормированный кортеж (англ. orthonormal tuple, нем. senkrecht Tupel) из $$w$$ векторов нормированного векторного пространства со скалярным умножением векторов $$u$$ или кратко ортонормированный кортеж из $$w$$ векторов, если кортеж $$a$$ является ортогональным кортежем из $$w$$ векторов векторного пространства со скалярным умножением векторов $$p$$ и кортеж $$a$$ является нормированным кортежем векторов упорядоченной пары векторного пространства $$q$$ и функционала $$v$$ : $$ \Upsilon(a,\ldots,w) \ \stackrel{\mathrm{def}}{=} \ a\in \mathrm{OrthogonalTuple}_w(p) \ \land \ a\in \mathrm{NormalizedTuple}_w(\langle q,v \rangle) $$

Обозначим $$\Upsilon(a,\ldots,w) \ \stackrel{\mathrm{def}}{=} \ a\in \mathrm{OrthonormalTuple}_w(u)$$

Связанные статьи
Ортогональный кортеж векторов;

Нормированный кортеж векторов.