Sifat pembatalan: Perbedaan antara revisi

Jelajahi riwayat secara interaktif

← Revisi sebelumnya

Konten dihapus Konten ditambahkan

VisualTeks wiki

Sebaris

Revisi terkini sejak 26 Desember 2022 11.21

Dalam matematika, pengertian dari pembatal adalah perampatan dari gagasan terbalikkan.

Sifat

Sifat-sifat diantaranya adalah:

Unsur $a$ dalam magma $(M,*)$ memiliki sifat pembatalan ruas kiri jika untuk semua $b$ dan $c$ pada $M$ , $a*b=a*c$ selalu menyiratkan bahwa $b=c$ .
Unsur $a$ pada magma $(M,*)$ memiliki sifat pembatalan ruas kanan jika untuk semua $b$ dan $c$ pada $M$ , $b*a=c*a$ selalu menyiratkan $b=c$ .
Unsur $a$ dalam magma $(M,*)$ memiliki sifat pembatalan kedua ruas jika keduanya adalah pembatalan ruas kiri dan ruas kanan.
Magma $(M,*)$ memiliki sifat pembatalan kiri jika semua $a$ di magma adalah sifat membatalkan ruas kiri, dan definisi serupa berlaku untuk sifat membatalkan ruas kanan atau sifat membatalkan kedua ruas.
Unsur terbalikkan ruas kiri adalah pembatalan kiri, dan ini sejalan untuk ruas kanan dan kedua ruas.

Contoh mengenai sifat pembatalan, ialah: setiap kuasigrup, dan dengan demikian setiap grup, bersifat membatalkan.

Interpretasi

Untuk mengatakan bahwa unsur $a$ dalam magma $(M,*)$ adalah pembatal-kiri, artinya fungsinya $g\colon x\mapsto a*x$ adalah injektif.^[1] Bahwa fungsi $g$ adalah injeksi menyiratkan bahwa diberikan beberapa persamaan bentuk $a*x=b$ , di mana satu-satunya yang tidak diketahui adalah $x$ , hanya ada satu kemungkinan nilai $x$ memenuhi persamaan. Lebih tepatnya, kita dapat mendefinisikan suatu fungsi $f$ , kebalikan dari $g$ , sehingga untuk semua $x$ , $f(g(x))=f(a*x)=x$ . Dengan kata lain, untuk semua $x$ dan $y$ pada $M$ , jika $a*x=a*y$ , maka $x=y$ .^[2]

Contoh monoid pembatalan dan semigrup

Bilangan bulat positif (sama-sama taknegatif) membentuk sebuah pembatal semigrup terhadap penambahan. Bilangan bulat taknegatif membentuk pembatalan monoid di bawah penambahan.

Faktanya, semigrup atau monoid bebas mana pun mematuhi hukum pembatalan, dan secara umum, suatu semigrup atau monoid yang membenamkan ke dalam grup (seperti yang dengan jelas ditunjukkan dalam contoh di atas) akan mematuhi hukum pembatalan.

Dalam nada yang berbeda, (subgrup dari) semigrup perkalian unsur dari gelanggang yang bukan pembagi nol (yang hanya merupakan himpunan dari semua unsur bukan nol jika cincin yang dimaksud adalah ranah, seperti bilangan bulat) memiliki sifat pembatalan. Perhatikan bahwa ini tetap valid.

Struktur aljabar takmembatalkan

Meskipun hukum pembatalan berlaku untuk penjumlahan, pengurangan, perkalian dan pembagian bilangan real dan bilangan kompleks (dengan pengecualian tunggal perkalian dengan nol dan pembagian nol dengan bilangan lain), ada sejumlah struktur aljabar di mana hukum pembatalan tidak sah.

Perkalian silang dari dua vektor tidak mematuhi hukum pembatalan. Jika $\mathbf {a} \times \mathbf {b} =\mathbf {a} \times \mathbf {c}$ , maka ini tidak mengikuti bahwa $\mathbf {b} =\mathbf {c}$ bahkan jika $\mathbf {a} \neq 0$ .

Perkalian matriks juga tidak selalu mematuhi hukum pembatalan. Jika $\mathbf {A} \mathbf {B} =\mathbf {A} \mathbf {C}$ dan $\mathbf {A} \neq 0$ , maka salah satunya harus menunjukkan bahwa matriks $\mathbf {A}$ terbalikkan (yaitu memiliki $\det(\mathbf {A} )\neq 0$ , dimana $\det$ berarti determinan) sebelum salah satunya dapat menyimpulkan $\mathbf {B} =\mathbf {C}$ . Jika $\det(\mathbf {A} )=0$ , maka $\mathbf {B}$ mungkin tidak sama dengan $\mathbf {C}$ , karena matriks persamaan $\mathbf {A} \mathbf {X} =\mathbf {B}$ tidak akan memiliki penyelesaian tunggal untuk matriks $\mathbf {A}$ takterbalikkan.

Perhatikan juga bahwa jika $\mathbf {A} \mathbf {B} =\mathbf {C} \mathbf {A}$ dan $\mathbf {A} \neq 0$ dan matriks $\mathbf {A}$ adalah terbalikkan (yaitu memiliki $\det(\mathbf {A} )\neq 0$ ), itu belum tentu benar $\mathbf {B} =\mathbf {C}$ . Pembatalan hanya bekerja untuk persamaan $\mathbf {A} \mathbf {B} =\mathbf {A} \mathbf {C}$ dan $\mathbf {B} \mathbf {A} =\mathbf {C} \mathbf {A}$ (asalkan matriks itu $\mathbf {A}$ adalah terbalikkan) dan bukan untuk persamaan $\mathbf {A} \mathbf {B} =\mathbf {C} \mathbf {A}$ dan $\mathbf {B} \mathbf {A} =\mathbf {A} \mathbf {C}$ .

Lihat pula

Referensi

^ Warner, Seth (1965). Modern Algebra Volume I. Englewood Cliffs, NJ: Prentice-Hall, Inc. hlm. 50.
^ Warner, Seth (1965). Modern Algebra Volume I. Englewood Cliffs, NJ: Prentice-Hall, Inc. hlm. 48.

[1] Warner, Seth (1965). Modern Algebra Volume I. Englewood Cliffs, NJ: Prentice-Hall, Inc. hlm. 50.

[2] Warner, Seth (1965). Modern Algebra Volume I. Englewood Cliffs, NJ: Prentice-Hall, Inc. hlm. 48.

[1]

[2]

@@ Baris 1: / Baris 1: @@
 {{About|perpanjangan 'pembalikan' dalam [[aljabar abstrak]]|pembatalan suku-suku dalam [[persamaan]] atau dalam [[aljabar dasar]]|pembatalan}}
-{{More citations needed|date=December 2009}}
+{{More citations needed|date=Desember 2009}}
 Dalam [[matematika]], pengertian dari '''pembatal''' adalah perampatan dari gagasan [[Elemen invers|terbalikkan]].
@@ Baris 7: / Baris 7: @@
 * Unsur <math>a</math> dalam [[magma (aljabar)|magma]] <math>(M, *)</math> memiliki '''sifat pembatalan ruas kiri'''  jika untuk semua <math>b</math> dan <math>c</math> pada <math>M</math>, <math>a * b = a * c</math> selalu menyiratkan bahwa <math>b = c</math>.
 * Unsur <math>a</math> pada magma <math>(M, *)</math> memiliki '''sifat pembatalan ruas kanan''' jika untuk semua <math>b</math> dan <math>c</math> pada <math>M</math>, <math>b * a = c * a</math> selalu menyiratkan <math>b = c</math>.
 * Unsur <math>a</math> dalam magma <math>(M, *)</math> memiliki '''sifat pembatalan kedua ruas''' jika keduanya adalah pembatalan ruas kiri dan ruas kanan.
 * Magma <math>(M, *)</math> memiliki sifat pembatalan kiri jika semua <math>a</math> di magma adalah sifat membatalkan ruas kiri, dan definisi serupa berlaku untuk sifat membatalkan ruas kanan atau sifat membatalkan kedua ruas.
 * Unsur terbalikkan ruas kiri adalah pembatalan kiri, dan ini sejalan untuk ruas kanan dan kedua ruas.
@@ Baris 29: / Baris 25: @@
 == Struktur aljabar takmembatalkan ==
-Meskipun hukum pembatalan berlaku untuk penjumlahan, pengurangan, perkalian dan pembagian [[bilangan real]] dan [[bilangan kompleks]] (dengan pengecualian tunggal perkalian dengan [[0 (bilangan) |nol]] dan pembagian nol dengan bilangan lain), ada sejumlah struktur aljabar di mana hukum pembatalan tidak sah.
+Meskipun hukum pembatalan berlaku untuk penjumlahan, pengurangan, perkalian dan pembagian [[bilangan real]] dan [[bilangan kompleks]] (dengan pengecualian tunggal perkalian dengan [[0 (bilangan)|nol]] dan pembagian nol dengan bilangan lain), ada sejumlah struktur aljabar di mana hukum pembatalan tidak sah.
 <!-- [[Vektor (spasial) | vektor]] [[perkalian titik]] mungkin adalah contoh yang paling sederhana. Dalam hal ini, untuk vektor bukan nol yang berubah-ubah '''a''', produk {{nowrap|1='''a''' ⋅ '''b'''}} bisa sama dengan perkalian titik lainnya {{nowrap|1='''a''' ⋅ '''c'''}} even if {{nowrap|'''b''' ≠ '''c'''}}. Hal ini terjadi karena perkalian titik berhubungan dengan sudut antara dua vektor serta besarnya, dan perubahan yang satu dapat, pada dasarnya, mengimbangi yang lain untuk menghasilkan perkalian yang sama untuk uneq.
@@ Baris 53: / Baris 49: @@
 [[Kategori:Sifat operasi biner]]
 [[Kategori:Sifat unsur aljabar]]
 [[fr:Loi de composition interne#Réguliers et dérivés]]