05.07.2013 Views

Zespolone macierze Hadamarda a zbior baz optymalnych pomiarow ...

Zespolone macierze Hadamarda a zbior baz optymalnych pomiarow ...

Zespolone macierze Hadamarda a zbior baz optymalnych pomiarow ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!