Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 03. 01. 2010 18:58

pista004
Zelenáč
Příspěvky: 6
Reputace:   
 

bilineární forma

Zdravím,

Chci se optat, zda tento příklad počítám správně.

Dokažte nebo vyvraťte, že zadaná bilineární forma v $R^{3}$ je skalární součin.

$B(x,y) = 4x_{1}y_{1} + 3x_{2}y_{2} + 4x_{3}y_{3} + x_{1}y_{2} + x_{2}y_{1} - x_{1}y_{3} - x_{3}y_{1} + x_{2}y_{3} + x_{3}y_{2}$

POSTUP:

Zjistím, zda je bilineární forma symetrická:
$B(y,x) = 4y_{1}x_{1} + 3y_{2}x_{2} + 4y_{3}x_{3} + y_{1}x_{2} + y_{2}x_{1} - y_{1}x_{3} - y_{3}x_{1} + y_{2}x_{3} + y_{3}x_{2}$

z toho plyne, že $B(x,y) = B(y,x)$ => je symetrická.

Bilineární formu si přvedu na kvadratickou:
$Q(x) = 4x^{2}_{1} + 3x^{2}_{2} + 4x^{2}_{3} + 2x_{1}x_{2} - 2x_{1}x_{3} + 2x_{2}x_{3}$

Z této kvadratické formy si udělám matici a zjistím (upravuji řádky, poté provádím stejné operace ve sloupci, dokud mi nezbudou čísla jen na diagonále) zda je kvadratická forma pozitivně definitní.

matice:
4  1 -1
1  3  1
-1  1  4

Mohu si nyní přehodit řádky tak aby se mi lépe počítalo a je jinak mnou sepsaný postup správný?

Děkuji.

Offline

  • (téma jako vyřešené označil(a) pista004)

#2 04. 01. 2010 14:32

Rumburak
Místo: Praha
Příspěvky: 8691
Reputace:   502 
 

Re: bilineární forma

Matici dělám už z té bilineární formy (a ne z té kvadratické, jak píšeš), ale máš ji, zdá se, správně, asi ses v textu jen přepsal.
Že bilineární forma je symetrická plyne z toho, že její matice je symetrická, a nemusíme to už zjišťovat přímo.
Nepíšeš nic o tom, jak rozhodneš o pozitivní definitnosti.

Zde je možný odkaz na informace
http://www.math.slu.cz/studmat/AlgebraII/17.pdf

Offline

 

#3 03. 06. 2017 08:52

pedrox
Zelenáč
Příspěvky: 4
Reputace:   
 

Re: bilineární forma

↑ Rumburak: Chci se zeptat zda skalární součin musí být vždy pozitivně definitní nebo může být třeba i pozitivně semidefinitní?

Děkuji

Offline

 

#4 04. 06. 2017 16:53

maoap
Zelenáč
Příspěvky: 9
Škola: MFF UK
Pozice: student
Reputace:   
 

Re: bilineární forma

↑ pedrox: Musí být vždy pozitivně definitní. Pokud bys ho měl pozitivně semidefinitní, tak by existoval nějaký nenulový vektor, který by byl sám k sobě kolmý, což nechceš. (Například bys nemohl o ortogonální posloupnosti říct, že je lineárně nezávislá).

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson