Anexo 1 - Demostraciones

19/8/2016
Anexo1:Demostraciones
Estaeslaversinhtmldelarchivohttp://www.ma.uva.es/~antonio/Industriales/Apuntes_0910/MatI/09_Anexo1_0910.pdf.
GooglegeneraautomticamenteversioneshtmldelosdocumentosmientrasexploralaWeb.
Page1
75MatemticasI:lgebraLineal
Espaciosvectoriales
Demostracinde:Propiedades89delapgina41
Propiedades89.Algunaspropiedadesquesededucendelasanterioresson:
(i)0u=0.
(ii)k0=0.
(iii)(1)u=u.
(iv)ku=0k=0u=0.
(v)Elvectorcerodeunespaciovectorialesnico.
(vi)Elvectoropuestodecadavectordelespaciovectorialesnico.
Demostracin:
(i)Como0u=(0+0)u=0u+0u,sisumamosacadaladodelaigualdadelopuestode0u,tenemosque
0u+(0u)=0u+0u+(0u)luego0=0u+0=0u.
(ii)Comok0=k(0+0)=k0+k0,sisumamosacadaladodelaigualdadelopuestodek0,tenemosque
k0+(k0)=k0+k0+(k0)luego0=k0+0=k0.
(v)Siwverificaquew+u=u,entoncesw+u+(u)=u+(u)dedondew+0=0yw=0.
Enconsecuencia,elvectorceroesnico.
(vi)Siwverificaquew+u=0,entoncesw+u+(u)=0+(u)dedondew+0=uyw=u.
Enconsecuencia,elvectoropuestoesnico.
(iii)Veamosque(1)ueselopuestou:u+(1)u=1u+(1)u=(1+(1))u=0u=0.
(iv)Siku=0yk=0,entonces1
ku=1
0=0.Luego0=1
ku=(1
k)u=1u=u.
http://webcache.googleusercontent.com/search?q=cache:http://www.ma.uva.es/~antonio/Industriales/Apuntes_0910/MatI/09_Anexo1_0910.pdf
1/10
19/8/2016
Laimplicacinenelotrosentidoesevidentepor(i)y(ii).
Demostracinde:Lema96delapgina43
Lema96.SiSesunconjuntolinealmenteindependientedevectoresdeVyvVlinS,entoncesS{v}
eslinealmenteindependiente.
Demostracin:
SeaS={u1,u2,...,ur}esunconjuntolinealmenteindependientedevectoresVyseavVqueno
pertenecealinS.Entonces,enlaigualdadvectorial
1u1+2u2++rur+v=0
7.1
elcoeficientedebesercero,puessinoloes,podemosdespejar
v=1 u12
estarageneradoporlosvectoresdeS,loquenoescierto.Ahorabien,como=0,laecuacin7.1sereduce
u2r
uryv
a1u1+2u2++rur=0yenconsecuencia,todoslosisonceroporserlosvectoresuilinealmente
independientes.
I.T.I.enElectricidad
Prof:Jo sAntonioAbiaVian
Page2
Anexo1
Lema97.SeanVunespaciovectorialyBunabasedeVformadapornvectores.Entoncescualquier
conjunto{v1,v2,...,vm}devectoresdeV,conm>n,eslinealmentedependiente.
Demostracin:
SeaB={w1,w2,...,wn}labasedeV.Cadavectorvkdelconjunto{v1,v2,...,vm}puedeexpresarse
comocombinacinlinealdelosvectoresdeB,enlaforma
vk=ak1w1+ak2w2++aknwn,paracadak=1,...,m
Elconjuntoeslinealmentedependientesilaecuacin1v1+2v2++mvm=0tienemltiples
soluciones.Sustituyendo:
0=1(a11w1+a12w2++a1nwn)+2(a21w1+a22w2++a2nwn)
++m(am1w1+am2w2++amnwn)
=(1a11+2a21++mam1)w1+(1a12+2a22++mam2)w2
++(1a1n+2a2n++mamn)wn
ComoBesunconjuntolinealmenteindependientedevectores,setieneelsistemalineal
1a11+2a21++mam1=0
1a12+2a22++mam2=0
=0
1a1n+2a2n++mamn=0
quetienemincgnitas(losk)ynecuaciones,conm>n,porloquenotienesolucinnica.
Demostracinde:Proposicin101delapgina43
Proposicin101.SiVesunespaciovectorial,condimV=n.Entonces,unconjuntodenvectoresdeVes
basedeV,
a)sielconjuntoeslinealmenteindependiente,o
b)sigeneraaV.
2/10
19/8/2016
Demostracin:
SeaSelconjuntodenvectores.
SiSeslinealmenteindependiente,tienequegenerarV,puessino:podrananadirsevectoreslinealmente
independientesconloanterioreshastaformarunabasedeV(existiraalmenosunvectorvn+1VlinS,
talqueS{vn+1}eslinealmenteindependiente,vercomentariospreviosalLema97anterior)quetendraal
menosn+1vectores,loqueesabsurdo.
AnlogamentesiSgeneraV,tienequeserlinealmenteindependiente,puessino:podraneliminarse
vectoresdependientesdeShastaconseguirunabasequetendramenosdenvectores(Lema94),loque
tambinesabsurdo.
Demostracinde:DesigualdaddeCauchySchwarz111delapgina47
DesigualdaddeCauchySchwarz111.Paratodou,vV,espacioconproductointerior,setiene
u,v2u2
v2
oenlaforma
Demostracin:
Siv=0,esclaroque0=u,02u2
|u,v|uv.
02=0,uV.
Siv=0,paratodokIR,severificaque
0ukv2=ukv,ukv=u,u2ku,v+k2v,v
enparticular,parak=u,v
v,v
0u,u2
.Luego
u,v
v,v
u,v+
u,v2
v,v2
v,v=u,u2
=u,u
u,v2
v,v
u,v2
v,v
v,v
=u2
u,v2
v2
Page3
u,v2
dedonde
u,v2
v2
u2
Anexo1
yporconsiguienteu,v2u2v2.
Demostracinde:Teorema119delapgina48
Teorema119.SiS={v1,v2,...,vk}unconjuntofinitodevectoresnonulos,ortogonalesdosados,entonces
Seslinealmenteindependiente.
Demostracin:
Veamosqueenlaigualdad1v1++ivi++kvk=0,cadaitienequesercero:
0=vi,0=vi,1v1++ivi++k vk =1vi,v1++ivi,vi++k vi,vk
=0++ivi,vi++0=ivi
comovi=0,sunormanoesceroporloquetienequeseri=0.
Lema124.SeanVunespaciovectorialconproductointerior,WunsubespaciodeVyBunabaseortonormal
deW.EntoncesparacadavV,elvectorvProyW(v)esortogonalacadavectordeW.
3/10
19/8/2016
Demostracin:
PorlaProposicin118,paraprobarqueunvectoresortogonalatodoslosvectoresdeunsubespacio,basta
probarloparalosvectoresdeunabase.SeaB={w1,w2,...,wk},paracadawideB,porserBortonormal,
wi,wi=1ywi,wj=0,sii=j,entonces
vProyW(v),wi=vv,w1w1v,wiwiv,wk wk ,wi
=v,wiv,w1w1,wiv,wiwi,wiv,wk wk ,wi
=v,wi0v,wi10=v,wiv,wi=0
LuegoesortogonalalosvectoresdeBy,porconsiguiente,atodoslosvectoresdeW.
Unicidaddelaproyeccinortogonal.SeaVunespacioconproductointerioryWunsubespaciodeV.Para
cadavV,laproyeccinortogonaldevenWnodependedelabaseortonormalelegida.
Esdecir,siB1={u1,u2,...,uk}yB2={v1,v2,...,vk}sondosbasesortonormalesdeW,entonces,
paracadavV,losvectores
Proy(1)
W(v)=w1=v,u1u1+v,u2u2++v,uk uk
Proy(2)
W(v)=w2=v,v1v1+v,v2v2++v,vk vk
sonelmismo.
Demostracin:
Comow1esunaproyeccinortogonaldevsobreW,elvectorw1Wyelvectorvw1esortogonala
Wy,porlamismarazn,elvectorw2Wyelvectorvw2esortogonalaW.
Entonces,elvector(vw1)(vw2)=w2w1cumpleque:esortogonalatodoslosvectoresde
WporserdiferenciadedosvectoresortogonalesaWytambinesunvectordeWporserdiferenciadedos
vectoresdeW.Enconsecuencia,esortogonalasimismoyw2w1,w2w1=0,luegoeselvector0
porloquew1=w2ylaproyeccinortogonalnodependedelabase.
Aplicacioneslineales
JustificacindelmtododescritoenlaObservacin136,delapgina56
Usaremosenlajustificacinelmismoejerciciodelejemplo,perolapruebaesvlidaencualquiercaso.
HaciendolasoperacioneselementalessobrelamatrizAt,quetieneporfilaslas[f(vi)]B2 ,hemosobtenidola
[f(v1)]B2
[f(v6v1)]B2
[f(v5v6+v1)]B2
.Luegosirepetimoslasmismasoperaciones
matrizquetieneporfilas
[f(v
4+1
v
13
v
63
v
5)]B2
2
2
2
[f(v3+v6+2v5)]B2
[f(v22v6v5)]B2
Page4
Anexo1
sobrelamatrizJquetieneporfilas
[v1]B1
[v2]B1
[v3]B1
[v4]B1
[v5]B1
[v6]B1
obtendramosK=
[v1]B1
[v6v1]B1
[v5v6+v1]B1
[v4+1
v13 2 v63 2 v5]B1

