formas bilineales

 Lección 2. 
   Rango

Proposición 2. Sea $f$ una forma bilineal sobre un espacio $V$ de dimensión $n$. Entonces las siguientes condiciones son equivalentes:

(i) $\text{rank}(f)=n$

(ii) Para cada $u\neq0$ en $V$ existe $v$ en $V$ tal que $f(u,v)\neq0$

(iii) Para cada $v\neq 0$ en $V$ existe $u$ en $V$ tal que $f(u,v)\neq 0$

Demostración. Sean $L_{f}$ y $R_{f}$ las funciones definidas por

MATH

MATH

MATH;

MATH

MATH

MATH

Evidentemente $L_f^u$, $R_f^v\in V^\ast$ $\forall u,v\in V$, y $L_f$ y $R_f$ son transformaciones lineales.

En este lenguaje, nótese que la parte (ii) del enunciado de la proposición es equivalente a que $N(L_{f})=0$, al igual que la parte (iii) es equivalente a que $N(R_{f})=0$. La proposición estaría probada si logramos establecer que

MATH

o lo que es lo mismo,

MATH

Sea $X$ una base ordenada de $V$, $Z=[a_1,\dots,a_n],$ $Y=[b_1,\dots,b_n]$ las coordenadas de los vectores $u,v\in V$ en la base $X$; y $A=m_X(f)$. Entonces MATH $\forall v\in V$MATH para todo vector MATH $\Leftrightarrow$ $A^TZ^T=0$$\Leftrightarrow$ $Z^T\in N(A^t)$, entonces

MATH

An\alogamente, MATH $\Leftrightarrow$ $ZAY^T=0$ para todo vector $z\in K^n$ $\Leftrightarrow$ $AY^T=0$$\Leftrightarrow$ $Y^T\in N(A);$ entonces

MATH

Universidad Nacional de Colombia
Carrera 30 No 45-03 - Edificio 477
Bogotá D.C. - Colombia

Aviso Legal - Copyright