Lineárna algebra a geometria (2) - Afinno-euklidovské priestory, kolmý priemet | prednáška 15

Zhrnutie prednášky

Prednáška z Lineárnej algebry a geometrie 2 otvára kapitolu o afino-eukleidovských priestoroch, ktoré vznikajú doplnením afinného priestoru o skalárny súčin na jeho vektorovej zložke. Táto štruktúra umožňuje definovať vzdialenosť dvoch bodov ako dĺžku vektora medzi nimi, definícia 12.2, a prednáška dokazuje, že takto definovaná funkcia d spĺňa vlastnosti metriky: nezápornosť, symetriu, d(A,B)=0 práve vtedy keď A=B, a trojuholníkovú nerovnosť. Zavádza sa aj štandardný afino-eukleidovský priestor E^n ako R^n so štandardným skalárnym súčinom a štandardným afinným súradnicovým systémom.

• Afino-eukleidovský priestor (AEP) je afinný priestor s pridaným skalárnym súčinom na vektorovej zložke
• Vzdialenosť bodov A, B je definovaná ako dĺžka vektora AB, teda odmocnina zo skalárneho súčinu vektora AB so sebou samým, definícia 12.2
• Funkcia d spĺňa vlastnosti metriky: d(A,B)≥0, symetria d(A,B)=d(B,A), d(A,B)=0 práve vtedy keď A=B, trojuholníková nerovnosť d(A,B)+d(B,C)≥d(A,C)
• Dôkaz symetrie využíva, že vektor BA = -AB, dôkaz d=0 iff A=B využíva vlastnosť afinného priestoru, že vektor AB je nulový práve vtedy keď A=B
• Trojuholníková nerovnosť pre body vyplýva priamo z trojuholníkovej nerovnosti pre vektory a vzťahu AC = AB + BC
• Pojem metriky je vo všeobecnosti širší ako táto konkrétna funkcia odvodená zo skalárneho súčinu, súvisí s metrickými priestormi z analýzy
• Štandardný afino-eukleidovský priestor E^n je R^n so štandardným skalárnym súčinom a štandardným afinným súradnicovým systémom, bod O = 0 a štandardná báza

Zhrnutie pripravené s pomocou AI z prepisu videa.