Absorpsiyon yasası - Absorption law

Olarak cebri , emme yasa veya emme kimliği bir bir kimlik olan bir çift bağlama ikili işlemler .

İki ikili işlemin, ¤ ve ⁂, aşağıdaki durumlarda absorpsiyon yasası ile bağlantılı olduğu söylenir:

a ¤ ( a ⁂ b ) = bir ⁂ ( a ¤ b ) = bir .

Absorpsiyon yasasıyla birbirine bağlanan iki değişmeli ve birleştirici ikili işlemler ("birleştirme") ve ("karşılama") ile donatılmış bir kümeye kafes denir ; bu durumda, her iki işlem de zorunlu olarak idempotenttir .

Kafes örnekleri arasında Heyting cebirleri ve Boole cebirleri , özellikle birleşim ve kesişim operatörleri içeren kümeler ve minimum ve maksimum işlemlere sahip sıralı kümeler bulunur .

Gelen Klasik Mantık ve özellikle Boole cebri , operasyon YA ve VE aynı zamanda ile gösterilir, ve , emme yasası dahil olmak üzere, kafes aksiyomlarını karşılamaktadır. Aynı şey sezgisel mantık için de geçerlidir .

Soğurma yasası gibi diğer birçok cebirsel yapılar, içinde tutmaz değişmeli halkalar , örneğin alanın içinde gerçek sayılar , alaka mantık , lineer mantık ve alt-yapı mantık . Son durumda, tanımlayıcı kimlik çiftinin serbest değişkenleri arasında bire bir yazışma yoktur .

Ayrıca bakınız

Referanslar

  • Brian A. Davey; Hilary Ann Priestley (2002). Kafesler ve Düzene Giriş (2. baskı). Cambridge Üniversitesi Yayınları . ISBN'si 0-521-78451-4. LCCN  2001043910 .
  • "Soğurma yasaları" , Matematik Ansiklopedisi , EMS Press , 2001 [1994]
  • Weisstein, Eric W. "Soğurma Yasası" . Matematik Dünyası .


saplama simgesi

Cebir ile ilgili bu soyut madde bir taslaktır . Vikipedi'yi genişleterek yardımcı olabilirsiniz .