Zespolone macierze Hadamarda a zbior baz optymalnych pomiarow ...
Zespolone macierze Hadamarda a zbior baz optymalnych pomiarow ...
Zespolone macierze Hadamarda a zbior baz optymalnych pomiarow ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
sty i staje się uciążliwy podczas prób identyfikacji nowych klas macierzy <strong>Hadamarda</strong> -<br />
patrz Rozdział 4.<br />
1.2.4 Postać odfazowana oraz rdzeń macierzy <strong>Hadamarda</strong><br />
Definicja 1.2.3. Macierz <strong>Hadamarda</strong> jest w postaci odfazowanej, gdy jej pierwszy<br />
wiersz i pierwsza kolumna składają się tylko z jedynek;<br />
[H]1, j = [H]j, 1 = 1 dla j = 1, . . . , N. (1.10)<br />
Każdą macierz można doprowadzić do postaci odfazowanej mnożąc ją z lewej i/lub z pra-<br />
wej strony przez odpowiednio dobrane <strong>macierze</strong> diagonalne.<br />
Dwie <strong>macierze</strong> <strong>Hadamarda</strong>, które mają taką samą postać odfazowaną są równoważne.<br />
Zatem całkowitą informację o postaci macierzy można uzyskać jedynie z elementów ma-<br />
cierzy (N −1)-wymiarowej, leżących poza pierwszym wierszem i pierwszą kolumną - w tak<br />
zwanym rdzeniu macierzy.<br />
W dalszej części używane będą (poza jednym wyjątkiem) wyłącznie <strong>macierze</strong> w postaci<br />
odfazowanej.<br />
1.2.5 Macierze izolowane oraz defekt macierzy<br />
Definicja 1.2.4. Macierz <strong>Hadamarda</strong> H jest nazywana macierzą izolowaną, jeżeli ist-<br />
nieje takie otoczenie W macierzy H, w którym nie istnieje żadna inna taka macierz.<br />
Przez otoczenie macierzy należy rozumieć macierz, której elementy powstają z wyjściowej<br />
macierzy poprzez infinitezymalne zaburzenia.<br />
Definicja 1.2.5. Defektem d(H) dla N-wymiarowej macierzy <strong>Hadamarda</strong> H nazywamy<br />
wymiar przestrzeni generowanej przez rozwiązania układu rzeczywistych równań liniowych<br />
ze zmienną macierzową R ∈ R N×N<br />
R1, k = 0 k ∈ {2, . . . , N} (1.11)<br />
Rj, 1 = 0 j ∈ {1, . . . , N} (1.12)<br />
N<br />
Hj, nHk, n (Rj, n − Rk, n) = 0 1 j < k N (1.13)<br />
n=1<br />
Defekt jest wielkością mogącą posłużyć do określenia czy dana macierz <strong>Hadamarda</strong> jest<br />
punktem izolowanym w przestrzeni HN. Można udowodnić następujący fakt:<br />
Lemat 1.2.6. Macierz <strong>Hadamarda</strong> H jest punktem izolowanym, gdy defekt d(H) = 0.<br />
Nie jest to warunek konieczny i wystarczający na orzeczenie, czy dana macierz jest izolowa-<br />
na, jednakże pozwala przypuszczać, czy należy ona do pewnej rodziny. Ilość parametrów,<br />
od których zależy taka rodzina jest co najwyżej równa defektowi macierzy.<br />
12