分配格




设(L,∨,∧){displaystyle (L,vee ,wedge )}(L, vee, wedge)是一个格，若对于任意的a,b,c∈L{displaystyle a,b,cin L}a, b, c in L有




a∧(b∨c)=(a∧b)∨(a∧c){displaystyle awedge (bvee c)=(awedge b)vee (awedge c)}{displaystyle awedge (bvee c)=(awedge b)vee (awedge c)}


a∨(b∧c)=(a∨b)∧(a∨c){displaystyle avee (bwedge c)=(avee b)wedge (avee c)}{displaystyle avee (bwedge c)=(avee b)wedge (avee c)}


则称L{displaystyle L}L为分配格。


上述两个等式互为对偶式，根据格的对偶原理，在证明一个格是分配格时只需证明其中任意一个等式即可。


设(L,∨,∧){displaystyle (L,vee ,wedge )}(L, vee, wedge)是一个格，L{displaystyle L}L为分配格当且仅当对于任意的a,b,c∈L{displaystyle a,b,cin L}a, b, c in L，若a∨b=a∨c{displaystyle avee b=avee c}{displaystyle avee b=avee c}且a∧b=a∧c{displaystyle awedge b=awedge c}{displaystyle awedge b=awedge c}，则b=c{displaystyle b=c}b=c。



参见



  • 格

  • 有补格

  • 有界格

  • 布尔代数








-

Popular posts from this blog

Y

Image
This article is about the letter of the alphabet. For other uses, see Y (disambiguation). See also: Wye (disambiguation) Y Y y (See below) Usage Writing system Latin script Type Alphabetic and Logographic Language of origin Latin language Phonetic usage [ y ] [ ɨ ] [ j ] [ iː ] [ ɪ ] [ ɘ ] [ ə ] [ ɯ ] [ ɛː ] [ j ] [ ɥ ] [ ɣ̟ ] / w aɪ / / aɪ / Unicode value U+0059, U+0079 Alphabetical position 25 History Development Υ υ 𐌖 Y y Time period 54 to present Descendants  • U  • V  • W  • Ỿ  • ¥  • Ꮙ  • Ꮍ  • Ꭹ Sisters F Ѵ У Ў Ұ Ү ו و ܘ וּ וֹ ࠅ 𐎆 𐡅 ወ વ ૂ ુ उ Variations (See below) Other Other letters commonly used with y(x), ly, ny This article contains IPA phonetic symbols. Without proper rendering support, you may see question marks, boxes, or other symbols instead of Unicode characters. For an introductory guide on IPA symbols, see Help:IPA. ISO basic Latin alphabet Aa Bb Cc D...
Read more

巴黎地鐵5號線

Image
巴黎地铁5號線 啟用年代 1906年 运营商 RATP 车型 MF 01 （ 法语 ： MF 01 ） (50辆) 车辆存放所 博比尼 路線站數 22 14.6公里 平均站距 697公尺 营运日 每日 年均載客量 86.1 巴黎地鐵5號線 （法语： Ligne 5 du métro de Paris ）為巴黎地鐵路網之一，於1906年通車。本線略呈"厂"字型，自巴黎東北方的博比尼起，向西南经巴黎北站、巴黎东站後轉南，经共和广场和巴士底，穿越塞纳河，最终訖於5、6、7三條地铁線交會的意大利广场。 目录 1 歷史 2 线路走向与車站列表 2.1 车站设施 2.2 车站曾用名 2.3 车站特色 3 使用車型 4 使用状况 5 未来计划 5.1 线路延伸 5.1.1 南延段 5.1.2 北环转乘站 6 周边主要旅游景点 7 外部連結 歷史 开通之初的奥斯特里茨车站 5号线穿越塞纳河的路径 关于巴黎地铁建设的想法源于1845年，铁路公司偏好利用连接郊区铁路网构建地铁；而市政府希望在市内新建不同系统的中小型铁路，双方争执数十年。直到巴黎交通状况持续恶化暨1900年世博会临近，最终市政府的计划被采用，而5号线即为巴黎地铁网络一期工程的一部分。 5号线通车的同时，4号线尚未南北贯通，故5号线实际上是巴黎第一条南北向穿越塞纳河的地铁。 1903年11月，用于5号线穿越塞纳河的奥斯特里茨铁桥开工建设，铁桥的设计长度仅有140米，以此避免在河中加装支撑柱来给过往船只带来不便。 1906年6月2日，義大利廣場站和奥斯特里茨车站（当时叫做奥尔良车站）之间的路段通車。同年7月13日，铁桥完工，线路从桥上穿越塞纳河，通过一个极大地弯角下陡坡，即 拉佩河边街铁桥 （ 法语 ： Viaduc du quai de la Rapée ） ，向北延伸至 拉佩河边街站 （ 法语 ： Quai de la Rapée (métro de Paris) ） （当时叫做马萨广场）。然而由于北部路段尚未完工，...
Read more

Battle of Cold Harbor

Image
Battle of Cold Harbor Part of the American Civil War Battle of Cold Harbor by Kurz and Allison, 1888 Date May 31  ( 1864-05-31 ) – June 12, 1864  ( 1864-06-13 ) Location Hanover County, near Mechanicsville, Virginia 37°35′24″N 77°17′06″W  /  37.59°N 77.285°W  / 37.59; -77.285 Coordinates: 37°35′24″N 77°17′06″W  /  37.59°N 77.285°W  / 37.59; -77.285 Result Confederate victory [1] Belligerents United States (Union) CSA (Confederacy) Commanders and leaders Ulysses S. Grant George G. Meade Robert E. Lee Units involved Army of the Potomac [2] XVIII Corps [3] (Army of the James) Army of Northern Virginia Strength 108–117,000 [4] 59–62,000 [4] Casualties and losses 12,738 total 1,845 killed 9,077 wounded 1,816 captured/missing [5] [6] 5,287 total 788 killed 3,376 wounded 1,123 captured/missing [6] v t e Overland Campaign Wilderness Spotsylvania Court House Yellow Tavern Meadow Br...
Read more