Čiary rozšíreného euklidovského priestoru

1. Definícia a vnútorné vlastnosti čiar

Definícia: Čiara (oblúk čiary) je každá súvislá neprázdna podmnožina priestoru, k , ktorá je spojitým obrazom reálneho intervalu I R.
Analytickou reprezentáciou čiary je bodová funkcia

r(u) = (x(u), y(u), z(u), h(u))

definovaná, spojitá a aspoň raz diferencovateľná na I.

Hodnotou bodovej funkcie pre aI je bod čiary určený štvoricou homogénnych súradníc

r(a) = (x(a), y(a), z(a), h(a)) = P(a)

Číslo aI nazývame parametrická - krivočiara súradnica bodu čiary, ktorá vyjadruje jeho polohu na čiare (Obr. 3.1). Funkcie x(u), y(u), z(u), h(u) nazývame súradnicové funkcie.



Ak je I uzavretý interval, hovoríme o oblúku čiary. Pri počítačovom spracovaní je vhodné kvôli jednotnosti zápisu voliť parametrizáciu oblúka čiary na intervale I=<0,1>.
Bodovou funkciou je definovaná orientácia oblúka čiary k, začiatočný bod má krivočiaru súradnicu 0, koncový bod 1.
Pretože zobrazovať môžeme len vlastné body priestoru (vzhľadom na konečné rozmery nák
resne), hodnota štvrtej súradnicovej funkcie h(a)
sa bude v základnom tvare analytických reprezentácií zobrazovaných oblúkov rovnať 1.

Bodová funkcia je indukovaná vektorovou funkciou r(u) = (x(u), y(u), z(u), 0) jednej premennej definovanou na I, ktorej hodografom je čiara k.
Hodnoty vektorovej funkcie sú polohové vektory bodov čiary, r(a) = (x(a), y(a), z(a), 0), aI.

Analytická reprezentácia čiary - bodová funkcia r(u) = (x(u), y(u), z(u), h(u)) pre uI je ekvivalentná s inými vyjadreniami čiary

r = r(u) vektorová rovnica

x = x(u), y = y(u), z = z(u) parametrické rovnice


Ak existujú reálne čísla a, bI, a b, pre ktoré platí r(a)= r(b),
bod oblúka čiary určený kriv
očiarou súradnicou "a" a bod určený krivočiarou súradnicou "b" sú totožné a P(a) = P(b) nazývame dvojnásobný bod čiary (Fig. 3.2).
Ak existuje
n takýchto reálnych čísel z intervalu I, bod sa nazýva n-násobný.
Oblúk čiary sa nazýva uzavretý, ak
P(0)=P(1).

Derivácia bodovej funkcie r´(u) = ((u), (u),(u), 0)

je funkcia (vektorová) vyjadrujúca pre aI smerový vektor dotyčnice oblúka čiary v bode P(a)

r´(a) = ((a), (a),(a), 0).

Jeho orientácia je zhodná s orientáciou oblúka čiary v bode P(a). Bod čiary, v ktorom sa mení orientácia vektora dotyčnice, sa nazýva bod vratu (kuspidálny bod).

Priamka, určená bodom P(a) a smerovým vektorom (a) sa nazýva dotyčnica.

Bod oblúka čiary, v ktorom je smerový vektor dotyčnice nenulový, nazývame regulárny bod.

Ak r´(a) = 0, bod P(a) je singulárny.

Bod, v ktorom je druhá derivácia bodovej funkcie čiary nulovým vektorom,

r´´(a) = (x´´(a), y´´(a), z´´(a), 0) = 0 , nazývame inflexný bod.

Vlastnosti čiary vyjadrené v jej regulárnych bodoch pomocou derivácií bodovej funkcie, veľkostí vektorov r´(a), r´´(a), prípadne r´´´(a),
nazývame vnútorné (geometrické) vlastnosti. Pri ich výpočtoch budeme používať karteziánske súradnice vektorov.

Nech P(a) pre aI je regulárny bod oblúka čiary s analytickou reprezentáciou r(u) na intervale I.

Jednotkový vektor dotyčnice t(a) v regulárnom bode P(a) oblúka čiary vyjadríme vzťahom

Jednotkový vektor binormály b(a) je vektor, ktorý získame ako vektorový súčin vektorov prvej a druhej derivácie funkcie r(u) v gulárnom bode P(a) oblúka čiary

Priamka určená bodom P(a) a smerovým vektorom b(a) sa nazýva binormála.

Jednotkový vektor (hlavnej) normály n(a) v regulárnom bode P(a) ooblúka čiary je vektorový súčin jednotkových vektorov binormály a dotyčnice

n(a) = b(a) x t(a)

Priamka určená bodom P(a) a smerovým vektorom n(a) sa nazýva hlavná normála.

V každom regulárnom bode oblúka čiary P(a) existujú tri na seba kolmé jednotkové vektory

t(a) b(a) n(a) t(a)

určujúce tri kolmé priamky, t b n t , so spoločným bodom P(a). Každé dve z nich určujú rovinu.
Všetky roviny prechádzajúce dotyčnicou
t sú dotykové roviny oblúka čiary v bode P(a).
Oskulačná rovina
ω je určená dotyčnicou a normálou, ω = tn.
Rektifikačná rovina
ρ je určená dotyčnicou a binormálou, ρ = tb.
Normála a binormála určujú normálovú rovinu
ν = nb.
Roviny ω, ρ a ν sú na seba kolmé, majú spoločný bod P(a) a každé dve sa pretínajú v spoločnej priamke.

