Відмінності між версіями «Гіперповерхня»

нема опису редагування
м (інтервікі)
½'''Гіперповерхнею''' називається [[многовид]] розмірності <math>n</math>, який є підмножиною [[евклідів простір|евклідового простору]] на одиницю більшої розмірності <math>n+1</math>.
 
== Одиничний вектор нормалі ==
: <math>(12) \qquad \mathbf{n}_i = - b_i^j \mathbf{r}_j</math>
 
== Головні кривини і напрямки гіперповерхні ==
 
Симетричний тензор <math>b_{ij}</math> в дотичному в точці <math>P</math> до гіперповерхні векторному просторі задає лінійне перетворення:
: <math>(13) \qquad y_i = b_i^j x_j</math>
і ми можемо поставити задачу на власні числа і вектори цього перетворення. Спочатку перейдемо в систему координат, яка буде прямокутною декартовою в точці <math>P</math> (). Оскільки метричний тензор в цій точці одиничний (<math>g_{ij} = \delta_{ij}</math>), то коваріантні і контраваріантні координати тензора <math>b_{ij}</math> будуть однакові, тому перетворення (13) здійснюється симетричною матрицею <math>b_i^j</math>. Як відомо з теорії матриць, симетрична матриця має <math>n</math> взаємно ортогональних власних векторів <math>\boldsymbol{\tau}^{(s)}, \; s = 1, 2, \dots n</math> (ми можемо їх вважати також одиничними), причому всі відповідні їм власні числа є дійсними числами <math>k^{(s)}</math> (що можуть бути як додатніми так і від'ємними).
В обраній системі координат маємо:
: <math>(14) \qquad b_i^j \tau_j^{(s)} = k^{(s)} \tau_i^{(s)} </math>
: <math>(15) \qquad \sum_i \tau_i^{(s)} \tau_i^{(p)} = (\boldsymbol{\tau}^{(s)} \cdot \boldsymbol{\tau}^{(p)}) = \delta^{sp} = \begin{cases}1, & s=p \\ 0, & s \ne p \end{cases}</math>
Формула (14) має тензорний характер, а тому справедлива в будь-якій системі координат, так само і ортогональність власних векторів (15) можна записати в будь-якій системі координат через метричний тензор:
: <math>(15) \qquad g^{ij} \tau_i^{(s)} \tau_j^{(p)} = g_{ij} \tau^{(s) i} \tau^{(p) j} = \delta^{sp}</math>
 
По формулі (7a) ми можемо знайти кривину геодезичної лінії, що проведена паралельно одному з власних векторів <math>\boldsymbol{\tau}^{(s)}</math>:
: <math>(16) \qquad k = b_{ij} \tau^{(s) i} \tau^{(s) j} = k^{(s)} \tau_j^{(s)} \tau^{(s) j} = k^{(s)}</math>
Власні числа <math>k^{(1)}, k^{(2)}, \dots k^{(n)}</math> називаються головними кривинами гіперповерхні, а відповідні їм власні вектори - головними напрямками.
 
В системі координат, яка в точці <math>P</math> гіперповерхні має координатні вектори <math>\mathbf{r}_i</math> що співпадають з головними напрямками, матриця тензора повної кривини <math>b_{ij} = b_i^j</math> буде діагональною:
: <math>(17) \qquad B = (b_{ij}) = \begin{bmatrix} k^{(1)} & 0 & \cdots & 0 \\ 0 & k^{(2)} & \cdots & 0 \\ \cdots & \cdots & \ddots & \cdots \\ 0 & 0 & \cdots & k^{(n)} \end{bmatrix}</math>
 
 
511

редагувань