Algebra na chłopski rozum - Grupa i podgrupa 2
-
- Użytkownik
- Posty: 9
- Rejestracja: 16 lut 2022, o 20:09
- Płeć: Mężczyzna
- wiek: 50
- Podziękował: 7 razy
Algebra na chłopski rozum - Grupa i podgrupa 2
Treść zadania jest następująca :
Rozważmy grupę \(\displaystyle{ G := (Bij([-1, 1]), \circ)}\). Niech zbiór \(\displaystyle{ H}\) będzie zdefiniowany warunkiem :
\(\displaystyle{ H := \{ x \in G : (\forall y\in G)(\forall t\in[-1, 1])\, x(y(t)) = y(x(t)) \}}\)
Czy \(\displaystyle{ H \le G}\) ? Uzasadnić.
Proponowane rozwiązanie :
Nie wiemy, czy grupa \(\displaystyle{ G}\) jest grupą abelową. Natomiast ze spełnionego warunku przemienności wynika, że grupa \(\displaystyle{ H}\) jest grupą abelową, czyli spełnia ostrzejsze kryteria niż grupa \(\displaystyle{ G}\), więc spełnia zalezność \(\displaystyle{ H \le G.}\)
Jako szarlatan matematyczny z ciekawością zapoznam się z każdą opinią - Władzik.
Rozważmy grupę \(\displaystyle{ G := (Bij([-1, 1]), \circ)}\). Niech zbiór \(\displaystyle{ H}\) będzie zdefiniowany warunkiem :
\(\displaystyle{ H := \{ x \in G : (\forall y\in G)(\forall t\in[-1, 1])\, x(y(t)) = y(x(t)) \}}\)
Czy \(\displaystyle{ H \le G}\) ? Uzasadnić.
Proponowane rozwiązanie :
Nie wiemy, czy grupa \(\displaystyle{ G}\) jest grupą abelową. Natomiast ze spełnionego warunku przemienności wynika, że grupa \(\displaystyle{ H}\) jest grupą abelową, czyli spełnia ostrzejsze kryteria niż grupa \(\displaystyle{ G}\), więc spełnia zalezność \(\displaystyle{ H \le G.}\)
Jako szarlatan matematyczny z ciekawością zapoznam się z każdą opinią - Władzik.
Ostatnio zmieniony 16 lut 2022, o 21:48 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Nieczytelny zapis - brak LaTeX-a. Proszę zapoznać się z instrukcją: http://matematyka.pl/latex.htm.
Powód: Nieczytelny zapis - brak LaTeX-a. Proszę zapoznać się z instrukcją: http://matematyka.pl/latex.htm.
-
- Administrator
- Posty: 34285
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Re: Algebra na chłopski rozum - Grupa i podgrupa 2
A wiesz, co oznacza zapis \(\displaystyle{ H \le G}\) ? Bo zasadniczo nie oznacza on "\(\displaystyle{ H}\) spełnia ostrzejsze kryteria niż \(\displaystyle{ G}\)".Wladzik pisze: ↑16 lut 2022, o 21:35Proponowane rozwiązanie :
Nie wiemy, czy grupa \(\displaystyle{ G}\) jest grupą abelową. Natomiast ze spełnionego warunku przemienności wynika, że grupa \(\displaystyle{ H}\) jest grupą abelową, czyli spełnia ostrzejsze kryteria niż grupa \(\displaystyle{ G}\), więc spełnia zalezność \(\displaystyle{ H \le G.}\)
JK
-
- Użytkownik
- Posty: 9
- Rejestracja: 16 lut 2022, o 20:09
- Płeć: Mężczyzna
- wiek: 50
- Podziękował: 7 razy
Re: Algebra na chłopski rozum - Grupa i podgrupa 2
Treść zadania interpretuję następująco : oczekiwane jest uzasadnienie, że \(\displaystyle{ H}\) jest podgrupą grupy \(\displaystyle{ G}\) (tak rozumiem relację : \(\displaystyle{ H \le G}\))
Moje rozumowanie idzie na skróty :
1. Zbiór \(\displaystyle{ H}\) zawiera się w elementach grupy \(\displaystyle{ G}\).
2. Zbiór \(\displaystyle{ H}\) jest zbiorem wszystkich elementów w \(\displaystyle{ G}\), spełniających dodatkowy warunek przemienności - charakterystyczny dla grupy abelowej - więc powinien stanowić podgrupę abelową wewnątrz grupy \(\displaystyle{ G}\).
Czy powyższe dwie przesłanki są wystarczające, by uznać, że zbiór \(\displaystyle{ H}\) z działaniem grupy \(\displaystyle{ G}\) tworzy podgrupę spełniającą warunek \(\displaystyle{ H \le G}\) ?
Czy któraś z obu przesłanek jest błędem ?
Czy brakuje może jakiejs kolejnej przesłanki ?
Czy powinienem wyznaczyć w jakiś sposób centrum grupy \(\displaystyle{ G}\) i wykorzystać wynik ?
Władzik.
Ostatnio zmieniony 17 lut 2022, o 16:21 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Używaj LaTeXa także do pojedynczych symboli matematycznych.
Powód: Używaj LaTeXa także do pojedynczych symboli matematycznych.
- arek1357
- Użytkownik
- Posty: 5748
- Rejestracja: 6 gru 2006, o 09:18
- Płeć: Mężczyzna
- Lokalizacja: blisko
- Podziękował: 131 razy
- Pomógł: 526 razy
Re: Algebra na chłopski rozum - Grupa i podgrupa 2
Poczytaj sobie o centrum grupy podejrzewam, że w tym przypadku centrum będzie się składało z jednego elementu tylko, ponieważ w grupach permutacji centrum jest trywialne, więc przez analogię taka bijekcja na zbiorze nieprzeliczalnym to można sobie powiedzieć , że to taka permutacja, i dlatego moje takie skojarzenie, że pewnie ta twoja podgrupa będzie jednoelementowa...
-
- Użytkownik
- Posty: 9
- Rejestracja: 16 lut 2022, o 20:09
- Płeć: Mężczyzna
- wiek: 50
- Podziękował: 7 razy
Re: Algebra na chłopski rozum - Grupa i podgrupa 2
Relację \(\displaystyle{ H \le G}\) interpretuję następująco - H jest podgrupą grupy G.Jan Kraszewski pisze: ↑17 lut 2022, o 00:18A wiesz, co oznacza zapis \(\displaystyle{ H \le G}\) ? Bo zasadniczo nie oznacza on "\(\displaystyle{ H}\) spełnia ostrzejsze kryteria niż \(\displaystyle{ G}\)".Wladzik pisze: ↑16 lut 2022, o 21:35Proponowane rozwiązanie :
Nie wiemy, czy grupa \(\displaystyle{ G}\) jest grupą abelową. Natomiast ze spełnionego warunku przemienności wynika, że grupa \(\displaystyle{ H}\) jest grupą abelową, czyli spełnia ostrzejsze kryteria niż grupa \(\displaystyle{ G}\), więc spełnia zalezność \(\displaystyle{ H \le G.}\)
JK
Powyższe mam uzasadnić.
Widzę, że zbiór H jest ograniczony wewnątrz zbioru G przez warunek przemienności - więc zbiór H spełnia ostrzejsze kryteria niż zbiór G. I to próbuję uznać za wystarczające do wykazania relacji \(\displaystyle{ H \le G}\) - poddając się ocenie na Forum.
Władzik.
-
- Użytkownik
- Posty: 2282
- Rejestracja: 14 cze 2011, o 11:34
- Płeć: Mężczyzna
- Lokalizacja: Sosnowiec
- Podziękował: 88 razy
- Pomógł: 351 razy
Re: Algebra na chłopski rozum - Grupa i podgrupa 2
Terminy, którymi się tu posługujesz, raczej nie funkcjonują w matematyce. \(\displaystyle{ H}\) jest po prostu podzbiorem \(\displaystyle{ G}\), który jest złożony z elementów spełniających dany warunek. Ten warunek można wypowiedzieć słowami: \(\displaystyle{ H}\) składa się dokładnie z tych elementów \(\displaystyle{ G}\), które są przemienne z każdym innym elementem.Widzę, że zbiór H jest ograniczony wewnątrz zbioru G przez warunek przemienności - więc zbiór H spełnia ostrzejsze kryteria niż zbiór G.
To uzasadnienie jest zdecydowanie niewystarczające.I to próbuję uznać za wystarczające do wykazania relacji \(\displaystyle{ H \le G}\) - poddając się ocenie na Forum.
Musisz znać przede wszystkim definicję podgrupy i najlepiej także jeden z warunków równoważnych.
-
- Użytkownik
- Posty: 286
- Rejestracja: 21 sie 2014, o 14:12
- Płeć: Mężczyzna
- Lokalizacja: Poznań
- Podziękował: 17 razy
- Pomógł: 30 razy
Re: Algebra na chłopski rozum - Grupa i podgrupa 2
Ogólne stwierdzenie, że nakładając kolejne warunki na już istniejące (dla grupy) czynią taki podzbiór podgrupą jest nieprawdziwe.
Prosty przykład, weźmy grupę bijekcji z twojego zadania i nałóżmy dodatkowy warunek np. że są to funkcje malejące na przedziale [0,1].
I co ? Mamy dodatkowy warunek czyli po twojemu zaostrzyłem kryteria, ale póki co jest to tylko podzbiór G ale nie jest to jego podgrupa, bo sam nie stanowi grupy (dlaczego ?).
Tutaj raczej trzeba właśnie wykorzystać fakt, że jest to centrum grupy i pokazać że centrum dowolnej grupy jest jej podgrupą (trywialne).
-
- Administrator
- Posty: 34285
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Re: Algebra na chłopski rozum - Grupa i podgrupa 2
To za mało.Wladzik pisze: ↑17 lut 2022, o 11:21Treść zadania interpretuję następująco : oczekiwane jest uzasadnienie, że \(\displaystyle{ H}\) jest podgrupą grupy \(\displaystyle{ G}\) (tak rozumiem relację : \(\displaystyle{ H \le G}\))
Moje rozumowanie idzie na skróty :
1. Zbiór \(\displaystyle{ H}\) zawiera się w elementach grupy \(\displaystyle{ G}\).
2. Zbiór \(\displaystyle{ H}\) jest zbiorem wszystkich elementów w \(\displaystyle{ G}\), spełniających dodatkowy warunek przemienności - charakterystyczny dla grupy abelowej - więc powinien stanowić podgrupę abelową wewnątrz grupy \(\displaystyle{ G}\).
W ten sam sposób mógłbyś twierdzić, że zbiór liczb naturalnych z dodawaniem tworzy podgrupę abelową zbioru liczb rzeczywistych z dodawaniem - dokładnie te same dwie przesłanki są spełnione. A to - jak wiadomo - nieprawda.
Jeżeli chcesz sprawdzić, że podzbiór grupy tworzy podgrupę, to powinieneś sprawdzić, czy jest on zamknięty na to działanie i na branie elementu odwrotnego.
JK
-
- Użytkownik
- Posty: 9
- Rejestracja: 16 lut 2022, o 20:09
- Płeć: Mężczyzna
- wiek: 50
- Podziękował: 7 razy
Re: Algebra na chłopski rozum - Grupa i podgrupa 2
Cenny komentarz.Kordyt pisze: ↑17 lut 2022, o 14:19Ogólne stwierdzenie, że nakładając kolejne warunki na już istniejące (dla grupy) czynią taki podzbiór podgrupą jest nieprawdziwe.
Prosty przykład, weźmy grupę bijekcji z twojego zadania i nałóżmy dodatkowy warunek np. że są to funkcje malejące na przedziale [0,1].
I co ? Mamy dodatkowy warunek czyli po twojemu zaostrzyłem kryteria, ale póki co jest to tylko podzbiór G ale nie jest to jego podgrupa, bo sam nie stanowi grupy (dlaczego ?).
Tutaj raczej trzeba właśnie wykorzystać fakt, że jest to centrum grupy i pokazać że centrum dowolnej grupy jest jej podgrupą (trywialne).
Odnośnie mojego zaostrzającego kryterium - przemienność wydała mi się jednak wyjątkowym warunkiem, bo charakterystycznym dla grupy abelowej - stąd próba skrótu, że taki specyficzny warunek zapewnia wydzielenie właśnie podgrupy.
Tylko tym bronie chłopskiego rozumu, że przykładowa grupa liczb naturalnych nie jest zbiorem WSZYSTKICH elementów spełniających warunek przemienności.
Dodano po 4 minutach 26 sekundach:
Odpowiedzi, które uzyskałem, bardzo mnie usatysfakcjonowały. Wskazały mi głębię zagadnienia oraz ścieżki do poszukiwania rozwiązania.
Pozdrawiam - Władzik.
Ostatnio zmieniony 17 lut 2022, o 22:47 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
Powód: Poprawa wiadomości.
-
- Administrator
- Posty: 34285
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Re: Algebra na chłopski rozum - Grupa i podgrupa 2
Zbiór liczb naturalnych z dodawaniem nie jest grupą.
A to już zupełnie inna kwestia, której wcześniej nie poruszałeś. To istotnie jest ważne, co napisał już Kordyt.
JK