Algebra liniowa z geometrią analityczną/Test 11: Formy kwadratowe: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycja
WizualnieWikikod
Nie podano opisu zmian
m Zastępowanie tekstu – „<math> ” na „<math>”
 
(Nie pokazano 3 pośrednich wersji utworzonych przez tego samego użytkownika)
Linia 1: Linia 1:
<quiz>Niech <math>f \colon \mathbb{R}^3 \to  \mathbb{R} </math> będzie dana wzorem
<quiz>Niech <math>f \colon \mathbb{R}^3 \to  \mathbb{R}</math> będzie dana wzorem


<center><math>f(x_1,x_2,x_3) = 5x_1x_2 +3x_2x_3 +x_1x_3.</math></center>
<center><math>f(x_1,x_2,x_3) = 5x_1x_2 +3x_2x_3 +x_1x_3</math>.</center>


Niech ponadto  
Niech ponadto  
Linia 8: Linia 8:
x_2y_1+3x_2y_3 +y_1x_3</math></center>
x_2y_1+3x_2y_3 +y_1x_3</math></center>


  i niech <center><math> A = \left [ \begin{array} {ccc}
  i niech <center><math>A = \left [ \begin{array} {ccc}
                     0 & \frac {5}{2} &\frac {1}{2}  \\
                     0 & \frac {5}{2} &\frac {1}{2}  \\
                       \frac {5}{2} & 0 & \frac {3}{2}  \\
                       \frac {5}{2} & 0 & \frac {3}{2}  \\
                     \frac {1}{2} & \frac {3}{2} & 0\end{array}  \right ]. </math></center>
                     \frac {1}{2} & \frac {3}{2} & 0\end{array}  \right ].</math></center>


<rightoption><math>\Phi</math> indukuje <math>f</math>.</rightoption>
<rightoption><math>\Phi</math> indukuje <math>f</math>.</rightoption>
Linia 17: Linia 17:
<wrongoption><math>\Phi</math> jest skojarzone z <math>f</math>.</wrongoption>
<wrongoption><math>\Phi</math> jest skojarzone z <math>f</math>.</wrongoption>


<rightoption> rk <math> f =3</math>.</rightoption>
<rightoption> rk <math>f =3</math>.</rightoption>


<rightoption><math>A</math> jest macierzą <math>f</math> przy bazie kanonicznej.</rightoption>
<rightoption><math>A</math> jest macierzą <math>f</math> przy bazie kanonicznej.</rightoption>
Linia 26: Linia 26:


<quiz>Niech <math>V</math> będzie przestrzenią wektorową nad ciałem <math>\mathbb{R}</math>, niech
<quiz>Niech <math>V</math> będzie przestrzenią wektorową nad ciałem <math>\mathbb{R}</math>, niech
<math> \Phi, \Psi \colon V \times V \to \mathbb{R}</math> będą odwzorowaniami dwuliniowymi i niech <math> f: V \ni v \to \Phi (v,v) \in \mathbb{R} </math>.
<math>\Phi, \Psi \colon V \times V \to \mathbb{R}</math> będą odwzorowaniami dwuliniowymi i niech <math>f: V \ni v \to \Phi (v,v) \in \mathbb{R}</math>.


<wrongoption>Jeśli dla każdego <math>v \in V\ \Phi (v,v) = \Psi (v,v) </math>, to <math>\Phi = \Psi</math>.</wrongoption>
<wrongoption>Jeśli dla każdego <math>v \in V\ \Phi (v,v) = \Psi (v,v)</math>, to <math>\Phi = \Psi</math>.</wrongoption>


<rightoption>Jeśli <math>\Phi</math> i <math>\Psi</math> są symetryczne oraz dla każdego <math>v \in V\ \Phi (v,v) = \Psi (v,v) </math>, to <math>\Phi = \Psi</math>.</rightoption>
<rightoption>Jeśli <math>\Phi</math> i <math>\Psi</math> są symetryczne oraz dla każdego <math>v \in V\ \Phi (v,v) = \Psi (v,v)</math>, to <math>\Phi = \Psi</math>.</rightoption>


<rightoption>Odwzorowanie <math> f </math> jest formą kwadratową.</rightoption>
<rightoption>Odwzorowanie <math>f</math> jest formą kwadratową.</rightoption>


<rightoption>Macierz <math>f</math> w dowolnej bazie jest symetryczna.</rightoption>
<rightoption>Macierz <math>f</math> w dowolnej bazie jest symetryczna.</rightoption>
Linia 42: Linia 42:
<quiz>Niech <math>f\colon \mathbb{R}^3 \ni (x_1,x_2,x_3) \to x_1^2 - x_2^2 -x_3^2 \in \mathbb{R}</math>.
<quiz>Niech <math>f\colon \mathbb{R}^3 \ni (x_1,x_2,x_3) \to x_1^2 - x_2^2 -x_3^2 \in \mathbb{R}</math>.


<rightoption> rk <math> f = 3</math>.</rightoption>
<rightoption> rk <math>f = 3</math>.</rightoption>


