关于布尔代数的一些笔记（一）
让我们深入探讨布尔代数的世界，它是数学逻辑与集合论中的基石。Jech的集合论和Monk的手册为我们提供了坚实的理论基础，让我们首先了解布尔代数的基本构造。布尔代数是一个结构，其核心在于交换律和结合律的和谐共存，它们定义了布尔代数运算的基石，如补足律和德摩根定律。想象一下，这些理论如何在实际中大放异彩，例如在集合代数中，它们为我们理解和操作集合提供了强大的工具；在拓扑正则开代数中，布尔代数更是揭示了空间结构的奥秘。接下来，我们将聚焦于布尔代数的子结构。子代数、同态、同构、嵌入以及稠密子代数，这些概念犹如构建代数大厦的砖石，它们揭示了布尔代数内部的层次关系和互动。理想和滤，这两个看似相似的概念，其实是布尔代数内部的特殊子集，它们各自有着独特的性质。滤除了全集这一特例，我们有平凡理想、主理想和素理想等重要分类，它们在布尔代数的结构分析中扮演着关键角色。
当涉及到函数变换时，如定义在3.2中的同态φ，它将理想I映射到一个更深的数学结构。引理3.4为我们揭示了一个等价关系，而3.5则引入了商布尔代数的概念，即B/I，它在布尔代数的简化和理解中起到了关键作用。定理3.7证明了同态的基本定理，告诉我们φ既是满射又是单射，这是布尔代数理论中的重要定理。
布尔代数的真理想与环的关系，在引理3.8和3.9中得到了深入探讨。理想I的商B/I，虽然形式上看似简单，实则蕴含了深刻的代数意义。这个概念的深入理解，对于理解布尔代数的结构和性质至关重要。
以上只是布尔代数世界的一部分，我们的旅程才刚刚开始。更多丰富的内容和深入的讨论，将在后续篇章中继续展开，敬请期待。
绛旓細瀛愪唬鏁般佸悓鎬併佸悓鏋勩佸祵鍏ヤ互鍙婄瀵嗗瓙浠ｆ暟锛岃繖浜涙蹇电姽濡傛瀯寤轰唬鏁板ぇ鍘︾殑鐮栫煶锛屽畠浠彮绀轰簡甯冨皵浠ｆ暟鍐呴儴鐨勫眰娆″叧绯诲拰浜掑姩銆傜悊鎯冲拰婊わ紝杩欎袱涓湅浼肩浉浼肩殑姒傚康锛屽叾瀹炴槸甯冨皵浠ｆ暟鍐呴儴鐨勭壒娈婂瓙闆嗭紝瀹冧滑鍚勮嚜鏈夌潃鐙壒鐨勬ц川銆傛护闄や簡鍏ㄩ泦杩欎竴鐗逛緥锛屾垜浠湁骞冲嚒鐞嗘兂銆佷富鐞嗘兂鍜岀礌鐞嗘兂绛夐噸瑕佸垎绫伙紝瀹冧滑鍦甯冨皵浠ｆ暟鐨缁撴瀯鍒嗘瀽涓...
绛旓細甯冨皵浠ｆ暟杩愮畻娉曞垯濡備笅锛1. 涓庤繍绠楋紙AND锛変笌杩愮畻鐨勭粨鏋滀负涓や釜杈撳叆鍚屾椂涓虹湡鏃朵负鐪燂紝鍚﹀垯涓哄亣銆傛亽绛夊緥锛欰 AND 1 = A锛孉 AND 0 = 0 闆跺緥锛欰 AND 0 = 0 鍚告敹寰嬶細A AND (A OR B) = A锛孉 AND (A OR B) = A AND B 缁撳悎寰嬶細(A AND B) AND C = A AND (B AND C)2. 鎴栬繍绠...
绛旓細甯冨皵浠ｆ暟鏄竴绉嶉昏緫浠ｆ暟锛岀敱涔旀不路甯冨皵鍦19涓栫邯鍒涚珛锛屼富瑕佺敤浜庨昏緫鎺ㄧ悊鍜岃瘉鏄庛傚竷灏斾唬鏁版湁涓夌鍩烘湰鐨勮繍绠楋紝瀹冧滑鍒嗗埆鏄細閫昏緫鍔犳硶锛堝悎鍙栵級銆侀昏緫涔樻硶锛堟瀽鍙栵級鍜岃ˉ杩愮畻锛堝惁瀹氾級銆傞昏緫鍔犳硶锛堝悎鍙栵級锛氶昏緫鍔犳硶琚畾涔変负涓や釜閫昏緫閲忥紙鐪熸垨鍋囷級鐨勫苟闆嗐傚鏋滀袱涓昏緫閲忛兘鏄湡锛屾垨鑰呭叾涓竴涓槸鐪燂紝鍙︿竴涓槸鍋囷紝閭...
绛旓細甯冨皵浠ｆ暟鐨勮繍绠楀緥(operational rule of Boolean algebra)鏄竷灏斾唬鏁扮殑鍩烘湰杩愮畻娉曞垯锛屽竷灏斾唬鏁颁腑鐨勫彉閲忎唬琛ㄤ竴绉嶇姸鎬佹垨姒傚康銆傛暟鍊1鎴0骞朵笉鏄〃绀哄彉閲忓湪鏁板间笂鐨勫樊鍒屾槸浠ｈ〃鐘舵佷笌姒傚康瀛樺湪涓庡惁鐨勭鍙枫傚竷灏斾唬鏁颁富瑕佽繍绠楁硶鍒欐湁锛氱粨鍚堝緥锛屼氦鎹㈠緥锛屽垎閰嶅緥锛屽惛鏀跺緥锛屽箓绛夊緥绛夈
绛旓細甯冨皵浠ｆ暟瀹氬緥锛氱涓浜掕ˉ寰嬶細鑻=0,A=1,鑻=1,A=0 娉細A =闈濧銆傜浜屼簰琛ュ緥锛欰*~A=0銆傜涓変簰琛ュ緥锛欰+~A=1銆傛墍浠+A闈炲簲璇ユ槸1鑰屼笉鏄疉.闄ら潪涓嶆槸璇寸殑甯冨皵浠ｆ暟锛閫昏緫浠ｆ暟锛夈傞珮绛夋暟瀛︽槸鎸囩浉瀵逛簬鍒濈瓑鏁板鍜屼腑绛夋暟瀛﹁岃█锛屾暟瀛︾殑瀵硅薄鍙婃柟娉曡緝涓虹箒鏉鐨勪竴閮ㄥ垎锛屼腑瀛︾殑浠ｆ暟銆佸嚑浣曚互鍙婄畝鍗曠殑闆嗗悎...
绛旓細甯冨皵浠ｆ暟鐨鎬ц川锛氫氦鎹㈠緥commutativeproperties1. x鈭Ûy鈭2. x鈭▂Ûy鈭▁缁撳悎寰媋ssociative properties 3. (x鈭) 鈭Ûx鈭(y鈭).4. (x鈭▂)鈭╮Ûx鈭(y鈭╮).鍒嗛厤寰媎istributive properties5. x鈭 (y鈭╮) Ûx鈭鈭▁鈭.6. x鈭(y鈭) Û (x鈭...
绛旓細閫昏緫浠ｆ暟涔熷彨寮鍏充唬鏁版垨鑰甯冨皵浠ｆ暟.閫昏緫杩愮畻锛锛1锛閫昏緫鍔狅細A+B=C鎴栬匒鈭˙=C,褰揂,B鑷冲皯涓涓负1鏃,C=1 褰揂,B閮戒笉涓1鏃,C=0.鍔犳硶琛細0+0=0 0+1=1,1+0=1 1+1=0锛0琛ㄧず鏂紑,1琛ㄧず闂悎锛夛紙2锛夐昏緫涔橈細A脳B=C鎴栬匒鈭˙=C 褰揂,B閮芥槸涓鏃,C=1,褰揂,B鑷冲皯鏈変竴涓槸0鏃,C=0...
绛旓細1銆傚湪甯冨皵浠ｆ暟涓紝鍔犳硶瀹為檯涓婃槸閫昏緫鎴栵紙OR锛夎繍绠椼傞昏緫鎴栬繍绠楃殑瀹氫箟鏄細鑷冲皯鏈変竴涓緭鍏ヤ负鐪燂紙鍗1锛锛屽垯杈撳嚭涓虹湡锛堝嵆1锛夈傚洜姝わ紝1+1鍦ㄥ竷灏斾唬鏁颁腑浠ｈ〃閫昏緫鎴栬繍绠楋細1OR1銆傜敱浜庝袱涓緭鍏ラ兘鏄1锛岄昏緫鎴栬繍绠楃殑缁撴灉鏄1銆
绛旓細甯冨皵绠楃鏈夆滈昏緫涓庘(鈥淎ND鈥)銆佲滈昏緫鎴栤(鈥淥R鈥)銆佲滈昏緫闈炩(鈥淣OT鈥)銆傜敤鈥淎ND鈥濅笌鈥 *鈥濊〃绀恒傚彲鐢ㄦ潵琛ㄧず鍏舵墍杩炴帴鐨勪袱涓绱㈤」鐨勪氦鍙夐儴鍒嗭紝涔熷嵆浜ら泦閮ㄥ垎銆傚鏋滅敤AND杩炴帴妫绱㈣瘝A鍜屾绱㈣瘝B锛屽垯妫绱㈠紡涓猴細A AND B(鎴朅*B)锛氳〃绀鸿绯荤粺妫绱㈠悓鏃跺寘鍚绱㈣瘝A鍜屾绱㈣瘝B鐨勪俊鎭泦鍚圕銆傚锛...
绛旓細甯冨皵浠ｆ暟鐨鍙︿竴涓緥瀛愭潵鑷嫇鎵戠┖闂: 濡傛灉 X 鏄竴涓嫇鎵戠┖闂达紝瀹冩棦鏄紑鏀剧殑鍙堟槸闂悎鐨勶紝X 鐨勬墍鏈夊瓙闆嗙殑鎼滈泦褰㈡垚鏈変袱涓繍绠 鈭 := 鈭 (骞)鍜 鈭 := 鈭 (浜)鐨勫竷灏斾唬鏁般傚鏋 R 鏄竴涓换鎰忕殑鐜紝骞朵笖鎴戜滑瀹氫箟涓績骞傜瓑鍏(central idempotent)鐨勯泦鍚堜负 A = { e 鈭 R : e2 = e, ex = ...
