Обговорення:Евклідова норма

Дополнение к статье "Евклiдова норма"

$~d\vdash \quad n\in \mathbb {N} \setminus \{0\}\quad \land \quad \mathrm {x} =\langle x_{1},...,x_{n}\rangle \quad \land \quad (\mathrm {x} \in \mathbb {R} ^{n}\ \leftrightarrow \ \forall _{i\ \in \ \{1,...,n\}}\ (x_{i}\in \mathbb {R} ))\quad \to$

$~(\mathrm {E_{norm}} \ \ \mathrm {is\ the\ Euclidean\ norm.} \ \leftrightarrow \ \mathrm {E_{norm}} =\{\langle \mathrm {x} ,y\rangle |\ \ \langle \mathrm {x} ,y\rangle \in \mathbb {R} ^{n}\times \mathbb {R} \ \ \land \ \ y=||\mathrm {x} ||={\sqrt {\sum _{i=1}^{n}x_{i}^{2}}}\})$

Галактион 13:59, 21 серпня 2009 (UTC)