Множество элементов называется линейным (векторным) пространством, если на этом множестве выполнено 3 условия:

xy=x+(y)x - y = x + (-y) - определение разницы
Нормированное линейное пространство - линейное пространство L, в котором каждому элементу xx из LL поставлено в соответствие действительное число, называемое нормой ||x||||x|| , причём выполняется 3 условия (аксиомы нормы):

  1. x||x||0,||x||=0x=θ\forall x \quad ||x|| \ge 0, ||x||=0 \rightarrow x = \theta
  2. ||λx||=|λ|*||x||λR,xL||\lambda x|| = |\lambda| * ||x|| \quad \forall \lambda \in R, \forall x \in L
  3. ||x+y||||x||+||y||||x+y|| \le ||x||+||y||
    Расстояние между элементами x и y линейного нормированного пространства - норма разности этих элементов
    ρ(x,y)=||xy||\rho (x,y) = ||x-y||

Нормированное пространство n-мерных векторов

Нормы для векторов + нормы для матриц

X=(x1xi)||x||=1\overline{X}=\begin{pmatrix}x_1\\\vdots\\x_i\end{pmatrix}\quad||\overline{x}||=1

  1. ||x||=1||\overline{x}||_\infty=1:
    |x1|=1|x2|1|x_1|=1\to|x_2|\leqslant1
    |x2|=1|x1|1|x_2|=1\to|x_1|\leqslant1

    Pasted image 20250215141656.png

  2. ||x||1=|x1|+|x2|=1||\overline{x}||_1=|x_1|+|x_2|=1
    x1+x2=1x10,x20\ \ \ x_1+x_2=1\to\quad x_1\geqslant0,\quad x_2\geqslant0
    x1x2=1x10,x2<0\ \ \ x_1-x_2=1\to\quad x_1\geqslant0,\quad x_2<0
    x1+x2=1x1<0,x20-x_1+x_2=1\to\quad x_1<0,\quad x_2\geqslant0
    x1x2=1x1<0,x2<0-x_1-x_2=1\to\quad x_1<0,\quad x_2<0

    Pasted image 20250215143315.png

  3. ||x||2=|x1|2+|x2|2=1||\overline{x}||_2=\sqrt{|x_1|^2+|x_2|^2}=1
    x12+x22=1x_1^2+x_2^2=1

    Pasted image 20250215143549.png

||x||||x||2||x||1n*||x||||\overline{x}||_\infty\leqslant||\overline{x}||_2\leqslant||\overline{x}||_1\leqslant n*||\overline{x}||_\infty
X\overline{X} - точное значение вектора
x*\overline{x^*} - приближённое значение вектора
Δx*=||Xx*||\overline{\Delta x^*}=||\overline{X}-\overline{x^*}||
δx=Δx||X||δx*=Δx*||x*||\delta x=\dfrac{\Delta x}{||\overline{X}||}\quad\delta x^*=\dfrac{\Delta x^*}{||x^*||}

Am*n=(a11a12a1na21a22a2nam1am2amn)A_{m*n}=\begin{pmatrix}a_{11}& a_{12}& \dots & a_{1n} \\ a_{21}& a_{22}& \dots & a_{2n} \\ \dots&\dots&\dots&\dots \\ a_{m1}& a_{m2}& \dots & a_{mn} \end{pmatrix}

||A||=sup||A*x||||x||,xθ||A||=sup\dfrac{||A*\overline{x}||}{||\overline{x}||},\quad\overline{x}\ne\theta

  1. ||A||=maxij|aij|||A||_\infty=\underset{i}{\max}\underset{j}{\sum}|a_{ij}| (Сумма по строкам)
  2. ||A||1=maxji|aij|||A||_1=\underset{j}{\max}\underset{i}{\sum}|a_{ij}| (Сумма по столбцам)
  3. ||A||2=ij|aij2|||A||_2=\sqrt{\underset{i}{\sum}\underset{j}{\sum}|a_{ij}^2|}

Доказательство бесконечной нормы для матриц + определение погрешностей для матриц

Число обусловленности матрицы А - количественная оценка согласованности матрицы1

Am*n*X=(a11a12a1na21a22a2nam1am2amn)*(x1x2xn)(i=1mj=1n)A_{m*n}*\overline{X}=\begin{pmatrix}a_{11}& a_{12}& \dots & a_{1n} \\ a_{21}& a_{22}& \dots & a_{2n} \\ \dots&\dots&\dots&\dots \\ a_{m1}& a_{m2}& \dots & a_{mn} \end{pmatrix} * \begin{pmatrix}x_1\\x_2\\\vdots\\x_n\end{pmatrix}\quad\begin{pmatrix}i=1\dots m\\j=1\dots n\end{pmatrix}
||AX||=maxi|jaijxj|maxij|aij|*|xj|maxij|aij|maxj|xj|=maxj|xj|*maxij|aij|=||x||maxij|aij|||A\overline{X}||_\infty=\underset{i}{\max}|\underset{j}{\sum}a_{ij}x_j|\leqslant\underset{i}{\max}\underset{j}{\sum}|a_{ij}|*|x_j|\leqslant\underset{i}{\max}\underset{j}{\sum}|a_{ij}|\underset{j}{\max}|x_j|=\underset{j}{\max}|x_j|*\underset{i}{\max}\underset{j}{\sum}|a_{ij}|=||x||_\infty\underset{i}{\max}\underset{j}{\sum}|a_{ij}| чтд

АА- точная матрица
A*A^* - приближённая матрица
ΔA*=||AA*||\Delta A^*=||A-A^*||
δA=ΔA*||A||δA*=ΔA*||A*||\delta A=\dfrac{\Delta A^*}{||A||}\quad\delta A^*=\dfrac{\Delta A^*}{||A^*||}


  1. Согласованность матрицы - зависимость относительной погрешности результатов от относительной погрешности входных данных↩︎