Isometria hermiittinen

_operaattori_

Löytyisiköhän palstan matemaatikoilta apua seuraavaan:

Olisi näytettävä, että mielivaltainen isometria U voidaan esittää muodossa U = exp(iH), missä H on hermiittinen. Eksponenttifuntio on määritelty perinteisesti sarjakehitelmän avulla.

Jotenkin tässä tulisi käyttää hyväksi operaattoreiden ominaisarvojen ja ominaisvektoreiden ominaisuuksia.

Muistutuksen vuoksi:

U on isometria, jos U*U = I. H on hermiittinen, jos H* = H. Tuossa "*" tarkoittaa daggeria, eli adjungaattia.

4

393

    Vastaukset

    Anonyymi (Kirjaudu / Rekisteröidy)
    5000
    • matikastakiinnostunut

      Isometria liittyy käsittääkseni vain metrisiin avaruuksiin. Missä metrisessä avaruudessa liikutaan? C^n? Onko H ja U kompleksisia nxn-matriiseja?

      Ajatukseni on, että isometrian välittävän matriisin ominaisarvot on oltava ilmeisesti -1 tai 1 ja tunnetusti |e^{ix}|=1. Tätä kautta ilmeisesti voidaan todistaa, että isometria on muotoa e^{iP} jollain matriisilla P.

      • _operaattori_

        Jeps.. metriikka tarvitaan.

        En ole varma kuinka yleisissä avaruuksissa tuo mainittu lause on voimassa. Tässä voitanee olettaa operaattoreiden olevan nxn-matriiseja C^n:ssä. Tällöin tosin U on myös unitaarinen (koska on isometrinen äärellisulotteisessa avaruudessa).

        Isometrian ominaisarvoille tosiaan pätee |x|=1, samoin tietysti |exp(iz)|=1 kaikilla z. Mutta seuraako tuosta kovinkaan suoraviivaisesti, että kaikki isometriat (tässä: unitaariset matriisit) voidaan esittää muodossa exp(iP).

        Kaikki hermiittiset matriisit diagonalisoituvat jollakin unitaarisella similaarimuunnoksella. Eli H = UDU^-1, missä D on diagonaalimatriisi ja diagonaalialkiot ovat H:n ominaisarvot. Niin ja U:ssa ovat H:n ominaisvektorit. Samoin kaikki unitaariset matriisit voidaan similaarimuuntaa diagonaalimuotoon jollain unitaarisella matriisilla.

        On myös helppo näyttää, että exp(iH) on isometrinen (unitaarinen).


      • _operaattori_

        Taisin ratkaista ko. probleeman. Antamastasi vinkistä oli hyötyä.

        Olkoon U mielivaltainen unitaarinen matriisi. Se voidaan diagonalisoida muotoon

        U = VDV^-1,

        missä D = diag(uk). uk:t ovat U:n ominaisarvot. Koska |uk|=1 => uk = exp(i wk), missä wk kuuluu reaalilukuihin. Nyt siis D on muotoa diag(exp(i wk)). Otetaan e^ ulos unitaarisen matriisin V ohi, jolloin

        U = exp(VAV^-1),

        missä A = diag(i wk). Otetaan i vielä eteen, jolloin

        U = exp(i VWV^-1).

        Nyt on selvää, että VWV^-1 on hermiittinen, ja väite on siis todistettu.


      • on metriikan säilyttävä.
        _operaattori_ kirjoitti:

        Taisin ratkaista ko. probleeman. Antamastasi vinkistä oli hyötyä.

        Olkoon U mielivaltainen unitaarinen matriisi. Se voidaan diagonalisoida muotoon

        U = VDV^-1,

        missä D = diag(uk). uk:t ovat U:n ominaisarvot. Koska |uk|=1 => uk = exp(i wk), missä wk kuuluu reaalilukuihin. Nyt siis D on muotoa diag(exp(i wk)). Otetaan e^ ulos unitaarisen matriisin V ohi, jolloin

        U = exp(VAV^-1),

        missä A = diag(i wk). Otetaan i vielä eteen, jolloin

        U = exp(i VWV^-1).

        Nyt on selvää, että VWV^-1 on hermiittinen, ja väite on siis todistettu.

        Sisätuloavaruuksissa riittänee, että sisätulo säilyy.


    Ketjusta on poistettu 0 sääntöjenvastaista viestiä.

    Luetuimmat keskustelut

    1. Kumpi vetoaa enemmän sinuun

      Kaivatun ulkonäkö vai persoonallisuus? Ulkonäössä kasvot vai vartalo? Mikä luonteessa viehättää eniten? Mikä ulkonäössä?
      Ikävä
      95
      1877
    2. Ei se mene ohi ajan kanssa

      Näin se vaan on.
      Ikävä
      88
      1330
    3. Tavoitteeni onkin ärsyttää

      Sua niin turhaudut ja unohdat koko homman
      Ikävä
      110
      1143
    4. Tunnistebiisi

      Laita joku tunnistebiisi, niin tiedän ett oot täällä ja kaipaat ehkä mua
      Ikävä
      76
      1037
    5. Taidat tykätä linnuista paljon

      Mikä on sun lemppari ☺️😉🥹🦢🐦‍⬛🦉🦜🦚
      Ikävä
      119
      1010
    6. Okei nyt mä ymmärrän

      Olet siis noin rakastunut, se selittää. Onneksesi tunne on molemminpuolinen 😘
      Ikävä
      57
      873
    7. Miks käyttäydyt noin?

      Välttelet kaikkia kohtaamisia...
      Ikävä
      47
      791
    8. Ei sun tarvi jännittää enää

      en yritä enää mitään. Tiedän että olin mauton ja sössin kaiken.
      Ikävä
      36
      782
    9. Olen huolissani

      Että joku päivä ihastut/rakastut siskooni. Ja itseasiassa haluaisin, ettei hän olisi mitenkään sinun tyyppiäsi ja pitäis
      Ikävä
      48
      741
    10. Minkälainen ääni mulla on mies

      Sinun mielestä?
      Ikävä
      33
      693
    Aihe