Нормализиран векторен кортеж, Mathematika Wiki, FANDOM, поддържан от Wikia

Нормализиран кортеж от вектори на нормализирано векторно пространство Редактиране

• $ a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p $ - комплекти,
• $ g = \mathrm(h,i,j) $ - подпис,
• $ k\in i \ \land \ j(k) = 2_\mathrm \ \land \ l\in i \ \land \ j(l) = 2_\mathrm $ - символи на двоични операции,
• $ d = \mathrm(e,f,g) $ - алгебрична структура,
• $ d\in \mathrm(e;k,l) $ - поле,
• $ m\in \mathrm^2(c) $ е двоична операция,
• $ o = \mathrm(\langle e,c \rangle) $ е прякото произведение на две множества,
• $ n\in \mathrm(o,c) $ е функция,
• $ b = \langle c,d,m,n \rangle $ - подредена четворка от набори,
• $ b = \mathrm(c,d;m,n) $ е векторно пространство,
• $ q = \mathrm(b) $ - Функционален,
• $ p = \langle b,q \rangle $ е подредена двойка векторно пространство и функционал,
• $ p = \mathrm(c,d;m,n,q) $ е нормирано векторно пространство,
• $ r\in \mathbb $ е естествено число,
• $ a\in \mathrm(r,c) $ - кортежи от вектори.

Кортеж $ a $ -нормализиран кортежестествено число $ r $ [1] , нормата на $ s $ -тата координата на кортежа $ a $ е равна на някакъв неутрален елемент от интерпретацията на символа на двоичната операция $ l $ :

$ \Upsilon(a,\ldots,r) \\stackrel> \ \forall s \quad (s\in \mathbb \ \land \ s\in r) \Rightarrow \Bigl( \exists t \quad t\in \mathrm(l_e) \ \land \ q\bigl( a(s) \bigr) = t \Bigr) $

Означаваме $ \Upsilon(a,\ldots,r) \\stackrel> \a\in\mathrm_r(p) $

---