Преглед на кода на Нормала

[[Файл:Normal vectors2.svg|мини|Многоъгълник и два от нормалните му вектори.]]
[[Файл:Surface normal illustration.svg|мини|Нормала към повърхност в точка е същото като нормала към допирателната равнина на същата повърхност в същата точка.]]

'''Нормала''' в [[геометрия]]та е обект ([[права]] или [[вектор]]), който е [[перпендикуляр]]ен на даден обект. Например, в двуизмерния случай, '''нормалната права''' към крива в дадена точка е правата, перпендикулярна на [[допирателна]]та на кривата в тази точка.<ref>[https://rbe.chitanka.info/?q=НОРМАЛА Нормала]{{Dead link|date=октомври 2024 |bot=InternetArchiveBot |fix-attempted=yes }}</ref> В триизмерния случай '''нормалната повърхност''' към повърхност в точка ''P'' е [[вектор]], който е перпендикулярен на допирателната равнина на тази повърхност при ''P'' (нормален вектор). Терминът се използва и като прилагателно: '''нормална права''' към крива, нормална компонента на [[сила]], '''нормален вектор''' и т.н. Идеята на нормалността се обобщава до [[ортогоналност]].

Тази идея е обобщена до [[диференциално многообразие]] от случайно измерение, влизащо в [[Евклидово пространство]]. Нормалното векторно пространство на многообразие в точка ''P'' е редица от вектори, които са ортогонални на [[допирателно пространство|допирателното пространство]] при ''P''. В случая на диференциалните криви, векторът на кривата е нормален вектор от особен интерес.

Нормалата често се използва в [[Компютърна графика|компютърната графика]] за определяне на ориентацията на повърхност спрямо източник на светлина за [[шейдинг]] или за определяне на ориентацията на всеки от ъглите на за имитиране на крива повърхност.

== Нормали към повърхности в триизмерно пространство ==
=== Изчисляване на нормала на повърхност ===
За изпъкнал многоъгълник (като например [[триъгълник]]), нормалата на повърхността може да бъде изчислена като [[векторно произведение]] от два неуспоредни ръба на многоъгълника. За равнина, дадена от уравнението <math>ax+by+cz+d=0</math>, векторът <math>(a, b, c)</math> е нормала.<ref>[http://mathworld.wolfram.com/NormalVector.html Normal Vector]</ref>

За равнина, дадена от уравнението

: <math>\mathbf{r}(\alpha, \beta) = \mathbf{a} + \alpha \mathbf{b} + \beta \mathbf{c}</math>,

където '''a''' е точка в равнината, а '''b''' и '''c''' са неуспоредни вектори, лежащи в равнината, нормалата на равнината е вектор, който е нормален спрямо '''b''' и '''c''' и може да бъде намерен с векторното произведение <math>\mathbf{b}\times\mathbf{c}</math>.

За [[хиперравнина]] в ''n''+1 измерения, дадена от уравнението

:<math>\mathbf{r} = \mathbf{a}_0 + \alpha_1 \mathbf{a}_1 + \cdots + \alpha_n \mathbf{a}_n</math>,

където '''a'''<sub>0</sub> е точка в хиперравнината, а '''a'''<sub>''i''</sub> за ''i'' = 1, ..., ''n'' са неуспоредни вектори, лежащи в хиперравнината, нормалата на хиперравнината е всеки вектор в нулевото пространство ''A'', където ''A'' се определя чрез

: <math>A = [\mathbf{a}_1 \dots \mathbf{a}_n]</math>.

Тоест, всеки вектор, който е ортогонален на всички вектори в равнината, по определение е нормала на повърхността.

Ако повърхност ''S'' се параметризира чрез система от криволинейни координати '''x'''(''s'', ''t''), където ''s'' и ''t'' са [[Реално число|реални]] променливи, тогава нормалата се дава от векторното произведение на [[Частна производна|частните производни]]

:<math>{\partial \mathbf{x} \over \partial s}\times {\partial \mathbf{x} \over \partial t}.</math>

Ако повърхност ''S'' се определя чрез [[неявна функция]] като редица от точки <math>(x, y, z)</math>, удовлетворяващи равенството <math>F(x, y, z)=0</math>, тогава нормалата в точка <math>(x, y, z)</math> от повърхността се намира чрез [[градиент]]а

:<math>\nabla F(x, y, z).</math>

тъй като градиентът във всяка точка е перпендикулярен на редицата от нива, а <math>F(x, y, z)=0</math> (повърхността) е редица от нива на <math>F</math>.

За повърхност ''S'', дадена чрез [[явна функция]] <math>f(x, y)</math> на независими променливи <math>x, y</math> (например <math>f(x, y) = a_{00} + a_{01} y + a_{10} x + a_{11} x y</math>), нормалата ѝ може да се намери по поне два еквивалентни начина.

Първият е да се вземе неявната ѝ форма <math>F(x, y, z) = z - f(x,y) = 0</math>, от която нормалата се извежда направо от градиента:

:<math>\nabla F(x, y, z)</math>.

Вторият начин за намирането на нормалата следва пряко от градиента на явната форма:

:<math>\nabla f(x, y)</math>

от където следва, че

: <math>\nabla F(x, y, z) = \hat{\mathbf{k}} - \nabla f(x, y)</math>, където <math>\hat{\mathbf{k}}</math> е отиващият нагоре [[единичен вектор]].

Това е равно на <math>\nabla F(x, y, z) = \hat{\mathbf{k}} - \frac{\partial{f(x, y)}}{\partial{x}}\hat{\mathbf{i}} - \frac{\partial{f(x, y)}}{\partial{y}}\hat{\mathbf{j}}</math>, където <math>\hat{\mathbf{i}}</math> и <math>\hat{\mathbf{j}}</math> са единичните вектори на ''x'' и ''y''.

Ако дадена повърхност няма допирателна равнина в точка, то тя няма нормала в тази точка. Например, [[конус]]ът няма нормала на върха си, нито има нормали по дължина на ръба в основата си. Обаче, нормалата на конуса може да се определи почти по цялата му площ. По принцип възможно е да се определи нормала почти навсякъде за повърхност, която е [[Липшицова функция]].

=== Уникалност на нормалата ===
[[Файл:Surface normals.svg|мини|300п|Векторно поле от нормали на повърхност.]]

Нормала на повърхност няма уникална посока – векторът, сочещ в противоположна посока на нормалата на повърхността, също е нормала на тази повърхност. За повърхност, която е [[граница (топология)|топологична граница]] на редица от три измерения, може да се различат нормалата, сочеща навътре, и нормалата, сочеща навън, което може да помогне при определянето на нормалата по един-единствен начин. За ориентирана повърхност, нормалата на повърхността обикновено се определя чрез [[правило на дясната ръка|правилото на дясната ръка]]. Ако нормалата е построена като векторно произведение от допирателни вектори, то тя е [[псевдовектор]].

=== Преобразуване на нормали ===
При преобразуването на повърхност често е полезно да се изведат нормалите от получената повърхност от първоначалните нормали. По-специално, в случая на трансформационна 3x3 матрица '''M''', може да се определи матрица '''W''', която преобразува вектор '''n''', перпендикулярен на допирателната равнина '''t''', във вектор '''n′''', перпендикулярен на преобразуваната допирателна равнина '''M t''', чрез следната логика:

Записваме '''n′''' като '''W n'''. Трябва да се намери '''W'''.

'''W n''' перпендикулярна на '''M t'''

:<math>\iff(W n) \cdot (M t) = 0 </math>
:<math>\iff (W n)^T (M t) = 0 </math>
:<math>\iff (n^T W^T) (M t) = 0 </math>
:<math>\iff n^T (W^T M) t = 0 </math>

Очевидно, избирането на такава '''W''', при което <math>W^T M = I</math> или <math>W = {M^{-1}}^T</math> да удовлетворява горното уравнение, ще даде <math>W n</math>, перпендикулярна на <math>M t</math>, или '''n′''', перпендикулярна на '''t′''', което се и търси.

Следователно, трябва да се използва обратното транспониране на линейното преобразуване, когато се преобразуват нормали на повърхности. Обратната транспонирана матрица е равна на първоначалната матрица, ако тя е ортонормална, тоест напълно ротационна.

== Хиперповърхности в ''n''-измерно пространство ==
Определението на нормала на повърхност в триизмерно пространство може да бъде разширено до <math>(n-1)</math>-измерна [[хиперпорвърхност]] в ''n''-измерно пространство. Хиперповърхността може да бъде локално дефинирана неявно като редицата от точки <math>(x_1, x_2, \ldots, x_n)</math>, които удовлетворява уравнението <math>F(x_1, x_2, \ldots, x_n) = 0</math>, където <math>F</math> е дадена [[Скаларно поле|скаларна функция]]. Ако <math>F</math> е непрекъсната диференциална функция, тогава хиперповърхността е диференциално многообразие в съседство на точките, където градиентът не е нулев. При тези точки нормалното векторно пространство има измерение единица и се генерира от градиента

:<math>\nabla F(x_1, x_2, \ldots, x_n) = \left(\tfrac{\partial F}{\partial x_1}, \tfrac{\partial F}{\partial x_2}, \ldots, \tfrac{\partial F}{\partial x_n} \right)\,.</math>

Нормалната права в точка от хиперповърхността се определя само, ако градиентът не е нулев. Това е правата, преминаваща през точката и имаща посоката на градиента.

== Източници ==
<references/>

[[Категория:Повърхнини]]
[[Категория:Векторен анализ]]
[[Категория:3D компютърна графика]]