Frenet-Serretov sprievodný trojhran čiary v regulárnom bode P(a) je geometrický útvar (obr. 3.3)
jednoznačne určený ako prienik troch polpriestorov s hraničnými rovinami
ω, ρ a ν a smerovými vektormi b, n, t (v danom poradí).
Hrany sú polpriamky so spoločným začiatkom vo vrchole tr
ojhranu P(a).
Oblúk čiary v okolí bodu
P(a) leží vnútri F-S trojhranu, pomocou jeho prvkov vyjadrujeme vnútorné vlastnosti čiary v okolí regulárneho bodu P(a).


Odchýlku oblúka čiary od dotyčnice v danom bode
P(a) vyjadruje prvá krivosť čiary - flexia.
Je to nezáporné číslo 1k vyjadrené vzťahom

V inflexnom bode čiary je 1k = 0. Ak je 1k = 0 v každom regulárnom bode oblúka čiary, ide o úsečku.
Priamka je čiara nulovej prvej krivosti.
Kružnica je čiara konštantnej prvej krivosti .

Polomer prvej krivosti v danom bode P(a) je číslo 1ρ = 1/1k, pre 1k 0.
Pre 1k = 0 hovoríme o nekonečne veľkom polomere krivosti.

V oskulačnej rovine
ω čiary k v bode P(a) leží oskulačná kružnica h čiary v danom regulárnom bode.
Jej stred 1S (stred prvej krivosti) je bod normály ležiaci na polpriamke určenej bodom P(a) a vektorom n(a)
vo vzdialenosti I 1SP(a)I = 1ρ od bodu P(a), teda jej polomer sa rovná polomeru prvej krivosti v danom bode.
Oskulačná kružnica oskuluje (nahrádza) v okolí bodu P(a) oblúk čiary (obr. 3.3).

Odchýlku čiary od oskulačnej roviny v danom neinflexnom bode vyjadruje P(a) druhá krivosť čiary - torzia 2k.
Je to číslo vyjadrené vzťahom

V inflexnom bode čiary je 2k = 0.
Ak je 2k = 0 v každom bode čiary, leží celá čiara v jednej oskulačnej rovine, je rovinnou čiarou.
Priamka je čiara nulovej flexie aj torzie.
Kružnica je čiara konštantnej prvej (nenulovej) aj druhej (nulovej) krivosti.
Skrutkovica je čiara konštantných nenulových krivostí.

Rektifikácia oblúka čiary je rozvinutie čiary v okolí daného bodu P(a) do rektifikačnej roviny čiary v tomto bode.
Konštrukcia, ktorou zistíme dĺžku oblúka čiary, sa tiež nazýva rektifikácia. Výpočtom možno dĺžku oblúka čiary určiť zo vzťahu

Stupeň rovinnej čiary je číslo udávajúce najväčší možný počet jej priesečníkov s priamkou.
Priamka je čiara prvého stupňa, kužeľosečky sú čiary druhého stupňa - kvadratické.
Oblúk č
iary, ktorý sa s priamkou pretína najviac trikrát, je tretieho stupňa - kubický, atď.

2 Modelovanie čiar

Čiary v Kreatívnom priestore modelujeme pomocou kreatívnych - syntetických reprezentácií, ktoré môžu byť troch základných typov.

  1. (vlastný bod, trieda geometrických transformácií)
  2. Bod je analyticky reprezentovaný štvoricou svojich homogénnych súradníc A = (xA, yA, zA, 1).

    Trieda geometrických transformácií je reprezentovaná štvorcovou maticou funkciou T4x4(u), ktorá je definovaná na intervale <0,1>,
    a ktorej prvky sú reálne funkcie premennej u spĺňajúce dané predpoklady (pozri Prednáška 1.).

    Analytická reprezentácia modelovaného oblúka čiary je bodová funkcia definovaná na I = <0,1> a majúca požadované vlastnosti (pozri definíciu).

    r(u) = (xA, yA, zA, 1). T4x4(u)

  3. (oblúk čiary, geometrická transformácia)
  4. Z daného oblúka čiary možno získať iný oblúk, pomocou geometrickej transformácie.
    Oblúk čiary je analyticky reprezentovaný bodovou funkciou
    r(u) definovanou na I (s danými vlastnosťami).

    Analytická reprezentácia geometrickej transformácie je regulárna štvorcová matica T4x4, ktorej prvky sú reálne čísla (pozri Prednáška 1.).

    Analytická reprezentácia modelovaného oblúka je bodová funkcia požadovaných vlastností na I

    p(u) = r(u).T4x4

  5. (usporiadaná postupnosť bodov, aproximácia)
  6. Analytická reprezentácia usporiadanej postupnosti n bodov je mapa M modelovaného oblúka čiary, matica typu 1 x n,
    ktorej prvky sú usporiadané štvorice homogénnych súradníc daných bodov (vlastných alebo nevlastných), Pi= (xi, yi, zi, hi) v danom poradí

    M = (P0 , P1, …, Pn-1 ) = ( (x0, y0, z0, 1), (x1, y1, z1, 0), …, (xn-1, yn-1, zn-1, 1))

    Aproximácia (interpolácia) je analyticky reprezentovaná maticou I(u), typu 1 x n, ktorej prvky sú vhodné polynomické funkcie Pli(u) stupňa n-1.
    Oblúk čiary, ktorý získame z riadiaceho ú
    tvaru je analyticky reprezentovaný bodovou funkciou daných vlastností na I = < 0,1 >