GNU Free Documentation License . .

()

: ,
\overrightarrow{AB}

  , .

[]

\mathfrak F= \langle F;+,* \rangle   +, *, 0 1. \mathfrak V= \langle V;+ \rangle   \mathbf 0. F \times V \to V, a,b \in F \mathbf x ,\mathbf y \in V :

1. (a+b)\mathbf x=a\mathbf x + b\mathbf x,

2. a(\mathbf x + \mathbf y )=a\mathbf x + a\mathbf y,

3. (a*b)\mathbf x = a(b\mathbf x ),

4. 1\mathbf x =\mathbf x,

\mathfrak V \mathfrak F, V , F  , F \times V \to V  .

[] n-

n-
. \mathfrak F= \mathfrak R = \langle R;+,* \rangle . \mathfrak V=\mathfrak R^n= \langle R^n;+ \rangle , R^n  R; \mathfrak V «+» : (a_1,...,a_n)+(b_1,...,b_n)=(a_1+b_1,...,a_n+b_n), : \mathbf 0=(0,,0), : -(a_1,...,a_n)=(-a_1,...,-a_n); : a(a_1,...,a_n)=(a*a_1,...,a*a_n). , n, \mathfrak R^n \mathfrak R.

n- R^n  , - (a_1,...,a_n) n , .

( )  , ,   .

, . .

( n ( ) ).

, .

- - , .

, n- .

, \mathbf a M_0=(m_1,...,m_n), (a_1,...,a_n)  (x_1,...,x_n), :

\frac{x_1-m_1}{a_1}=\frac{x_2-m_2}{a_2}=...=\frac{x_n-m_n}{a_n}

MN   O( min(x_{i_M},x_{i_N}) \leqslant x_{i_O} \leqslant max(x_{i_M},x_{i_N}), 1 \leqslant i \leqslant n), , M N . , . , 1 .

, , ( ([1], [2], [3])) R^n n=3 ; n=2  ; n=1 ,   , ; n=0 ( ), , , ; n>3 , .

: \mathbf a \cdot \mathbf b = \sum_{i=1}^{n} a_i b_i, [1]
( a_i,b_i  \mathbf a,\mathbf b)

: |\mathbf a|=\sqrt{ \sum_{i=1}^{n} {X_i}^2 }, [2]
( X_i  .)

\mathbf a,\mathbf b( a_i,b_i  \mathbf a,\mathbf b) :
\cos \theta = \frac{\sum_{i=1}^{n} a_i b_i}{|\mathbf a||\mathbf b|}, [3]

[]

  , , . , . . , . ,  \vec{e_1},...,\vec{e_n}\in L, \forall \vec{x}\in L \exists \alpha_1,..,\alpha_n\in F: \vec{x} = \sum_{i=1}^n\alpha_i \vec{e_i}, F  , L.

, .  \vec{e_1},...,\vec{e_n}  \vec{f_1},...,\vec{f_n}. :  \vec{e_i} = \sum_{j=1}^n p_{ij} \vec{f_j} . P_{ef}, p_{ij} e f :  \vec{x_e}= P_{ef} \vec{x_f} . :  P_{ef} = P_{fe}^{-1}. : , , , , .

[]

\vec{e}_1,\dots,\vec{e}_n \vec{a}=\sum_{i=1}^n \alpha_i \vec{e}_i,  \vec{b} = \sum_{i=1}^n \beta_i\vec{e}_i , \vec{a} + \vec{b} : \vec{a} + \vec{b} = \sum_{i=1}^n (\alpha_i+\beta_i)\vec{e}_i.
\lambda , \vec{a} \lambda : \lambda \vec{a} = \sum_{i=1}^n (\lambda \alpha_i) \vec{e_i}
\vec{a} \vec{b} ,  \exists \lambda \not= 0: \vec{a} = \lambda \vec{b} .

[]

(\vec{a},\vec{b}) ( \vec{a}\cdot\vec{b}), \vec{a}, \vec{b} :

  1. :  (\alpha\vec{a}_1+\beta \vec{a}_2,\vec{b}) = \alpha (\vec{a}_1,\vec{b}) + \beta (\vec{a}_2,\vec{b}) \forall \alpha, \beta \in F
  2. :  (\vec{a},\vec{b}) = \overline{(\vec{b},\vec{a})} ( , (\vec{a},\vec{b}) = (\vec{b},\vec{a}))
  3. : \forall\vec{a}  (\vec{a},\vec{a})\ge 0, (\vec{a},\vec{a}) = 0 , \vec{a} = 0 ,

\vec{a} \vec{b}. . .

\vec{a}, \vec{b} , (\vec{a},\vec{b}) = 0.
\vec{e}_1,\dots,\vec{e}_n ,  \forall i,j (i \not = j) (\vec{e_i},\vec{e_j}) = 0. , (\vec{e_i},\vec{e_j}) = \delta_{ij} , \delta_{ij}  .

, :
(\vec{a},\vec{b}) = \vec{a}^TA_e\vec{b}, A_e  .
, , \vec{a}=\sum_{i=1}^n \alpha_i \vec{e}_i,  \vec{b} = \sum_{i=1}^n \beta_i\vec{e}_i ,
(\vec{a},\vec{b}) =\sum_{i=1}^n \alpha_i\beta_i (\vec{a},\vec{b}) =\sum_{i=1}^n \alpha_i\overline{\beta_i} .