<wrongoption>Para (2,1) jest sygnaturą <math>f</math>.</wrongoption>
<wrongoption>Para (2,1) jest sygnaturą <math>f</math>.</wrongoption>
Linia 80: Linia 80:
<rightoption><math>A</math> jest macierzą <math>f</math> przy bazie kanonicznej.</rightoption>
<rightoption><math>A</math> jest macierzą <math>f</math> przy bazie kanonicznej.</rightoption>


<rightoption><math>B</math> jest macierzą <math>f</math> przy bazie <math> (1,0), (1,2)</math>.</rightoption>
<rightoption><math>B</math> jest macierzą <math>f</math> przy bazie <math>(1,0), (1,2)</math>.</rightoption>


<rightoption>Para (1,1) jest sygnaturą <math>f</math>.</rightoption>
<rightoption>Para (1,1) jest sygnaturą <math>f</math>.</rightoption>
Linia 95: Linia 95:
<wrongoption>Macierz <math>f</math> w bazie kanonicznej jest diagonalna.</wrongoption>
<wrongoption>Macierz <math>f</math> w bazie kanonicznej jest diagonalna.</wrongoption>


<rightoption>Odzorowanie <math>\mathbb{R}^3 \ni x \to f(x) \cdot x \in \mathbb{R} </math> jest formą kwadratową.</rightoption>
<rightoption>Odzorowanie <math>\mathbb{R}^3 \ni x \to f(x) \cdot x \in \mathbb{R}</math> jest formą kwadratową.</rightoption>


<rightoption>Odzorowanie <math>\mathbb{R}^3\times \mathbb{R}^3  \ni (x,y) \to f(x) \cdot y \in \mathbb{R} </math> jest dwuliniowe symetryczne.</rightoption>
<rightoption>Odzorowanie <math>\mathbb{R}^3\times \mathbb{R}^3  \ni (x,y) \to f(x) \cdot y \in \mathbb{R}</math> jest dwuliniowe symetryczne.</rightoption>
</quiz>
</quiz>

Aktualna wersja na dzień 22:18, 11 wrz 2023

Niech f:ℝ3→ℝ będzie dana wzorem

f(x1,x2,x3)=5x1x2+3x2x3+x1x3.

Niech ponadto

Φ((x1,x2,x3),(y1,y2,y3))=3x1y2+2x2y1+3x2y3+y1x3

i niech

A=[052125203212320].

Φ indukuje f.

Φ jest skojarzone z f.

rk f=3.

A jest macierzą f przy bazie kanonicznej.



Niech V będzie przestrzenią wektorową nad ciałem ℝ, niech Φ,Ψ:V×V→ℝ będą odwzorowaniami dwuliniowymi i niech f:V∋v→Φ(v,v)∈ℝ.

Jeśli dla każdego v∈V Φ(v,v)=Ψ(v,v), to Φ=Ψ.

Jeśli Φ i Ψ są symetryczne oraz dla każdego v∈V Φ(v,v)=Ψ(v,v), to Φ=Ψ.

Odwzorowanie f jest formą kwadratową.

Macierz f w dowolnej bazie jest symetryczna.



Niech f:ℝ3∋(x1,x2,x3)→x12−x22−x32∈ℝ.

rk f=3.

Para (2,1) jest sygnaturą f.

f jest określona ujemnie.

f jest półokreślona dodatnio.



Dana jest forma kwadratowa f:ℝ3∋(x1,x2,x3)→x12+2x22+4x32+2x1x2−2x2x3∈ℝ.

f jest zapisana w postaci kanonicznej.

f jest określona dodatnio.

Para (3,0) jest sygnaturą f.

Istnieje wektor x∈ℝ3minus{0} taki, że f(x)=0.



Niech f:ℝ2∋(x1,x2)→x12−x1x2∈ℝ, Φ:ℝ2×ℝ2∋((x1,x2),(y1,y2))→x1y1−12(x1y2+x2y1)∈ℝ. Niech ponadto

A=[1−12−120],B=[100−1]

Φ jest odwzorowaniem dwuliniowym symetrycznym skojarzonym z f.

A jest macierzą f przy bazie kanonicznej.

B jest macierzą f przy bazie (1,0),(1,2).

Para (1,1) jest sygnaturą f.



Niech f:ℝ3∋(x1,x2,x3)→(3x1−x3,2x2+x3,−x1+x2+5x3)∈ℝ3 i niech ⋅ oznacza standardowy iloczyn skalarny w ℝ3.

f jest symetryczne.

Macierz f w bazie kanonicznej jest diagonalna.

Odzorowanie ℝ3∋x→f(x)⋅x∈ℝ jest formą kwadratową.

Odzorowanie ℝ3×ℝ3∋(x,y)→f(x)⋅y∈ℝ jest dwuliniowe symetryczne.

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Algebra_liniowa_z_geometrią_analityczną/Test_11:_Formy_kwadratowe&oldid=82652”