Vektorový a afinný priestor
Vektorový priestor
Cauchy-Schwarz nerov.
Tvrdenia.
Dôkaz - Cauchy-Schwarzovej nerovnosti.
- Pre lineárne závislé vektory musí existovať nenulové reálne číslo , pre ktoré platí .
Ak sú vektory nezávislé tak, pre každé nenulové reálne číslo vektor
je nenulový. Zrejme druhá mocnina jeho normy je a nie je rovná nule. Podľa definície normy rozpíšeme ľavú stranu nerovnosti ako
Skalárny súčin je symetrický a distributívny, preto po úprave dostaneme kvadratickú nerovnicu .
Ľavá strana nerovnice predstavuje kvadratický trojčlen v premennej , ktorý nemá reálne korene (pre ľubovoľnú hodnotu je trojčlen > 0). Jej diskriminant musí byť záporný, teda platí
Odtiaľ už ľahko dostaneme a po odmocnení . - Dôkaz pre lineárne závislé vektory prenechávame čitateľovi. Zrejme bude platiť rovnosť strán.
Dôkazy.
- Na úrovni VŠ použite Cauchy-Schwarzovu nerovnosť. Podrobné dôkazy nájdete v
"Sbírce řešených úloh Katedřy didaktiky fyziky Matematicko-fyzikální fakulty UK Praha". Tu.
Vezmite normu (druhú mocninu normy) na ľavej strane nerovnosti a prepíšte ju podľa definície pomocou skalárneho súčinu. Výraz zjednodušte vďaka linearite a symetrii skalárneho súčinu. - Na úrovni SŠ použite Cauchy-Schwarzovu nerovnosť ale pre prípad vektorového priestoru so štandardnou ortonormálnou
bázou . Pre vektory
je skalárny súčin definovaný ako
.
Cvičenie.
- Skalárny súčin je definovaný na takto:
.
pre . Určte číslo tak, aby vektory boli na seba kolmé v zmysle definície kolmosti vektorov. Aký reálny uhol zvierajú tieto vektory v euklidovskom 3-rozmernom priestore? (Ukážte, že táto operácia spĺňa podmienky skalárneho súčinu). - Body sú susedné vrcholy štvorca. Pomocou skalárneho súčinu určte súradnice jeho zvyšných vrcholov.
Riešenie.
- Pomocou bilineárnych foriem ukážte, že operácia spĺňa podmienky skalárneho súčinu (použitie bilineárnych foriem na zdôvodnenie tvrdenia nájdete Tu).
Ak vektory majú byť na seba kolmé, tak ich skalárny súčin sa musí rovnať nule. Po dosadení dostaneme
Riešením kvadratickej rovnice sú čísla . Pozrite si grafické riešenie Tu. -
Pre skalárny súčin platí .
Otvorte si dynamický applet Tu.