[v3+v6+2v5]B1
[v22v6v5]B1
Ahorabien,comolamatrizJeslaidentidad,quetienerango6,lamatrizKtambintienerango6,porlo
quesusfilassonlinealmenteindependientesyenconsecuencialostresltimosvectores(losvectoresdeker(f))
tambinsonlinealmenteindependientes.
4/10
19/8/2016
Diagonalizacin
JustificacindelaobservacinenAntesdeseguirdelapgina62
Definicin.Seaf:VVunoperadorlineal,diremosqueunescalaresunvalorpropiodefsiexiste
unvectorvV,diferentedecero,talquef(v)=v.
Alvectorvseledenominavectorpropiodefcorrespondientea.
Teorema.Seaf:VVunoperadorlineal,siendoVunespaciovectorialdedimensinn.Entonces,
existeunabasedeVconrespectoalacuallamatrizdefesdiagonalsiyslosiftienenvectorespropios
linealmenteindependientes.
Demostracin:
SilamatrizdefenlabaseB={v1,v2,...,v1}esDdiagonal,losmismosvectoresdelabasesonvectores
propiosysonlinealmenteindependientes,pues:
1
00
(
)
(
0
02
=
[f(vi )] B
[f(v2)] B
[f(vn)] B
=D=
1[vi ] B
...
.........
)
2[v2] B
n[vn] B
00n
Recprocamente,sitenemosnvectorespropioslinealmenteindependientes,lamatrizdefrespectodelabase
formadaconellosesdiagonal.
(
)
[f(vi )] B
[f(v2)] B
[f(vn)] B
(
=
1[vi ] B
2[v2] B
n[vn] B
00
02
0
... .........
00n
Teorema.SeanVunespaciovectorialdedimensinn,f:VVunoperadorlinealyAlamatrizdefcon
respectoaunabaseB={v1,v2,...,vn}.Entonces:
a)LosvalorespropiosdefsonlosvalorespropiosdeA
b)UnvectorvVesunvectorpropiodefcorrespondientealvalorpropiosiyslosisumatrizde
coordenadas[v]BesunvectorpropiodeAcorrespondientea.
Demostracin:
a)Seaunvalorpropiodef,esdecir,vV,distintode0,talquef(v)=v=[f(v)]B=[v]B
=A[v]B=[v]B,luegoesunvalorpropiodeAalser[v]B=0.
SeaunvalorpropiodeA,entoncesxIRn,x=0talqueAx=x.Sitomamosx=x1v1++
xnvn,siendox=(x1,...,xn),loanteriorquieredecirqueA[x]B=[x]B[f(x)]B=[x]B
f(x)=xyesunvalorpropiodefyaquex=0
b)vesunvectorpropiodefcorrespondienteasiyslosi
f(v)=v[f(v)]B=[v]B
siyslosi[v]BesunvectorpropiodeAcorrespondientea.
Page5
A[v]B=[v]B
Anexo1
5/10
19/8/2016
Teorema.Losvectorespropiosdefcorrespondientesalvalorpropio,sonlosvectoresdistintosdecerodel
ncleodelaaplicacinIdf(denotamosporIdlaaplicacinidentidad,Id(v)=v).
Llamaremosadichoncleo,espaciocaractersticodefcorrespondientealvalorpropio.
Demostracin:
vunvectorpropiocorrespondienteaf(v)=vf(v)=Id(v)Id(v)f(v)=0
(Idf)(v)=0vker(Idf).
Demostracinde:Teorema152delapgina62
Teorema152.Seanv1,v2,...,vkvectorespropiosdeunamatrizAasociadosalosvalorespropios1,
2,...,krespectivamente,siendoi=j,i=j.Entonceselconjuntodevectores{v1,v2,...,vk}es
linealmenteindependiente.
Demostracin:
Supongamosquev1,v2,...,vksonlinealmentedependientes.
Pordefinicin,unvectorpropioesdistintodecero,luegoelconjunto{v1}eslinealmenteindependiente.
Searelmximoenterotalque{v1,v2,...,vr}eslinealmenteindependiente.Puestoquehemossupuesto
que{v1,v2,...,vk}eslinealmentedependiente,rsatisfaceque1r<k.Adems,porlamaneraenque
sedefinir,{v1,v2,...,vr,vr+1}eslinealmentedependiente.Portanto,existenescalaresc1,c2,...,cr+1,
almenosunodiferentedecero,talesque
c1v1+c2v2++cr+1vr+1=0.
7.2
MultiplicandoenambosladosdelaigualdadporAyhaciendolassustituciones
Av1=1v1,Av2=2v2,...,Avr+1=r+1vr+1
seobtiene
c11v1+c22v2++crrvr+cr+1r+1vr+1=0
7.3
Multiplicandolosdosladosde(7.2)porr+1yrestndolea(7.3)laecuacinresultanteseobtendr
c1(1r+1)v1+c2(2r+1)v2++cr(rr+1)vr=0.
Ydadoquelosvectoresv1,v2,...,vrsonlinealmenteindependientes,necesariamente
c1(1r+1)=c2(2r+1)==cr(rr+1)=0
Comolos1,2,...,r+1sondistintosentresi,sededucequec1=c2==cr=0.
Sustituyendoestosvaloresen(7.2)resultaquecr+1vr+1=0,ycomovr+1=0sededucequecr+1=0,
loquecontradiceelhechodequealmenosunodelosescalaresc1,c2,...,cr+1debadeserdistintodecero.
Luegolosvectoresv1,v2,...,vkhandeserlinealmenteindependientes,quepruebaelteorema.
Demostracinde:Proposicin154delapgina63
Proposicin154.SeaAdeordennykunautovalordeAdemultiplicidadmk.Entonces
1dimV(k )mk .
Demostracin:
Comoyaobservamosanteriormente,dimV(i)1.
SupongamosquedimV(k )=d,yconsideremoseloperadorlinealf:IRnIRndefinidoporf(v)=Av.
Sea{v1,...,vd}unabasedelespaciocaractersticoV(k ),quepodemoscompletarhastaobtenerunabase
deIRn,B={v1,...,vd,vd+1,...,vn}.LamatrizA,deloperadorenlabaseB,serdelaforma
(
A=
)
[f(vi )] B
[f(vd)] B
[f(vdpi )] B
[f(vn)] B
(
=
)
k [vi ] B
k [v2] B
[f(vdpi )] B
[f(vn)] B
k 0
.........A12
0k
=
00
......A22
00
6/10
19/8/2016
Page6
Anexo1
dedonde|IA|=(k )d|IA22|.PerocomoAyAsonmatricessemejantes,tienenelmismopolinomio
caracterstico,y(k )d|IA22|=|IA|=|IA|=(k )mkQ(),dedondeseobtienequedmk,
puesmkeslamultiplicidaddelaraz.
Demostracinde:Teoremafundamentaldeladiagonalizacin155delapgina63
Teoremafundamentaldeladiagonalizacin155.SeaAunamatrizdeordenn.EntoncesAesdiagonali
zablesiyslosisecumplenlascondiciones:
1.Elpolinomiocaractersticotienenraicesreales.Esdecir,|IA|=(1)m1 (k )mk
m1+m2++mk=n.
con
2.ParacadaespaciocaractersticoV(i),secumplequedimV(i)=mi.
Demostracin:
=
SiAesdiagonalizable,lamatrizdiagonalDyAsonsemejantes(D=P1AP)yportantoposeen
elmismopolinomiocaracterstico,luegoP()=|IA|=|ID|=(1)m1(k )mk,dondelos
iIRsonlosvaloresdeladiagonaldeDymielnmerodevecesqueserepite.Portanto,P()tienetodas
susraicesrealesy,porserdegradon,m1+m2++mk=n.
Adems,porserAyDmatricessemejantes,tambinlosonIAyID,paratodoIR,pues
P1(IA)P=P1IPP1AP=ID,dedonderg(IA)=rg(ID),paratodo.Entonces,para
cadaautovalorisetienequerg(iIA)=rg(iID)=nmiy,enconsecuencia,quedimV(i)=mi.
=
Si|IA|=(1)m1 (k )mk,conm1+m2++mk=n,ydimV(i)=miparacada
i=1,...,k,consideremosencadaV(i)unabaseBi,delaforma
{
}
{
}
B1=
p ,...,p m
,B2=
p ,...,p m
,...,Bk=
}
pk ,...,pkmk
TomemosentoncesB=B1B2Bk,unconjuntodenvectorespropiosdeA,sivemosquesonlinealmente
independientes,tendremosqueAesdiagonalizable.
Planteemosunacombinacinlinealigualadaacero:
0=11p
=(11p
++1m1 p m
+21p
++2m2 p m
++1m1 p m
)+(21p
++k1pk ++kmkpkmk
++2m2 p m
)++(k1pk ++kmkpkmk)
=v1+v2++vk
siendovj=j1pj ++jmjpjmjV(j),paracadaj=1,...,k.
Losvectoresv1,v2,...,vksonvectoresdeespacioscaractersticoscorrespondientes,respectivamente,a
losvalorespropiosdistintos1,2,...,kyportanto,sinosoncero,sonlinealmenteindependientes.Pero
lacombinacinlinealv1+v2++vk=0nosindicaraquesondependientes,luegolanicaformade
eliminaresacontradiccinesquevj=0,j=1,2,...,kdedonde,si0=vj=j1pj ++jmjpjmj,
handesertodosj1=j2==jmj=0porserBjunabase.Comoesciertoparacadaj,setieneque
ji=0,i,j,conloqueBeslinealmenteindependiente.
Demostracinde:Teoremafundamentaldeladiagonalizacinortogonal159delapgina64
Teoremafundamentaldeladiagonalizacinortogonal159.UnamatrizAdeordennesdiagonalizableor
togonalmentesiyslosiAessimtrica.
Demostracin:
=
Aesdiagonalizableortogonalmente=PortogonalyDdiagonaltalquePtAP=D=P
ortogonalyDdiagonaltalqueA=PDPt=At=(PDPt)t=PDPt=A=Aessimtrica.
7/10
19/8/2016
=
SeaAsimtrica,veamosqueesdiagonalizable.Primero,quetodoslosvalorespropiosdeAsonreales:
SeaCunvalorpropiodeA,entoncesexistex=(x1,...,xn)=0(xjC)talqueAx=x.Por
serAreal,supolinomiocaractersticoesrealyelconjugadode,,estambinautovalordeAadems,
tomandoconjugadosenlaigualdadanterior,setienequeAx=Ax=x.Entonces,sonigualeslosvalores
n
xtAx=xt(Ax)=xt(x)=xtx=
n
xjxj=
|xj|2
j=1
j=1
n
xtAx=(xtA)x=(xtAt)x=(Ax)tx=(x)tx)=xtx=
|xj|2
j=1
Page7
y,alserx=0,
Anexo1
|xj|2=0porloque=yIR.Enconsecuencia,sitodoslosautovaloresdeAson
j=1
reales,elpolinomiocaractersticodeAtienelasnraicesreales.
VeamosahoraqueparacadajseverificaquedimV(j)=mj.
SeandimV(j)=dyBj={x1,...,xd}unabaseortonormaldeV(j)queampliamoshastaunabase
ortonormaldeIRn,B={x1,...,xd,xd+1,...,xn}.
Consideremoseloperadorlinealf:IRnIRndadoporf(x)=Ax,luegoAeslamatrizdefenlabase
cannicaqueesortonormalysiAeslamatrizdefenlabaseByPlamatrizdepasodeBalacannica,
PesortogonalyA=PtAP.ComoAessimtrica,Atambienloserpues(A)t=(PtAP)t=PtAt(Pt)t=
PtAP=A.
(
)
[f(x1)]B
A=
[f(xd)]B
[f(xd+1)]B
[f(xn)]B
)
0j
=
00
......A22
(
=
j[x1]B
j[x2]B
[f(xd+1)]B
j0
.........A12
[f(xn)]B
00
dondeA12=0,puestoqueAessimtricayA22cuadradadeordennd.LuegolamatrizjIAnos
queda
jIA=
jj
...
...
jj
0
...
0
...
0
...
0
jIA22
00
.........
00
=
00
......jIA22
00
porloquerg(jIA)=rg(jIA22).PorserAyAsemejantesrg(jIA)=rg(jIA)(verdemostracin
delTeorema155),ysetienequerg(jIA22)=rg(jIA)=ndimV(j)=ndporloque|jIA22|=0.
Entonces,|IA|=|IA|=(j)d|IA22|,con|jIA22|=0,luegod=mj.
Enresumen,Adiagonaliza,ytomandounabaseortonormaldecadaunodelosespacioscaractersticos,
tendremosnvectorespropiosdenorma1y,queporelLema158,sonortogonalesentres.
8/10
19/8/2016
Formascuadrticas
Demostracinde:TeoremadeSylvesteroLeydeinercia169delapgina71
TeoremadeSylvesteroLeydeinercia169.Siunaformacuadrticasereducealasumadecuadradosen
dosbasesdiferentes,elnmerodetrminosqueaparecenconcoeficientespositivos,ascomoelnmerode
trminosconcoeficientesnegativoseselmismoenamboscasos.
Demostracin:
SupongamosquerespectoaunabaseB1={b1,b2,...,bn}lamatrizdelaformacuadrticaQesunamatriz
diagonalytienepelementospositivosyselementosnegativosensudiagonalprincipal,luegolaexpresinde
laformacuadrticaser
Q(x)=a1x2
1++apx2
pap+1x2
p+s
p+1ap+sx2
conai>0paratodoi,y(x1,...,xp,xp+1,...,xp+s,xp+s+1,...,xn)=[x]t
B2={d1,d2,...,dn}lamatrizdelaformacuadrticaestambindiagonalconqelementospositivosyr
negativos,porloqueQseexpresarenlaforma
Q(x)=c1y2
1++cqy2
qcq+1y2
B1
q+r
q+1cq+ry2
conci>0paratodoi,e(y1,...,yq,yq+1,...,yq+r,yq+r+1,...,yn)=[x]t
B2
Page8
yquerespectoaotrabase
Anexo1
Porelteorema167anterior,sabemosquelasmatricescongruentestienenelmismorango,luegotienenque
serp+s=q+r.Veamosquep=q,conloquetendremostambinques=r.
Sip=q,unodeellosesmayorqueelotro,supongamosqueesp>qyconsideremoslosconjuntosde
vectores{b1,...,bp}y{dq+1,...,dn}.Sip>q,elconjunto{b1,...,bp,dq+1,...,dn}tienep+(nq)=
n+(pq)>nvectoresy,porlotanto,esunconjuntolinealmentedependienteyenlaigualdad
1b1++pbp+q+1dq+1++ndn=0
algunodeloscoeficientesnoescero.Entonces,elvector
1b1++pbp=q+1dq+1ndn=x
noeselcero(siescero,todoslosisonceroporserlosbideB1,ytodoslosj=0porserlosdjB2),
conalgniyalgnjdistintosdecero.Tenemosasque
[x]t
B1 =(1,...,p,0,...,0)
[x]t
B2 =(0,...,0,q+1,...,n)
perocalculandoQ(x)respectoalasdosbasesobtenemos
Q(x)=a12
1++ap2
pap+10ap+s0=a12
1++ap2
Q(x)=c10++cq0cq+1(q+1)2cq+r(q+r)2+0(q+r+1)2++0(n)2
p>0
=cq+1(q+1)2cq+r(q+r)20
loquenopuedeser.Portantodebenserp=qys=r,esdecir,lasdosmatricesdiagonalestienenelmismo
nmerodeelementospositivosynegativos.
Demostracinde:Teoremadeclasificacin172delapgina71
Teoremadeclasificacin172.SeaQunaformacuadrticaenunespaciodedimensinn.Severifica:
a)QesnulaSig(Q)=(0,0)
b)QesdefinidapositivaSig(Q)=(n,0).
9/10
19/8/2016
c)QessemidefinidapositivaSig(Q)=(p,0)con0<p<n.
d)QesdefinidanegativaSig(Q)=(0,n).
e)QessemidefinidanegativaSig(Q)=(0,q)con0<q<n.
f)QesindefinidaSig(Q)=(p,q)con0<p,q.
Demostracin:
SeaB={v1,...,vn}unabaseenlacual,laexpresindeQes
Q(x)=d1x2
1+d2x2
2++dnx2
donde(x1,...,xn)=[x]t
B.Luego,Q(vi)=di,paratodoi=1,...,n,yaquelosvectoresdeBtienepor
coordenadas[v1]t
B=(1,0,0,...,0),[v2]t
B=(0,1,0,...,0),...,[vn]t
B=(0,0,0,...,1).Entonces:
a)SiQ(x)=0,paratodox,setienequedi=Q(vi)=0,paratodoi,luegoSig(Q)=(0,0).
Reciprocamente,sidi=0paratodoi,entoncesQ(x)=0paratodox.
b)SiQ(x)>0paratodox=0,setienequedi=Q(vi)>0,paratodoi,luegoSig(Q)=(n,0).
Recprocamente,sidi>0paratodoi,entoncesQ(x)>0paratodox=0.
c)SiQ(x)0paratodox=0,esdi=Q(vi)0paratodoi.Comonoesnulaexistealgndj>0y
comonoesdefinidapositivaexistealgndk=0,luegoSig(Q)=(p,0)con0<p<n.
Recprocamente,sidi0paratodoi,conalgndj>0yalgndk=0,setienequeQ(x)0para
todox,queQ(vj)=dj>0,porloquenoesnula,yqueQ(vk)=dk=0,porloquenoesdefinida
positiva.
d)ye)Anlogosaloscasosdedefinidaysemidefinidapositiva.
f)Porserindefinida,Q(x)0paratodox,luegodi0paratodoi,porloqueexistirundj<0
yQ(x)0paratodox,luegodi0paratodoiporloqueexistirundk>0.Enconsecuencia,
Sig(Q)=(p,q)conp,q>0.
Recprocamente,siexistedj<0ydk>0,sernQ(vj)=dj<0yQ(vk)=dk>0,luegoesindefinida.
10/10

Anexo 1 - Demostraciones

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Anexo 1 - Demostraciones

Transféré par

Droits d'auteur :

Formats disponibles

19/8/2016

v13 2 v63 2 v5]B1

Vous aimerez peut-être aussi