Implikace "Když V má reánou bázi B, potom splňuje uvedenou podmínku" se dokáže celkem snadno, ve speciálním případě:
je-li
,
,
, potom
a
(pro
je tvrzení
triviální).
Je potřeba to jen zobecnit na lin. kombinaci s obecným počtem členů (indukce).
K důkazu obrácené implikace postačí nalézt v prostoru V množinu jeho "reálných" generátorů - vybrat z nich bázi už není problém.
Offline
↑ aaoswego:
Pruh nad kompl. číslem značí číslo k němu komplexně sdružené. Ostré závorky označují lineární obal toho, co je uvnitř.
Množina "reálných" generátorů se najde nejspíš šachováním s tou podmínkou
,
ale podrobně to zpracováno nemám.
Offline