Dzień dobry,
trafiłam na coś takiego:
Na przykładzie liczb zespolonych \(\displaystyle{ \CC}\) zilustruj jakich własności wymagamy by nazwać strukturę algebraiczną ciałem.
I mam tylko pytanie jak wpleść fragment " na przykładzie liczb zespolonych"?
Bo bez tego chyba wymieniłabym dziewięć aksjomatów ciała i tyle.
Własności ciała
-
- Użytkownik
- Posty: 124
- Rejestracja: 24 paź 2019, o 21:28
- Płeć: Kobieta
- wiek: 19
- Podziękował: 9 razy
- Pomógł: 1 raz
Własności ciała
Ostatnio zmieniony 11 lut 2020, o 14:06 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
Powód: Poprawa wiadomości.
-
- 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: Własności ciała
Po prostu przedstaw te aksjomaty na liczbach zespolonych.
Np zaczynając że \(\displaystyle{ (\mathbb{C},+)}\) jest grupą abelową
Działanie (zwane dalej dodawaniem):
\(\displaystyle{ +\colon \mathbb{C}\times \mathbb{C}\to \mathbb{C}}\)
\(\displaystyle{ (x_1,x_2)+(y_1,y_2)=(x_1+y_1,x_2+y_2)}\)
1.Jest łączne
\(\displaystyle{ (x_1,x_2)+\left((y_1,y_2)+(z_1,z_2)\right)=(x_1,x_2)+(y_1+z_1,y_2+z_2)=(x_1+y_1+z_1,x_2+y_2+z_2)=(x_1+y_1,x_2+y_2)+(z_1,z_2)=\left((x_1,x_2)+(y_1,y_2)\right)+(z_1,z_2)}\)
2. Przemienne:
\(\displaystyle{ (x_1,x_2)+(y_1,y_2)=(x_1+y_1,x_2+y_2)=(y_1+x_1,y_2+x_2)=(y_1,y_2)+(x_1,x_2)}\)
3. Istnieje el neutralny (zero)
\(\displaystyle{ (x_1,x_2)+(0,0)=(0,0)+(x_1,x_2)=(x_1,x_2)}\)
4. Dla każdego elementu \(\displaystyle{ (x_1,x_2)}\) isnieje element odwrotny (przeciwny) \(\displaystyle{ (-x_1,-x_2)}\)
\(\displaystyle{ (x_1,x_2)+(-x_1,-x_2)=(x_1-x_1,x_2-x_2)=(0,0)}\)
Pozostaje w ten sam sposób pokazać że \(\displaystyle{ (\mathbb{C},\cdot)}\) jest monoidem przemiennym
\(\displaystyle{ \cdot \colon \mathbb{C}\times \mathbb{C}\to \mathbb{C}}\)
A więc że działanie (zwane dalej mnożeniem):
\(\displaystyle{ (x_1,x_2)\cdot(y_1,y_2)=(x_1y_1-x_2y_2,x_1y_2+x_2y_1)}\)
Jest
5. łączne
6. przemienne
7. Występuje element neutralny \(\displaystyle{ (1,0)}\) - jedynka
Oprócz tego że
8.Zachodzi rozdzielność mnożenia względem dodawania
9.Każdy element poza zerem jest odwracalny w działaniu mnożenia.
Tu oczywiście liczbę \(\displaystyle{ (x_1,x_2)}\) rozumiemy jako \(\displaystyle{ z=x_1+ix_2}\)
Np zaczynając że \(\displaystyle{ (\mathbb{C},+)}\) jest grupą abelową
Działanie (zwane dalej dodawaniem):
\(\displaystyle{ +\colon \mathbb{C}\times \mathbb{C}\to \mathbb{C}}\)
\(\displaystyle{ (x_1,x_2)+(y_1,y_2)=(x_1+y_1,x_2+y_2)}\)
1.Jest łączne
\(\displaystyle{ (x_1,x_2)+\left((y_1,y_2)+(z_1,z_2)\right)=(x_1,x_2)+(y_1+z_1,y_2+z_2)=(x_1+y_1+z_1,x_2+y_2+z_2)=(x_1+y_1,x_2+y_2)+(z_1,z_2)=\left((x_1,x_2)+(y_1,y_2)\right)+(z_1,z_2)}\)
2. Przemienne:
\(\displaystyle{ (x_1,x_2)+(y_1,y_2)=(x_1+y_1,x_2+y_2)=(y_1+x_1,y_2+x_2)=(y_1,y_2)+(x_1,x_2)}\)
3. Istnieje el neutralny (zero)
\(\displaystyle{ (x_1,x_2)+(0,0)=(0,0)+(x_1,x_2)=(x_1,x_2)}\)
4. Dla każdego elementu \(\displaystyle{ (x_1,x_2)}\) isnieje element odwrotny (przeciwny) \(\displaystyle{ (-x_1,-x_2)}\)
\(\displaystyle{ (x_1,x_2)+(-x_1,-x_2)=(x_1-x_1,x_2-x_2)=(0,0)}\)
Pozostaje w ten sam sposób pokazać że \(\displaystyle{ (\mathbb{C},\cdot)}\) jest monoidem przemiennym
\(\displaystyle{ \cdot \colon \mathbb{C}\times \mathbb{C}\to \mathbb{C}}\)
A więc że działanie (zwane dalej mnożeniem):
\(\displaystyle{ (x_1,x_2)\cdot(y_1,y_2)=(x_1y_1-x_2y_2,x_1y_2+x_2y_1)}\)
Jest
5. łączne
6. przemienne
7. Występuje element neutralny \(\displaystyle{ (1,0)}\) - jedynka
Oprócz tego że
8.Zachodzi rozdzielność mnożenia względem dodawania
9.Każdy element poza zerem jest odwracalny w działaniu mnożenia.
Tu oczywiście liczbę \(\displaystyle{ (x_1,x_2)}\) rozumiemy jako \(\displaystyle{ z=x_1+ix_2}\)