Polariza idento

En matematiko, polariza idento estas idento kun eroj de normigita vektora spaco super la reelaj nombroj kies normo estas difinita per ĝia ena produto. Tiam por ĉiuj eroj de la spaco (vektoroj) x kaj y

 ||x + y||2 = ||x||2 + ||y||2 + 2 <x, y>   (1)

Ĉi tiu idento estas analoga al la formulo por la kvadrato de dutermo:

 (x + y)2 = x2 + y2 + 2xy   (2)

 Konsekvencoj 

Se y en ekvacio (1) estas anstataŭigita per -y la rezulto estas

 ||x - y||2 = ||x||2 + ||y||2 - <x, y>   (3)

kiu respektivas al la kosinusa leĝo kaj estas analoga al ekvacio (2) kun y anstataŭigita per -y:

 (x - y)2 = x2 + y2 - 2xy   (4)

Kunadicio de ekvacioj (1) kaj (3) rezultas je

 ||x + y||2 + ||x - y||2 = 2||x||2 + 2||y||2

kiu respektivas al la paralelograma leĝo kaj estas analoga al la sumo de ekvacioj (2) kaj (4):

 (x + y)2 + (x - y)2 = 2x2 + 2y2

Subtraho de (1) kaj (3) rezultas je

 ||x + y||2 - ||x - y||2 = 4<x, y>

kaj do

 Vektora spaco super kompleksaj nombroj 

Polariza idento en vektora spaco super la kompleksaj nombroj donas esprimon por la ena produto

kaj por ĝia reela parto kaj imaginara parto aparte

 Pruvo 

Estu la normo de vektoro difinita kiel la kvadrata radiko de la ena produto de vektoro kun si



Nun trovu la enan produton de x + y kun sin. Per distribueco de la unua faktoro kun respekto al la sumo en la dua faktoro, kio estas pro lineareco de la ena produto, rezultas

 <x + y, x + y> = <x + y, x> + <x + y, y>

Plu per distribueco de la duaj faktoroj kun respekto al la sumoj en la unuaj faktoroj rezultas

 <x + y, x + y> = <x, x> + <y, x> + <x, y> + <y, y>

kaj pro tio ke la ena produto estas komuta <y, x> = <x, y> kaj do

 <x + y, x + y> = <x, x> + 2<x, y> + <y, y>

Per la difino de normo (5), de ĉi tie rezultas la polariza idento.

Kategorio:Funkcionala analitiko
Kategorio:Matematikaj identoj