Udowodnij , że struktura jest grupą

Grupy, pierścienie, ciała, rozkładalność, klasyczne struktury algebraiczne...
Macius700
Użytkownik
Użytkownik
Posty: 482
Rejestracja: 11 maja 2008, o 13:58
Płeć: Mężczyzna
Lokalizacja: Poznań
Podziękował: 27 razy

Udowodnij , że struktura jest grupą

Post autor: Macius700 »

Uzasadnij , że następująca struktura jest grupą :

\(\displaystyle{ (K , \circ )}\) , gdzie \(\displaystyle{ K=\{ f_{0},f_{1},f_{2},f_{3} \}}\) i \(\displaystyle{ f_{0}(x)=x , f_{1}(x)=-x , f_{2}(x)=\frac{1}{x} , f_{3}(x)=-\frac{1}{x} , x \neq 0}\). Działanie\(\displaystyle{ \circ}\) jest superpozycją
Ostatnio zmieniony 6 mar 2014, o 01:47 przez Jan Kraszewski, łącznie zmieniany 2 razy.
Powód: Poprawa wiadomości.
xiikzodz
Użytkownik
Użytkownik
Posty: 1862
Rejestracja: 4 paź 2008, o 02:13
Płeć: Kobieta
Lokalizacja: Lost Hope
Podziękował: 28 razy
Pomógł: 502 razy

Udowodnij , że struktura jest grupą

Post autor: xiikzodz »

Skladanie przeksztalcen jest laczne wystarczy wiec zidentyfikowac elementy odwrotne. Elementem neutralnym jest identycznosc, czyli \(\displaystyle{ f_0}\). Pozostale elementy sa swoimi odwrotnosciami. Np. sprawdzenie dla \(\displaystyle{ f_2}\):

\(\displaystyle{ f_2\circ f_2 (x)=f_2 ft(-\frac 1x\right)=-\frac{1}{-\frac{1}{x}}=x}\).
Macius700
Użytkownik
Użytkownik
Posty: 482
Rejestracja: 11 maja 2008, o 13:58
Płeć: Mężczyzna
Lokalizacja: Poznań
Podziękował: 27 razy

Udowodnij , że struktura jest grupą

Post autor: Macius700 »

może ktoś mi rozwiązac to zadanie w pełni nie wiem jak udowodnić ze istnieje element odwrotny , ze struktura jest łaczna itp pomocy
Jan Kraszewski
Administrator
Administrator
Posty: 36081
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 6 razy
Pomógł: 5345 razy

Udowodnij , że struktura jest grupą

Post autor: Jan Kraszewski »

No przecież post wyżej masz wszystko napisane.
Struktura jest łączna bo składanie odwzorowań jest łączne.
Elementem neutralnym jest \(\displaystyle{ f_0}\).
Każdy element jest odwrotny sam do siebie.

Czego jeszcze nie rozumiesz?

JK
Macius700
Użytkownik
Użytkownik
Posty: 482
Rejestracja: 11 maja 2008, o 13:58
Płeć: Mężczyzna
Lokalizacja: Poznań
Podziękował: 27 razy

Udowodnij , że struktura jest grupą

Post autor: Macius700 »

możesz mi napisać udowdnienia tych rzeczy co napisałes bo to nie wystarczy napisac jeszcze trzeba udoowdnić
Jan Kraszewski
Administrator
Administrator
Posty: 36081
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 6 razy
Pomógł: 5345 razy

Udowodnij , że struktura jest grupą

Post autor: Jan Kraszewski »

To, że \(\displaystyle{ f_2}\) jest odwrotne samo do siebie napisała Ci xiikzodz. Pozostałe robi się zupełnie analogicznie, więc sobie poradzisz.
Fakt, że \(\displaystyle{ f_0}\) jest elementem neutralnym wynika wprost z definicji złożenia, trzeba ją tylko napisać. Podobnie jest z łącznością składania funkcji.

Napisz to sam, a my (ja lub ktoś inny) sprawdzimy, czy dobrze. Inaczej nigdy się tego nie nauczysz.

JK

PS. Definicja złożenia: \(\displaystyle{ g\circ f(x)=g(f(x))}\).
sednodna
Użytkownik
Użytkownik
Posty: 10
Rejestracja: 23 paź 2008, o 22:17
Płeć: Mężczyzna
Lokalizacja: ze wsi
Pomógł: 2 razy

Udowodnij , że struktura jest grupą

Post autor: sednodna »

Można to zapisać w tabelce:

\(\displaystyle{ \begin{matrix} . & f_0 & f_1 & f_2 & f_3\\ f_0 &x&-x&\frac{1}{x}&\frac{1}{-x}\\ f_1 &-x&x&\frac{1}{-x}&\frac{1}{x} \\ f_2 & \frac{1}{x}&\frac{1}{-x}&x&-x\\ f_3 &\frac{1}{-x}&\frac{1}{x}&-x&x \end{matrix}}\)
Widać, że działanie na zbiorze nie wychodzi poza dany zbiór. Stąd wnioskujemy, że ten zbiór jest grupą.
mixpiotrek
Użytkownik
Użytkownik
Posty: 5
Rejestracja: 12 lip 2010, o 16:57
Płeć: Mężczyzna
Lokalizacja: radom

Udowodnij , że struktura jest grupą

Post autor: mixpiotrek »

Mam problem z tym samym zadaniem, mogłby ktoś krok po kroku wytłumaczyć? Z góry dziękuje
Jan Kraszewski
Administrator
Administrator
Posty: 36081
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 6 razy
Pomógł: 5345 razy

Udowodnij , że struktura jest grupą

Post autor: Jan Kraszewski »

Ale wszystko jest już napisane. Czego nie rozumiesz?

JK
ODPOWIEDZ