. , :

  1.  \|\vec{x}\|\ge 0 \forall \vec{x} \in L, \|\vec{x}\|=0 ,  \vec{x} = \vec{0}.
  2.  \|\alpha \vec{x}\|=|\alpha|\|\vec{x}\| \forall \alpha \in F, \forall \vec{x} \in L.
  3.  \|\vec{x+y}\|\leqslant \|\vec{x}\|+\|\vec{y}\| \forall \vec{x},\vec{y} \in L.

\phi \vec{a}, \vec{b} ,  cos\phi = \frac{(\vec{a},\vec{b})}{\|\vec{a}\| \|\vec{b}\|}
.

[]

  , ,   . : \vec{u} \vec{v}. , . , , .

: \vec{a} \lambda, \lambda \vec{a} \vec{a} \lambda . , \lambda > 0 , \lambda < 0.

, .

. |\vec{a}|.

[] ,

, , (). , «» ( , ), «» ( , , ) «» ( , , ).

, \overrightarrow{AB} \ \overrightarrow{CD} , E F , ABFE CDFE  .

  • . «» ( ) , , , A, B, C, D . :

, \overrightarrow{AB} \ \overrightarrow{CD}, , , ABDC  .

, \overrightarrow{AB} \ \overrightarrow{CD} ,

  • A, B, C, D ,
  • \overrightarrow{AB} \ \overrightarrow{CD} .

, .

  • . .   . , , ; , , ( ): .

, \overrightarrow{AB} \ \overrightarrow{CD} , A C, B D.

,   , . , («», «» ). , , .

[]

[]

, :

u, v


. \vec{u} \vec{v} , . , , .

. \vec{u} \vec{v} , . , .

() \vec{v+u}=\vec{u} + \vec{v} |\vec{u+v}|=\sqrt{|u|^2+|v|^2-2|u|\cdot |v|\cdot \cos \alpha}, \alpha\,   , . |\vec{u+v}|=\sqrt{|u|^2+|v|^2+2|u|\cdot |v|\cdot \cos \alpha}, \alpha\,   .

, , , . , .

, . .

, , . ( , .) , , , , : , , , , . , , \vec{a} \vec{b}, . \vec{c} -\vec{c}, . , \vec{a} \vec{c}, \vec{b} -\vec{c} .

\vec{a}'=\vec{a}+\vec{c}, \quad \vec{b}'=\vec{b}-\vec{c}

, \vec{a}' \vec{b}', , , \vec{a} \vec{b} , , \vec{a} -\vec{a} ().

, \vec{a} \vec{b} \vec{a}' \vec{b}', , \vec{a} \vec{b} .

[]

,

 (\vec{a},\vec{b}) = |\vec{a}||\vec{b}|cos(\varphi).

\vec{a} \vec{e} ( ) \vec{a} :

 (\vec{a},\vec{e}) = \mathrm{Pr_e}(\vec{a}).

, () :

 (\vec{a},\vec{b})
= |\vec{a}| \mathrm{Pr_a}(\vec{b})
= |\vec{b}| \mathrm{Pr_b}(\vec{a})

( \mathrm{Pr_a}(\vec{b}) -  \vec{b}  \vec{a}, \mathrm{Pr_b}(\vec{a}) -  \vec{a}  \vec{b}).

  • , , , .
[]

\vec{a} \vec{b} \vec{c}, :

  • \vec{c} \vec{a} \vec{b} φ


\left| \vec c \right| = \left| \vec a \right| \cdot \left| \vec b \right| \sin \varphi

  • \vec{c} \vec{a} \vec{b}
  • \vec{c} , \vec{a}\vec{b}\vec{c} .

:  \vec c = \left[ \vec a \vec b \right] = \left[ \vec a, \vec b \right] = \vec a \times \vec b

\vec a \times \vec b , \vec a, \vec b, , .

:

  1. (), .  \vec a \times \vec b = -(\vec b \times \vec a)
  2. , \lambda(\vec a \times \vec b) = (\lambda \vec a) \times \vec b = \vec a \times (\lambda \vec b)
  3. : (\vec a + \vec b) \times \vec c = \vec a \times \vec c + \vec b \times \vec c
.
[]

́ ́  ( \vec{a}, \vec{b}, \vec{c} ) \vec{a}, \vec{b}, \vec{c}  \vec{a} \vec{b} \vec{c}:

(\vec{a}, \vec{b}, \vec{c}) = \left(\vec{a}, [\vec{b}, \vec{c}]\right) = \vec{a}\cdot\left(\vec{b}\times\vec{c}\right)

( ).

, - , ).

 ( \vec{a}, \vec{b}, \vec{c} ) () , \vec{a}, \vec{b}, \vec{c}.

[]

( ), , , , , , . ( ).

, . , (). () , ( ). , , , ( ). .

[]

, n () a_1, a_2, \ldots, a_n :

\langle a_1, a_2, \ldots, a_n\, \rangle,\  \left ( a_1, a_2, \ldots, a_n\, \right ) .

, , ( ), , , :

\bar a,\ \vec a, \mathbf a, \mathfrak A,\  \mathfrak a.

:

\vec{a} + \vec{b}.

  , , :

k \vec{b},

.

, , . , .

[]

  (, ) . , , , . , , , - (, object[]). . ,   . , , , .

, ( , ,  . .), , ( ) , , .

[]

, , () . (, 1831). ( ). (. vector, ) . , . « » (1880- ), (1903) .

[] .

[]

  • .., .. .: , 1985.  232 .
  • . . .  (.), . . . .: , 1978.  . 14.  ( ).

[]