posts - 403, comments - 310, trackbacks - 0, articles - 7
            BlogJava :: 首頁 :: 新隨筆 :: 聯(lián)系 :: 聚合  :: 管理

          離散學(xué)習(xí)筆記 - 自然數(shù) (2)

          Posted on 2007-07-28 16:37 ZelluX 閱讀(283) 評(píng)論(0)  編輯  收藏 所屬分類: Mathematics

          1. 數(shù)學(xué)歸納法證明自然數(shù)的性質(zhì)P:
          第一,構(gòu)造 S = { n | n ∈N ∧ P(n) }
          第二,證明S是歸納集

          2. 設(shè)A為一個(gè)集合,如果A中任何元素的元素也是A的元素,則稱A為傳遞集。每個(gè)自然數(shù)都是傳遞集。
          以下命題等價(jià):
          (1) A是傳遞集
          (2) ∪A 包含于 A
          (3) 對(duì)于任意的y∈A,y包含于A
          (4) A包含于P(A)
          (5) P(A)為傳遞集

          3. 設(shè)A為一個(gè)集合,稱從A*A到A的函數(shù)為A上的二元運(yùn)算
          另+: N*N -> N,且對(duì)于任意的m, n ∈N,+(<m, n>) = Am(n), 記作m + n,稱+為N上的加法運(yùn)算
          另·: N*N -> N,且對(duì)于任意的m, n ∈N,·(<m, n>) = Mm(n),記作m·n,稱·為N上的乘法運(yùn)算

           

          主站蜘蛛池模板: 筠连县| 双辽市| 中阳县| 沂南县| 珲春市| 开原市| 韶关市| 栾城县| 承德县| 齐齐哈尔市| 澄城县| 桃园县| 彭阳县| 临泽县| 无锡市| 临漳县| 芦山县| 浦北县| 五河县| 正定县| 惠东县| 新巴尔虎左旗| 芜湖市| 洪洞县| 年辖:市辖区| 枣阳市| 西乌| 乐平市| 旬邑县| 铁岭县| 神农架林区| 诸暨市| 遵义县| 孟村| 白城市| 铅山县| 菏泽市| 隆回县| 漯河市| 陆丰市| 北流市|