• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Algebra Liego



    Podstrony: 1 [2] [3] [4] [5]
    Przeczytaj także...
    Algebra ogólna – obiekt matematyczny będący przedmiotem badań algebry uniwersalnej. Czasami algebra uniwersalna nazywana jest algebrą ogólną, wówczas rozważane w niej obiekty nazywa się zwykle algebrami abstrakcyjnymi lub po prostu algebrami.Algebra nad ciałem a. algebra liniowa – w algebrze liniowej przestrzeń liniowa wyposażona w dwuliniowe (wewnętrzne) działanie dwuargumentowe, nazywane mnożeniem (wektorów), które czyni z niej pierścień (niekoniecznie łączny).

    Algebra Liego – to przestrzeń wektorowa nad ciałem liczb rzeczywistych lub zespolonych i jednocześnie algebra, w której zdefiniowano mnożenie elementów zwane nawiasem Liego (patrz niżej). Algebry Liego są związane z grupami Liego.

    Elementy bazy algebry Liego nazywa się generatorami grupy Liego – za pomocą których można obliczyć dowolny element grupy Liego poprzez eksponentę. Każdej grupie Liego odpowiada algebra Liego i odwrotnie. Odpowiedniość ta pozwala badać grupy Liego za pomocą badania algebr Liego.

    Wymiar algebry Liego jest równy liczbie niezależnych generatorów.

    Przestrzeń liniowa lub wektorowa – w matematyce zbiór obiektów (nazywanych "wektorami"), które mogą być, nieformalnie rzecz ujmując, skalowane i dodawane. Formalnie jest to zbiór z określonymi dwoma działaniami: dodawaniem elementów tej przestrzeni (wektorów) i mnożeniem przez elementy ustalonego ciała, które związane są ze sobą poniższymi aksjomatami. Przestrzenie liniowe to podstawowy obiekt badań algebry liniowej i analizy funkcjonalnej. Znajdują zastosowanie niemal we wszystkich gałęziach matematyki, naukach ścisłych i inżynierii.Pełna grupa liniowa (ogólna grupa liniowa) – grupa wszystkich odwracalnych (czyli grupa multiplikatywna pierścienia) macierzy kwadratowych ustalonego stopnia nad danym pierścieniem.

    Rzeczywistą algebrą Liego nazywa się algebrę Liego, jeśli jest przestrzenią wektorową określoną nad ciałem liczb rzeczywistych (analogicznie definiuje się zespoloną algebrę Liego).

    Każda algebra Liego może być reprezentowana za pomocą zbioru macierzy kwadratowych. Dany wybór macierzy nazywa się reprezentacją algebry Liego. Przy tym zachodzi wzajemnie jednoznaczna odpowiedniość pomiędzy algebrą a jej reprezentacją zwana homeomorfizmem: jest to wzajemnie jednoznaczne przyporządkowanie elementów algebry macierzom kwadratowym, zachowujące przy tym działania dodawania i mnożenia. Wybór wymiaru macierzy jest przy tym dowolny – stąd istnieje wiele możliwych reprezentacji danej algebry. Algebry Liego oraz ich reprezentacje są używane w fizyce, w szczególności w mechanice kwantowej i fizyce cząstek elementarnych. Mają też zastosowanie w szukaniu rozwiązań układów równań nieliniowych itd.

    Macierz antysymetryczna – macierz kwadratowa, której wyrazy położone symetrycznie względem głównej przekątnej są przeciwnych znaków; innymi słowy, macierz kwadratowa A = [aij] jest antysymetryczna, gdy jej wyrazy spełniają warunekForma dwuliniowa albo funkcjonał dwuliniowy – w algebrze liniowej przekształcenie dwuliniowe danej przestrzeni liniowej w ciało jej skalarów, czyli dwuargumentowy funkcjonał, który jest liniowy ze względu na oba parametry. Studiowanie form dwuliniowych sprowadza się do badania wyniku utożsamienia danej przestrzeni liniowej z przestrzenią dualną do niej; różne utożsamienia wprowadzają różne geometrie na rozpatrywanej przestrzeni liniowej: w szczególności przestrzenie liniowe z wyróżnioną dodatnio określoną, symetryczną formą dwuliniową tworzą przestrzeń unitarną (tzn. przestrzeń liniową z wyróżnionym iloczynem skalarnym).

    Nazwa algebr pochodzi od Sophusa Lie. Dawniej nazywano je grupami infinitezymalnymi.

    Definicja[ | edytuj kod]

    Algebra Liego nad ciałem (zwykle lub ) to przestrzeń liniowa nad ciałem w której dodatkowo określone jest działanie dwuargumentowe nazywane nawiasem Liego, spełniające dla dowolnych i następujące warunki:

    Symbol Leviego-Civity (symbol zupełnie antysymetryczny) jest antysymetrycznym symbolem podobnym do delty Kroneckera, który jest zdefiniowany jako:W matematyce, grupa Liego to grupa, która jest zarazem gładką rozmaitością. Można na nią patrzeć jako na zbiór z dodatkowymi strukturami rozmaitości i grupy. Przykładem grupy Liego jest grupa obrotów przestrzeni trójwymiarowej. Grupy Liego są często spotykane w analizie matematycznej, fizyce i geometrii. Zostały po raz pierwszy wprowadzone przez Sophusa Liego w 1870 roku do badania równań różniczkowych.
  • dwuliniowość:
  • antysymetryczność:
  • tożsamość Jacobiego:
  • Spin – moment własny pędu cząstki w układzie, w którym nie wykonuje ruchu postępowego. Własny oznacza tu taki, który nie wynika z ruchu danej cząstki względem innych cząstek, lecz tylko z samej natury tej cząstki. Każdy rodzaj cząstek elementarnych ma odpowiedni dla siebie spin. Cząstki będące konglomeratami cząstek elementarnych (np. jądra atomów) mają również swój spin będący sumą wektorową spinów wchodzących w skład jego cząstek elementarnych.Library of Congress Control Number (LCCN) – numer nadawany elementom skatalogowanym przez Bibliotekę Kongresu wykorzystywany przez amerykańskie biblioteki do wyszukiwania rekordów bibliograficznych w bazach danych i zamawiania kart katalogowych w Bibliotece Kongresu lub u innych komercyjnych dostawców.


    Podstrony: 1 [2] [3] [4] [5]




    Warto wiedzieć że... beta

    Twierdzenie Noether – twierdzenie udowodnione przez Emmy Noether, mające fundamentalne znaczenie w fizyce. Dotyczy związku zasad zachowania z odpowiednimi symetriami ciągłymi.
    Homomorfizm grup – przekształcenie zachowujące strukturę grup, tj. homomorfizm grup jako struktur algebraicznych. Z punktu widzenia teorii kategorii homomorfizmy grup są klasy morfizmami kategorii grup, z tego też względu nazywane są one czasem morfizmami grup.
    Baza – pojęcie będące przeniesieniem oraz rozwinięciem idei układu współrzędnych kartezjańskich w przestrzeniach euklidesowych na abstrakcyjne przestrzenie liniowe.
    Warunek rzędu algebry Liego – (ang. Lie Algebra Rank Condition – LARC) to jedna z metod określania, czy nieliniowy układ bezdryfowy (np.robot mobilny) jest układem sterowalnym. Zagadnienie to związane jest z algebrą Liego. Metoda polega na generacji kolejnych pól wektorowych tak długo, aż uzyska się z ich złożenia macierz o pełnym wymiarze (należy pamiętać o tym, żeby baza generatora nie powtarzała się). Jeżeli wyznacznik macierzy jest różny od zera, to układ jest sterowalny.
    Macierz ortogonalna – macierz przekształcenia ortogonalnego przestrzeni euklidesowej n-wymiarowej względem bazy ortonormalnej tej przestrzeni.
    Relacja antysymetryczna, relacja słabo antysymetryczna – dwuczłonowa relacja, która nie może zachodzić jednocześnie dla par ( x , y ) {displaystyle (x,y)} i ( y , x ) {displaystyle (y,x)} dla różnych x {displaystyle x} i y {displaystyle y} .
    Eksponenta macierzy jest funkcją macierzową zdefiniowaną dla macierzy kwadratowych analogicznie jak klasyczna funkcja wykładnicza. Eksponentą macierzy rzeczywistej lub zespolonej n×n jest macierz n×n, oznaczana jako e albo exp(X), zadana przez szereg potęgowy

    Reklama

    Czas generowania strony: 0.059 sek.