V matematice a přesněji v geometrii je přímkou kolmou na křivku nebo na povrch v bodě přímka kolmá na tečnu nebo na tečnou rovinu v tomto bodě. Jakýkoli směrový vektor této přímky se nazývá vektor kolmý na křivku nebo na povrch v tomto bodě.
Častým pravidlem pro uzavřené povrchy je rozdělení jednotkového normálního vektoru, vektoru normy 1 a orientace směrem ven.
V případě rovinných křivek udává normální rotaci jednoduchá rotace π / 2 tečny; tento pojem proto hraje ve studii pouze druhoradou roli, snad s výjimkou stanovení středů zakřivení .
U levých křivek je v každém bodě nekonečno normál, které v tomto bodě popisují rovinu kolmou k vektoru tečny. Preferujeme jeden, ten, který se nachází v oscilační rovině ; tečný vektor, odpovídající normální vektor a jejich vektorový produkt (nazývaný binormální vektor) tvoří Frenetův souřadný systém , zvláště důležitý pro studium lokálního chování parametrizovaných křivek .
Jako příklad neuzavřeného povrchu považujeme rovinu P definovanou její kartézskou rovnicí :
.V každém bodě A z P , vektor kolmý k P je . Tento vektor je směr vektor normály k P v A .
Jelikož plán není uzavřeným povrchem, jsou koncepty exteriéru a interiéru výsledkem konvence a nikoli definice. Jako jednotkový normální vektor s rovinou P si tedy můžeme vybrat:
nebo .Tyto dva vektory mají stejný směr a stejnou normu (rovnou 1), ale mají opačné směry (viz obr. 1).
Nechť S je uzavřený povrch v trojrozměrném euklidovském prostoru . Najít jednotky normálový vektor (tj. Na jednotkový vektor čáry kolmé k této ploše, orientované směrem k vnějšku S ) v bodě , používáme součin dvou směrových vektorů tečné rovině k S v A . Na obrázku 2 je povrch zobrazen červeně a tečná rovina modře.
Nechť P je tato tečná rovina. Nechť a dvou směrových vektorů P . Systém parametrických rovnic tečné roviny je pak:
Dovolit je vektorem, který je výsledkem křížového součinu a . Podle definice, je normálový vektor k tečné rovině P . Normální vektor jednotky se potom rovná:
.Směr tohoto vektoru je jasně definován, protože vnějšek uzavřeného povrchu je jasně definován.
Buď povrch definovaný parametrizací
s funkcí x , y , z, z třídy C 1 . Pokud je dílčí odvozené vektory v tomto bodě nezávislé, říká se, že bod parametru (λ, μ) je pravidelný . Pak můžeme vytvořit jejich křížový produkt
což představuje normální vektor na povrchu (nemusí být nutně jednotný).
Je-li povrch dán karteziánské rovnice f ( x , y , z ) = 0, s funkcí f třídy , bod povrchu se říká, že pravidelný v případě, že sklon o f není v tomto bodě nulová. Normální vektor pak tvoří samotný gradientový vektor:
Formální důkaz tohoto výsledku zahrnuje teorém implicitních funkcí . Je však možné poskytnout zjednodušený přístup s využitím pojmu „nekonečně malé variace“.
Ve skutečnosti, pokud se umístíme do bodu M ( x , y , z ) povrchu, na jeho sousedství, funkce f vždy udržuje stejnou hodnotu: 0. V důsledku toho jeho nekonečně malá variace během posunu na povrchu definovaném vektor je nula: d f = 0.
Podle definice přechodu to však máme . Protože tento skalární součin je nulový, gradient v M je v tomto bodě skutečně kolmý k povrchu.
Pole normál (normál v několika bodech) na povrchu umožňuje najít své trojrozměrného povrchu , prochází stupni integrace této oblasti .
Funkce, která spojuje svou směrovanou jednotku normálu s bodem, se nazývá Gaussovo mapování .
Obecněji je možné považovat vektory za normální na hyperplochu v euklidovském prostoru , dokonce i v Riemannově varietě ; normální čára v bodě je v tomto případě podprostor kolmý na tečnou nadrovinu v tomto bodě.
V optice určuje normál k dioptrii (povrch oddělující dvě média) zrcadlový odraz a perfektní lom (nedifúzní, dva jevy podle zákonů Snella-Descarta ).
V mechanice , když jsou dvě části v kontaktu, pak:
Normála vůči kontaktní ploše je proto důležitým prvkem při definování mechanického spojení .
V počítačovém zobrazování , a zejména v trojrozměrném modelování , znalost normálního vektoru orientovaného na fazetu umožňuje: