From Wikipedia, the free encyclopedia
Hadamardin matriisi tarkoittaa matematiikassa neliömatriisia, jonka komponentit ovat lukuja +1 ja −1 ja jonka rivit ovat pareittain ortogonaalisia. [1] Hadamardin matriiseja käytetään virheitä korjaavien koodien teoriassa muun muassa Reed-Muller-koodien konstruoimiseen.
Matriisit on nimetty ranskalaisen matemaatikon Jacques Hadamardin mukaan.
Määritelmästä seuraa, että kertalukua oleva Hadamardin matriisi toteuttaa ehdon
missä In on n × n yksikkömatriisi.
Olkoon M kertalukua n oleva kompleksinen matriisi, jonka alkiot toteuttavat ehdon |Mij| ≤1. Tällöin Hadamardin epäyhtälön mukaan
Yhtäsuuruus tässä rajassa saavutetaan reaalilukumatriisilla M silloin ja vain silloin, kun M on Hadamardin matriisi.
Hadamardin matriisin kertaluku voi olla vain 1, 2, tai luvun 4 monikerta.
Esimerkkejä Hadamardin matriiseista onnistui ensimmäisenä konstruoimaan James Joseph Sylvester. Olkoon H kertalukua n oleva Hadamardin matriisi. Tällöin ositettu matriisi
on kertalukua 2n oleva Hadamardin matriisi. Tätä prosessia toistamalla saadaan muodostettua seuraava jono Hadamardin matriiseja:
Tällä tavalla Sylvester onnistui konstruoimaan kertalukuja 2k, missä k on ei-negatiivinen kokonaisluku, olevia Hadamardin matriiseja.
Sylvesterin matriiseilla on useita erityisominaisuuksia. Ne ovat muun muassa symmetrisiä. Ensimmäisen rivin ja ensimmäisen sarakkeen komponentit ovat kaikki positiivisia. Sylvesterin matriisit liittyvät läheisesti Walshin funktioihin.
Tärkein Hadamardin matriiseihin liittyvä avoin ongelma koskee niiden olemassaoloa. Hadamardin konjektuurin mukaan on olemassa kaikkia kertalukuja 4k, missä k on positiivinen kokonaisluku, olevia Hadamardin matriiseja.
Sylvesterin menetelmällä voidaan muodostaa Hadamardin matriiseja, joiden kertaluku on 1, 2, 4, 8, 16, 32, jne. Hadamard itse onnistui pian konstruoimaan kertalukuja 12 ja 20 olevat Hadamardin matriisit. Raymond Paley esitti myöhemmin menetelmän, jolla voidaan konstruoida Hadamardin matriiseja, joiden kertaluku on muotoa q + 1, missä q on jonkin parittoman alkuluvun potenssi, joka on kongruentti luvun 3 kanssa modulo 4. Hän esitti konstruktiomenetelmän myös Hadamardin matriiseille, joiden kertaluvut ovat muotoa 2(q + 1), missä q on jonkin parittoman alkuluvun potenssi, joka on kongruentti luvun 1 kanssa modulo 4. Paleyn konstruktio perustuu äärellisten kuntien teoriaan.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.